0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4403839-1568989684.xml"  -tl '2520s' -p 4
0.10/0.19	c Choco 3fb4b153
0.10/0.19	c [HOME/instance-4403839-1568989684.xml, -tl, 2520s, -p, 4]
0.32/0.23	c 4 solvers in parallel
0.32/0.29	c parse instance...
3.04/1.17	c solve instance...
768.18/193.58	o 613 
793.22/199.83	o 612 
801.97/202.06	o 607 
809.50/203.92	o 606 
819.02/206.32	o 605 
824.98/207.85	o 603 
828.95/208.85	o 602 
832.12/209.68	o 601 
836.04/210.66	o 599 
840.00/211.61	o 598 
849.15/213.91	o 594 
852.32/214.79	o 583 
856.72/215.84	o 582 
860.65/216.87	o 581 
864.21/217.76	o 580 
869.40/219.01	o 579 
869.53/219.12	s OPTIMUM FOUND
869.53/219.12	v <instantiation>
869.53/219.12	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>
869.53/219.12	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>
869.53/219.12	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 (3112 MiB free)
  memory of node 1: 16384 MiB (6002 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403839-1568989684/watcher-4403839-1568989684 -o /tmp/evaluation-result-4403839-1568989684/solver-4403839-1568989684 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568988008-30878 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 24099602 HOME/instance-4403839-1568989684.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=1521, runsolver pid=1518
Current StackSize limit: 8192 KiB


[startup+0.100094 s]*
/proc/loadavg: 8.53 8.40 7.26 6/233 1537
/proc/meminfo: memFree=9315488/32770624 swapFree=66938908/67108860
[pid=1521] ppid=1518 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1521/stat : 1521 (xcsp3-exec) S 1518 1521 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475238052 115843072 363 33554432000 4194304 5098028 140731020519568 140731020517672 140198048572028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40566784 140731020526460 140731020526701 140731020526701 140731020529610 0
/proc/1521/statm: 28282 363 304 221 0 87 0
[pid=1523] ppid=1521 vsize=15144776 memory=30004 CPUtime=0.1 cores=1,3,5,7
/proc/1523/stat : 1523 (java) S 1521 1521 30846 0 -1 1077944320 5877 0 0 0 9 1 0 0 20 0 15 0 475238052 15508250624 7501 33554432000 4194304 4196468 140729866537472 140729866520016 139793064169207 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
/proc/1523/statm: 3786194 7501 3158 1 0 3748377 0
[pid=1523/tid=1524] ppid=1521 vsize=15144776 memory=7022364632946311227 CPUtime=0.08 cores=1,3,5,7
/proc/1523/task/1524/stat : 1524 (java) R 1521 1521 30846 0 -1 4202560 3802 0 0 0 7 1 0 0 20 0 15 0 475238052 15508250624 7501 33554432000 4194304 4196468 140729866537472 139793068402040 139793064181142 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1525] ppid=1521 vsize=15144776 memory=4294979937 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1525/stat : 1525 (java) S 1521 1521 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238053 15508250624 7501 33554432000 4194304 4196468 140729866537472 139793000405776 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1526] ppid=1521 vsize=15144776 memory=140094191846755 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1526/stat : 1526 (java) S 1521 1521 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238053 15508250624 7501 33554432000 4194304 4196468 140729866537472 139792999353232 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1527] ppid=1521 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1527/stat : 1527 (java) S 1521 1521 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475238053 15508250624 7501 33554432000 4194304 4196468 140729866537472 139792654851088 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1528] ppid=1521 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1528/stat : 1528 (java) S 1521 1521 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475238053 15508250624 7501 33554432000 4194304 4196468 140729866537472 139792653798544 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1529] ppid=1521 vsize=15144776 memory=140094188369536 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1529/stat : 1529 (java) S 1521 1521 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475238055 15508250624 7501 33554432000 4194304 4196468 140729866537472 139792599930864 139793064180354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1530] ppid=1521 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1530/stat : 1530 (java) S 1521 1521 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475238055 15508250624 7501 33554432000 4194304 4196468 140729866537472 139792598877088 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1531] ppid=1521 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1531/stat : 1531 (java) S 1521 1521 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475238055 15508250624 7501 33554432000 4194304 4196468 140729866537472 139792597824496 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1532] ppid=1521 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1532/stat : 1532 (java) S 1521 1521 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475238058 15508250624 7501 33554432000 4194304 4196468 140729866537472 139792596773072 139793064187803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1533] ppid=1521 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1533/stat : 1533 (java) S 1521 1521 30846 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 475238059 15508250624 7501 33554432000 4194304 4196468 140729866537472 139792528435696 139793064180354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1534] ppid=1521 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1534/stat : 1534 (java) S 1521 1521 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475238059 15508250624 7501 33554432000 4194304 4196468 140729866537472 139792527383152 139793064180354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1535] ppid=1521 vsize=15144776 memory=140094188369536 CPUtime=0.01 cores=1,3,5,7
/proc/1523/task/1535/stat : 1535 (java) R 1521 1521 30846 0 -1 4202560 358 0 0 0 1 0 0 0 20 0 15 0 475238059 15508250624 7501 33554432000 4194304 4196468 140729866537472 139792526330608 139793048249255 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1536] ppid=1521 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1536/stat : 1536 (java) S 1521 1521 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475238059 15508250624 7501 33554432000 4194304 4196468 140729866537472 139792525278304 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1537] ppid=1521 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1537/stat : 1537 (java) S 1521 1521 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238059 15508250624 7501 33554432000 4194304 4196468 140729866537472 139792524224816 139793064180354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31456 KiB

