0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407439-1569346984.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4407439-1569346984.xml, -tl, 2016s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
4.62/1.30	c solve instance...
1748.52/220.14	o 613 
1797.62/226.32	o 612 
1817.27/228.80	o 607 
1831.63/230.65	o 606 
1856.09/233.79	o 605 
1867.24/235.17	o 603 
1873.49/235.99	o 602 
1879.64/236.70	o 601 
1889.86/238.00	o 599 
1899.43/239.24	o 598 
1915.34/241.25	o 594 
1921.55/242.03	o 583 
1929.47/243.02	o 582 
1935.66/243.89	o 581 
1945.89/245.11	o 580 
1956.95/246.54	o 579 
1957.33/246.65	s OPTIMUM FOUND
1957.33/246.65	v <instantiation>
1957.33/246.65	v 	<list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] p[350] p[351] p[352] p[353] p[354] p[355] p[356] p[357] p[358] p[359] p[360] p[361] p[362] p[363] p[364] p[365] p[366] p[367] p[368] p[369] p[370] p[371] p[372] p[373] p[374] p[375] p[376] p[377] p[378] p[379] p[380] p[381] p[382] p[383] p[384] p[385] p[386] p[387] p[388] p[389] p[390] p[391] p[392] p[393] p[394] p[395] p[396] p[397] p[398] p[399] p[400] p[401] p[402] p[403] p[404] p[405] p[406] p[407] p[408] p[409] p[410] p[411] p[412] p[413] p[414] p[415] p[416] p[417] p[418] p[419] p[420] p[421] p[422] p[423] p[424] p[425] p[426] p[427] p[428] p[429] p[430] p[431] p[432] p[433] p[434] p[435] p[436] p[437] p[438] p[439] p[440] p[441] p[442] p[443] p[444] p[445] p[446] p[447] p[448] p[449] p[450] p[451] p[452] p[453] p[454] p[455] p[456] p[457] p[458] p[459] p[460] p[461] p[462] p[463] p[464] p[465] p[466] p[467] p[468] p[469] p[470] p[471] p[472] p[473] p[474] p[475] p[476] p[477] p[478] p[479] p[480] p[481] p[482] p[483] p[484] p[485] p[486] p[487] p[488] p[489] p[490] p[491] p[492] p[493] p[494] p[495] p[496] p[497] p[498] p[499] p[500] p[501] p[502] p[503] p[504] p[505] p[506] p[507] p[508] p[509] p[510] p[511] p[512] p[513] p[514] p[515] p[516] p[517] p[518] p[519] p[520] p[521] p[522] p[523] p[524] p[525] p[526] p[527] p[528] p[529] p[530] p[531] p[532] p[533] p[534] p[535] p[536] p[537] p[538] p[539] p[540] p[541] p[542] p[543] p[544] p[545] p[546] p[547] p[548] p[549] p[550] p[551] p[552] p[553] p[554] p[555] p[556] p[557] p[558] p[559] p[560] p[561] p[562] p[563] p[564] p[565] p[566] p[567] p[568] p[569] p[570] p[571] p[572] p[573] p[574] p[575] p[576] p[577] p[578] p[579] p[580] p[581] p[582] p[583] p[584] p[585] p[586] p[587] p[588] p[589] p[590] p[591] p[592] p[593] p[594] p[595] p[596] p[597] p[598] p[599] p[600] p[601] p[602] p[603] p[604] p[605] p[606] p[607] p[608] p[609] p[610] p[611] p[612] p[613] p[614] p[615] p[616] p[617] p[618] p[619] p[620] p[621] p[622] p[623] p[624] p[625] p[626] p[627] p[628] p[629] p[630] p[631] p[632] p[633] p[634] p[635] p[636] p[637] p[638] p[639] p[640] p[641] p[642] p[643] p[644] p[645] p[646] p[647] p[648] p[649] p[650] p[651] p[652] p[653] p[654] p[655] p[656] p[657] p[658] p[659] p[660] p[661] p[662] p[663] p[664] p[665] p[666] p[667] p[668] p[669] p[670] p[671] p[672] p[673] p[674] p[675] p[676] p[677] p[678] p[679] p[680] p[681] p[682] p[683] p[684] p[685] p[686] p[687] p[688] p[689] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[63][0] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[64][0] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[65][0] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[66][0] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[67][0] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[68][0] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[69][0] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[70][0] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[71][0] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[72][0] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[73][0] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[74][0] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[75][0] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[76][0] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[77][0] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[78][0] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[79][0] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[80][0] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[81][0] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[82][0] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[83][0] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[84][0] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[85][0] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[86][0] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[87][0] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[88][0] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[89][0] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][9] r[90][0] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[91][0] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[92][0] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[93][0] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[94][0] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[95][0] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[96][0] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[97][0] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[98][0] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[99][0] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][9] r[100][0] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9] r[101][0] r[101][1] r[101][2] r[101][3] r[101][4] r[101][5] r[101][6] r[101][7] r[101][8] r[101][9] r[102][0] r[102][1] r[102][2] r[102][3] r[102][4] r[102][5] r[102][6] r[102][7] r[102][8] r[102][9] r[103][0] r[103][1] r[103][2] r[103][3] r[103][4] r[103][5] r[103][6] r[103][7] r[103][8] r[103][9] r[104][0] r[104][1] r[104][2] r[104][3] r[104][4] r[104][5] r[104][6] r[104][7] r[104][8] r[104][9] r[105][0] r[105][1] r[105][2] r[105][3] r[105][4] r[105][5] r[105][6] r[105][7] r[105][8] r[105][9] r[106][0] r[106][1] r[106][2] r[106][3] r[106][4] r[106][5] r[106][6] r[106][7] r[106][8] r[106][9] r[107][0] r[107][1] r[107][2] r[107][3] r[107][4] r[107][5] r[107][6] r[107][7] r[107][8] r[107][9] r[108][0] r[108][1] r[108][2] r[108][3] r[108][4] r[108][5] r[108][6] r[108][7] r[108][8] r[108][9] r[109][0] r[109][1] r[109][2] r[109][3] r[109][4] r[109][5] r[109][6] r[109][7] r[109][8] r[109][9] r[110][0] r[110][1] r[110][2] r[110][3] r[110][4] r[110][5] r[110][6] r[110][7] r[110][8] r[110][9] r[111][0] r[111][1] r[111][2] r[111][3] r[111][4] r[111][5] r[111][6] r[111][7] r[111][8] r[111][9] r[112][0] r[112][1] r[112][2] r[112][3] r[112][4] r[112][5] r[112][6] r[112][7] r[112][8] r[112][9] r[113][0] r[113][1] r[113][2] r[113][3] r[113][4] r[113][5] r[113][6] r[113][7] r[113][8] r[113][9] r[114][0] r[114][1] r[114][2] r[114][3] r[114][4] r[114][5] r[114][6] r[114][7] r[114][8] r[114][9] r[115][0] r[115][1] r[115][2] r[115][3] r[115][4] r[115][5] r[115][6] r[115][7] r[115][8] r[115][9] r[116][0] r[116][1] r[116][2] r[116][3] r[116][4] r[116][5] r[116][6] r[116][7] r[116][8] r[116][9] r[117][0] r[117][1] r[117][2] r[117][3] r[117][4] r[117][5] r[117][6] r[117][7] r[117][8] r[117][9] r[118][0] r[118][1] r[118][2] r[118][3] r[118][4] r[118][5] r[118][6] r[118][7] r[118][8] r[118][9] r[119][0] r[119][1] r[119][2] r[119][3] r[119][4] r[119][5] r[119][6] r[119][7] r[119][8] r[119][9] r[120][0] r[120][1] r[120][2] r[120][3] r[120][4] r[120][5] r[120][6] r[120][7] r[120][8] r[120][9] r[121][0] r[121][1] r[121][2] r[121][3] r[121][4] r[121][5] r[121][6] r[121][7] r[121][8] r[121][9] r[122][0] r[122][1] r[122][2] r[122][3] r[122][4] r[122][5] r[122][6] r[122][7] r[122][8] r[122][9] r[123][0] r[123][1] r[123][2] r[123][3] r[123][4] r[123][5] r[123][6] r[123][7] r[123][8] r[123][9] r[124][0] r[124][1] r[124][2] r[124][3] r[124][4] r[124][5] r[124][6] r[124][7] r[124][8] r[124][9] r[125][0] r[125][1] r[125][2] r[125][3] r[125][4] r[125][5] r[125][6] r[125][7] r[125][8] r[125][9] r[126][0] r[126][1] r[126][2] r[126][3] r[126][4] r[126][5] r[126][6] r[126][7] r[126][8] r[126][9] r[127][0] r[127][1] r[127][2] r[127][3] r[127][4] r[127][5] r[127][6] r[127][7] r[127][8] r[127][9] r[128][0] r[128][1] r[128][2] r[128][3] r[128][4] r[128][5] r[128][6] r[128][7] r[128][8] r[128][9] r[129][0] r[129][1] r[129][2] r[129][3] r[129][4] r[129][5] r[129][6] r[129][7] r[129][8] r[129][9] r[130][0] r[130][1] r[130][2] r[130][3] r[130][4] r[130][5] r[130][6] r[130][7] r[130][8] r[130][9] r[131][0] r[131][1] r[131][2] r[131][3] r[131][4] r[131][5] r[131][6] r[131][7] r[131][8] r[131][9] r[132][0] r[132][1] r[132][2] r[132][3] r[132][4] r[132][5] r[132][6] r[132][7] r[132][8] r[132][9] r[133][0] r[133][1] r[133][2] r[133][3] r[133][4] r[133][5] r[133][6] r[133][7] r[133][8] r[133][9] r[134][0] r[134][1] r[134][2] r[134][3] r[134][4] r[134][5] r[134][6] r[134][7] r[134][8] r[134][9] r[135][0] r[135][1] r[135][2] r[135][3] r[135][4] r[135][5] r[135][6] r[135][7] r[135][8] r[135][9] r[136][0] r[136][1] r[136][2] r[136][3] r[136][4] r[136][5] r[136][6] r[136][7] r[136][8] r[136][9] r[137][0] r[137][1] r[137][2] r[137][3] r[137][4] r[137][5] r[137][6] r[137][7] r[137][8] r[137][9] r[138][0] r[138][1] r[138][2] r[138][3] r[138][4] r[138][5] r[138][6] r[138][7] r[138][8] r[138][9] r[139][0] r[139][1] r[139][2] r[139][3] r[139][4] r[139][5] r[139][6] r[139][7] r[139][8] r[139][9] r[140][0] r[140][1] r[140][2] r[140][3] r[140][4] r[140][5] r[140][6] r[140][7] r[140][8] r[140][9] r[141][0] r[141][1] r[141][2] r[141][3] r[141][4] r[141][5] r[141][6] r[141][7] r[141][8] r[141][9] r[142][0] r[142][1] r[142][2] r[142][3] r[142][4] r[142][5] r[142][6] r[142][7] r[142][8] r[142][9] r[143][0] r[143][1] r[143][2] r[143][3] r[143][4] r[143][5] r[143][6] r[143][7] r[143][8] r[143][9] r[144][0] r[144][1] r[144][2] r[144][3] r[144][4] r[144][5] r[144][6] r[144][7] r[144][8] r[144][9] r[145][0] r[145][1] r[145][2] r[145][3] r[145][4] r[145][5] r[145][6] r[145][7] r[145][8] r[145][9] r[146][0] 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][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][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][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[150][0] 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][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][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][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][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][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][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][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][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][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[160][0] 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][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][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][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][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][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][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[167][0] r[167][1] r[167][2] r[167][3] r[167][4] r[167][5] r[167][6] r[167][7] r[167][8] r[167][9] r[168][0] r[168][1] r[168][2] r[168][3] r[168][4] r[168][5] r[168][6] r[168][7] r[168][8] r[168][9] r[169][0] r[169][1] r[169][2] r[169][3] r[169][4] r[169][5] r[169][6] r[169][7] r[169][8] r[169][9] r[170][0] r[170][1] r[170][2] r[170][3] r[170][4] r[170][5] r[170][6] r[170][7] r[170][8] r[170][9] r[171][0] r[171][1] r[171][2] r[171][3] r[171][4] r[171][5] r[171][6] r[171][7] r[171][8] r[171][9] r[172][0] r[172][1] r[172][2] r[172][3] r[172][4] r[172][5] r[172][6] r[172][7] r[172][8] r[172][9] r[173][0] r[173][1] r[173][2] r[173][3] r[173][4] r[173][5] r[173][6] r[173][7] r[173][8] r[173][9] r[174][0] r[174][1] r[174][2] r[174][3] r[174][4] r[174][5] r[174][6] r[174][7] r[174][8] r[174][9] r[175][0] r[175][1] r[175][2] r[175][3] r[175][4] r[175][5] r[175][6] r[175][7] r[175][8] r[175][9] r[176][0] r[176][1] r[176][2] r[176][3] r[176][4] r[176][5] r[176][6] r[176][7] r[176][8] r[176][9] r[177][0] r[177][1] r[177][2] r[177][3] r[177][4] r[177][5] r[177][6] r[177][7] r[177][8] r[177][9] r[178][0] r[178][1] r[178][2] r[178][3] r[178][4] r[178][5] r[178][6] r[178][7] r[178][8] r[178][9] r[179][0] r[179][1] r[179][2] r[179][3] r[179][4] r[179][5] r[179][6] r[179][7] r[179][8] r[179][9] r[180][0] r[180][1] r[180][2] r[180][3] r[180][4] r[180][5] r[180][6] r[180][7] r[180][8] r[180][9] r[181][0] r[181][1] r[181][2] r[181][3] r[181][4] r[181][5] r[181][6] r[181][7] r[181][8] r[181][9] r[182][0] r[182][1] r[182][2] r[182][3] r[182][4] r[182][5] r[182][6] r[182][7] r[182][8] r[182][9] r[183][0] r[183][1] r[183][2] r[183][3] r[183][4] r[183][5] r[183][6] r[183][7] r[183][8] r[183][9] r[184][0] r[184][1] r[184][2] r[184][3] r[184][4] r[184][5] r[184][6] r[184][7] r[184][8] r[184][9] r[185][0] r[185][1] r[185][2] r[185][3] r[185][4] r[185][5] r[185][6] r[185][7] r[185][8] r[185][9] r[186][0] r[186][1] r[186][2] r[186][3] r[186][4] r[186][5] r[186][6] r[186][7] r[186][8] r[186][9] r[187][0] r[187][1] r[187][2] r[187][3] r[187][4] r[187][5] r[187][6] r[187][7] r[187][8] r[187][9] r[188][0] r[188][1] r[188][2] r[188][3] r[188][4] r[188][5] r[188][6] r[188][7] r[188][8] r[188][9] r[189][0] r[189][1] r[189][2] r[189][3] r[189][4] r[189][5] r[189][6] r[189][7] r[189][8] r[189][9] r[190][0] r[190][1] r[190][2] r[190][3] r[190][4] r[190][5] r[190][6] r[190][7] r[190][8] r[190][9] r[191][0] r[191][1] r[191][2] r[191][3] r[191][4] r[191][5] r[191][6] r[191][7] r[191][8] r[191][9] r[192][0] r[192][1] r[192][2] r[192][3] r[192][4] r[192][5] r[192][6] r[192][7] r[192][8] r[192][9] r[193][0] r[193][1] r[193][2] r[193][3] r[193][4] r[193][5] r[193][6] r[193][7] r[193][8] r[193][9] r[194][0] r[194][1] r[194][2] r[194][3] r[194][4] r[194][5] r[194][6] r[194][7] r[194][8] r[194][9] r[195][0] r[195][1] r[195][2] r[195][3] r[195][4] r[195][5] r[195][6] r[195][7] r[195][8] r[195][9] r[196][0] r[196][1] r[196][2] r[196][3] r[196][4] r[196][5] r[196][6] r[196][7] r[196][8] r[196][9] r[197][0] r[197][1] r[197][2] r[197][3] r[197][4] r[197][5] r[197][6] r[197][7] r[197][8] r[197][9] r[198][0] r[198][1] r[198][2] r[198][3] r[198][4] r[198][5] r[198][6] r[198][7] r[198][8] r[198][9] r[199][0] r[199][1] r[199][2] r[199][3] r[199][4] r[199][5] r[199][6] r[199][7] r[199][8] r[199][9] r[200][0] r[200][1] r[200][2] r[200][3] r[200][4] r[200][5] r[200][6] r[200][7] r[200][8] r[200][9] r[201][0] r[201][1] r[201][2] r[201][3] r[201][4] r[201][5] r[201][6] r[201][7] r[201][8] r[201][9] r[202][0] r[202][1] r[202][2] r[202][3] r[202][4] r[202][5] r[202][6] r[202][7] r[202][8] r[202][9] r[203][0] r[203][1] r[203][2] r[203][3] r[203][4] r[203][5] r[203][6] r[203][7] r[203][8] r[203][9] r[204][0] r[204][1] r[204][2] r[204][3] r[204][4] r[204][5] r[204][6] r[204][7] r[204][8] r[204][9] r[205][0] r[205][1] r[205][2] r[205][3] r[205][4] r[205][5] r[205][6] r[205][7] r[205][8] r[205][9] r[206][0] r[206][1] r[206][2] r[206][3] r[206][4] r[206][5] r[206][6] r[206][7] r[206][8] r[206][9] r[207][0] r[207][1] r[207][2] r[207][3] r[207][4] r[207][5] r[207][6] r[207][7] r[207][8] r[207][9] r[208][0] r[208][1] r[208][2] r[208][3] r[208][4] r[208][5] r[208][6] r[208][7] r[208][8] r[208][9] r[209][0] r[209][1] r[209][2] r[209][3] r[209][4] r[209][5] r[209][6] r[209][7] r[209][8] r[209][9] r[210][0] r[210][1] r[210][2] r[210][3] r[210][4] r[210][5] r[210][6] r[210][7] r[210][8] r[210][9] r[211][0] r[211][1] r[211][2] r[211][3] r[211][4] r[211][5] r[211][6] r[211][7] r[211][8] r[211][9] r[212][0] r[212][1] r[212][2] r[212][3] r[212][4] r[212][5] r[212][6] r[212][7] r[212][8] r[212][9] r[213][0] r[213][1] r[213][2] r[213][3] r[213][4] r[213][5] r[213][6] r[213][7] r[213][8] r[213][9] r[214][0] r[214][1] r[214][2] r[214][3] r[214][4] r[214][5] r[214][6] r[214][7] r[214][8] r[214][9] r[215][0] r[215][1] r[215][2] r[215][3] r[215][4] r[215][5] r[215][6] r[215][7] r[215][8] r[215][9] r[216][0] r[216][1] r[216][2] r[216][3] r[216][4] r[216][5] r[216][6] r[216][7] r[216][8] r[216][9] r[217][0] r[217][1] r[217][2] r[217][3] r[217][4] r[217][5] r[217][6] r[217][7] r[217][8] r[217][9] r[218][0] r[218][1] r[218][2] r[218][3] r[218][4] r[218][5] r[218][6] r[218][7] r[218][8] r[218][9] r[219][0] r[219][1] r[219][2] r[219][3] r[219][4] r[219][5] r[219][6] r[219][7] r[219][8] r[219][9] r[220][0] r[220][1] r[220][2] r[220][3] r[220][4] r[220][5] r[220][6] r[220][7] r[220][8] r[220][9] r[221][0] r[221][1] r[221][2] r[221][3] r[221][4] r[221][5] r[221][6] r[221][7] r[221][8] r[221][9] r[222][0] r[222][1] r[222][2] r[222][3] r[222][4] r[222][5] r[222][6] r[222][7] r[222][8] r[222][9] r[223][0] r[223][1] r[223][2] r[223][3] r[223][4] r[223][5] r[223][6] r[223][7] r[223][8] r[223][9] r[224][0] r[224][1] r[224][2] r[224][3] r[224][4] r[224][5] r[224][6] r[224][7] r[224][8] r[224][9] r[225][0] r[225][1] r[225][2] r[225][3] r[225][4] r[225][5] r[225][6] r[225][7] r[225][8] r[225][9] r[226][0] r[226][1] r[226][2] r[226][3] r[226][4] r[226][5] r[226][6] r[226][7] r[226][8] r[226][9] r[227][0] r[227][1] r[227][2] r[227][3] r[227][4] r[227][5] r[227][6] r[227][7] r[227][8] r[227][9] r[228][0] r[228][1] r[228][2] r[228][3] r[228][4] r[228][5] r[228][6] r[228][7] r[228][8] r[228][9] r[229][0] r[229][1] r[229][2] r[229][3] r[229][4] r[229][5] r[229][6] r[229][7] r[229][8] r[229][9] r[230][0] r[230][1] r[230][2] r[230][3] r[230][4] r[230][5] r[230][6] r[230][7] r[230][8] r[230][9] r[231][0] r[231][1] r[231][2] r[231][3] r[231][4] r[231][5] r[231][6] r[231][7] r[231][8] r[231][9] r[232][0] r[232][1] r[232][2] r[232][3] r[232][4] r[232][5] r[232][6] r[232][7] r[232][8] r[232][9] r[233][0] r[233][1] r[233][2] r[233][3] r[233][4] r[233][5] r[233][6] r[233][7] r[233][8] r[233][9] r[234][0] r[234][1] r[234][2] r[234][3] r[234][4] r[234][5] r[234][6] r[234][7] r[234][8] r[234][9] r[235][0] r[235][1] r[235][2] r[235][3] r[235][4] r[235][5] r[235][6] r[235][7] r[235][8] r[235][9] r[236][0] r[236][1] r[236][2] r[236][3] r[236][4] r[236][5] r[236][6] r[236][7] r[236][8] r[236][9] r[237][0] r[237][1] r[237][2] r[237][3] r[237][4] r[237][5] r[237][6] r[237][7] r[237][8] r[237][9] r[238][0] r[238][1] r[238][2] r[238][3] r[238][4] r[238][5] r[238][6] r[238][7] r[238][8] r[238][9] r[239][0] r[239][1] r[239][2] r[239][3] r[239][4] r[239][5] r[239][6] r[239][7] r[239][8] r[239][9] r[240][0] r[240][1] r[240][2] r[240][3] r[240][4] r[240][5] r[240][6] r[240][7] r[240][8] r[240][9] r[241][0] r[241][1] r[241][2] r[241][3] r[241][4] r[241][5] r[241][6] r[241][7] r[241][8] r[241][9] r[242][0] r[242][1] r[242][2] r[242][3] r[242][4] r[242][5] r[242][6] r[242][7] r[242][8] r[242][9] r[243][0] r[243][1] r[243][2] r[243][3] r[243][4] r[243][5] r[243][6] r[243][7] r[243][8] r[243][9] r[244][0] r[244][1] r[244][2] r[244][3] r[244][4] r[244][5] r[244][6] r[244][7] r[244][8] r[244][9] r[245][0] r[245][1] r[245][2] r[245][3] r[245][4] r[245][5] r[245][6] r[245][7] r[245][8] r[245][9] r[246][0] r[246][1] r[246][2] r[246][3] r[246][4] r[246][5] r[246][6] r[246][7] r[246][8] r[246][9] r[247][0] r[247][1] r[247][2] r[247][3] r[247][4] r[247][5] r[247][6] r[247][7] r[247][8] r[247][9] r[248][0] r[248][1] r[248][2] r[248][3] r[248][4] r[248][5] r[248][6] r[248][7] r[248][8] r[248][9] r[249][0] r[249][1] r[249][2] r[249][3] r[249][4] r[249][5] r[249][6] r[249][7] r[249][8] r[249][9] r[250][0] r[250][1] r[250][2] r[250][3] r[250][4] r[250][5] r[250][6] r[250][7] r[250][8] r[250][9] r[251][0] r[251][1] r[251][2] r[251][3] r[251][4] r[251][5] r[251][6] r[251][7] r[251][8] r[251][9] r[252][0] r[252][1] r[252][2] r[252][3] r[252][4] r[252][5] r[252][6] r[252][7] r[252][8] r[252][9] r[253][0] r[253][1] r[253][2] r[253][3] r[253][4] r[253][5] r[253][6] r[253][7] r[253][8] r[253][9] r[254][0] r[254][1] r[254][2] r[254][3] r[254][4] r[254][5] r[254][6] r[254][7] r[254][8] r[254][9] r[255][0] r[255][1] r[255][2] r[255][3] r[255][4] r[255][5] r[255][6] r[255][7] r[255][8] r[255][9] r[256][0] r[256][1] r[256][2] r[256][3] r[256][4] r[256][5] r[256][6] r[256][7] r[256][8] r[256][9] r[257][0] r[257][1] r[257][2] r[257][3] r[257][4] r[257][5] r[257][6] r[257][7] r[257][8] r[257][9] r[258][0] r[258][1] r[258][2] r[258][3] r[258][4] r[258][5] r[258][6] r[258][7] r[258][8] r[258][9] r[259][0] r[259][1] r[259][2] r[259][3] r[259][4] r[259][5] r[259][6] r[259][7] r[259][8] r[259][9] r[260][0] r[260][1] r[260][2] r[260][3] r[260][4] r[260][5] r[260][6] r[260][7] r[260][8] r[260][9] r[261][0] r[261][1] r[261][2] r[261][3] r[261][4] r[261][5] r[261][6] r[261][7] r[261][8] r[261][9] r[262][0] r[262][1] r[262][2] r[262][3] r[262][4] r[262][5] r[262][6] r[262][7] r[262][8] r[262][9] r[263][0] r[263][1] r[263][2] r[263][3] r[263][4] r[263][5] r[263][6] r[263][7] r[263][8] r[263][9] r[264][0] r[264][1] r[264][2] r[264][3] r[264][4] r[264][5] r[264][6] r[264][7] r[264][8] r[264][9] r[265][0] r[265][1] r[265][2] r[265][3] r[265][4] r[265][5] r[265][6] r[265][7] r[265][8] r[265][9] r[266][0] r[266][1] r[266][2] r[266][3] r[266][4] r[266][5] r[266][6] r[266][7] r[266][8] r[266][9] r[267][0] r[267][1] r[267][2] r[267][3] r[267][4] r[267][5] r[267][6] r[267][7] r[267][8] r[267][9] r[268][0] r[268][1] r[268][2] r[268][3] r[268][4] r[268][5] r[268][6] r[268][7] r[268][8] r[268][9] r[269][0] r[269][1] r[269][2] r[269][3] r[269][4] r[269][5] r[269][6] r[269][7] r[269][8] r[269][9] r[270][0] r[270][1] r[270][2] r[270][3] r[270][4] r[270][5] r[270][6] r[270][7] r[270][8] r[270][9] r[271][0] r[271][1] r[271][2] r[271][3] r[271][4] r[271][5] r[271][6] r[271][7] r[271][8] r[271][9] r[272][0] r[272][1] r[272][2] r[272][3] r[272][4] r[272][5] r[272][6] r[272][7] r[272][8] r[272][9] r[273][0] r[273][1] r[273][2] r[273][3] r[273][4] r[273][5] r[273][6] r[273][7] r[273][8] r[273][9] r[274][0] r[274][1] r[274][2] r[274][3] r[274][4] r[274][5] r[274][6] r[274][7] r[274][8] r[274][9] r[275][0] r[275][1] r[275][2] r[275][3] r[275][4] r[275][5] r[275][6] r[275][7] r[275][8] r[275][9] r[276][0] r[276][1] r[276][2] r[276][3] r[276][4] r[276][5] r[276][6] r[276][7] r[276][8] r[276][9] r[277][0] r[277][1] r[277][2] r[277][3] r[277][4] r[277][5] r[277][6] r[277][7] r[277][8] r[277][9] r[278][0] r[278][1] r[278][2] r[278][3] r[278][4] r[278][5] r[278][6] r[278][7] r[278][8] r[278][9] r[279][0] r[279][1] r[279][2] r[279][3] r[279][4] r[279][5] r[279][6] r[279][7] r[279][8] r[279][9] r[280][0] r[280][1] r[280][2] r[280][3] r[280][4] r[280][5] r[280][6] r[280][7] r[280][8] r[280][9] r[281][0] r[281][1] r[281][2] r[281][3] r[281][4] r[281][5] r[281][6] r[281][7] r[281][8] r[281][9] r[282][0] r[282][1] r[282][2] r[282][3] r[282][4] r[282][5] r[282][6] r[282][7] r[282][8] r[282][9] r[283][0] r[283][1] r[283][2] r[283][3] r[283][4] r[283][5] r[283][6] r[283][7] r[283][8] r[283][9] r[284][0] r[284][1] r[284][2] r[284][3] r[284][4] r[284][5] r[284][6] r[284][7] r[284][8] r[284][9] r[285][0] r[285][1] r[285][2] r[285][3] r[285][4] r[285][5] r[285][6] r[285][7] r[285][8] r[285][9] r[286][0] r[286][1] r[286][2] r[286][3] r[286][4] r[286][5] r[286][6] r[286][7] r[286][8] r[286][9] r[287][0] r[287][1] r[287][2] r[287][3] r[287][4] r[287][5] r[287][6] r[287][7] r[287][8] r[287][9] r[288][0] r[288][1] r[288][2] r[288][3] r[288][4] r[288][5] r[288][6] r[288][7] r[288][8] r[288][9] r[289][0] r[289][1] r[289][2] r[289][3] r[289][4] r[289][5] r[289][6] r[289][7] r[289][8] r[289][9] r[290][0] r[290][1] r[290][2] r[290][3] r[290][4] r[290][5] r[290][6] r[290][7] r[290][8] r[290][9] r[291][0] r[291][1] r[291][2] r[291][3] r[291][4] r[291][5] r[291][6] r[291][7] r[291][8] r[291][9] r[292][0] r[292][1] r[292][2] r[292][3] r[292][4] r[292][5] r[292][6] r[292][7] r[292][8] r[292][9] r[293][0] r[293][1] r[293][2] r[293][3] r[293][4] r[293][5] r[293][6] r[293][7] r[293][8] r[293][9] r[294][0] r[294][1] r[294][2] r[294][3] r[294][4] r[294][5] r[294][6] r[294][7] r[294][8] r[294][9] r[295][0] r[295][1] r[295][2] r[295][3] r[295][4] r[295][5] r[295][6] r[295][7] r[295][8] r[295][9] r[296][0] r[296][1] r[296][2] r[296][3] r[296][4] r[296][5] r[296][6] r[296][7] r[296][8] r[296][9] r[297][0] r[297][1] r[297][2] r[297][3] r[297][4] r[297][5] r[297][6] r[297][7] r[297][8] r[297][9] r[298][0] r[298][1] r[298][2] r[298][3] r[298][4] r[298][5] r[298][6] r[298][7] r[298][8] r[298][9] r[299][0] r[299][1] r[299][2] r[299][3] r[299][4] r[299][5] r[299][6] r[299][7] r[299][8] r[299][9] r[300][0] r[300][1] r[300][2] r[300][3] r[300][4] r[300][5] r[300][6] r[300][7] r[300][8] r[300][9] r[301][0] r[301][1] r[301][2] r[301][3] r[301][4] r[301][5] r[301][6] r[301][7] r[301][8] r[301][9] r[302][0] r[302][1] r[302][2] r[302][3] r[302][4] r[302][5] r[302][6] r[302][7] r[302][8] r[302][9] r[303][0] r[303][1] r[303][2] r[303][3] r[303][4] r[303][5] r[303][6] r[303][7] r[303][8] r[303][9] r[304][0] r[304][1] r[304][2] r[304][3] r[304][4] r[304][5] r[304][6] r[304][7] r[304][8] r[304][9] r[305][0] r[305][1] r[305][2] r[305][3] r[305][4] r[305][5] r[305][6] r[305][7] r[305][8] r[305][9] r[306][0] r[306][1] r[306][2] r[306][3] r[306][4] r[306][5] r[306][6] r[306][7] r[306][8] r[306][9] r[307][0] r[307][1] r[307][2] r[307][3] r[307][4] r[307][5] r[307][6] r[307][7] r[307][8] r[307][9] r[308][0] r[308][1] r[308][2] r[308][3] r[308][4] r[308][5] r[308][6] r[308][7] r[308][8] r[308][9] r[309][0] r[309][1] r[309][2] r[309][3] r[309][4] r[309][5] r[309][6] r[309][7] r[309][8] r[309][9] r[310][0] r[310][1] r[310][2] r[310][3] r[310][4] r[310][5] r[310][6] r[310][7] r[310][8] r[310][9] r[311][0] r[311][1] r[311][2] r[311][3] r[311][4] r[311][5] r[311][6] r[311][7] r[311][8] r[311][9] r[312][0] r[312][1] r[312][2] r[312][3] r[312][4] r[312][5] r[312][6] r[312][7] r[312][8] r[312][9] r[313][0] r[313][1] r[313][2] r[313][3] r[313][4] r[313][5] r[313][6] r[313][7] r[313][8] r[313][9] r[314][0] r[314][1] r[314][2] r[314][3] r[314][4] r[314][5] r[314][6] r[314][7] r[314][8] r[314][9] r[315][0] r[315][1] r[315][2] r[315][3] r[315][4] r[315][5] r[315][6] r[315][7] r[315][8] r[315][9] r[316][0] r[316][1] r[316][2] r[316][3] r[316][4] r[316][5] r[316][6] r[316][7] r[316][8] r[316][9] r[317][0] r[317][1] r[317][2] r[317][3] r[317][4] r[317][5] r[317][6] r[317][7] r[317][8] r[317][9] r[318][0] r[318][1] r[318][2] r[318][3] r[318][4] r[318][5] r[318][6] r[318][7] r[318][8] r[318][9] r[319][0] r[319][1] r[319][2] r[319][3] r[319][4] r[319][5] r[319][6] r[319][7] r[319][8] r[319][9] r[320][0] r[320][1] r[320][2] r[320][3] r[320][4] r[320][5] r[320][6] r[320][7] r[320][8] r[320][9] r[321][0] r[321][1] r[321][2] r[321][3] r[321][4] r[321][5] r[321][6] r[321][7] r[321][8] r[321][9] r[322][0] r[322][1] r[322][2] r[322][3] r[322][4] r[322][5] r[322][6] r[322][7] r[322][8] r[322][9] r[323][0] r[323][1] r[323][2] r[323][3] r[323][4] r[323][5] r[323][6] r[323][7] r[323][8] r[323][9] r[324][0] r[324][1] r[324][2] r[324][3] r[324][4] r[324][5] r[324][6] r[324][7] r[324][8] r[324][9] r[325][0] r[325][1] r[325][2] r[325][3] r[325][4] r[325][5] r[325][6] r[325][7] r[325][8] r[325][9] r[326][0] r[326][1] r[326][2] r[326][3] r[326][4] r[326][5] r[326][6] r[326][7] r[326][8] r[326][9] r[327][0] r[327][1] r[327][2] r[327][3] r[327][4] r[327][5] r[327][6] r[327][7] r[327][8] r[327][9] r[328][0] r[328][1] r[328][2] r[328][3] r[328][4] r[328][5] r[328][6] r[328][7] r[328][8] r[328][9] r[329][0] r[329][1] r[329][2] r[329][3] r[329][4] r[329][5] r[329][6] r[329][7] r[329][8] r[329][9] r[330][0] r[330][1] r[330][2] r[330][3] r[330][4] r[330][5] r[330][6] r[330][7] r[330][8] r[330][9] r[331][0] r[331][1] r[331][2] r[331][3] r[331][4] r[331][5] r[331][6] r[331][7] r[331][8] r[331][9] r[332][0] r[332][1] r[332][2] r[332][3] r[332][4] r[332][5] r[332][6] r[332][7] r[332][8] r[332][9] r[333][0] r[333][1] r[333][2] r[333][3] r[333][4] r[333][5] r[333][6] r[333][7] r[333][8] r[333][9] r[334][0] r[334][1] r[334][2] r[334][3] r[334][4] r[334][5] r[334][6] r[334][7] r[334][8] r[334][9] r[335][0] r[335][1] r[335][2] r[335][3] r[335][4] r[335][5] r[335][6] r[335][7] r[335][8] r[335][9] r[336][0] r[336][1] r[336][2] r[336][3] r[336][4] r[336][5] r[336][6] r[336][7] r[336][8] r[336][9] r[337][0] r[337][1] r[337][2] r[337][3] r[337][4] r[337][5] r[337][6] r[337][7] r[337][8] r[337][9] r[338][0] r[338][1] r[338][2] r[338][3] r[338][4] r[338][5] r[338][6] r[338][7] r[338][8] r[338][9] r[339][0] r[339][1] r[339][2] r[339][3] r[339][4] r[339][5] r[339][6] r[339][7] r[339][8] r[339][9] r[340][0] r[340][1] r[340][2] r[340][3] r[340][4] r[340][5] r[340][6] r[340][7] r[340][8] r[340][9] r[341][0] r[341][1] r[341][2] r[341][3] r[341][4] r[341][5] r[341][6] r[341][7] r[341][8] r[341][9] r[342][0] r[342][1] r[342][2] r[342][3] r[342][4] r[342][5] r[342][6] r[342][7] r[342][8] r[342][9] r[343][0] r[343][1] r[343][2] r[343][3] r[343][4] r[343][5] r[343][6] r[343][7] r[343][8] r[343][9] r[344][0] r[344][1] r[344][2] r[344][3] r[344][4] r[344][5] r[344][6] r[344][7] r[344][8] r[344][9] r[345][0] r[345][1] r[345][2] r[345][3] r[345][4] r[345][5] r[345][6] r[345][7] r[345][8] r[345][9] r[346][0] r[346][1] r[346][2] r[346][3] r[346][4] r[346][5] r[346][6] r[346][7] r[346][8] r[346][9] r[347][0] r[347][1] r[347][2] r[347][3] r[347][4] r[347][5] r[347][6] r[347][7] r[347][8] r[347][9] r[348][0] r[348][1] r[348][2] r[348][3] r[348][4] r[348][5] r[348][6] r[348][7] r[348][8] r[348][9] r[349][0] r[349][1] r[349][2] r[349][3] r[349][4] r[349][5] r[349][6] r[349][7] r[349][8] r[349][9] r[350][0] r[350][1] r[350][2] r[350][3] r[350][4] r[350][5] r[350][6] r[350][7] r[350][8] r[350][9] r[351][0] r[351][1] r[351][2] r[351][3] r[351][4] r[351][5] r[351][6] r[351][7] r[351][8] r[351][9] r[352][0] r[352][1] r[352][2] r[352][3] r[352][4] r[352][5] r[352][6] r[352][7] r[352][8] r[352][9] r[353][0] r[353][1] r[353][2] r[353][3] r[353][4] r[353][5] r[353][6] r[353][7] r[353][8] r[353][9] r[354][0] r[354][1] r[354][2] r[354][3] r[354][4] r[354][5] r[354][6] r[354][7] r[354][8] r[354][9] r[355][0] r[355][1] r[355][2] r[355][3] r[355][4] r[355][5] r[355][6] r[355][7] r[355][8] r[355][9] r[356][0] r[356][1] r[356][2] r[356][3] r[356][4] r[356][5] r[356][6] r[356][7] r[356][8] r[356][9] r[357][0] r[357][1] r[357][2] r[357][3] r[357][4] r[357][5] r[357][6] r[357][7] r[357][8] r[357][9] r[358][0] r[358][1] r[358][2] r[358][3] r[358][4] r[358][5] r[358][6] r[358][7] r[358][8] r[358][9] r[359][0] r[359][1] r[359][2] r[359][3] r[359][4] r[359][5] r[359][6] r[359][7] r[359][8] r[359][9] r[360][0] r[360][1] r[360][2] r[360][3] r[360][4] r[360][5] r[360][6] r[360][7] r[360][8] r[360][9] r[361][0] r[361][1] r[361][2] r[361][3] r[361][4] r[361][5] r[361][6] r[361][7] r[361][8] r[361][9] r[362][0] r[362][1] r[362][2] r[362][3] r[362][4] r[362][5] r[362][6] r[362][7] r[362][8] r[362][9] r[363][0] r[363][1] r[363][2] r[363][3] r[363][4] r[363][5] r[363][6] r[363][7] r[363][8] r[363][9] r[364][0] r[364][1] r[364][2] r[364][3] r[364][4] r[364][5] r[364][6] r[364][7] r[364][8] r[364][9] r[365][0] r[365][1] r[365][2] r[365][3] r[365][4] r[365][5] r[365][6] r[365][7] r[365][8] r[365][9] r[366][0] r[366][1] r[366][2] r[366][3] r[366][4] r[366][5] r[366][6] r[366][7] r[366][8] r[366][9] r[367][0] r[367][1] r[367][2] r[367][3] r[367][4] r[367][5] r[367][6] r[367][7] r[367][8] r[367][9] r[368][0] r[368][1] r[368][2] r[368][3] r[368][4] r[368][5] r[368][6] r[368][7] r[368][8] r[368][9] r[369][0] r[369][1] r[369][2] r[369][3] r[369][4] r[369][5] r[369][6] r[369][7] r[369][8] r[369][9] r[370][0] r[370][1] r[370][2] r[370][3] r[370][4] r[370][5] r[370][6] r[370][7] r[370][8] r[370][9] r[371][0] r[371][1] r[371][2] r[371][3] r[371][4] r[371][5] r[371][6] r[371][7] r[371][8] r[371][9] r[372][0] r[372][1] r[372][2] r[372][3] r[372][4] r[372][5] r[372][6] r[372][7] r[372][8] r[372][9] r[373][0] r[373][1] r[373][2] r[373][3] r[373][4] r[373][5] r[373][6] r[373][7] r[373][8] r[373][9] r[374][0] r[374][1] r[374][2] r[374][3] r[374][4] r[374][5] r[374][6] r[374][7] r[374][8] r[374][9] r[375][0] r[375][1] r[375][2] r[375][3] r[375][4] r[375][5] r[375][6] r[375][7] r[375][8] r[375][9] r[376][0] r[376][1] r[376][2] r[376][3] r[376][4] r[376][5] r[376][6] r[376][7] r[376][8] r[376][9] r[377][0] r[377][1] r[377][2] r[377][3] r[377][4] r[377][5] r[377][6] r[377][7] r[377][8] r[377][9] r[378][0] r[378][1] r[378][2] r[378][3] r[378][4] r[378][5] r[378][6] r[378][7] r[378][8] r[378][9] r[379][0] r[379][1] r[379][2] r[379][3] r[379][4] r[379][5] r[379][6] r[379][7] r[379][8] r[379][9] r[380][0] r[380][1] r[380][2] r[380][3] r[380][4] r[380][5] r[380][6] r[380][7] r[380][8] r[380][9] r[381][0] r[381][1] r[381][2] r[381][3] r[381][4] r[381][5] r[381][6] r[381][7] r[381][8] r[381][9] r[382][0] r[382][1] r[382][2] r[382][3] r[382][4] r[382][5] r[382][6] r[382][7] r[382][8] r[382][9] r[383][0] r[383][1] r[383][2] r[383][3] r[383][4] r[383][5] r[383][6] r[383][7] r[383][8] r[383][9] r[384][0] r[384][1] r[384][2] r[384][3] r[384][4] r[384][5] r[384][6] r[384][7] r[384][8] r[384][9] r[385][0] r[385][1] r[385][2] r[385][3] r[385][4] r[385][5] r[385][6] r[385][7] r[385][8] r[385][9] r[386][0] r[386][1] r[386][2] r[386][3] r[386][4] r[386][5] r[386][6] r[386][7] r[386][8] r[386][9] r[387][0] r[387][1] r[387][2] r[387][3] r[387][4] r[387][5] r[387][6] r[387][7] r[387][8] r[387][9] r[388][0] r[388][1] r[388][2] r[388][3] r[388][4] r[388][5] r[388][6] r[388][7] r[388][8] r[388][9] r[389][0] r[389][1] r[389][2] r[389][3] r[389][4] r[389][5] r[389][6] r[389][7] r[389][8] r[389][9] r[390][0] r[390][1] r[390][2] r[390][3] r[390][4] r[390][5] r[390][6] r[390][7] r[390][8] r[390][9] r[391][0] r[391][1] r[391][2] r[391][3] r[391][4] r[391][5] r[391][6] r[391][7] r[391][8] r[391][9] r[392][0] r[392][1] r[392][2] r[392][3] r[392][4] r[392][5] r[392][6] r[392][7] r[392][8] r[392][9] r[393][0] r[393][1] r[393][2] r[393][3] r[393][4] r[393][5] r[393][6] r[393][7] r[393][8] r[393][9] r[394][0] r[394][1] r[394][2] r[394][3] r[394][4] r[394][5] r[394][6] r[394][7] r[394][8] r[394][9] r[395][0] r[395][1] r[395][2] r[395][3] r[395][4] r[395][5] r[395][6] r[395][7] r[395][8] r[395][9] r[396][0] r[396][1] r[396][2] r[396][3] r[396][4] r[396][5] r[396][6] r[396][7] r[396][8] r[396][9] r[397][0] r[397][1] r[397][2] r[397][3] r[397][4] r[397][5] r[397][6] r[397][7] r[397][8] r[397][9] r[398][0] r[398][1] r[398][2] r[398][3] r[398][4] r[398][5] r[398][6] r[398][7] r[398][8] r[398][9] r[399][0] r[399][1] r[399][2] r[399][3] r[399][4] r[399][5] r[399][6] r[399][7] r[399][8] r[399][9] r[400][0] r[400][1] r[400][2] r[400][3] r[400][4] r[400][5] r[400][6] r[400][7] r[400][8] r[400][9] r[401][0] r[401][1] r[401][2] r[401][3] r[401][4] r[401][5] r[401][6] r[401][7] r[401][8] r[401][9] r[402][0] r[402][1] r[402][2] r[402][3] r[402][4] r[402][5] r[402][6] r[402][7] r[402][8] r[402][9] r[403][0] r[403][1] r[403][2] r[403][3] r[403][4] r[403][5] r[403][6] r[403][7] r[403][8] r[403][9] r[404][0] r[404][1] r[404][2] r[404][3] r[404][4] r[404][5] r[404][6] r[404][7] r[404][8] r[404][9] r[405][0] r[405][1] r[405][2] r[405][3] r[405][4] r[405][5] r[405][6] r[405][7] r[405][8] r[405][9] r[406][0] r[406][1] r[406][2] r[406][3] r[406][4] r[406][5] r[406][6] r[406][7] r[406][8] r[406][9] r[407][0] r[407][1] r[407][2] r[407][3] r[407][4] r[407][5] r[407][6] r[407][7] r[407][8] r[407][9] r[408][0] r[408][1] r[408][2] r[408][3] r[408][4] r[408][5] r[408][6] r[408][7] r[408][8] r[408][9] r[409][0] r[409][1] r[409][2] r[409][3] r[409][4] r[409][5] r[409][6] r[409][7] r[409][8] r[409][9] r[410][0] r[410][1] r[410][2] r[410][3] r[410][4] r[410][5] r[410][6] r[410][7] r[410][8] r[410][9] r[411][0] r[411][1] r[411][2] r[411][3] r[411][4] r[411][5] r[411][6] r[411][7] r[411][8] r[411][9] r[412][0] r[412][1] r[412][2] r[412][3] r[412][4] r[412][5] r[412][6] r[412][7] r[412][8] r[412][9] r[413][0] r[413][1] r[413][2] r[413][3] r[413][4] r[413][5] r[413][6] r[413][7] r[413][8] r[413][9] r[414][0] r[414][1] r[414][2] r[414][3] r[414][4] r[414][5] r[414][6] r[414][7] r[414][8] r[414][9] r[415][0] r[415][1] r[415][2] r[415][3] r[415][4] r[415][5] r[415][6] r[415][7] r[415][8] r[415][9] r[416][0] r[416][1] r[416][2] r[416][3] r[416][4] r[416][5] r[416][6] r[416][7] r[416][8] r[416][9] r[417][0] r[417][1] r[417][2] r[417][3] r[417][4] r[417][5] r[417][6] r[417][7] r[417][8] r[417][9] r[418][0] r[418][1] r[418][2] r[418][3] r[418][4] r[418][5] r[418][6] r[418][7] r[418][8] r[418][9] r[419][0] r[419][1] r[419][2] r[419][3] r[419][4] r[419][5] r[419][6] r[419][7] r[419][8] r[419][9] r[420][0] r[420][1] r[420][2] r[420][3] r[420][4] r[420][5] r[420][6] r[420][7] r[420][8] r[420][9] r[421][0] r[421][1] r[421][2] r[421][3] r[421][4] r[421][5] r[421][6] r[421][7] r[421][8] r[421][9] r[422][0] r[422][1] r[422][2] r[422][3] r[422][4] r[422][5] r[422][6] r[422][7] r[422][8] r[422][9] r[423][0] r[423][1] r[423][2] r[423][3] r[423][4] r[423][5] r[423][6] r[423][7] r[423][8] r[423][9] r[424][0] r[424][1] r[424][2] r[424][3] r[424][4] r[424][5] r[424][6] r[424][7] r[424][8] r[424][9] r[425][0] r[425][1] r[425][2] r[425][3] r[425][4] r[425][5] r[425][6] r[425][7] r[425][8] r[425][9] r[426][0] r[426][1] r[426][2] r[426][3] r[426][4] r[426][5] r[426][6] r[426][7] r[426][8] r[426][9] r[427][0] r[427][1] r[427][2] r[427][3] r[427][4] r[427][5] r[427][6] r[427][7] r[427][8] r[427][9] r[428][0] r[428][1] r[428][2] r[428][3] r[428][4] r[428][5] r[428][6] r[428][7] r[428][8] r[428][9] r[429][0] r[429][1] r[429][2] r[429][3] r[429][4] r[429][5] r[429][6] r[429][7] r[429][8] r[429][9] r[430][0] r[430][1] r[430][2] r[430][3] r[430][4] r[430][5] r[430][6] r[430][7] r[430][8] r[430][9] r[431][0] r[431][1] r[431][2] r[431][3] r[431][4] r[431][5] r[431][6] r[431][7] r[431][8] r[431][9] r[432][0] r[432][1] r[432][2] r[432][3] r[432][4] r[432][5] r[432][6] r[432][7] r[432][8] r[432][9] r[433][0] r[433][1] r[433][2] r[433][3] r[433][4] r[433][5] r[433][6] r[433][7] r[433][8] r[433][9] r[434][0] r[434][1] r[434][2] r[434][3] r[434][4] r[434][5] r[434][6] r[434][7] r[434][8] r[434][9] r[435][0] r[435][1] r[435][2] r[435][3] r[435][4] r[435][5] r[435][6] r[435][7] r[435][8] r[435][9] r[436][0] r[436][1] r[436][2] r[436][3] r[436][4] r[436][5] r[436][6] r[436][7] r[436][8] r[436][9] r[437][0] r[437][1] r[437][2] r[437][3] r[437][4] r[437][5] r[437][6] r[437][7] r[437][8] r[437][9] r[438][0] r[438][1] r[438][2] r[438][3] r[438][4] r[438][5] r[438][6] r[438][7] r[438][8] r[438][9] r[439][0] r[439][1] r[439][2] r[439][3] r[439][4] r[439][5] r[439][6] r[439][7] r[439][8] r[439][9] r[440][0] r[440][1] r[440][2] r[440][3] r[440][4] r[440][5] r[440][6] r[440][7] r[440][8] r[440][9] r[441][0] r[441][1] r[441][2] r[441][3] r[441][4] r[441][5] r[441][6] r[441][7] r[441][8] r[441][9] r[442][0] r[442][1] r[442][2] r[442][3] r[442][4] r[442][5] r[442][6] r[442][7] r[442][8] r[442][9] r[443][0] r[443][1] r[443][2] r[443][3] r[443][4] r[443][5] r[443][6] r[443][7] r[443][8] r[443][9] r[444][0] r[444][1] r[444][2] r[444][3] r[444][4] r[444][5] r[444][6] r[444][7] r[444][8] r[444][9] r[445][0] r[445][1] r[445][2] r[445][3] r[445][4] r[445][5] r[445][6] r[445][7] r[445][8] r[445][9] r[446][0] r[446][1] r[446][2] r[446][3] r[446][4] r[446][5] r[446][6] r[446][7] r[446][8] r[446][9] r[447][0] r[447][1] r[447][2] r[447][3] r[447][4] r[447][5] r[447][6] r[447][7] r[447][8] r[447][9] r[448][0] r[448][1] r[448][2] r[448][3] r[448][4] r[448][5] r[448][6] r[448][7] r[448][8] r[448][9] r[449][0] r[449][1] r[449][2] r[449][3] r[449][4] r[449][5] r[449][6] r[449][7] r[449][8] r[449][9] r[450][0] r[450][1] r[450][2] r[450][3] r[450][4] r[450][5] r[450][6] r[450][7] r[450][8] r[450][9] r[451][0] r[451][1] r[451][2] r[451][3] r[451][4] r[451][5] r[451][6] r[451][7] r[451][8] r[451][9] r[452][0] r[452][1] r[452][2] r[452][3] r[452][4] r[452][5] r[452][6] r[452][7] r[452][8] r[452][9] r[453][0] r[453][1] r[453][2] r[453][3] r[453][4] r[453][5] r[453][6] r[453][7] r[453][8] r[453][9] r[454][0] r[454][1] r[454][2] r[454][3] r[454][4] r[454][5] r[454][6] r[454][7] r[454][8] r[454][9] r[455][0] r[455][1] r[455][2] r[455][3] r[455][4] r[455][5] r[455][6] r[455][7] r[455][8] r[455][9] r[456][0] r[456][1] r[456][2] r[456][3] r[456][4] r[456][5] r[456][6] r[456][7] r[456][8] r[456][9] r[457][0] r[457][1] r[457][2] r[457][3] r[457][4] r[457][5] r[457][6] r[457][7] r[457][8] r[457][9] r[458][0] r[458][1] r[458][2] r[458][3] r[458][4] r[458][5] r[458][6] r[458][7] r[458][8] r[458][9] r[459][0] r[459][1] r[459][2] r[459][3] r[459][4] r[459][5] r[459][6] r[459][7] r[459][8] r[459][9] r[460][0] r[460][1] r[460][2] r[460][3] r[460][4] r[460][5] r[460][6] r[460][7] r[460][8] r[460][9] r[461][0] r[461][1] r[461][2] r[461][3] r[461][4] r[461][5] r[461][6] r[461][7] r[461][8] r[461][9] r[462][0] r[462][1] r[462][2] r[462][3] r[462][4] r[462][5] r[462][6] r[462][7] r[462][8] r[462][9] r[463][0] r[463][1] r[463][2] r[463][3] r[463][4] r[463][5] r[463][6] r[463][7] r[463][8] r[463][9] r[464][0] r[464][1] r[464][2] r[464][3] r[464][4] r[464][5] r[464][6] r[464][7] r[464][8] r[464][9] r[465][0] r[465][1] r[465][2] r[465][3] r[465][4] r[465][5] r[465][6] r[465][7] r[465][8] r[465][9] r[466][0] r[466][1] r[466][2] r[466][3] r[466][4] r[466][5] r[466][6] r[466][7] r[466][8] r[466][9] r[467][0] r[467][1] r[467][2] r[467][3] r[467][4] r[467][5] r[467][6] r[467][7] r[467][8] r[467][9] r[468][0] r[468][1] r[468][2] r[468][3] r[468][4] r[468][5] r[468][6] r[468][7] r[468][8] r[468][9] r[469][0] r[469][1] r[469][2] r[469][3] r[469][4] r[469][5] r[469][6] r[469][7] r[469][8] r[469][9] r[470][0] r[470][1] r[470][2] r[470][3] r[470][4] r[470][5] r[470][6] r[470][7] r[470][8] r[470][9] r[471][0] r[471][1] r[471][2] r[471][3] r[471][4] r[471][5] r[471][6] r[471][7] r[471][8] r[471][9] r[472][0] r[472][1] r[472][2] r[472][3] r[472][4] r[472][5] r[472][6] r[472][7] r[472][8] r[472][9] r[473][0] r[473][1] r[473][2] r[473][3] r[473][4] r[473][5] r[473][6] r[473][7] r[473][8] r[473][9] r[474][0] r[474][1] r[474][2] r[474][3] r[474][4] r[474][5] r[474][6] r[474][7] r[474][8] r[474][9] r[475][0] r[475][1] r[475][2] r[475][3] r[475][4] r[475][5] r[475][6] r[475][7] r[475][8] r[475][9] r[476][0] r[476][1] r[476][2] r[476][3] r[476][4] r[476][5] r[476][6] r[476][7] r[476][8] r[476][9] r[477][0] r[477][1] r[477][2] r[477][3] r[477][4] r[477][5] r[477][6] r[477][7] r[477][8] r[477][9] r[478][0] r[478][1] r[478][2] r[478][3] r[478][4] r[478][5] r[478][6] r[478][7] r[478][8] r[478][9] r[479][0] r[479][1] r[479][2] r[479][3] r[479][4] r[479][5] r[479][6] r[479][7] r[479][8] r[479][9] r[480][0] r[480][1] r[480][2] r[480][3] r[480][4] r[480][5] r[480][6] r[480][7] r[480][8] r[480][9] r[481][0] r[481][1] r[481][2] r[481][3] r[481][4] r[481][5] r[481][6] r[481][7] r[481][8] r[481][9] r[482][0] r[482][1] r[482][2] r[482][3] r[482][4] r[482][5] r[482][6] r[482][7] r[482][8] r[482][9] r[483][0] r[483][1] r[483][2] r[483][3] r[483][4] r[483][5] r[483][6] r[483][7] r[483][8] r[483][9] r[484][0] r[484][1] r[484][2] r[484][3] r[484][4] r[484][5] r[484][6] r[484][7] r[484][8] r[484][9] r[485][0] r[485][1] r[485][2] r[485][3] r[485][4] r[485][5] r[485][6] r[485][7] r[485][8] r[485][9] r[486][0] r[486][1] r[486][2] r[486][3] r[486][4] r[486][5] r[486][6] r[486][7] r[486][8] r[486][9] r[487][0] r[487][1] r[487][2] r[487][3] r[487][4] r[487][5] r[487][6] r[487][7] r[487][8] r[487][9] r[488][0] r[488][1] r[488][2] r[488][3] r[488][4] r[488][5] r[488][6] r[488][7] r[488][8] r[488][9] r[489][0] r[489][1] r[489][2] r[489][3] r[489][4] r[489][5] r[489][6] r[489][7] r[489][8] r[489][9] r[490][0] r[490][1] r[490][2] r[490][3] r[490][4] r[490][5] r[490][6] r[490][7] r[490][8] r[490][9] r[491][0] r[491][1] r[491][2] r[491][3] r[491][4] r[491][5] r[491][6] r[491][7] r[491][8] r[491][9] r[492][0] r[492][1] r[492][2] r[492][3] r[492][4] r[492][5] r[492][6] r[492][7] r[492][8] r[492][9] r[493][0] r[493][1] r[493][2] r[493][3] r[493][4] r[493][5] r[493][6] r[493][7] r[493][8] r[493][9] r[494][0] r[494][1] r[494][2] r[494][3] r[494][4] r[494][5] r[494][6] r[494][7] r[494][8] r[494][9] r[495][0] r[495][1] r[495][2] r[495][3] r[495][4] r[495][5] r[495][6] r[495][7] r[495][8] r[495][9] r[496][0] r[496][1] r[496][2] r[496][3] r[496][4] r[496][5] r[496][6] r[496][7] r[496][8] r[496][9] r[497][0] r[497][1] r[497][2] r[497][3] r[497][4] r[497][5] r[497][6] r[497][7] r[497][8] r[497][9] r[498][0] r[498][1] r[498][2] r[498][3] r[498][4] r[498][5] r[498][6] r[498][7] r[498][8] r[498][9] r[499][0] r[499][1] r[499][2] r[499][3] r[499][4] r[499][5] r[499][6] r[499][7] r[499][8] r[499][9] r[500][0] r[500][1] r[500][2] r[500][3] r[500][4] r[500][5] r[500][6] r[500][7] r[500][8] r[500][9] r[501][0] r[501][1] r[501][2] r[501][3] r[501][4] r[501][5] r[501][6] r[501][7] r[501][8] r[501][9] r[502][0] r[502][1] r[502][2] r[502][3] r[502][4] r[502][5] r[502][6] r[502][7] r[502][8] r[502][9] r[503][0] r[503][1] r[503][2] r[503][3] r[503][4] r[503][5] r[503][6] r[503][7] r[503][8] r[503][9] r[504][0] r[504][1] r[504][2] r[504][3] r[504][4] r[504][5] r[504][6] r[504][7] r[504][8] r[504][9] r[505][0] r[505][1] r[505][2] r[505][3] r[505][4] r[505][5] r[505][6] r[505][7] r[505][8] r[505][9] r[506][0] r[506][1] r[506][2] r[506][3] r[506][4] r[506][5] r[506][6] r[506][7] r[506][8] r[506][9] r[507][0] r[507][1] r[507][2] r[507][3] r[507][4] r[507][5] r[507][6] r[507][7] r[507][8] r[507][9] r[508][0] r[508][1] r[508][2] r[508][3] r[508][4] r[508][5] r[508][6] r[508][7] r[508][8] r[508][9] r[509][0] r[509][1] r[509][2] r[509][3] r[509][4] r[509][5] r[509][6] r[509][7] r[509][8] r[509][9] r[510][0] r[510][1] r[510][2] r[510][3] r[510][4] r[510][5] r[510][6] r[510][7] r[510][8] r[510][9] r[511][0] r[511][1] r[511][2] r[511][3] r[511][4] r[511][5] r[511][6] r[511][7] r[511][8] r[511][9] r[512][0] r[512][1] r[512][2] r[512][3] r[512][4] r[512][5] r[512][6] r[512][7] r[512][8] r[512][9] r[513][0] r[513][1] r[513][2] r[513][3] r[513][4] r[513][5] r[513][6] r[513][7] r[513][8] r[513][9] r[514][0] r[514][1] r[514][2] r[514][3] r[514][4] r[514][5] r[514][6] r[514][7] r[514][8] r[514][9] r[515][0] r[515][1] r[515][2] r[515][3] r[515][4] r[515][5] r[515][6] r[515][7] r[515][8] r[515][9] r[516][0] r[516][1] r[516][2] r[516][3] r[516][4] r[516][5] r[516][6] r[516][7] r[516][8] r[516][9] r[517][0] r[517][1] r[517][2] r[517][3] r[517][4] r[517][5] r[517][6] r[517][7] r[517][8] r[517][9] r[518][0] r[518][1] r[518][2] r[518][3] r[518][4] r[518][5] r[518][6] r[518][7] r[518][8] r[518][9] r[519][0] r[519][1] r[519][2] r[519][3] r[519][4] r[519][5] r[519][6] r[519][7] r[519][8] r[519][9] r[520][0] r[520][1] r[520][2] r[520][3] r[520][4] r[520][5] r[520][6] r[520][7] r[520][8] r[520][9] r[521][0] r[521][1] r[521][2] r[521][3] r[521][4] r[521][5] r[521][6] r[521][7] r[521][8] r[521][9] r[522][0] r[522][1] r[522][2] r[522][3] r[522][4] r[522][5] r[522][6] r[522][7] r[522][8] r[522][9] r[523][0] r[523][1] r[523][2] r[523][3] r[523][4] r[523][5] r[523][6] r[523][7] r[523][8] r[523][9] r[524][0] r[524][1] r[524][2] r[524][3] r[524][4] r[524][5] r[524][6] r[524][7] r[524][8] r[524][9] r[525][0] r[525][1] r[525][2] r[525][3] r[525][4] r[525][5] r[525][6] r[525][7] r[525][8] r[525][9] r[526][0] r[526][1] r[526][2] r[526][3] r[526][4] r[526][5] r[526][6] r[526][7] r[526][8] r[526][9] r[527][0] r[527][1] r[527][2] r[527][3] r[527][4] r[527][5] r[527][6] r[527][7] r[527][8] r[527][9] r[528][0] r[528][1] r[528][2] r[528][3] r[528][4] r[528][5] r[528][6] r[528][7] r[528][8] r[528][9] r[529][0] r[529][1] r[529][2] r[529][3] r[529][4] r[529][5] r[529][6] r[529][7] r[529][8] r[529][9] r[530][0] r[530][1] r[530][2] r[530][3] r[530][4] r[530][5] r[530][6] r[530][7] r[530][8] r[530][9] r[531][0] r[531][1] r[531][2] r[531][3] r[531][4] r[531][5] r[531][6] r[531][7] r[531][8] r[531][9] r[532][0] r[532][1] r[532][2] r[532][3] r[532][4] r[532][5] r[532][6] r[532][7] r[532][8] r[532][9] r[533][0] r[533][1] r[533][2] r[533][3] r[533][4] r[533][5] r[533][6] r[533][7] r[533][8] r[533][9] r[534][0] r[534][1] r[534][2] r[534][3] r[534][4] r[534][5] r[534][6] r[534][7] r[534][8] r[534][9] r[535][0] r[535][1] r[535][2] r[535][3] r[535][4] r[535][5] r[535][6] r[535][7] r[535][8] r[535][9] r[536][0] r[536][1] r[536][2] r[536][3] r[536][4] r[536][5] r[536][6] r[536][7] r[536][8] r[536][9] r[537][0] r[537][1] r[537][2] r[537][3] r[537][4] r[537][5] r[537][6] r[537][7] r[537][8] r[537][9] r[538][0] r[538][1] r[538][2] r[538][3] r[538][4] r[538][5] r[538][6] r[538][7] r[538][8] r[538][9] r[539][0] r[539][1] r[539][2] r[539][3] r[539][4] r[539][5] r[539][6] r[539][7] r[539][8] r[539][9] r[540][0] r[540][1] r[540][2] r[540][3] r[540][4] r[540][5] r[540][6] r[540][7] r[540][8] r[540][9] r[541][0] r[541][1] r[541][2] r[541][3] r[541][4] r[541][5] r[541][6] r[541][7] r[541][8] r[541][9] r[542][0] r[542][1] r[542][2] r[542][3] r[542][4] r[542][5] r[542][6] r[542][7] r[542][8] r[542][9] r[543][0] r[543][1] r[543][2] r[543][3] r[543][4] r[543][5] r[543][6] r[543][7] r[543][8] r[543][9] r[544][0] r[544][1] r[544][2] r[544][3] r[544][4] r[544][5] r[544][6] r[544][7] r[544][8] r[544][9] r[545][0] r[545][1] r[545][2] r[545][3] r[545][4] r[545][5] r[545][6] r[545][7] r[545][8] r[545][9] r[546][0] r[546][1] r[546][2] r[546][3] r[546][4] r[546][5] r[546][6] r[546][7] r[546][8] r[546][9] r[547][0] r[547][1] r[547][2] r[547][3] r[547][4] r[547][5] r[547][6] r[547][7] r[547][8] r[547][9] r[548][0] r[548][1] r[548][2] r[548][3] r[548][4] r[548][5] r[548][6] r[548][7] r[548][8] r[548][9] r[549][0] r[549][1] r[549][2] r[549][3] r[549][4] r[549][5] r[549][6] r[549][7] r[549][8] r[549][9] r[550][0] r[550][1] r[550][2] r[550][3] r[550][4] r[550][5] r[550][6] r[550][7] r[550][8] r[550][9] r[551][0] r[551][1] r[551][2] r[551][3] r[551][4] r[551][5] r[551][6] r[551][7] r[551][8] r[551][9] r[552][0] r[552][1] r[552][2] r[552][3] r[552][4] r[552][5] r[552][6] r[552][7] r[552][8] r[552][9] r[553][0] r[553][1] r[553][2] r[553][3] r[553][4] r[553][5] r[553][6] r[553][7] r[553][8] r[553][9] r[554][0] r[554][1] r[554][2] r[554][3] r[554][4] r[554][5] r[554][6] r[554][7] r[554][8] r[554][9] r[555][0] r[555][1] r[555][2] r[555][3] r[555][4] r[555][5] r[555][6] r[555][7] r[555][8] r[555][9] r[556][0] r[556][1] r[556][2] r[556][3] r[556][4] r[556][5] r[556][6] r[556][7] r[556][8] r[556][9] r[557][0] r[557][1] r[557][2] r[557][3] r[557][4] r[557][5] r[557][6] r[557][7] r[557][8] r[557][9] r[558][0] r[558][1] r[558][2] r[558][3] r[558][4] r[558][5] r[558][6] r[558][7] r[558][8] r[558][9] r[559][0] r[559][1] r[559][2] r[559][3] r[559][4] r[559][5] r[559][6] r[559][7] r[559][8] r[559][9] r[560][0] r[560][1] r[560][2] r[560][3] r[560][4] r[560][5] r[560][6] r[560][7] r[560][8] r[560][9] r[561][0] r[561][1] r[561][2] r[561][3] r[561][4] r[561][5] r[561][6] r[561][7] r[561][8] r[561][9] r[562][0] r[562][1] r[562][2] r[562][3] r[562][4] r[562][5] r[562][6] r[562][7] r[562][8] r[562][9] r[563][0] r[563][1] r[563][2] r[563][3] r[563][4] r[563][5] r[563][6] r[563][7] r[563][8] r[563][9] r[564][0] r[564][1] r[564][2] r[564][3] r[564][4] r[564][5] r[564][6] r[564][7] r[564][8] r[564][9] r[565][0] r[565][1] r[565][2] r[565][3] r[565][4] r[565][5] r[565][6] r[565][7] r[565][8] r[565][9] r[566][0] r[566][1] r[566][2] r[566][3] r[566][4] r[566][5] r[566][6] r[566][7] r[566][8] r[566][9] r[567][0] r[567][1] r[567][2] r[567][3] r[567][4] r[567][5] r[567][6] r[567][7] r[567][8] r[567][9] r[568][0] r[568][1] r[568][2] r[568][3] r[568][4] r[568][5] r[568][6] r[568][7] r[568][8] r[568][9] r[569][0] r[569][1] r[569][2] r[569][3] r[569][4] r[569][5] r[569][6] r[569][7] r[569][8] r[569][9] r[570][0] r[570][1] r[570][2] r[570][3] r[570][4] r[570][5] r[570][6] r[570][7] r[570][8] r[570][9] r[571][0] r[571][1] r[571][2] r[571][3] r[571][4] r[571][5] r[571][6] r[571][7] r[571][8] r[571][9] r[572][0] r[572][1] r[572][2] r[572][3] r[572][4] r[572][5] r[572][6] r[572][7] r[572][8] r[572][9] r[573][0] r[573][1] r[573][2] r[573][3] r[573][4] r[573][5] r[573][6] r[573][7] r[573][8] r[573][9] r[574][0] r[574][1] r[574][2] r[574][3] r[574][4] r[574][5] r[574][6] r[574][7] r[574][8] r[574][9] r[575][0] r[575][1] r[575][2] r[575][3] r[575][4] r[575][5] r[575][6] r[575][7] r[575][8] r[575][9] r[576][0] r[576][1] r[576][2] r[576][3] r[576][4] r[576][5] r[576][6] r[576][7] r[576][8] r[576][9] r[577][0] r[577][1] r[577][2] r[577][3] r[577][4] r[577][5] r[577][6] r[577][7] r[577][8] r[577][9] r[578][0] r[578][1] r[578][2] r[578][3] r[578][4] r[578][5] r[578][6] r[578][7] r[578][8] r[578][9] r[579][0] r[579][1] r[579][2] r[579][3] r[579][4] r[579][5] r[579][6] r[579][7] r[579][8] r[579][9] r[580][0] r[580][1] r[580][2] r[580][3] r[580][4] r[580][5] r[580][6] r[580][7] r[580][8] r[580][9] r[581][0] r[581][1] r[581][2] r[581][3] r[581][4] r[581][5] r[581][6] r[581][7] r[581][8] r[581][9] r[582][0] r[582][1] r[582][2] r[582][3] r[582][4] r[582][5] r[582][6] r[582][7] r[582][8] r[582][9] r[583][0] r[583][1] r[583][2] r[583][3] r[583][4] r[583][5] r[583][6] r[583][7] r[583][8] r[583][9] r[584][0] r[584][1] r[584][2] r[584][3] r[584][4] r[584][5] r[584][6] r[584][7] r[584][8] r[584][9] r[585][0] r[585][1] r[585][2] r[585][3] r[585][4] r[585][5] r[585][6] r[585][7] r[585][8] r[585][9] r[586][0] r[586][1] r[586][2] r[586][3] r[586][4] r[586][5] r[586][6] r[586][7] r[586][8] r[586][9] r[587][0] r[587][1] r[587][2] r[587][3] r[587][4] r[587][5] r[587][6] r[587][7] r[587][8] r[587][9] r[588][0] r[588][1] r[588][2] r[588][3] r[588][4] r[588][5] r[588][6] r[588][7] r[588][8] r[588][9] r[589][0] r[589][1] r[589][2] r[589][3] r[589][4] r[589][5] r[589][6] r[589][7] r[589][8] r[589][9] r[590][0] r[590][1] r[590][2] r[590][3] r[590][4] r[590][5] r[590][6] r[590][7] r[590][8] r[590][9] r[591][0] r[591][1] r[591][2] r[591][3] r[591][4] r[591][5] r[591][6] r[591][7] r[591][8] r[591][9] r[592][0] r[592][1] r[592][2] r[592][3] r[592][4] r[592][5] r[592][6] r[592][7] r[592][8] r[592][9] r[593][0] r[593][1] r[593][2] r[593][3] r[593][4] r[593][5] r[593][6] r[593][7] r[593][8] r[593][9] r[594][0] r[594][1] r[594][2] r[594][3] r[594][4] r[594][5] r[594][6] r[594][7] r[594][8] r[594][9] r[595][0] r[595][1] r[595][2] r[595][3] r[595][4] r[595][5] r[595][6] r[595][7] r[595][8] r[595][9] r[596][0] r[596][1] r[596][2] r[596][3] r[596][4] r[596][5] r[596][6] r[596][7] r[596][8] r[596][9] r[597][0] r[597][1] r[597][2] r[597][3] r[597][4] r[597][5] r[597][6] r[597][7] r[597][8] r[597][9] r[598][0] r[598][1] r[598][2] r[598][3] r[598][4] r[598][5] r[598][6] r[598][7] r[598][8] r[598][9] r[599][0] r[599][1] r[599][2] r[599][3] r[599][4] r[599][5] r[599][6] r[599][7] r[599][8] r[599][9] r[600][0] r[600][1] r[600][2] r[600][3] r[600][4] r[600][5] r[600][6] r[600][7] r[600][8] r[600][9] r[601][0] r[601][1] r[601][2] r[601][3] r[601][4] r[601][5] r[601][6] r[601][7] r[601][8] r[601][9] r[602][0] r[602][1] r[602][2] r[602][3] r[602][4] r[602][5] r[602][6] r[602][7] r[602][8] r[602][9] r[603][0] r[603][1] r[603][2] r[603][3] r[603][4] r[603][5] r[603][6] r[603][7] r[603][8] r[603][9] r[604][0] r[604][1] r[604][2] r[604][3] r[604][4] r[604][5] r[604][6] r[604][7] r[604][8] r[604][9] r[605][0] r[605][1] r[605][2] r[605][3] r[605][4] r[605][5] r[605][6] r[605][7] r[605][8] r[605][9] r[606][0] r[606][1] r[606][2] r[606][3] r[606][4] r[606][5] r[606][6] r[606][7] r[606][8] r[606][9] r[607][0] r[607][1] r[607][2] r[607][3] r[607][4] r[607][5] r[607][6] r[607][7] r[607][8] r[607][9] r[608][0] r[608][1] r[608][2] r[608][3] r[608][4] r[608][5] r[608][6] r[608][7] r[608][8] r[608][9] r[609][0] r[609][1] r[609][2] r[609][3] r[609][4] r[609][5] r[609][6] r[609][7] r[609][8] r[609][9] r[610][0] r[610][1] r[610][2] r[610][3] r[610][4] r[610][5] r[610][6] r[610][7] r[610][8] r[610][9] r[611][0] r[611][1] r[611][2] r[611][3] r[611][4] r[611][5] r[611][6] r[611][7] r[611][8] r[611][9] r[612][0] r[612][1] r[612][2] r[612][3] r[612][4] r[612][5] r[612][6] r[612][7] r[612][8] r[612][9] r[613][0] r[613][1] r[613][2] r[613][3] r[613][4] r[613][5] r[613][6] r[613][7] r[613][8] r[613][9] r[614][0] r[614][1] r[614][2] r[614][3] r[614][4] r[614][5] r[614][6] r[614][7] r[614][8] r[614][9] r[615][0] r[615][1] r[615][2] r[615][3] r[615][4] r[615][5] r[615][6] r[615][7] r[615][8] r[615][9] r[616][0] r[616][1] r[616][2] r[616][3] r[616][4] r[616][5] r[616][6] r[616][7] r[616][8] r[616][9] r[617][0] r[617][1] r[617][2] r[617][3] r[617][4] r[617][5] r[617][6] r[617][7] r[617][8] r[617][9] r[618][0] r[618][1] r[618][2] r[618][3] r[618][4] r[618][5] r[618][6] r[618][7] r[618][8] r[618][9] r[619][0] r[619][1] r[619][2] r[619][3] r[619][4] r[619][5] r[619][6] r[619][7] r[619][8] r[619][9] r[620][0] r[620][1] r[620][2] r[620][3] r[620][4] r[620][5] r[620][6] r[620][7] r[620][8] r[620][9] r[621][0] r[621][1] r[621][2] r[621][3] r[621][4] r[621][5] r[621][6] r[621][7] r[621][8] r[621][9] r[622][0] r[622][1] r[622][2] r[622][3] r[622][4] r[622][5] r[622][6] r[622][7] r[622][8] r[622][9] r[623][0] r[623][1] r[623][2] r[623][3] r[623][4] r[623][5] r[623][6] r[623][7] r[623][8] r[623][9] r[624][0] r[624][1] r[624][2] r[624][3] r[624][4] r[624][5] r[624][6] r[624][7] r[624][8] r[624][9] r[625][0] r[625][1] r[625][2] r[625][3] r[625][4] r[625][5] r[625][6] r[625][7] r[625][8] r[625][9] r[626][0] r[626][1] r[626][2] r[626][3] r[626][4] r[626][5] r[626][6] r[626][7] r[626][8] r[626][9] r[627][0] r[627][1] r[627][2] r[627][3] r[627][4] r[627][5] r[627][6] r[627][7] r[627][8] r[627][9] r[628][0] r[628][1] r[628][2] r[628][3] r[628][4] r[628][5] r[628][6] r[628][7] r[628][8] r[628][9] r[629][0] r[629][1] r[629][2] r[629][3] r[629][4] r[629][5] r[629][6] r[629][7] r[629][8] r[629][9] r[630][0] r[630][1] r[630][2] r[630][3] r[630][4] r[630][5] r[630][6] r[630][7] r[630][8] r[630][9] r[631][0] r[631][1] r[631][2] r[631][3] r[631][4] r[631][5] r[631][6] r[631][7] r[631][8] r[631][9] r[632][0] r[632][1] r[632][2] r[632][3] r[632][4] r[632][5] r[632][6] r[632][7] r[632][8] r[632][9] r[633][0] r[633][1] r[633][2] r[633][3] r[633][4] r[633][5] r[633][6] r[633][7] r[633][8] r[633][9] r[634][0] r[634][1] r[634][2] r[634][3] r[634][4] r[634][5] r[634][6] r[634][7] r[634][8] r[634][9] r[635][0] r[635][1] r[635][2] r[635][3] r[635][4] r[635][5] r[635][6] r[635][7] r[635][8] r[635][9] r[636][0] r[636][1] r[636][2] r[636][3] r[636][4] r[636][5] r[636][6] r[636][7] r[636][8] r[636][9] r[637][0] r[637][1] r[637][2] r[637][3] r[637][4] r[637][5] r[637][6] r[637][7] r[637][8] r[637][9] r[638][0] r[638][1] r[638][2] r[638][3] r[638][4] r[638][5] r[638][6] r[638][7] r[638][8] r[638][9] r[639][0] r[639][1] r[639][2] r[639][3] r[639][4] r[639][5] r[639][6] r[639][7] r[639][8] r[639][9] r[640][0] r[640][1] r[640][2] r[640][3] r[640][4] r[640][5] r[640][6] r[640][7] r[640][8] r[640][9] r[641][0] r[641][1] r[641][2] r[641][3] r[641][4] r[641][5] r[641][6] r[641][7] r[641][8] r[641][9] r[642][0] r[642][1] r[642][2] r[642][3] r[642][4] r[642][5] r[642][6] r[642][7] r[642][8] r[642][9] r[643][0] r[643][1] r[643][2] r[643][3] r[643][4] r[643][5] r[643][6] r[643][7] r[643][8] r[643][9] r[644][0] r[644][1] r[644][2] r[644][3] r[644][4] r[644][5] r[644][6] r[644][7] r[644][8] r[644][9] r[645][0] r[645][1] r[645][2] r[645][3] r[645][4] r[645][5] r[645][6] r[645][7] r[645][8] r[645][9] r[646][0] r[646][1] r[646][2] r[646][3] r[646][4] r[646][5] r[646][6] r[646][7] r[646][8] r[646][9] r[647][0] r[647][1] r[647][2] r[647][3] r[647][4] r[647][5] r[647][6] r[647][7] r[647][8] r[647][9] r[648][0] r[648][1] r[648][2] r[648][3] r[648][4] r[648][5] r[648][6] r[648][7] r[648][8] r[648][9] r[649][0] r[649][1] r[649][2] r[649][3] r[649][4] r[649][5] r[649][6] r[649][7] r[649][8] r[649][9] r[650][0] r[650][1] r[650][2] r[650][3] r[650][4] r[650][5] r[650][6] r[650][7] r[650][8] r[650][9] r[651][0] r[651][1] r[651][2] r[651][3] r[651][4] r[651][5] r[651][6] r[651][7] r[651][8] r[651][9] r[652][0] r[652][1] r[652][2] r[652][3] r[652][4] r[652][5] r[652][6] r[652][7] r[652][8] r[652][9] r[653][0] r[653][1] r[653][2] r[653][3] r[653][4] r[653][5] r[653][6] r[653][7] r[653][8] r[653][9] r[654][0] r[654][1] r[654][2] r[654][3] r[654][4] r[654][5] r[654][6] r[654][7] r[654][8] r[654][9] r[655][0] r[655][1] r[655][2] r[655][3] r[655][4] r[655][5] r[655][6] r[655][7] r[655][8] r[655][9] r[656][0] r[656][1] r[656][2] r[656][3] r[656][4] r[656][5] r[656][6] r[656][7] r[656][8] r[656][9] r[657][0] r[657][1] r[657][2] r[657][3] r[657][4] r[657][5] r[657][6] r[657][7] r[657][8] r[657][9] r[658][0] r[658][1] r[658][2] r[658][3] r[658][4] r[658][5] r[658][6] r[658][7] r[658][8] r[658][9] r[659][0] r[659][1] r[659][2] r[659][3] r[659][4] r[659][5] r[659][6] r[659][7] r[659][8] r[659][9] r[660][0] r[660][1] r[660][2] r[660][3] r[660][4] r[660][5] r[660][6] r[660][7] r[660][8] r[660][9] r[661][0] r[661][1] r[661][2] r[661][3] r[661][4] r[661][5] r[661][6] r[661][7] r[661][8] r[661][9] r[662][0] r[662][1] r[662][2] r[662][3] r[662][4] r[662][5] r[662][6] r[662][7] r[662][8] r[662][9] r[663][0] r[663][1] r[663][2] r[663][3] r[663][4] r[663][5] r[663][6] r[663][7] r[663][8] r[663][9] r[664][0] r[664][1] r[664][2] r[664][3] r[664][4] r[664][5] r[664][6] r[664][7] r[664][8] r[664][9] r[665][0] r[665][1] r[665][2] r[665][3] r[665][4] r[665][5] r[665][6] r[665][7] r[665][8] r[665][9] r[666][0] r[666][1] r[666][2] r[666][3] r[666][4] r[666][5] r[666][6] r[666][7] r[666][8] r[666][9] r[667][0] r[667][1] r[667][2] r[667][3] r[667][4] r[667][5] r[667][6] r[667][7] r[667][8] r[667][9] r[668][0] r[668][1] r[668][2] r[668][3] r[668][4] r[668][5] r[668][6] r[668][7] r[668][8] r[668][9] r[669][0] r[669][1] r[669][2] r[669][3] r[669][4] r[669][5] r[669][6] r[669][7] r[669][8] r[669][9] r[670][0] r[670][1] r[670][2] r[670][3] r[670][4] r[670][5] r[670][6] r[670][7] r[670][8] r[670][9] r[671][0] r[671][1] r[671][2] r[671][3] r[671][4] r[671][5] r[671][6] r[671][7] r[671][8] r[671][9] r[672][0] r[672][1] r[672][2] r[672][3] r[672][4] r[672][5] r[672][6] r[672][7] r[672][8] r[672][9] r[673][0] r[673][1] r[673][2] r[673][3] r[673][4] r[673][5] r[673][6] r[673][7] r[673][8] r[673][9] r[674][0] r[674][1] r[674][2] r[674][3] r[674][4] r[674][5] r[674][6] r[674][7] r[674][8] r[674][9] r[675][0] r[675][1] r[675][2] r[675][3] r[675][4] r[675][5] r[675][6] r[675][7] r[675][8] r[675][9] r[676][0] r[676][1] r[676][2] r[676][3] r[676][4] r[676][5] r[676][6] r[676][7] r[676][8] r[676][9] r[677][0] r[677][1] r[677][2] r[677][3] r[677][4] r[677][5] r[677][6] r[677][7] r[677][8] r[677][9] r[678][0] r[678][1] r[678][2] r[678][3] r[678][4] r[678][5] r[678][6] r[678][7] r[678][8] r[678][9] r[679][0] r[679][1] r[679][2] r[679][3] r[679][4] r[679][5] r[679][6] r[679][7] r[679][8] r[679][9] r[680][0] r[680][1] r[680][2] r[680][3] r[680][4] r[680][5] r[680][6] r[680][7] r[680][8] r[680][9] r[681][0] r[681][1] r[681][2] r[681][3] r[681][4] r[681][5] r[681][6] r[681][7] r[681][8] r[681][9] r[682][0] r[682][1] r[682][2] r[682][3] r[682][4] r[682][5] r[682][6] r[682][7] r[682][8] r[682][9] r[683][0] r[683][1] r[683][2] r[683][3] r[683][4] r[683][5] r[683][6] r[683][7] r[683][8] r[683][9] r[684][0] r[684][1] r[684][2] r[684][3] r[684][4] r[684][5] r[684][6] r[684][7] r[684][8] r[684][9] r[685][0] r[685][1] r[685][2] r[685][3] r[685][4] r[685][5] r[685][6] r[685][7] r[685][8] r[685][9] r[686][0] r[686][1] r[686][2] r[686][3] r[686][4] r[686][5] r[686][6] r[686][7] r[686][8] r[686][9] r[687][0] r[687][1] r[687][2] r[687][3] r[687][4] r[687][5] r[687][6] r[687][7] r[687][8] r[687][9] r[688][0] r[688][1] r[688][2] r[688][3] r[688][4] r[688][5] r[688][6] r[688][7] r[688][8] r[688][9] r[689][0] r[689][1] r[689][2] r[689][3] r[689][4] r[689][5] r[689][6] r[689][7] r[689][8] r[689][9] </list>
1957.33/246.65	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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 3 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
1957.33/246.65	v </instantiation>

OK	579

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 (13704 MiB free)
  memory of node 1: 16384 MiB (14480 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407439-1569346984/watcher-4407439-1569346984 -o /tmp/evaluation-result-4407439-1569346984/solver-4407439-1569346984 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569335920-18440 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1642262598 HOME/instance-4407439-1569346984.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=25552, runsolver pid=25549

[startup+0.100112 s]*
/proc/loadavg: 7.96 7.84 7.80 2/213 25573
/proc/meminfo: memFree=28845164/32770624 swapFree=66999256/67108860
[pid=25552] ppid=25549 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/25552/stat : 25552 (xcsp3-exec) S 25549 25552 18413 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510951471 115843072 362 33554432000 4194304 5098028 140732948172400 140732948170504 139900510495356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12091392 140732948177787 140732948178030 140732948178030 140732948180938 0
/proc/25552/statm: 28282 362 304 221 0 87 0
[pid=25554] ppid=25552 vsize=28227396 memory=28912 CPUtime=0.12 cores=0-7
/proc/25554/stat : 25554 (java) S 25552 25552 18413 0 -1 1077944320 5708 0 0 0 11 1 0 0 20 0 20 0 510951471 28904853504 7228 33554432000 4194304 4196468 140721247221264 140721247203808 139644752760567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
/proc/25554/statm: 7056849 7228 3119 1 0 7019032 0
[pid=25554/tid=25555] ppid=25552 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/25554/task/25555/stat : 25555 (java) R 25552 25552 18413 0 -1 4202560 3615 0 0 0 8 0 0 0 20 0 20 0 510951472 28904853504 7228 33554432000 4194304 4196468 140721247221264 139644756986816 139644752772502 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25556] ppid=25552 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25556/stat : 25556 (java) S 25552 25552 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951472 28904853504 7228 33554432000 4194304 4196468 140721247221264 139644705381264 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25557] ppid=25552 vsize=28227396 memory=288370114879977088 CPUtime=0 cores=0-7
/proc/25554/task/25557/stat : 25557 (java) S 25552 25552 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951473 28904853504 7228 33554432000 4194304 4196468 140721247221264 139644704328464 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25558] ppid=25552 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25558/stat : 25558 (java) S 25552 25552 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951473 28904853504 7228 33554432000 4194304 4196468 140721247221264 139644703276176 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25559] ppid=25552 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25559/stat : 25559 (java) S 25552 25552 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510951473 28904853504 7228 33554432000 4194304 4196468 140721247221264 139644702223376 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25560] ppid=25552 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25560/stat : 25560 (java) S 25552 25552 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951473 28904853504 7228 33554432000 4194304 4196468 140721247221264 139644701170064 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25561] ppid=25552 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25554/task/25561/stat : 25561 (java) S 25552 25552 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951473 28904853504 7228 33554432000 4194304 4196468 140721247221264 139644700117264 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25562] ppid=25552 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25562/stat : 25562 (java) S 25552 25552 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951473 28904853504 7228 33554432000 4194304 4196468 140721247221264 139644699064976 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25563] ppid=25552 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25563/stat : 25563 (java) S 25552 25552 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951473 28904853504 7228 33554432000 4194304 4196468 140721247221264 139644698012176 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25564] ppid=25552 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25564/stat : 25564 (java) S 25552 25552 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951474 28904853504 7228 33554432000 4194304 4196468 140721247221264 139642947967600 139644752771714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25565] ppid=25552 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25565/stat : 25565 (java) S 25552 25552 18413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510951474 28904853504 7228 33554432000 4194304 4196468 140721247221264 139642946913568 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25566] ppid=25552 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25566/stat : 25566 (java) S 25552 25552 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510951475 28904853504 7228 33554432000 4194304 4196468 140721247221264 139642945861232 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25567] ppid=25552 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25567/stat : 25567 (java) S 25552 25552 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951477 28904853504 7228 33554432000 4194304 4196468 140721247221264 139642944809552 139644752779163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25568] ppid=25552 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25568/stat : 25568 (java) S 25552 25552 18413 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 510951477 28904853504 7228 33554432000 4194304 4196468 140721247221264 139642501159024 139644752771714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25569] ppid=25552 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25569/stat : 25569 (java) S 25552 25552 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951477 28904853504 7228 33554432000 4194304 4196468 140721247221264 139642500106224 139644752771714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25570] ppid=25552 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25570/stat : 25570 (java) S 25552 25552 18413 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 510951477 28904853504 7228 33554432000 4194304 4196468 140721247221264 139642499053936 139644752771714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25571] ppid=25552 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/25554/task/25571/stat : 25571 (java) R 25552 25552 18413 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 20 0 510951477 28904853504 7228 33554432000 4194304 4196468 140721247221264 139642498001136 139644744997694 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25572] ppid=25552 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25572/stat : 25572 (java) S 25552 25552 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510951477 28904853504 7228 33554432000 4194304 4196468 140721247221264 139642496949088 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25573] ppid=25552 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25554/task/25573/stat : 25573 (java) S 25552 25552 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951478 28904853504 7228 33554432000 4194304 4196468 140721247221264 139642495896368 139644752771714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30360 KiB