[startup+0.211491 s]*
/proc/loadavg: 8.53 8.40 7.26 7/233 1537
/proc/meminfo: memFree=9304576/32770624 swapFree=66938908/67108860
[pid=1521] ppid=1518 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1521/stat : 1521 (xcsp3-exec) S 1518 1521 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475238052 115843072 363 33554432000 4194304 5098028 140731020519568 140731020517672 140198048572028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40566784 140731020526460 140731020526701 140731020526701 140731020529610 0
/proc/1521/statm: 28282 363 304 221 0 87 0
[pid=1523] ppid=1521 vsize=15144776 memory=40260 CPUtime=0.32 cores=1,3,5,7
/proc/1523/stat : 1523 (java) S 1521 1521 30846 0 -1 1077944320 9254 0 0 0 29 3 0 0 20 0 15 0 475238052 15508250624 10065 33554432000 4194304 4196468 140729866537472 140729866520016 139793064169207 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
/proc/1523/statm: 3786194 10065 3295 1 0 3748377 0
[pid=1523/tid=1524] ppid=1521 vsize=15144776 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/1523/task/1524/stat : 1524 (java) R 1521 1521 30846 0 -1 4202560 6558 0 0 0 17 2 0 0 20 0 15 0 475238052 15508250624 10091 33554432000 4194304 4196468 140729866537472 139793068403328 139793048212837 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1525] ppid=1521 vsize=15144776 memory=4294979937 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1525/stat : 1525 (java) S 1521 1521 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238053 15508250624 10091 33554432000 4194304 4196468 140729866537472 139793000405776 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1526] ppid=1521 vsize=15144776 memory=140094191846755 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1526/stat : 1526 (java) S 1521 1521 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238053 15508250624 10091 33554432000 4194304 4196468 140729866537472 139792999353232 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1527] ppid=1521 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1527/stat : 1527 (java) S 1521 1521 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475238053 15508250624 10091 33554432000 4194304 4196468 140729866537472 139792654851088 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1528] ppid=1521 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1528/stat : 1528 (java) S 1521 1521 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475238053 15508250624 10091 33554432000 4194304 4196468 140729866537472 139792653798544 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1529] ppid=1521 vsize=15144776 memory=140094188369536 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1529/stat : 1529 (java) S 1521 1521 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475238055 15508250624 10091 33554432000 4194304 4196468 140729866537472 139792599930864 139793064180354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1530] ppid=1521 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1530/stat : 1530 (java) S 1521 1521 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475238055 15508250624 10091 33554432000 4194304 4196468 140729866537472 139792598877088 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1531] ppid=1521 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1531/stat : 1531 (java) S 1521 1521 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475238055 15508250624 10091 33554432000 4194304 4196468 140729866537472 139792597824496 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1532] ppid=1521 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1532/stat : 1532 (java) S 1521 1521 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475238058 15508250624 10091 33554432000 4194304 4196468 140729866537472 139792596773072 139793064187803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1533] ppid=1521 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1523/task/1533/stat : 1533 (java) S 1521 1521 30846 0 -1 1077944384 486 0 0 0 2 0 0 0 20 0 15 0 475238059 15508250624 10091 33554432000 4194304 4196468 140729866537472 139792528435696 139793064180354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1534] ppid=1521 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/1523/task/1534/stat : 1534 (java) S 1521 1521 30846 0 -1 1077944384 139 0 0 0 2 0 0 0 20 0 15 0 475238059 15508250624 10091 33554432000 4194304 4196468 140729866537472 139792527383152 139793064180354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1535] ppid=1521 vsize=15144776 memory=140094188369536 CPUtime=0.07 cores=1,3,5,7
/proc/1523/task/1535/stat : 1535 (java) S 1521 1521 30846 0 -1 1077944384 772 0 0 0 7 0 0 0 20 0 15 0 475238059 15508250624 10091 33554432000 4194304 4196468 140729866537472 139792526330608 139793064180354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1536] ppid=1521 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1536/stat : 1536 (java) S 1521 1521 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475238059 15508250624 10091 33554432000 4194304 4196468 140729866537472 139792525278304 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1537] ppid=1521 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1537/stat : 1537 (java) S 1521 1521 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238059 15508250624 10091 33554432000 4194304 4196468 140729866537472 139792524224816 139793064180354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41712 KiB

[startup+0.310734 s]*
/proc/loadavg: 8.53 8.40 7.26 7/233 1537
/proc/meminfo: memFree=9299240/32770624 swapFree=66938908/67108860
[pid=1521] ppid=1518 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1521/stat : 1521 (xcsp3-exec) S 1518 1521 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475238052 115843072 363 33554432000 4194304 5098028 140731020519568 140731020517672 140198048572028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40566784 140731020526460 140731020526701 140731020526701 140731020529610 0
/proc/1521/statm: 28282 363 304 221 0 87 0
[pid=1523] ppid=1521 vsize=15149032 memory=46524 CPUtime=0.5 cores=1,3,5,7
/proc/1523/stat : 1523 (java) S 1521 1521 30846 0 -1 1077944320 10528 0 0 0 46 4 0 0 20 0 15 0 475238052 15512608768 11631 33554432000 4194304 4196468 140729866537472 140729866520016 139793064169207 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
/proc/1523/statm: 3787258 11631 3328 1 0 3748377 0
[pid=1523/tid=1524] ppid=1521 vsize=15149032 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/1523/task/1524/stat : 1524 (java) R 1521 1521 30846 0 -1 4202560 7613 0 0 0 26 3 0 0 20 0 15 0 475238052 15512608768 12208 33554432000 4194304 4196468 140729866537472 139793068405824 139793048249694 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1525] ppid=1521 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1525/stat : 1525 (java) S 1521 1521 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238053 15512608768 12208 33554432000 4194304 4196468 140729866537472 139793000405776 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1526] ppid=1521 vsize=15149032 memory=3692 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1526/stat : 1526 (java) S 1521 1521 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238053 15512608768 12208 33554432000 4194304 4196468 140729866537472 139792999353232 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1527] ppid=1521 vsize=15149032 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1527/stat : 1527 (java) S 1521 1521 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475238053 15512608768 12208 33554432000 4194304 4196468 140729866537472 139792654851088 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1528] ppid=1521 vsize=15149032 memory=1720212 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1528/stat : 1528 (java) S 1521 1521 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475238053 15512608768 12208 33554432000 4194304 4196468 140729866537472 139792653798544 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1529] ppid=1521 vsize=15149032 memory=28112 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1529/stat : 1529 (java) S 1521 1521 30846 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475238055 15512608768 12208 33554432000 4194304 4196468 140729866537472 139792599930864 139793064180354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1530] ppid=1521 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1530/stat : 1530 (java) S 1521 1521 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475238055 15512608768 12208 33554432000 4194304 4196468 140729866537472 139792598877088 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1531] ppid=1521 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1531/stat : 1531 (java) S 1521 1521 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475238055 15512608768 12208 33554432000 4194304 4196468 140729866537472 139792597824496 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1532] ppid=1521 vsize=15149032 memory=140094048657872 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1532/stat : 1532 (java) S 1521 1521 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475238058 15512608768 12208 33554432000 4194304 4196468 140729866537472 139792596773072 139793064187803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1533] ppid=1521 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/1523/task/1533/stat : 1533 (java) R 1521 1521 30846 0 -1 4202560 514 0 0 0 3 0 0 0 20 0 15 0 475238059 15512608768 12208 33554432000 4194304 4196468 140729866537472 139792528435696 139793064190554 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1534] ppid=1521 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/1523/task/1534/stat : 1534 (java) S 1521 1521 30846 0 -1 1077944384 181 0 0 0 3 0 0 0 20 0 15 0 475238059 15512608768 12208 33554432000 4194304 4196468 140729866537472 139792527383152 139793064180354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1535] ppid=1521 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/1523/task/1535/stat : 1535 (java) S 1521 1521 30846 0 -1 1077944384 931 0 0 0 12 0 0 0 20 0 15 0 475238059 15512608768 12208 33554432000 4194304 4196468 140729866537472 139792526330608 139793064180354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1536] ppid=1521 vsize=15149032 memory=-1807685287725067395 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1536/stat : 1536 (java) S 1521 1521 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475238059 15512608768 12208 33554432000 4194304 4196468 140729866537472 139792525278304 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1537] ppid=1521 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1537/stat : 1537 (java) S 1521 1521 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238059 15512608768 12208 33554432000 4194304 4196468 140729866537472 139792524224816 139793064180354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 47976 KiB