[startup+0.210845 s]*
/proc/loadavg: 7.96 7.84 7.80 3/213 25573
/proc/meminfo: memFree=28832668/32770624 swapFree=66999256/67108860
[pid=25552] ppid=25549 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/25552/stat : 25552 (xcsp3-exec) S 25549 25552 18413 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510951471 115843072 362 33554432000 4194304 5098028 140732948172400 140732948170504 139900510495356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12091392 140732948177787 140732948178030 140732948178030 140732948180938 0
/proc/25552/statm: 28282 362 304 221 0 87 0
[pid=25554] ppid=25552 vsize=28227396 memory=40856 CPUtime=0.33 cores=0-7
/proc/25554/stat : 25554 (java) S 25552 25552 18413 0 -1 1077944320 9408 0 0 0 31 2 0 0 20 0 20 0 510951471 28904853504 10214 33554432000 4194304 4196468 140721247221264 140721247203808 139644752760567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
/proc/25554/statm: 7056849 10214 3315 1 0 7019032 0
[pid=25554/tid=25555] ppid=25552 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/25554/task/25555/stat : 25555 (java) R 25552 25552 18413 0 -1 4202560 6639 0 0 0 18 2 0 0 20 0 20 0 510951472 28904853504 10214 33554432000 4194304 4196468 140721247221264 139644756991840 139644736841054 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25556] ppid=25552 vsize=28227396 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/25554/task/25556/stat : 25556 (java) S 25552 25552 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951472 28904853504 10214 33554432000 4194304 4196468 140721247221264 139644705381264 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25557] ppid=25552 vsize=28227396 memory=139738728286107 CPUtime=0 cores=0-7
/proc/25554/task/25557/stat : 25557 (java) S 25552 25552 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951473 28904853504 10214 33554432000 4194304 4196468 140721247221264 139644704328464 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25558] ppid=25552 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25554/task/25558/stat : 25558 (java) S 25552 25552 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951473 28904853504 10214 33554432000 4194304 4196468 140721247221264 139644703276176 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25559] ppid=25552 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25559/stat : 25559 (java) S 25552 25552 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510951473 28904853504 10214 33554432000 4194304 4196468 140721247221264 139644702223376 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25560] ppid=25552 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25560/stat : 25560 (java) S 25552 25552 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951473 28904853504 10214 33554432000 4194304 4196468 140721247221264 139644701170064 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25561] ppid=25552 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25554/task/25561/stat : 25561 (java) S 25552 25552 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951473 28904853504 10214 33554432000 4194304 4196468 140721247221264 139644700117264 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25562] ppid=25552 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25562/stat : 25562 (java) S 25552 25552 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951473 28904853504 10214 33554432000 4194304 4196468 140721247221264 139644699064976 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25563] ppid=25552 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25563/stat : 25563 (java) S 25552 25552 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951473 28904853504 10214 33554432000 4194304 4196468 140721247221264 139644698012176 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25564] ppid=25552 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25564/stat : 25564 (java) S 25552 25552 18413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510951474 28904853504 10214 33554432000 4194304 4196468 140721247221264 139642947967600 139644752771714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25565] ppid=25552 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25565/stat : 25565 (java) S 25552 25552 18413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510951474 28904853504 10214 33554432000 4194304 4196468 140721247221264 139642946913568 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25566] ppid=25552 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25566/stat : 25566 (java) S 25552 25552 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510951475 28904853504 10214 33554432000 4194304 4196468 140721247221264 139642945861232 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25567] ppid=25552 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25567/stat : 25567 (java) S 25552 25552 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951477 28904853504 10214 33554432000 4194304 4196468 140721247221264 139642944809552 139644752779163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25568] ppid=25552 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/25554/task/25568/stat : 25568 (java) S 25552 25552 18413 0 -1 1077944384 429 0 0 0 1 0 0 0 20 0 20 0 510951477 28904853504 10214 33554432000 4194304 4196468 140721247221264 139642501159024 139644752771714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25569] ppid=25552 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/25554/task/25569/stat : 25569 (java) S 25552 25552 18413 0 -1 1077944384 69 0 0 0 1 0 0 0 20 0 20 0 510951477 28904853504 10214 33554432000 4194304 4196468 140721247221264 139642500106224 139644752771714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25570] ppid=25552 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/25554/task/25570/stat : 25570 (java) S 25552 25552 18413 0 -1 1077944384 168 0 0 0 1 0 0 0 20 0 20 0 510951477 28904853504 10214 33554432000 4194304 4196468 140721247221264 139642499053936 139644752771714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25571] ppid=25552 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/25554/task/25571/stat : 25571 (java) R 25552 25552 18413 0 -1 4202560 793 0 0 0 8 0 0 0 20 0 20 0 510951477 28904853504 10214 33554432000 4194304 4196468 140721247221264 139642498001136 139644752781914 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25572] ppid=25552 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25572/stat : 25572 (java) S 25552 25552 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510951477 28904853504 10214 33554432000 4194304 4196468 140721247221264 139642496949088 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25573] ppid=25552 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25554/task/25573/stat : 25573 (java) S 25552 25552 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951478 28904853504 10214 33554432000 4194304 4196468 140721247221264 139642495896368 139644752771714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42304 KiB