[startup+0.701468 s]
/proc/loadavg: 8.53 8.40 7.26 7/233 1537
/proc/meminfo: memFree=9270208/32770624 swapFree=66938908/67108860
[pid=1521] ppid=1518 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1521/stat : 1521 (xcsp3-exec) S 1518 1521 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475238052 115843072 363 33554432000 4194304 5098028 140731020519568 140731020517672 140198048572028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40566784 140731020526460 140731020526701 140731020526701 140731020529610 0
/proc/1521/statm: 28282 363 304 221 0 87 0
[pid=1523] ppid=1521 vsize=15151156 memory=99844 CPUtime=1.72 cores=1,3,5,7
/proc/1523/stat : 1523 (java) S 1521 1521 30846 0 -1 1077944320 15573 0 0 0 167 5 0 0 20 0 15 0 475238052 15514783744 24961 33554432000 4194304 4196468 140729866537472 140729866520016 139793064169207 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
/proc/1523/statm: 3787789 24961 3454 1 0 3748889 0
[pid=1523/tid=1524] ppid=1521 vsize=15151156 memory=5795153719298590087 CPUtime=0.67 cores=1,3,5,7
/proc/1523/task/1524/stat : 1524 (java) R 1521 1521 30846 0 -1 4202560 9084 0 0 0 63 4 0 0 20 0 15 0 475238052 15514783744 24961 33554432000 4194304 4196468 140729866537472 139793068405680 139792683031207 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1525] ppid=1521 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1525/stat : 1525 (java) S 1521 1521 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238053 15514783744 24961 33554432000 4194304 4196468 140729866537472 139793000405776 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1526] ppid=1521 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1526/stat : 1526 (java) S 1521 1521 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238053 15514783744 24961 33554432000 4194304 4196468 140729866537472 139792999353232 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1527] ppid=1521 vsize=15151156 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1527/stat : 1527 (java) S 1521 1521 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475238053 15514783744 24961 33554432000 4194304 4196468 140729866537472 139792654851088 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1528] ppid=1521 vsize=15151156 memory=10728 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1528/stat : 1528 (java) S 1521 1521 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475238053 15514783744 24961 33554432000 4194304 4196468 140729866537472 139792653798544 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1529] ppid=1521 vsize=15151156 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1529/stat : 1529 (java) S 1521 1521 30846 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475238055 15514783744 24961 33554432000 4194304 4196468 140729866537472 139792599930864 139793064180354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1530] ppid=1521 vsize=15151156 memory=3640 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1530/stat : 1530 (java) S 1521 1521 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475238055 15514783744 24961 33554432000 4194304 4196468 140729866537472 139792598877088 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1531] ppid=1521 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1531/stat : 1531 (java) S 1521 1521 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475238055 15514783744 24961 33554432000 4194304 4196468 140729866537472 139792597824496 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1532] ppid=1521 vsize=15151156 memory=784 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1532/stat : 1532 (java) S 1521 1521 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475238058 15514783744 24961 33554432000 4194304 4196468 140729866537472 139792596773072 139793064187803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1533] ppid=1521 vsize=15151156 memory=1060 CPUtime=0.28 cores=1,3,5,7
/proc/1523/task/1533/stat : 1533 (java) R 1521 1521 30846 0 -1 4202560 1427 0 0 0 28 0 0 0 20 0 15 0 475238059 15514783744 24961 33554432000 4194304 4196468 140729866537472 139792528416712 139793047665991 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1534] ppid=1521 vsize=15151156 memory=1720 CPUtime=0.34 cores=1,3,5,7
/proc/1523/task/1534/stat : 1534 (java) R 1521 1521 30846 0 -1 4202560 1394 0 0 0 34 0 0 0 20 0 15 0 475238059 15514783744 24961 33554432000 4194304 4196468 140729866537472 139792527370000 139793064190554 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1535] ppid=1521 vsize=15151156 memory=1096 CPUtime=0.4 cores=1,3,5,7
/proc/1523/task/1535/stat : 1535 (java) R 1521 1521 30846 0 -1 4202560 2361 0 0 0 40 0 0 0 20 0 15 0 475238059 15514783744 24961 33554432000 4194304 4196468 140729866537472 139792526330608 139793056409132 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1536] ppid=1521 vsize=15151156 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1536/stat : 1536 (java) S 1521 1521 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475238059 15514783744 24961 33554432000 4194304 4196468 140729866537472 139792525278304 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1537] ppid=1521 vsize=15151156 memory=6112 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1537/stat : 1537 (java) S 1521 1521 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475238059 15514783744 24961 33554432000 4194304 4196468 140729866537472 139792524224816 139793064180354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 101296 KiB

[startup+1.50148 s]
/proc/loadavg: 8.53 8.40 7.26 8/233 1537
/proc/meminfo: memFree=9183520/32770624 swapFree=66938908/67108860
[pid=1521] ppid=1518 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1521/stat : 1521 (xcsp3-exec) S 1518 1521 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475238052 115843072 363 33554432000 4194304 5098028 140731020519568 140731020517672 140198048572028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40566784 140731020526460 140731020526701 140731020526701 140731020529610 0
/proc/1521/statm: 28282 363 304 221 0 87 0

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

/proc/1523/task/1533/stat : 1533 (java) S 1521 1521 30846 0 -1 1077944384 15740 0 0 0 290 2 0 0 20 0 19 0 475238059 15858741248 138088 33554432000 4194304 4196468 140729866537472 139792528435696 139793064180354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1534] ppid=1521 vsize=15487052 memory=2116 CPUtime=3.28 cores=1,3,5,7
/proc/1523/task/1534/stat : 1534 (java) S 1521 1521 30846 0 -1 1077944384 18178 0 0 0 325 3 0 0 20 0 19 0 475238059 15858741248 138088 33554432000 4194304 4196468 140729866537472 139792527383152 139793064180354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1535] ppid=1521 vsize=15487052 memory=12024 CPUtime=0.91 cores=1,3,5,7
/proc/1523/task/1535/stat : 1535 (java) S 1521 1521 30846 0 -1 1077944384 10025 0 0 0 90 1 0 0 20 0 19 0 475238059 15858741248 138088 33554432000 4194304 4196468 140729866537472 139792526330608 139793064180354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1536] ppid=1521 vsize=15487052 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1536/stat : 1536 (java) S 1521 1521 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475238059 15858741248 138088 33554432000 4194304 4196468 140729866537472 139792525278304 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1537] ppid=1521 vsize=15487052 memory=500 CPUtime=0.1 cores=1,3,5,7
/proc/1523/task/1537/stat : 1537 (java) S 1521 1521 30846 0 -1 1077944384 401 0 0 0 0 10 0 0 20 0 19 0 475238059 15858741248 138088 33554432000 4194304 4196468 140729866537472 139792524224816 139793064180354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1821] ppid=1521 vsize=15487052 memory=4100 CPUtime=0.62 cores=1,3,5,7
/proc/1523/task/1821/stat : 1821 (java) R 1521 1521 30846 0 -1 4202560 21 0 0 0 62 0 0 0 20 0 19 0 475259828 15858741248 138088 33554432000 4194304 4196468 140729866537472 139792515005608 139792680589926 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1822] ppid=1521 vsize=15487052 memory=1804 CPUtime=0.63 cores=1,3,5,7
/proc/1523/task/1822/stat : 1822 (java) R 1521 1521 30846 0 -1 4202560 21 0 0 0 63 0 0 0 20 0 19 0 475259828 15858741248 138088 33554432000 4194304 4196468 140729866537472 139792512901056 139792685451718 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1823] ppid=1521 vsize=15487052 memory=916 CPUtime=0.63 cores=1,3,5,7
/proc/1523/task/1823/stat : 1823 (java) R 1521 1521 30846 0 -1 4202560 17 0 0 0 63 0 0 0 20 0 19 0 475259828 15858741248 138088 33554432000 4194304 4196468 140729866537472 139792507646408 139792687830868 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1824] ppid=1521 vsize=15487052 memory=3848 CPUtime=0.63 cores=1,3,5,7
/proc/1523/task/1824/stat : 1824 (java) R 1521 1521 30846 0 -1 4202560 20 0 0 0 63 0 0 0 20 0 19 0 475259828 15858741248 138088 33554432000 4194304 4196468 140729866537472 139792508698264 139792687229353 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
Current children cumulated CPU time: 866.99 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 553804 KiB