[startup+0.319825 s]*
/proc/loadavg: 7.96 7.84 7.80 3/213 25573
/proc/meminfo: memFree=28825004/32770624 swapFree=66999256/67108860
[pid=25552] ppid=25549 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/25552/stat : 25552 (xcsp3-exec) S 25549 25552 18413 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510951471 115843072 362 33554432000 4194304 5098028 140732948172400 140732948170504 139900510495356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12091392 140732948177787 140732948178030 140732948178030 140732948180938 0
/proc/25552/statm: 28282 362 304 221 0 87 0
[pid=25554] ppid=25552 vsize=28231652 memory=50456 CPUtime=0.53 cores=0-7
/proc/25554/stat : 25554 (java) S 25552 25552 18413 0 -1 1077944320 11011 0 0 0 50 3 0 0 20 0 20 0 510951471 28909211648 12614 33554432000 4194304 4196468 140721247221264 140721247203808 139644752760567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
/proc/25554/statm: 7057913 12614 3356 1 0 7019032 0
[pid=25554/tid=25555] ppid=25552 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/25554/task/25555/stat : 25555 (java) R 25552 25552 18413 0 -1 4202560 7932 0 0 0 28 2 0 0 20 0 20 0 510951472 28909211648 12614 33554432000 4194304 4196468 140721247221264 139644756990400 139644736841054 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25556] ppid=25552 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25556/stat : 25556 (java) S 25552 25552 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951472 28909211648 12614 33554432000 4194304 4196468 140721247221264 139644705381264 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25557] ppid=25552 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25557/stat : 25557 (java) S 25552 25552 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951473 28909211648 12614 33554432000 4194304 4196468 140721247221264 139644704328464 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25558] ppid=25552 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25558/stat : 25558 (java) S 25552 25552 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951473 28909211648 12614 33554432000 4194304 4196468 140721247221264 139644703276176 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25559] ppid=25552 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25559/stat : 25559 (java) S 25552 25552 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510951473 28909211648 12614 33554432000 4194304 4196468 140721247221264 139644702223376 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25560] ppid=25552 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25560/stat : 25560 (java) S 25552 25552 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951473 28909211648 12614 33554432000 4194304 4196468 140721247221264 139644701170064 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25561] ppid=25552 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25561/stat : 25561 (java) S 25552 25552 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951473 28909211648 12614 33554432000 4194304 4196468 140721247221264 139644700117264 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25562] ppid=25552 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25562/stat : 25562 (java) S 25552 25552 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951473 28909211648 12614 33554432000 4194304 4196468 140721247221264 139644699064976 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25563] ppid=25552 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25563/stat : 25563 (java) S 25552 25552 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951473 28909211648 12614 33554432000 4194304 4196468 140721247221264 139644698012176 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25564] ppid=25552 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25564/stat : 25564 (java) S 25552 25552 18413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510951474 28909211648 12614 33554432000 4194304 4196468 140721247221264 139642947967600 139644752771714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25565] ppid=25552 vsize=28231652 memory=279477146033536 CPUtime=0 cores=0-7
/proc/25554/task/25565/stat : 25565 (java) S 25552 25552 18413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510951474 28909211648 12614 33554432000 4194304 4196468 140721247221264 139642946913568 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25566] ppid=25552 vsize=28231652 memory=279477146038144 CPUtime=0 cores=0-7
/proc/25554/task/25566/stat : 25566 (java) S 25552 25552 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510951475 28909211648 12614 33554432000 4194304 4196468 140721247221264 139642945861232 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25567] ppid=25552 vsize=28231652 memory=279477146042752 CPUtime=0 cores=0-7
/proc/25554/task/25567/stat : 25567 (java) S 25552 25552 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951477 28909211648 12614 33554432000 4194304 4196468 140721247221264 139642944809552 139644752779163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25568] ppid=25552 vsize=28231652 memory=279477146047360 CPUtime=0.02 cores=0-7
/proc/25554/task/25568/stat : 25568 (java) S 25552 25552 18413 0 -1 1077944384 433 0 0 0 2 0 0 0 20 0 20 0 510951477 28909211648 12614 33554432000 4194304 4196468 140721247221264 139642501159024 139644752771714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25569] ppid=25552 vsize=28231652 memory=279477146051968 CPUtime=0.03 cores=0-7
/proc/25554/task/25569/stat : 25569 (java) S 25552 25552 18413 0 -1 1077944384 195 0 0 0 3 0 0 0 20 0 20 0 510951477 28909211648 12614 33554432000 4194304 4196468 140721247221264 139642500106224 139644752771714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25570] ppid=25552 vsize=28231652 memory=279477146056576 CPUtime=0.02 cores=0-7
/proc/25554/task/25570/stat : 25570 (java) S 25552 25552 18413 0 -1 1077944384 193 0 0 0 2 0 0 0 20 0 20 0 510951477 28909211648 12614 33554432000 4194304 4196468 140721247221264 139642499053936 139644752771714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25571] ppid=25552 vsize=28231652 memory=279477146061184 CPUtime=0.12 cores=0-7
/proc/25554/task/25571/stat : 25571 (java) S 25552 25552 18413 0 -1 1077944384 955 0 0 0 12 0 0 0 20 0 20 0 510951477 28909211648 12614 33554432000 4194304 4196468 140721247221264 139642498001136 139644752771714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25572] ppid=25552 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25572/stat : 25572 (java) S 25552 25552 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510951477 28909211648 12614 33554432000 4194304 4196468 140721247221264 139642496949088 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25573] ppid=25552 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/25554/task/25573/stat : 25573 (java) S 25552 25552 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510951478 28909211648 12614 33554432000 4194304 4196468 140721247221264 139642495896368 139644752771714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51904 KiB