[startup+218.801 s]
/proc/loadavg: 8.69 8.35 7.46 10/236 1824
/proc/meminfo: memFree=10306772/32770624 swapFree=66938908/67108860
[pid=1521] ppid=1518 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1521/stat : 1521 (xcsp3-exec) S 1518 1521 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475238052 115843072 363 33554432000 4194304 5098028 140731020519568 140731020517672 140198048572028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40566784 140731020526460 140731020526701 140731020526701 140731020529610 0
/proc/1521/statm: 28282 363 304 221 0 87 0
[pid=1523] ppid=1521 vsize=15487052 memory=552488 CPUtime=868.58 cores=1,3,5,7
/proc/1523/stat : 1523 (java) S 1521 1521 30846 0 -1 1077944320 78429 0 0 0 86813 45 0 0 20 0 19 0 475238052 15858741248 138122 33554432000 4194304 4196468 140729866537472 140729866520016 139793064169207 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
/proc/1523/statm: 3871763 138122 3534 1 0 3832863 0
[pid=1523/tid=1524] ppid=1521 vsize=15487052 memory=6944656575208382560 CPUtime=1.16 cores=1,3,5,7
/proc/1523/task/1524/stat : 1524 (java) S 1521 1521 30846 0 -1 1077944384 10704 0 0 0 110 6 0 0 20 0 19 0 475238052 15858741248 138122 33554432000 4194304 4196468 140729866537472 139793068409984 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1525] ppid=1521 vsize=15487052 memory=6944652177228980320 CPUtime=0.15 cores=1,3,5,7
/proc/1523/task/1525/stat : 1525 (java) S 1521 1521 30846 0 -1 1077944384 915 0 0 0 12 3 0 0 20 0 19 0 475238053 15858741248 138122 33554432000 4194304 4196468 140729866537472 139793000405776 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1526] ppid=1521 vsize=15487052 memory=6655300316396806240 CPUtime=0.17 cores=1,3,5,7
/proc/1523/task/1526/stat : 1526 (java) S 1521 1521 30846 0 -1 1077944384 2709 0 0 0 13 4 0 0 20 0 19 0 475238053 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792999353232 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1527] ppid=1521 vsize=15487052 memory=3620 CPUtime=0.17 cores=1,3,5,7
/proc/1523/task/1527/stat : 1527 (java) S 1521 1521 30846 0 -1 1077944384 1369 0 0 0 13 4 0 0 20 0 19 0 475238053 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792654851088 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1528] ppid=1521 vsize=15487052 memory=53504 CPUtime=0.17 cores=1,3,5,7
/proc/1523/task/1528/stat : 1528 (java) S 1521 1521 30846 0 -1 1077944384 2506 0 0 0 13 4 0 0 20 0 19 0 475238053 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792653798544 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1529] ppid=1521 vsize=15487052 memory=988 CPUtime=0.04 cores=1,3,5,7
/proc/1523/task/1529/stat : 1529 (java) S 1521 1521 30846 0 -1 1077944384 1894 0 0 0 3 1 0 0 20 0 19 0 475238055 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792599930864 139793064180354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1530] ppid=1521 vsize=15487052 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1530/stat : 1530 (java) S 1521 1521 30846 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 475238055 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792598877152 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1531] ppid=1521 vsize=15487052 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1531/stat : 1531 (java) S 1521 1521 30846 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 475238055 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792597824512 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1532] ppid=1521 vsize=15487052 memory=10728 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1532/stat : 1532 (java) S 1521 1521 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475238058 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792596773072 139793064187803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1533] ppid=1521 vsize=15487052 memory=1552 CPUtime=2.92 cores=1,3,5,7
/proc/1523/task/1533/stat : 1533 (java) S 1521 1521 30846 0 -1 1077944384 15740 0 0 0 290 2 0 0 20 0 19 0 475238059 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792528435696 139793064180354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1534] ppid=1521 vsize=15487052 memory=3640 CPUtime=3.28 cores=1,3,5,7
/proc/1523/task/1534/stat : 1534 (java) S 1521 1521 30846 0 -1 1077944384 18178 0 0 0 325 3 0 0 20 0 19 0 475238059 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792527383152 139793064180354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1535] ppid=1521 vsize=15487052 memory=2832 CPUtime=0.91 cores=1,3,5,7
/proc/1523/task/1535/stat : 1535 (java) S 1521 1521 30846 0 -1 1077944384 10025 0 0 0 90 1 0 0 20 0 19 0 475238059 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792526330608 139793064180354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1536] ppid=1521 vsize=15487052 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1536/stat : 1536 (java) S 1521 1521 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475238059 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792525278304 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1537] ppid=1521 vsize=15487052 memory=2796 CPUtime=0.1 cores=1,3,5,7
/proc/1523/task/1537/stat : 1537 (java) S 1521 1521 30846 0 -1 1077944384 421 0 0 0 0 10 0 0 20 0 19 0 475238059 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792524224816 139793064180354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1821] ppid=1521 vsize=15487052 memory=1452 CPUtime=1.01 cores=1,3,5,7
/proc/1523/task/1821/stat : 1821 (java) R 1521 1521 30846 0 -1 4202560 64 0 0 0 101 0 0 0 20 0 19 0 475259828 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792515005608 139792686794620 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1822] ppid=1521 vsize=15487052 memory=211408 CPUtime=1.03 cores=1,3,5,7
/proc/1523/task/1822/stat : 1822 (java) R 1521 1521 30846 0 -1 4202560 72 0 0 0 103 0 0 0 20 0 19 0 475259828 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792512901056 139792685169424 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1823] ppid=1521 vsize=15487052 memory=1984 CPUtime=1.03 cores=1,3,5,7
/proc/1523/task/1823/stat : 1823 (java) R 1521 1521 30846 0 -1 4202560 52 0 0 0 103 0 0 0 20 0 19 0 475259828 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792507646408 139792686794620 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1824] ppid=1521 vsize=15487052 memory=2364 CPUtime=1.03 cores=1,3,5,7
/proc/1523/task/1824/stat : 1824 (java) R 1521 1521 30846 0 -1 4202560 70 0 0 0 103 0 0 0 20 0 19 0 475259828 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792508698264 139792687229388 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
Current children cumulated CPU time: 868.58 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 553940 KiB

[startup+219.001 s]*
/proc/loadavg: 8.69 8.35 7.46 9/236 1824
/proc/meminfo: memFree=10311024/32770624 swapFree=66938908/67108860
[pid=1521] ppid=1518 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1521/stat : 1521 (xcsp3-exec) S 1518 1521 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475238052 115843072 363 33554432000 4194304 5098028 140731020519568 140731020517672 140198048572028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40566784 140731020526460 140731020526701 140731020526701 140731020529610 0
/proc/1521/statm: 28282 363 304 221 0 87 0
[pid=1523] ppid=1521 vsize=15487052 memory=552488 CPUtime=869.4 cores=1,3,5,7
/proc/1523/stat : 1523 (java) S 1521 1521 30846 0 -1 1077944320 78504 0 0 0 86895 45 0 0 20 0 19 0 475238052 15858741248 138122 33554432000 4194304 4196468 140729866537472 140729866520016 139793064169207 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
/proc/1523/statm: 3871763 138122 3534 1 0 3832863 0
[pid=1523/tid=1524] ppid=1521 vsize=15487052 memory=6935054825532540783 CPUtime=1.16 cores=1,3,5,7
/proc/1523/task/1524/stat : 1524 (java) S 1521 1521 30846 0 -1 1077944384 10704 0 0 0 110 6 0 0 20 0 19 0 475238052 15858741248 138122 33554432000 4194304 4196468 140729866537472 139793068409984 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1525] ppid=1521 vsize=15487052 memory=4126316290023845779 CPUtime=0.15 cores=1,3,5,7
/proc/1523/task/1525/stat : 1525 (java) S 1521 1521 30846 0 -1 1077944384 915 0 0 0 12 3 0 0 20 0 19 0 475238053 15858741248 138122 33554432000 4194304 4196468 140729866537472 139793000405776 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1526] ppid=1521 vsize=15487052 memory=7522808453871654510 CPUtime=0.17 cores=1,3,5,7
/proc/1523/task/1526/stat : 1526 (java) S 1521 1521 30846 0 -1 1077944384 2709 0 0 0 13 4 0 0 20 0 19 0 475238053 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792999353232 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1527] ppid=1521 vsize=15487052 memory=6292487833301303392 CPUtime=0.17 cores=1,3,5,7
/proc/1523/task/1527/stat : 1527 (java) S 1521 1521 30846 0 -1 1077944384 1369 0 0 0 13 4 0 0 20 0 19 0 475238053 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792654851088 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1528] ppid=1521 vsize=15487052 memory=7590080857342568811 CPUtime=0.17 cores=1,3,5,7
/proc/1523/task/1528/stat : 1528 (java) S 1521 1521 30846 0 -1 1077944384 2506 0 0 0 13 4 0 0 20 0 19 0 475238053 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792653798544 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1529] ppid=1521 vsize=15487052 memory=5792825811789107809 CPUtime=0.04 cores=1,3,5,7
/proc/1523/task/1529/stat : 1529 (java) S 1521 1521 30846 0 -1 1077944384 1899 0 0 0 3 1 0 0 20 0 19 0 475238055 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792599930864 139793064180354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1530] ppid=1521 vsize=15487052 memory=5864339070211413859 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1530/stat : 1530 (java) S 1521 1521 30846 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 475238055 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792598877152 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1531] ppid=1521 vsize=15487052 memory=7374477643660220262 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1531/stat : 1531 (java) S 1521 1521 30846 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 475238055 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792597824512 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1532] ppid=1521 vsize=15487052 memory=5864320447300325985 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1532/stat : 1532 (java) S 1521 1521 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475238058 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792596773072 139793064187803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1533] ppid=1521 vsize=15487052 memory=6010166322813952099 CPUtime=2.92 cores=1,3,5,7
/proc/1523/task/1533/stat : 1533 (java) S 1521 1521 30846 0 -1 1077944384 15740 0 0 0 290 2 0 0 20 0 19 0 475238059 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792528435696 139793064180354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1534] ppid=1521 vsize=15487052 memory=6152594756890421862 CPUtime=3.28 cores=1,3,5,7
/proc/1523/task/1534/stat : 1534 (java) S 1521 1521 30846 0 -1 1077944384 18178 0 0 0 325 3 0 0 20 0 19 0 475238059 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792527383152 139793064180354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1535] ppid=1521 vsize=15487052 memory=6009891341828776552 CPUtime=0.91 cores=1,3,5,7
/proc/1523/task/1535/stat : 1535 (java) S 1521 1521 30846 0 -1 1077944384 10025 0 0 0 90 1 0 0 20 0 19 0 475238059 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792526330608 139793064180354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1536] ppid=1521 vsize=15487052 memory=5791981395499181163 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1536/stat : 1536 (java) S 1521 1521 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475238059 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792525278304 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1537] ppid=1521 vsize=15487052 memory=5866290789350593641 CPUtime=0.1 cores=1,3,5,7
/proc/1523/task/1537/stat : 1537 (java) S 1521 1521 30846 0 -1 1077944384 463 0 0 0 0 10 0 0 20 0 19 0 475238059 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792524224816 139793064180354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1821] ppid=1521 vsize=15487052 memory=7445101457454624100 CPUtime=1.21 cores=1,3,5,7
/proc/1523/task/1821/stat : 1821 (java) R 1521 1521 30846 0 -1 4202560 64 0 0 0 121 0 0 0 20 0 19 0 475259828 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792515005608 139792687830935 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1822] ppid=1521 vsize=15487052 memory=7156589606326201706 CPUtime=1.24 cores=1,3,5,7
/proc/1523/task/1822/stat : 1822 (java) R 1521 1521 30846 0 -1 4202560 97 0 0 0 124 0 0 0 20 0 19 0 475259828 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792512901056 139792681664925 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1823] ppid=1521 vsize=15487052 memory=7300986269378767460 CPUtime=1.24 cores=1,3,5,7
/proc/1523/task/1823/stat : 1823 (java) R 1521 1521 30846 0 -1 4202560 52 0 0 0 124 0 0 0 20 0 19 0 475259828 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792507646408 139792685451699 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1824] ppid=1521 vsize=15487052 memory=7516877576515839341 CPUtime=1.24 cores=1,3,5,7
/proc/1523/task/1824/stat : 1824 (java) R 1521 1521 30846 0 -1 4202560 93 0 0 0 124 0 0 0 20 0 19 0 475259828 15858741248 138122 33554432000 4194304 4196468 140729866537472 139792508698264 139792687159264 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
Current children cumulated CPU time: 869.4 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 553940 KiB