[startup+0.70107 s]
/proc/loadavg: 7.96 7.84 7.80 6/213 25573
/proc/meminfo: memFree=28795852/32770624 swapFree=66999256/67108860
[pid=25552] ppid=25549 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/25552/stat : 25552 (xcsp3-exec) S 25549 25552 18413 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510951471 115843072 362 33554432000 4194304 5098028 140732948172400 140732948170504 139900510495356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12091392 140732948177787 140732948178030 140732948178030 140732948180938 0
/proc/25552/statm: 28282 362 304 221 0 87 0
[pid=25554] ppid=25552 vsize=28233776 memory=104416 CPUtime=2.04 cores=0-7
/proc/25554/stat : 25554 (java) S 25552 25552 18413 0 -1 1077944320 16628 0 0 0 198 6 0 0 20 0 20 0 510951471 28911386624 26104 33554432000 4194304 4196468 140721247221264 140721247203808 139644752760567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
/proc/25554/statm: 7058444 26104 3459 1 0 7019544 0
[pid=25554/tid=25555] ppid=25552 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7
/proc/25554/task/25555/stat : 25555 (java) R 25552 25552 18413 0 -1 4202560 9028 0 0 0 64 3 0 0 20 0 20 0 510951472 28911386624 26104 33554432000 4194304 4196468 140721247221264 139644756997648 139644736804197 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25556] ppid=25552 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25556/stat : 25556 (java) S 25552 25552 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951472 28911386624 26104 33554432000 4194304 4196468 140721247221264 139644705381264 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25557] ppid=25552 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/25554/task/25557/stat : 25557 (java) S 25552 25552 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951473 28911386624 26104 33554432000 4194304 4196468 140721247221264 139644704328464 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25558] ppid=25552 vsize=28233776 memory=2828 CPUtime=0 cores=0-7
/proc/25554/task/25558/stat : 25558 (java) S 25552 25552 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510951473 28911386624 26104 33554432000 4194304 4196468 140721247221264 139644703276176 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0

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

[pid=25554/tid=25563] ppid=25552 vsize=28768336 memory=920 CPUtime=0.19 cores=0-7
/proc/25554/task/25563/stat : 25563 (java) S 25552 25552 18413 0 -1 1077944384 618 0 0 0 13 6 0 0 20 0 28 0 510951473 29458776064 436631 33554432000 4194304 4196468 140721247221264 139644698012176 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25564] ppid=25552 vsize=28768336 memory=111628 CPUtime=0.04 cores=0-7
/proc/25554/task/25564/stat : 25564 (java) S 25552 25552 18413 0 -1 1077944384 3342 0 0 0 3 1 0 0 20 0 28 0 510951474 29458776064 436631 33554432000 4194304 4196468 140721247221264 139642947967600 139644752771714 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25565] ppid=25552 vsize=28768336 memory=796 CPUtime=0 cores=0-7
/proc/25554/task/25565/stat : 25565 (java) S 25552 25552 18413 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510951474 29458776064 436631 33554432000 4194304 4196468 140721247221264 139642946913568 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25566] ppid=25552 vsize=28768336 memory=1808 CPUtime=0 cores=0-7
/proc/25554/task/25566/stat : 25566 (java) S 25552 25552 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 510951475 29458776064 436631 33554432000 4194304 4196468 140721247221264 139642945861232 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25567] ppid=25552 vsize=28768336 memory=920 CPUtime=0 cores=0-7
/proc/25554/task/25567/stat : 25567 (java) S 25552 25552 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510951477 29458776064 436631 33554432000 4194304 4196468 140721247221264 139642944809552 139644752779163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25568] ppid=25552 vsize=28768336 memory=4792 CPUtime=2.57 cores=0-7
/proc/25554/task/25568/stat : 25568 (java) S 25552 25552 18413 0 -1 1077944384 13873 0 0 0 253 4 0 0 20 0 28 0 510951477 29458776064 436631 33554432000 4194304 4196468 140721247221264 139642501159024 139644752771714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25569] ppid=25552 vsize=28768336 memory=4104 CPUtime=2.77 cores=0-7
/proc/25554/task/25569/stat : 25569 (java) S 25552 25552 18413 0 -1 1077944384 16672 0 0 0 273 4 0 0 20 0 28 0 510951477 29458776064 436631 33554432000 4194304 4196468 140721247221264 139642500106224 139644752771714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25570] ppid=25552 vsize=28768336 memory=1408 CPUtime=2.59 cores=0-7
/proc/25554/task/25570/stat : 25570 (java) S 25552 25552 18413 0 -1 1077944384 18588 0 1 0 253 6 0 0 20 0 28 0 510951477 29458776064 436631 33554432000 4194304 4196468 140721247221264 139642499053936 139644752771714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25571] ppid=25552 vsize=28768336 memory=3672 CPUtime=0.99 cores=0-7
/proc/25554/task/25571/stat : 25571 (java) S 25552 25552 18413 0 -1 1077944384 12422 0 0 0 94 5 0 0 20 0 28 0 510951477 29458776064 436631 33554432000 4194304 4196468 140721247221264 139642498001136 139644752771714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25572] ppid=25552 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/25554/task/25572/stat : 25572 (java) S 25552 25552 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510951477 29458776064 436631 33554432000 4194304 4196468 140721247221264 139642496949088 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25573] ppid=25552 vsize=28768336 memory=1644056 CPUtime=0.12 cores=0-7
/proc/25554/task/25573/stat : 25573 (java) S 25552 25552 18413 0 -1 1077944384 1953 0 0 0 0 12 0 0 20 0 28 0 510951478 29458776064 436631 33554432000 4194304 4196468 140721247221264 139642495896368 139644752771714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25708] ppid=25552 vsize=28768336 memory=1712 CPUtime=0.99 cores=0-7
/proc/25554/task/25708/stat : 25708 (java) R 25552 25552 18413 0 -1 4202560 19 0 0 0 99 0 0 0 20 0 28 0 510975983 29458776064 436631 33554432000 4194304 4196468 140721247221264 139642480602760 139644376686340 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25709] ppid=25552 vsize=28768336 memory=1398722017469774279 CPUtime=0.99 cores=0-7
/proc/25554/task/25709/stat : 25709 (java) R 25552 25552 18413 0 -1 4202560 18 0 0 0 99 0 0 0 20 0 28 0 510975983 29458776064 436631 33554432000 4194304 4196468 140721247221264 139642486919784 139644370000028 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25710] ppid=25552 vsize=28768336 memory=17473 CPUtime=0.99 cores=0-7
/proc/25554/task/25710/stat : 25710 (java) R 25552 25552 18413 0 -1 4202560 19 0 0 0 99 0 0 0 20 0 28 0 510975983 29458776064 436631 33554432000 4194304 4196468 140721247221264 139642479550440 139644376800785 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25711] ppid=25552 vsize=28768336 memory=6791534058613427641 CPUtime=0.97 cores=0-7
/proc/25554/task/25711/stat : 25711 (java) R 25552 25552 18413 0 -1 4202560 161 0 0 0 97 0 0 0 20 0 28 0 510975983 29458776064 436631 33554432000 4194304 4196468 140721247221264 139642484816584 139644376686366 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25712] ppid=25552 vsize=28768336 memory=6153985703205688880 CPUtime=0.99 cores=0-7
/proc/25554/task/25712/stat : 25712 (java) R 25552 25552 18413 0 -1 4202560 19 0 0 0 99 0 0 0 20 0 28 0 510975983 29458776064 436631 33554432000 4194304 4196468 140721247221264 139642481658952 139644376686370 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25713] ppid=25552 vsize=28768336 memory=288230591722422566 CPUtime=0.99 cores=0-7
/proc/25554/task/25713/stat : 25713 (java) R 25552 25552 18413 0 -1 4202560 19 0 0 0 99 0 0 0 20 0 28 0 510975983 29458776064 436631 33554432000 4194304 4196468 140721247221264 139642485869512 139644376639822 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25714] ppid=25552 vsize=28768336 memory=13563795305924142 CPUtime=0.99 cores=0-7
/proc/25554/task/25714/stat : 25714 (java) R 25552 25552 18413 0 -1 4202560 18 0 0 0 99 0 0 0 20 0 28 0 510975983 29458776064 436631 33554432000 4194304 4196468 140721247221264 139642483764552 139644376686340 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25715] ppid=25552 vsize=28768336 memory=1448 CPUtime=0.99 cores=0-7
/proc/25554/task/25715/stat : 25715 (java) R 25552 25552 18413 0 -1 4202560 19 0 0 0 99 0 0 0 20 0 28 0 510975983 29458776064 436631 33554432000 4194304 4196468 140721247221264 139642482711752 139644376632550 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
Current children cumulated CPU time: 1953.83 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1747972 KiB