[startup+219.112 s]
/proc/loadavg: 8.69 8.35 7.46 9/236 1824
/proc/meminfo: memFree=10311024/32770624 swapFree=66938908/67108860
[pid=1521] ppid=1518 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1521/stat : 1521 (xcsp3-exec) S 1518 1521 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475238052 115843072 363 33554432000 4194304 5098028 140731020519568 140731020517672 140198048572028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40566784 140731020526460 140731020526701 140731020526701 140731020529610 0
/proc/1521/statm: 28282 363 304 221 0 87 0
[pid=1523] ppid=1521 vsize=15487052 memory=552420 CPUtime=869.53 cores=1,3,5,7
/proc/1523/stat : 1523 (java) S 1521 1521 30846 0 -1 1077944320 79048 0 0 0 86908 45 0 0 20 0 19 0 475238052 15858741248 138105 33554432000 4194304 4196468 140729866537472 140729866520016 139793064169207 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
/proc/1523/statm: 3871763 138105 3534 1 0 3832863 0
[pid=1523/tid=1524] ppid=1521 vsize=15487052 memory=552352 CPUtime=1.16 cores=1,3,5,7
/proc/1523/task/1524/stat : 1524 (java) S 1521 1521 30846 0 -1 1077944384 10778 0 0 0 110 6 0 0 20 0 19 0 475238052 15858741248 138105 33554432000 4194304 4196468 140729866537472 139793068409984 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1525] ppid=1521 vsize=15487052 memory=552348 CPUtime=0.15 cores=1,3,5,7
/proc/1523/task/1525/stat : 1525 (java) S 1521 1521 30846 0 -1 1077944384 915 0 0 0 12 3 0 0 20 0 19 0 475238053 15858741248 138105 33554432000 4194304 4196468 140729866537472 139793000405776 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1526] ppid=1521 vsize=15487052 memory=568668 CPUtime=0.17 cores=1,3,5,7
/proc/1523/task/1526/stat : 1526 (java) S 1521 1521 30846 0 -1 1077944384 2709 0 0 0 13 4 0 0 20 0 19 0 475238053 15858741248 138105 33554432000 4194304 4196468 140729866537472 139792999353232 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1527] ppid=1521 vsize=15487052 memory=568444 CPUtime=0.17 cores=1,3,5,7
/proc/1523/task/1527/stat : 1527 (java) S 1521 1521 30846 0 -1 1077944384 1369 0 0 0 13 4 0 0 20 0 19 0 475238053 15858741248 138105 33554432000 4194304 4196468 140729866537472 139792654851088 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1528] ppid=1521 vsize=15487052 memory=568444 CPUtime=0.17 cores=1,3,5,7
/proc/1523/task/1528/stat : 1528 (java) S 1521 1521 30846 0 -1 1077944384 2506 0 0 0 13 4 0 0 20 0 19 0 475238053 15858741248 138105 33554432000 4194304 4196468 140729866537472 139792653798544 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1529] ppid=1521 vsize=15487052 memory=1452 CPUtime=0.04 cores=1,3,5,7
/proc/1523/task/1529/stat : 1529 (java) S 1521 1521 30846 0 -1 1077944384 1932 0 0 0 3 1 0 0 20 0 19 0 475238055 15858741248 138105 33554432000 4194304 4196468 140729866537472 139792599930864 139793064180354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1530] ppid=1521 vsize=15487052 memory=568672 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1530/stat : 1530 (java) S 1521 1521 30846 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 475238055 15858741248 138105 33554432000 4194304 4196468 140729866537472 139792598877152 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1531] ppid=1521 vsize=15487052 memory=552348 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1531/stat : 1531 (java) S 1521 1521 30846 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 475238055 15858741248 138105 33554432000 4194304 4196468 140729866537472 139792597824512 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1532] ppid=1521 vsize=15487052 memory=552348 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1532/stat : 1532 (java) S 1521 1521 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475238058 15858741248 138105 33554432000 4194304 4196468 140729866537472 139792596773072 139793064187803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1533] ppid=1521 vsize=15487052 memory=552488 CPUtime=2.92 cores=1,3,5,7
/proc/1523/task/1533/stat : 1533 (java) S 1521 1521 30846 0 -1 1077944384 15740 0 0 0 290 2 0 0 20 0 19 0 475238059 15858741248 138105 33554432000 4194304 4196468 140729866537472 139792528435696 139793064180354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1534] ppid=1521 vsize=15487052 memory=552348 CPUtime=3.28 cores=1,3,5,7
/proc/1523/task/1534/stat : 1534 (java) S 1521 1521 30846 0 -1 1077944384 18178 0 0 0 325 3 0 0 20 0 19 0 475238059 15858741248 138105 33554432000 4194304 4196468 140729866537472 139792527383152 139793064180354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1535] ppid=1521 vsize=15487052 memory=1452 CPUtime=0.91 cores=1,3,5,7
/proc/1523/task/1535/stat : 1535 (java) S 1521 1521 30846 0 -1 1077944384 10025 0 0 0 90 1 0 0 20 0 19 0 475238059 15858741248 138105 33554432000 4194304 4196468 140729866537472 139792526330608 139793064180354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1536] ppid=1521 vsize=15487052 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1523/task/1536/stat : 1536 (java) S 1521 1521 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475238059 15858741248 138105 33554432000 4194304 4196468 140729866537472 139792525278304 139793064179413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
[pid=1523/tid=1537] ppid=1521 vsize=15487052 memory=3978990972378821940 CPUtime=0.1 cores=1,3,5,7
/proc/1523/task/1537/stat : 1537 (java) S 1521 1521 30846 0 -1 1077944384 463 0 0 0 0 10 0 0 20 0 19 0 475238059 15858741248 138105 33554432000 4194304 4196468 140729866537472 139792524224816 139793064180354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30953472 140729866540015 140729866540186 140729866540186 140729866543055 0
Current children cumulated CPU time: 869.53 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 553872 KiB

Child status: 0
Real time (s): 219.142
CPU time (s): 869.567
CPU user time (s): 869.101
CPU system time (s): 0.466142
CPU usage (%): 396.806
Max. virtual memory (cumulated for all children) (KiB): 15600180
Max. memory (cumulated for all children) (KiB): 656592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 869.101
system time used= 0.466142
maximum resident set size= 675620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80562
page faults= 0
swaps= 0
block input operations= 8
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9212
involuntary context switches= 15773


# summary of solver processes directly reported to runsolver:
#   pid: 1521
#   total CPU time (s): 869.567
#   total CPU user time (s): 869.101
#   total CPU system time (s): 0.466142

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.44646 second user time and 2.81905 second system time

The end

Begin job on node139 at 2019-09-20 16:30:06
IDJOB=4403839
IDBENCH=124207
IDSOLVER=2863
FILE ID=node139/4403839-1568989684
RUNJOBID= node139-1568988008-30878
PBS_JOBID= 21704637
Free space on /tmp= 5060 MiB

SOLVER NAME= choco-solver 2019-09-20
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t08-0.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4403839-1568989684/watcher-4403839-1568989684 -o /tmp/evaluation-result-4403839-1568989684/solver-4403839-1568989684 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568988008-30878 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 24099602 HOME/instance-4403839-1568989684.xml

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

MD5SUM BENCH= ed46a5b20d86f225200b9362bdb8a529
RANDOM SEED=24099602

node139.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.57
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.57
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.57
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.57
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:         9332512 kB
MemAvailable:   30081356 kB
Buffers:          135536 kB
Cached:         20481984 kB
SwapCached:        65308 kB
Active:         11951928 kB
Inactive:       10444036 kB
Active(anon):    1709480 kB
Inactive(anon):   114760 kB
Active(file):   10242448 kB
Inactive(file): 10329276 kB
Unevictable:      106892 kB
Mlocked:          106892 kB
SwapTotal:      67108860 kB
SwapFree:       66938908 kB
Dirty:             26264 kB
Writeback:             0 kB
AnonPages:       1820816 kB
Mapped:            64052 kB
Shmem:             37304 kB
Slab:             634764 kB
SReclaimable:     605580 kB
SUnreclaim:        29184 kB
KernelStack:        3824 kB
PageTables:         8824 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3161440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1708032 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 5036 MiB
End job on node139 at 2019-09-20 16:33:45