[startup+246.502 s]
/proc/loadavg: 8.87 8.44 8.06 9/219 25715
/proc/meminfo: memFree=27125912/32770624 swapFree=66999256/67108860
[pid=25552] ppid=25549 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/25552/stat : 25552 (xcsp3-exec) S 25549 25552 18413 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510951471 115843072 362 33554432000 4194304 5098028 140732948172400 140732948170504 139900510495356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12091392 140732948177787 140732948178030 140732948178030 140732948180938 0
/proc/25552/statm: 28282 362 304 221 0 87 0
[pid=25554] ppid=25552 vsize=28768336 memory=1746528 CPUtime=1956.95 cores=0-7
/proc/25554/stat : 25554 (java) S 25552 25552 18413 0 -1 1077944320 117110 0 1 0 195486 209 0 0 20 0 28 0 510951471 29458776064 436632 33554432000 4194304 4196468 140721247221264 140721247203808 139644752760567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
/proc/25554/statm: 7192084 436632 3538 1 0 7153184 0
[pid=25554/tid=25555] ppid=25552 vsize=28768336 memory=6791534058613427641 CPUtime=1.31 cores=0-7
/proc/25554/task/25555/stat : 25555 (java) S 25552 25552 18413 0 -1 1077944384 9666 0 0 0 126 5 0 0 20 0 28 0 510951472 29458776064 436632 33554432000 4194304 4196468 140721247221264 139644757001344 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25556] ppid=25552 vsize=28768336 memory=1617424 CPUtime=0.19 cores=0-7
/proc/25554/task/25556/stat : 25556 (java) S 25552 25552 18413 0 -1 1077944384 1085 0 0 0 13 6 0 0 20 0 28 0 510951472 29458776064 436632 33554432000 4194304 4196468 140721247221264 139644705381264 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25557] ppid=25552 vsize=28768336 memory=1448 CPUtime=0.18 cores=0-7
/proc/25554/task/25557/stat : 25557 (java) S 25552 25552 18413 0 -1 1077944384 583 0 0 0 12 6 0 0 20 0 28 0 510951473 29458776064 436632 33554432000 4194304 4196468 140721247221264 139644704328464 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25558] ppid=25552 vsize=28768336 memory=1637908 CPUtime=0.19 cores=0-7
/proc/25554/task/25558/stat : 25558 (java) S 25552 25552 18413 0 -1 1077944384 449 0 0 0 13 6 0 0 20 0 28 0 510951473 29458776064 436632 33554432000 4194304 4196468 140721247221264 139644703276176 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25559] ppid=25552 vsize=28768336 memory=1112 CPUtime=0.18 cores=0-7
/proc/25554/task/25559/stat : 25559 (java) S 25552 25552 18413 0 -1 1077944384 810 0 0 0 12 6 0 0 20 0 28 0 510951473 29458776064 436632 33554432000 4194304 4196468 140721247221264 139644702223376 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25560] ppid=25552 vsize=28768336 memory=1004 CPUtime=0.16 cores=0-7
/proc/25554/task/25560/stat : 25560 (java) S 25552 25552 18413 0 -1 1077944384 723 0 0 0 11 5 0 0 20 0 28 0 510951473 29458776064 436632 33554432000 4194304 4196468 140721247221264 139644701170064 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25561] ppid=25552 vsize=28768336 memory=6084 CPUtime=0.18 cores=0-7
/proc/25554/task/25561/stat : 25561 (java) S 25552 25552 18413 0 -1 1077944384 876 0 0 0 12 6 0 0 20 0 28 0 510951473 29458776064 436632 33554432000 4194304 4196468 140721247221264 139644700117264 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25562] ppid=25552 vsize=28768336 memory=14008 CPUtime=0.18 cores=0-7
/proc/25554/task/25562/stat : 25562 (java) S 25552 25552 18413 0 -1 1077944384 607 0 0 0 12 6 0 0 20 0 28 0 510951473 29458776064 436632 33554432000 4194304 4196468 140721247221264 139644699064976 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25563] ppid=25552 vsize=28768336 memory=1746524 CPUtime=0.19 cores=0-7
/proc/25554/task/25563/stat : 25563 (java) S 25552 25552 18413 0 -1 1077944384 618 0 0 0 13 6 0 0 20 0 28 0 510951473 29458776064 436632 33554432000 4194304 4196468 140721247221264 139644698012176 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25564] ppid=25552 vsize=28768336 memory=2124 CPUtime=0.04 cores=0-7
/proc/25554/task/25564/stat : 25564 (java) S 25552 25552 18413 0 -1 1077944384 3342 0 0 0 3 1 0 0 20 0 28 0 510951474 29458776064 436632 33554432000 4194304 4196468 140721247221264 139642947967600 139644752771714 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25565] ppid=25552 vsize=28768336 memory=35656 CPUtime=0 cores=0-7
/proc/25554/task/25565/stat : 25565 (java) S 25552 25552 18413 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510951474 29458776064 436632 33554432000 4194304 4196468 140721247221264 139642946913568 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25566] ppid=25552 vsize=28768336 memory=12024 CPUtime=0 cores=0-7
/proc/25554/task/25566/stat : 25566 (java) S 25552 25552 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 510951475 29458776064 436632 33554432000 4194304 4196468 140721247221264 139642945861232 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25567] ppid=25552 vsize=28768336 memory=500 CPUtime=0 cores=0-7
/proc/25554/task/25567/stat : 25567 (java) S 25552 25552 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510951477 29458776064 436632 33554432000 4194304 4196468 140721247221264 139642944809552 139644752779163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25568] ppid=25552 vsize=28768336 memory=1560 CPUtime=2.58 cores=0-7
/proc/25554/task/25568/stat : 25568 (java) S 25552 25552 18413 0 -1 1077944384 13949 0 0 0 254 4 0 0 20 0 28 0 510951477 29458776064 436632 33554432000 4194304 4196468 140721247221264 139642501159024 139644752771714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25569] ppid=25552 vsize=28768336 memory=932 CPUtime=2.77 cores=0-7
/proc/25554/task/25569/stat : 25569 (java) S 25552 25552 18413 0 -1 1077944384 16672 0 0 0 273 4 0 0 20 0 28 0 510951477 29458776064 436632 33554432000 4194304 4196468 140721247221264 139642500106224 139644752771714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25570] ppid=25552 vsize=28768336 memory=3768 CPUtime=2.66 cores=0-7
/proc/25554/task/25570/stat : 25570 (java) S 25552 25552 18413 0 -1 1077944384 19036 0 1 0 260 6 0 0 20 0 28 0 510951477 29458776064 436632 33554432000 4194304 4196468 140721247221264 139642499053936 139644752771714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25571] ppid=25552 vsize=28768336 memory=1980 CPUtime=0.99 cores=0-7
/proc/25554/task/25571/stat : 25571 (java) S 25552 25552 18413 0 -1 1077944384 12422 0 0 0 94 5 0 0 20 0 28 0 510951477 29458776064 436632 33554432000 4194304 4196468 140721247221264 139642498001136 139644752771714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25572] ppid=25552 vsize=28768336 memory=2512 CPUtime=0 cores=0-7
/proc/25554/task/25572/stat : 25572 (java) S 25552 25552 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510951477 29458776064 436632 33554432000 4194304 4196468 140721247221264 139642496949088 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25573] ppid=25552 vsize=28768336 memory=1436 CPUtime=0.12 cores=0-7
/proc/25554/task/25573/stat : 25573 (java) S 25552 25552 18413 0 -1 1077944384 1953 0 0 0 0 12 0 0 20 0 28 0 510951478 29458776064 436632 33554432000 4194304 4196468 140721247221264 139642495896368 139644752771714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25708] ppid=25552 vsize=28768336 memory=796 CPUtime=1.38 cores=0-7
/proc/25554/task/25708/stat : 25708 (java) R 25552 25552 18413 0 -1 4202560 20 0 0 0 138 0 0 0 20 0 28 0 510975983 29458776064 436632 33554432000 4194304 4196468 140721247221264 139642480602760 139644376762482 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25709] ppid=25552 vsize=28768336 memory=1764 CPUtime=1.38 cores=0-7
/proc/25554/task/25709/stat : 25709 (java) R 25552 25552 18413 0 -1 4202560 18 0 0 0 138 0 0 0 20 0 28 0 510975983 29458776064 436632 33554432000 4194304 4196468 140721247221264 139642486919784 139644376686289 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25710] ppid=25552 vsize=28768336 memory=6791534058613427641 CPUtime=1.37 cores=0-7
/proc/25554/task/25710/stat : 25710 (java) R 25552 25552 18413 0 -1 4202560 19 0 0 0 137 0 0 0 20 0 28 0 510975983 29458776064 436632 33554432000 4194304 4196468 140721247221264 139642479546344 139644377194642 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25711] ppid=25552 vsize=28768336 memory=288230596050944315 CPUtime=1.35 cores=0-7
/proc/25554/task/25711/stat : 25711 (java) R 25552 25552 18413 0 -1 4202560 169 0 0 0 135 0 0 0 20 0 28 0 510975983 29458776064 436632 33554432000 4194304 4196468 140721247221264 139642484816584 139644376686366 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25712] ppid=25552 vsize=28768336 memory=13848573129264102 CPUtime=1.38 cores=0-7
/proc/25554/task/25712/stat : 25712 (java) R 25552 25552 18413 0 -1 4202560 20 0 0 0 138 0 0 0 20 0 28 0 510975983 29458776064 436632 33554432000 4194304 4196468 140721247221264 139642481658952 139644376558576 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25713] ppid=25552 vsize=28768336 memory=500 CPUtime=1.38 cores=0-7
/proc/25554/task/25713/stat : 25713 (java) R 25552 25552 18413 0 -1 4202560 20 0 0 0 138 0 0 0 20 0 28 0 510975983 29458776064 436632 33554432000 4194304 4196468 140721247221264 139642485869512 139644376762878 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25714] ppid=25552 vsize=28768336 memory=1560 CPUtime=1.38 cores=0-7
/proc/25554/task/25714/stat : 25714 (java) R 25552 25552 18413 0 -1 4202560 18 0 0 0 138 0 0 0 20 0 28 0 510975983 29458776064 436632 33554432000 4194304 4196468 140721247221264 139642483764552 139644376845422 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25715] ppid=25552 vsize=28768336 memory=1725976 CPUtime=1.32 cores=0-7
/proc/25554/task/25715/stat : 25715 (java) R 25552 25552 18413 0 -1 4202560 19 0 0 0 132 0 0 0 20 0 28 0 510975983 29458776064 436632 33554432000 4194304 4196468 140721247221264 139642482711752 139644376686388 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
Current children cumulated CPU time: 1956.95 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1747976 KiB

[startup+246.601 s]
/proc/loadavg: 8.87 8.44 8.06 9/219 25715
/proc/meminfo: memFree=27125912/32770624 swapFree=66999256/67108860
[pid=25552] ppid=25549 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/25552/stat : 25552 (xcsp3-exec) S 25549 25552 18413 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510951471 115843072 362 33554432000 4194304 5098028 140732948172400 140732948170504 139900510495356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12091392 140732948177787 140732948178030 140732948178030 140732948180938 0
/proc/25552/statm: 28282 362 304 221 0 87 0
[pid=25554] ppid=25552 vsize=28768336 memory=1762916 CPUtime=1957.33 cores=0-7
/proc/25554/stat : 25554 (java) S 25552 25552 18413 0 -1 1077944320 117703 0 1 0 195523 210 0 0 20 0 28 0 510951471 29458776064 440729 33554432000 4194304 4196468 140721247221264 140721247203808 139644752760567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
/proc/25554/statm: 7192084 440729 3538 1 0 7153184 0
[pid=25554/tid=25555] ppid=25552 vsize=28768336 memory=1746524 CPUtime=1.32 cores=0-7
/proc/25554/task/25555/stat : 25555 (java) S 25552 25552 18413 0 -1 1077944384 9667 0 0 0 127 5 0 0 20 0 28 0 510951472 29458776064 440729 33554432000 4194304 4196468 140721247221264 139644757001344 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25556] ppid=25552 vsize=28768336 memory=1448 CPUtime=0.19 cores=0-7
/proc/25554/task/25556/stat : 25556 (java) S 25552 25552 18413 0 -1 1077944384 1085 0 0 0 13 6 0 0 20 0 28 0 510951472 29458776064 440729 33554432000 4194304 4196468 140721247221264 139644705381264 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25557] ppid=25552 vsize=28768336 memory=1705496 CPUtime=0.18 cores=0-7
/proc/25554/task/25557/stat : 25557 (java) S 25552 25552 18413 0 -1 1077944384 583 0 0 0 12 6 0 0 20 0 28 0 510951473 29458776064 440729 33554432000 4194304 4196468 140721247221264 139644704328464 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25558] ppid=25552 vsize=28768336 memory=1541712 CPUtime=0.19 cores=0-7
/proc/25554/task/25558/stat : 25558 (java) S 25552 25552 18413 0 -1 1077944384 449 0 0 0 13 6 0 0 20 0 28 0 510951473 29458776064 440729 33554432000 4194304 4196468 140721247221264 139644703276176 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25559] ppid=25552 vsize=28768336 memory=1500632 CPUtime=0.18 cores=0-7
/proc/25554/task/25559/stat : 25559 (java) S 25552 25552 18413 0 -1 1077944384 810 0 0 0 12 6 0 0 20 0 28 0 510951473 29458776064 440729 33554432000 4194304 4196468 140721247221264 139644702223376 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25560] ppid=25552 vsize=28768336 memory=1498584 CPUtime=0.16 cores=0-7
/proc/25554/task/25560/stat : 25560 (java) S 25552 25552 18413 0 -1 1077944384 723 0 0 0 11 5 0 0 20 0 28 0 510951473 29458776064 440729 33554432000 4194304 4196468 140721247221264 139644701170064 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25561] ppid=25552 vsize=28768336 memory=1746524 CPUtime=0.18 cores=0-7
/proc/25554/task/25561/stat : 25561 (java) S 25552 25552 18413 0 -1 1077944384 876 0 0 0 12 6 0 0 20 0 28 0 510951473 29458776064 440729 33554432000 4194304 4196468 140721247221264 139644700117264 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25562] ppid=25552 vsize=28768336 memory=1448 CPUtime=0.18 cores=0-7
/proc/25554/task/25562/stat : 25562 (java) S 25552 25552 18413 0 -1 1077944384 607 0 0 0 12 6 0 0 20 0 28 0 510951473 29458776064 440729 33554432000 4194304 4196468 140721247221264 139644699064976 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25563] ppid=25552 vsize=28768336 memory=1746528 CPUtime=0.19 cores=0-7
/proc/25554/task/25563/stat : 25563 (java) S 25552 25552 18413 0 -1 1077944384 618 0 0 0 13 6 0 0 20 0 28 0 510951473 29458776064 440729 33554432000 4194304 4196468 140721247221264 139644698012176 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25564] ppid=25552 vsize=28768336 memory=1448 CPUtime=0.04 cores=0-7
/proc/25554/task/25564/stat : 25564 (java) S 25552 25552 18413 0 -1 1077944384 3342 0 0 0 3 1 0 0 20 0 28 0 510951474 29458776064 440729 33554432000 4194304 4196468 140721247221264 139642947967600 139644752771714 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25565] ppid=25552 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/25554/task/25565/stat : 25565 (java) S 25552 25552 18413 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510951474 29458776064 440729 33554432000 4194304 4196468 140721247221264 139642946913568 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25566] ppid=25552 vsize=28768336 memory=1519652 CPUtime=0 cores=0-7
/proc/25554/task/25566/stat : 25566 (java) S 25552 25552 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 510951475 29458776064 440729 33554432000 4194304 4196468 140721247221264 139642945861232 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25567] ppid=25552 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/25554/task/25567/stat : 25567 (java) S 25552 25552 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510951477 29458776064 440729 33554432000 4194304 4196468 140721247221264 139642944809552 139644752779163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25568] ppid=25552 vsize=28768336 memory=1448 CPUtime=2.58 cores=0-7
/proc/25554/task/25568/stat : 25568 (java) S 25552 25552 18413 0 -1 1077944384 13949 0 0 0 254 4 0 0 20 0 28 0 510951477 29458776064 440729 33554432000 4194304 4196468 140721247221264 139642501159024 139644752771714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25569] ppid=25552 vsize=28768336 memory=65080 CPUtime=2.77 cores=0-7
/proc/25554/task/25569/stat : 25569 (java) S 25552 25552 18413 0 -1 1077944384 16672 0 0 0 273 4 0 0 20 0 28 0 510951477 29458776064 440729 33554432000 4194304 4196468 140721247221264 139642500106224 139644752771714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25570] ppid=25552 vsize=28768336 memory=3028 CPUtime=2.66 cores=0-7
/proc/25554/task/25570/stat : 25570 (java) S 25552 25552 18413 0 -1 1077944384 19036 0 1 0 260 6 0 0 20 0 28 0 510951477 29458776064 440729 33554432000 4194304 4196468 140721247221264 139642499053936 139644752771714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25571] ppid=25552 vsize=28768336 memory=2012 CPUtime=0.99 cores=0-7
/proc/25554/task/25571/stat : 25571 (java) S 25552 25552 18413 0 -1 1077944384 12659 0 0 0 94 5 0 0 20 0 28 0 510951477 29458776064 440729 33554432000 4194304 4196468 140721247221264 139642498001136 139644752771714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25572] ppid=25552 vsize=28768336 memory=1436 CPUtime=0 cores=0-7
/proc/25554/task/25572/stat : 25572 (java) S 25552 25552 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510951477 29458776064 440729 33554432000 4194304 4196468 140721247221264 139642496949088 139644752770773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
[pid=25554/tid=25573] ppid=25552 vsize=28768336 memory=776 CPUtime=0.12 cores=0-7
/proc/25554/task/25573/stat : 25573 (java) S 25552 25552 18413 0 -1 1077944384 1953 0 0 0 0 12 0 0 20 0 28 0 510951478 29458776064 440729 33554432000 4194304 4196468 140721247221264 139642495896368 139644752771714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 17707008 140721247228912 140721247229083 140721247229083 140721247231951 0
Current children cumulated CPU time: 1957.33 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1764364 KiB

Child status: 0
Real time (s): 246.69
CPU time (s): 1957.43
CPU user time (s): 1955.3
CPU system time (s): 2.12781
CPU usage (%): 793.478
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 1764364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1955.3
system time used= 2.12781
maximum resident set size= 1765128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118537
page faults= 1
swaps= 0
block input operations= 592
block output operations= 504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12724
involuntary context switches= 23339


# summary of solver processes directly reported to runsolver:
#   pid: 25552
#   total CPU time (s): 1957.43
#   total CPU user time (s): 1955.3
#   total CPU system time (s): 2.12781

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.1572 second user time and 3.51072 second system time

The end

Begin job on node103 at 2019-09-24 19:42:05
IDJOB=4407439
IDBENCH=124207
IDSOLVER=2872
FILE ID=node103/4407439-1569346984
RUNJOBID= node103-1569335920-18440
PBS_JOBID= 21705072
Free space on /tmp= 20860 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t08-0.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4407439-1569346984/watcher-4407439-1569346984 -o /tmp/evaluation-result-4407439-1569346984/solver-4407439-1569346984 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569335920-18440 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1642262598 HOME/instance-4407439-1569346984.xml

TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= ed46a5b20d86f225200b9362bdb8a529
RANDOM SEED=1642262598

node103.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.74
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.74
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.74
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.74
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:        28861536 kB
MemAvailable:   31849596 kB
Buffers:           53076 kB
Cached:          3211856 kB
SwapCached:         7000 kB
Active:          3166524 kB
Inactive:         114024 kB
Active(anon):       3928 kB
Inactive(anon):    69352 kB
Active(file):    3162596 kB
Inactive(file):    44672 kB
Unevictable:      107056 kB
Mlocked:          107056 kB
SwapTotal:      67108860 kB
SwapFree:       66999256 kB
Dirty:             26224 kB
Writeback:             0 kB
AnonPages:        252800 kB
Mapped:            58108 kB
Shmem:             49080 kB
Slab:             221736 kB
SReclaimable:     193252 kB
SUnreclaim:        28484 kB
KernelStack:        3904 kB
PageTables:         5012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    208896 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 20836 MiB
End job on node103 at 2019-09-24 19:46:12