0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407139-1569346900.xml"  -tl '20160s' -p 8
0.09/0.20	c Choco e747e1e
0.09/0.20	c [HOME/instance-4407139-1569346900.xml, -tl, 20160s, -p, 8]
0.30/0.24	c 8 solvers in parallel
0.30/0.31	c parse instance...
4.90/1.44	c solve instance...
1735.07/218.59	o 613 
1802.71/227.07	o 612 
1826.41/230.03	o 607 
1845.25/232.43	o 606 
1867.49/235.29	o 605 
1883.36/237.29	o 603 
1894.21/238.68	o 602 
1902.06/239.70	o 601 
1910.69/240.73	o 599 
1919.37/241.86	o 598 
1940.55/244.50	o 594 
1947.72/245.48	o 583 
1957.21/246.62	o 582 
1965.92/247.71	o 581 
1973.76/248.70	o 580 
1984.17/250.02	o 579 
1984.33/250.12	s OPTIMUM FOUND
1984.33/250.12	v <instantiation>
1984.33/250.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>
1984.33/250.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>
1984.33/250.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 (13553 MiB free)
  memory of node 1: 16384 MiB (14264 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407139-1569346900/watcher-4407139-1569346900 -o /var/tmp/evaluation-result-4407139-1569346900/solver-4407139-1569346900 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569335938-16167 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1301745985 HOME/instance-4407139-1569346900.xml 

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

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

solver pid=18612, runsolver pid=18609

[startup+0.100121 s]*
/proc/loadavg: 7.59 8.10 8.01 2/212 18633
/proc/meminfo: memFree=28469356/32770624 swapFree=67023936/67108860
[pid=18612] ppid=18609 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/18612/stat : 18612 (xcsp3-exec) S 18609 18612 16140 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510962442 115843072 362 33554432000 4194304 5098028 140729031043952 140729031042056 140700086559356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34037760 140729031050065 140729031050325 140729031050325 140729031053254 0
/proc/18612/statm: 28282 362 304 221 0 87 0
[pid=18614] ppid=18612 vsize=28227396 memory=28764 CPUtime=0.09 cores=0-7
/proc/18614/stat : 18614 (java) S 18612 18612 16140 0 -1 1077944320 5641 0 0 0 8 1 0 0 20 0 20 0 510962443 28904853504 7191 33554432000 4194304 4196468 140729544012496 140729543995040 140105071165175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
/proc/18614/statm: 7056849 7191 3031 1 0 7019032 0
[pid=18614/tid=18615] ppid=18612 vsize=28227396 memory=4134930498285298233 CPUtime=0.06 cores=0-7
/proc/18614/task/18615/stat : 18615 (java) R 18612 18612 16140 0 -1 4202560 3765 0 0 0 6 0 0 0 20 0 20 0 510962443 28904853504 7191 33554432000 4194304 4196468 140729544012496 140105075387424 140105055245662 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18616] ppid=18612 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/18614/task/18616/stat : 18616 (java) S 18612 18612 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510962444 28904853504 7191 33554432000 4194304 4196468 140729544012496 140104991017360 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18617] ppid=18612 vsize=28227396 memory=139727394330240 CPUtime=0 cores=0-7
/proc/18614/task/18617/stat : 18617 (java) S 18612 18612 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510962444 28904853504 7191 33554432000 4194304 4196468 140729544012496 140104989964560 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18618] ppid=18612 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18618/stat : 18618 (java) S 18612 18612 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510962444 28904853504 7191 33554432000 4194304 4196468 140729544012496 140104988912272 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18619] ppid=18612 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18619/stat : 18619 (java) S 18612 18612 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510962444 28904853504 7191 33554432000 4194304 4196468 140729544012496 140104619383312 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18620] ppid=18612 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18620/stat : 18620 (java) S 18612 18612 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510962444 28904853504 7191 33554432000 4194304 4196468 140729544012496 140104618331024 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18621] ppid=18612 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18614/task/18621/stat : 18621 (java) S 18612 18612 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510962444 28904853504 7191 33554432000 4194304 4196468 140729544012496 140104617278224 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18622] ppid=18612 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18622/stat : 18622 (java) S 18612 18612 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510962444 28904853504 7191 33554432000 4194304 4196468 140729544012496 140104616225936 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18623] ppid=18612 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18623/stat : 18623 (java) S 18612 18612 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510962444 28904853504 7191 33554432000 4194304 4196468 140729544012496 140104615173136 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18624] ppid=18612 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18624/stat : 18624 (java) S 18612 18612 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510962445 28904853504 7191 33554432000 4194304 4196468 140729544012496 140103266674800 140105071176322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18625] ppid=18612 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18625/stat : 18625 (java) S 18612 18612 16140 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510962446 28904853504 7191 33554432000 4194304 4196468 140729544012496 140103265620768 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18626] ppid=18612 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18626/stat : 18626 (java) S 18612 18612 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510962446 28904853504 7191 33554432000 4194304 4196468 140729544012496 140103264568432 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18627] ppid=18612 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18627/stat : 18627 (java) S 18612 18612 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510962448 28904853504 7191 33554432000 4194304 4196468 140729544012496 140103263516752 140105071183771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18628] ppid=18612 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18628/stat : 18628 (java) S 18612 18612 16140 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 510962451 28904853504 7191 33554432000 4194304 4196468 140729544012496 140103262464624 140105071176322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18629] ppid=18612 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18629/stat : 18629 (java) S 18612 18612 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510962451 28904853504 7191 33554432000 4194304 4196468 140729544012496 140103261411824 140105071176322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18630] ppid=18612 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18630/stat : 18630 (java) S 18612 18612 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510962451 28904853504 7191 33554432000 4194304 4196468 140729544012496 140103260359536 140105071176322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18631] ppid=18612 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/18614/task/18631/stat : 18631 (java) R 18612 18612 16140 0 -1 4202560 251 0 0 0 1 0 0 0 20 0 20 0 510962451 28904853504 7191 33554432000 4194304 4196468 140729544012496 140103259306736 140105051492000 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18632] ppid=18612 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18632/stat : 18632 (java) S 18612 18612 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510962451 28904853504 7191 33554432000 4194304 4196468 140729544012496 140103258253664 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18633] ppid=18612 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18614/task/18633/stat : 18633 (java) S 18612 18612 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510962451 28904853504 7191 33554432000 4194304 4196468 140729544012496 140103257200944 140105071176322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30212 KiB

[startup+0.21027 s]*
/proc/loadavg: 7.59 8.10 8.01 2/212 18633
/proc/meminfo: memFree=28456344/32770624 swapFree=67023936/67108860
[pid=18612] ppid=18609 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/18612/stat : 18612 (xcsp3-exec) S 18609 18612 16140 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510962442 115843072 362 33554432000 4194304 5098028 140729031043952 140729031042056 140700086559356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34037760 140729031050065 140729031050325 140729031050325 140729031053254 0
/proc/18612/statm: 28282 362 304 221 0 87 0
[pid=18614] ppid=18612 vsize=28227396 memory=40416 CPUtime=0.3 cores=0-7
/proc/18614/stat : 18614 (java) S 18612 18612 16140 0 -1 1077944320 9319 0 0 0 27 3 0 0 20 0 20 0 510962443 28904853504 10104 33554432000 4194304 4196468 140729544012496 140729543995040 140105071165175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
/proc/18614/statm: 7056849 10104 3289 1 0 7019032 0
[pid=18614/tid=18615] ppid=18612 vsize=28227396 memory=8318255677412212789 CPUtime=0.18 cores=0-7
/proc/18614/task/18615/stat : 18615 (java) R 18612 18612 16140 0 -1 4202560 6587 0 0 0 16 2 0 0 20 0 20 0 510962443 28904853504 10104 33554432000 4194304 4196468 140729544012496 140105075384512 140105053021459 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18616] ppid=18612 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/18614/task/18616/stat : 18616 (java) S 18612 18612 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510962444 28904853504 10104 33554432000 4194304 4196468 140729544012496 140104991017360 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18617] ppid=18612 vsize=28227396 memory=3978561157043082912 CPUtime=0 cores=0-7
/proc/18614/task/18617/stat : 18617 (java) S 18612 18612 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510962444 28904853504 10104 33554432000 4194304 4196468 140729544012496 140104989964560 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18618] ppid=18612 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18614/task/18618/stat : 18618 (java) S 18612 18612 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510962444 28904853504 10104 33554432000 4194304 4196468 140729544012496 140104988912272 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18619] ppid=18612 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18619/stat : 18619 (java) S 18612 18612 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510962444 28904853504 10104 33554432000 4194304 4196468 140729544012496 140104619383312 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18620] ppid=18612 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18620/stat : 18620 (java) S 18612 18612 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510962444 28904853504 10104 33554432000 4194304 4196468 140729544012496 140104618331024 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18621] ppid=18612 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18614/task/18621/stat : 18621 (java) S 18612 18612 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510962444 28904853504 10104 33554432000 4194304 4196468 140729544012496 140104617278224 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18622] ppid=18612 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18622/stat : 18622 (java) S 18612 18612 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510962444 28904853504 10104 33554432000 4194304 4196468 140729544012496 140104616225936 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18623] ppid=18612 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18623/stat : 18623 (java) S 18612 18612 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510962444 28904853504 10104 33554432000 4194304 4196468 140729544012496 140104615173136 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18624] ppid=18612 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18624/stat : 18624 (java) S 18612 18612 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510962445 28904853504 10104 33554432000 4194304 4196468 140729544012496 140103266674800 140105071176322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18625] ppid=18612 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18625/stat : 18625 (java) S 18612 18612 16140 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510962446 28904853504 10104 33554432000 4194304 4196468 140729544012496 140103265620768 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18626] ppid=18612 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18626/stat : 18626 (java) S 18612 18612 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510962446 28904853504 10104 33554432000 4194304 4196468 140729544012496 140103264568432 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18627] ppid=18612 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18627/stat : 18627 (java) S 18612 18612 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510962448 28904853504 10104 33554432000 4194304 4196468 140729544012496 140103263516752 140105071183771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18628] ppid=18612 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/18614/task/18628/stat : 18628 (java) S 18612 18612 16140 0 -1 1077944384 540 0 0 0 1 0 0 0 20 0 20 0 510962451 28904853504 10104 33554432000 4194304 4196468 140729544012496 140103262464624 140105071176322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18629] ppid=18612 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18629/stat : 18629 (java) S 18612 18612 16140 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 510962451 28904853504 10104 33554432000 4194304 4196468 140729544012496 140103261411824 140105071176322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18630] ppid=18612 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/18614/task/18630/stat : 18630 (java) S 18612 18612 16140 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 20 0 510962451 28904853504 10104 33554432000 4194304 4196468 140729544012496 140103260359536 140105071176322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18631] ppid=18612 vsize=28227396 memory=-1 CPUtime=0.06 cores=0-7
/proc/18614/task/18631/stat : 18631 (java) S 18612 18612 16140 0 -1 1077944384 749 0 0 0 6 0 0 0 20 0 20 0 510962451 28904853504 10104 33554432000 4194304 4196468 140729544012496 140103259306736 140105071176322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18632] ppid=18612 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18632/stat : 18632 (java) S 18612 18612 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510962451 28904853504 10104 33554432000 4194304 4196468 140729544012496 140103258253664 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18633] ppid=18612 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18614/task/18633/stat : 18633 (java) S 18612 18612 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510962451 28904853504 10104 33554432000 4194304 4196468 140729544012496 140103257200944 140105071176322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41864 KiB

[startup+0.309656 s]*
/proc/loadavg: 7.59 8.10 8.01 3/212 18633
/proc/meminfo: memFree=28452408/32770624 swapFree=67023936/67108860
[pid=18612] ppid=18609 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/18612/stat : 18612 (xcsp3-exec) S 18609 18612 16140 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510962442 115843072 362 33554432000 4194304 5098028 140729031043952 140729031042056 140700086559356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34037760 140729031050065 140729031050325 140729031050325 140729031053254 0
/proc/18612/statm: 28282 362 304 221 0 87 0
[pid=18614] ppid=18612 vsize=28231652 memory=46908 CPUtime=0.48 cores=0-7
/proc/18614/stat : 18614 (java) S 18612 18612 16140 0 -1 1077944320 10574 0 0 0 44 4 0 0 20 0 20 0 510962443 28909211648 11727 33554432000 4194304 4196468 140729544012496 140729543995040 140105071165175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
/proc/18614/statm: 7057913 11727 3323 1 0 7019032 0
[pid=18614/tid=18615] ppid=18612 vsize=28231652 memory=6791534058613427641 CPUtime=0.27 cores=0-7
/proc/18614/task/18615/stat : 18615 (java) R 18612 18612 16140 0 -1 4202560 7616 0 0 0 25 2 0 0 20 0 20 0 510962443 28909211648 11748 33554432000 4194304 4196468 140729544012496 140105075389680 140105055245662 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18616] ppid=18612 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18616/stat : 18616 (java) S 18612 18612 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510962444 28909211648 11748 33554432000 4194304 4196468 140729544012496 140104991017360 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18617] ppid=18612 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18617/stat : 18617 (java) S 18612 18612 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510962444 28909211648 11748 33554432000 4194304 4196468 140729544012496 140104989964560 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18618] ppid=18612 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18618/stat : 18618 (java) S 18612 18612 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510962444 28909211648 11748 33554432000 4194304 4196468 140729544012496 140104988912272 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18619] ppid=18612 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18619/stat : 18619 (java) S 18612 18612 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510962444 28909211648 11748 33554432000 4194304 4196468 140729544012496 140104619383312 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18620] ppid=18612 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/18614/task/18620/stat : 18620 (java) S 18612 18612 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510962444 28909211648 11748 33554432000 4194304 4196468 140729544012496 140104618331024 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18621] ppid=18612 vsize=28231652 memory=139727231611823 CPUtime=0 cores=0-7
/proc/18614/task/18621/stat : 18621 (java) S 18612 18612 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510962444 28909211648 11748 33554432000 4194304 4196468 140729544012496 140104617278224 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18622] ppid=18612 vsize=28231652 memory=139727231614128 CPUtime=0 cores=0-7
/proc/18614/task/18622/stat : 18622 (java) S 18612 18612 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510962444 28909211648 11748 33554432000 4194304 4196468 140729544012496 140104616225936 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18623] ppid=18612 vsize=28231652 memory=139727231616432 CPUtime=0 cores=0-7
/proc/18614/task/18623/stat : 18623 (java) S 18612 18612 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510962444 28909211648 11748 33554432000 4194304 4196468 140729544012496 140104615173136 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18624] ppid=18612 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18624/stat : 18624 (java) S 18612 18612 16140 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510962445 28909211648 11748 33554432000 4194304 4196468 140729544012496 140103266674800 140105071176322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18625] ppid=18612 vsize=28231652 memory=279454463239824 CPUtime=0 cores=0-7
/proc/18614/task/18625/stat : 18625 (java) S 18612 18612 16140 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510962446 28909211648 11748 33554432000 4194304 4196468 140729544012496 140103265620768 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18626] ppid=18612 vsize=28231652 memory=279454463246736 CPUtime=0 cores=0-7
/proc/18614/task/18626/stat : 18626 (java) S 18612 18612 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510962446 28909211648 11748 33554432000 4194304 4196468 140729544012496 140103264568432 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18627] ppid=18612 vsize=28231652 memory=279454463188016 CPUtime=0 cores=0-7
/proc/18614/task/18627/stat : 18627 (java) S 18612 18612 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510962448 28909211648 11748 33554432000 4194304 4196468 140729544012496 140103263516752 140105071183771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18628] ppid=18612 vsize=28231652 memory=279454463260560 CPUtime=0.02 cores=0-7
/proc/18614/task/18628/stat : 18628 (java) S 18612 18612 16140 0 -1 1077944384 549 0 0 0 2 0 0 0 20 0 20 0 510962451 28909211648 11748 33554432000 4194304 4196468 140729544012496 140103262464624 140105071176322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18629] ppid=18612 vsize=28231652 memory=279454463267472 CPUtime=0.01 cores=0-7
/proc/18614/task/18629/stat : 18629 (java) S 18612 18612 16140 0 -1 1077944384 133 0 0 0 1 0 0 0 20 0 20 0 510962451 28909211648 11748 33554432000 4194304 4196468 140729544012496 140103261411824 140105071176322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18630] ppid=18612 vsize=28231652 memory=279454463265168 CPUtime=0.02 cores=0-7
/proc/18614/task/18630/stat : 18630 (java) S 18612 18612 16140 0 -1 1077944384 65 0 0 0 2 0 0 0 20 0 20 0 510962451 28909211648 11748 33554432000 4194304 4196468 140729544012496 140103260359536 140105071176322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18631] ppid=18612 vsize=28231652 memory=279454463281328 CPUtime=0.11 cores=0-7
/proc/18614/task/18631/stat : 18631 (java) S 18612 18612 16140 0 -1 1077944384 903 0 0 0 11 0 0 0 20 0 20 0 510962451 28909211648 11748 33554432000 4194304 4196468 140729544012496 140103259306736 140105071176322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18632] ppid=18612 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18632/stat : 18632 (java) S 18612 18612 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510962451 28909211648 11748 33554432000 4194304 4196468 140729544012496 140103258253664 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18633] ppid=18612 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/18614/task/18633/stat : 18633 (java) S 18612 18612 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510962451 28909211648 11748 33554432000 4194304 4196468 140729544012496 140103257200944 140105071176322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 48356 KiB

[startup+0.70088 s]
/proc/loadavg: 7.59 8.10 8.01 4/212 18633
/proc/meminfo: memFree=28423976/32770624 swapFree=67023936/67108860
[pid=18612] ppid=18609 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/18612/stat : 18612 (xcsp3-exec) S 18609 18612 16140 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510962442 115843072 362 33554432000 4194304 5098028 140729031043952 140729031042056 140700086559356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34037760 140729031050065 140729031050325 140729031050325 140729031053254 0
/proc/18612/statm: 28282 362 304 221 0 87 0
[pid=18614] ppid=18612 vsize=28233776 memory=105628 CPUtime=1.89 cores=0-7
/proc/18614/stat : 18614 (java) S 18612 18612 16140 0 -1 1077944320 17002 0 0 0 183 6 0 0 20 0 20 0 510962443 28911386624 26407 33554432000 4194304 4196468 140729544012496 140729543995040 140105071165175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
/proc/18614/statm: 7058444 26407 3454 1 0 7019544 0
[pid=18614/tid=18615] ppid=18612 vsize=28233776 memory=279454463639216 CPUtime=0.65 cores=0-7
/proc/18614/task/18615/stat : 18615 (java) R 18612 18612 16140 0 -1 4202560 9080 0 0 0 62 3 0 0 20 0 20 0 510962443 28911386624 26407 33554432000 4194304 4196468 140729544012496 140105075401712 140105053628076 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18616] ppid=18612 vsize=28233776 memory=139727231820656 CPUtime=0 cores=0-7
/proc/18614/task/18616/stat : 18616 (java) S 18612 18612 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510962444 28911386624 26407 33554432000 4194304 4196468 140729544012496 140104991017360 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18617] ppid=18612 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/18614/task/18617/stat : 18617 (java) S 18612 18612 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510962444 28911386624 26407 33554432000 4194304 4196468 140729544012496 140104989964560 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18618] ppid=18612 vsize=28233776 memory=1076 CPUtime=0 cores=0-7
/proc/18614/task/18618/stat : 18618 (java) S 18612 18612 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510962444 28911386624 26407 33554432000 4194304 4196468 140729544012496 140104988912272 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0

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

[pid=18614/tid=18623] ppid=18612 vsize=28768336 memory=6308 CPUtime=0.19 cores=0-7
/proc/18614/task/18623/stat : 18623 (java) S 18612 18612 16140 0 -1 1077944384 1364 0 0 0 13 6 0 0 20 0 28 0 510962444 29458776064 443003 33554432000 4194304 4196468 140729544012496 140104615173136 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18624] ppid=18612 vsize=28768336 memory=828 CPUtime=0.05 cores=0-7
/proc/18614/task/18624/stat : 18624 (java) S 18612 18612 16140 0 -1 1077944384 3091 0 0 0 3 2 0 0 20 0 28 0 510962445 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103266674800 140105071176322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18625] ppid=18612 vsize=28768336 memory=736 CPUtime=0 cores=0-7
/proc/18614/task/18625/stat : 18625 (java) S 18612 18612 16140 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 510962446 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103265620832 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18626] ppid=18612 vsize=28768336 memory=1608 CPUtime=0 cores=0-7
/proc/18614/task/18626/stat : 18626 (java) S 18612 18612 16140 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 510962446 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103264568448 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18627] ppid=18612 vsize=28768336 memory=1076 CPUtime=0 cores=0-7
/proc/18614/task/18627/stat : 18627 (java) S 18612 18612 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510962448 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103263516752 140105071183771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18628] ppid=18612 vsize=28768336 memory=3124 CPUtime=2.95 cores=0-7
/proc/18614/task/18628/stat : 18628 (java) S 18612 18612 16140 0 -1 1077944384 22876 0 0 0 290 5 0 0 20 0 28 0 510962451 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103262464624 140105071176322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18629] ppid=18612 vsize=28768336 memory=1244 CPUtime=2.36 cores=0-7
/proc/18614/task/18629/stat : 18629 (java) S 18612 18612 16140 0 -1 1077944384 18243 0 0 0 233 3 0 0 20 0 28 0 510962451 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103261411824 140105071176322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18630] ppid=18612 vsize=28768336 memory=14064 CPUtime=2.55 cores=0-7
/proc/18614/task/18630/stat : 18630 (java) S 18612 18612 16140 0 -1 1077944384 19452 0 0 0 249 6 0 0 20 0 28 0 510962451 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103260359536 140105071176322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18631] ppid=18612 vsize=28768336 memory=23168 CPUtime=0.94 cores=0-7
/proc/18614/task/18631/stat : 18631 (java) S 18612 18612 16140 0 -1 1077944384 13657 0 0 0 90 4 0 0 20 0 28 0 510962451 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103259306736 140105071176322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18632] ppid=18612 vsize=28768336 memory=2256 CPUtime=0 cores=0-7
/proc/18614/task/18632/stat : 18632 (java) S 18612 18612 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510962451 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103258253664 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18633] ppid=18612 vsize=28768336 memory=12328 CPUtime=0.11 cores=0-7
/proc/18614/task/18633/stat : 18633 (java) S 18612 18612 16140 0 -1 1077944384 1660 0 0 0 0 11 0 0 20 0 28 0 510962451 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103257200944 140105071176322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18770] ppid=18612 vsize=28768336 memory=500 CPUtime=0.89 cores=0-7
/proc/18614/task/18770/stat : 18770 (java) R 18612 18612 16140 0 -1 4202560 28 0 0 0 89 0 0 0 20 0 28 0 510987313 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103243775112 140104669679708 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18771] ppid=18612 vsize=28768336 memory=1584 CPUtime=0.89 cores=0-7
/proc/18614/task/18771/stat : 18771 (java) R 18612 18612 16140 0 -1 4202560 19 0 0 0 89 0 0 0 20 0 28 0 510987313 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103246934120 140104676018201 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18772] ppid=18612 vsize=28768336 memory=1740 CPUtime=0.89 cores=0-7
/proc/18614/task/18772/stat : 18772 (java) R 18612 18612 16140 0 -1 4202560 19 0 0 0 89 0 0 0 20 0 28 0 510987313 29458776064 443003 33554432000 4194304 4196468 140729544012496 140102799802856 140104669679708 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18773] ppid=18612 vsize=28768336 memory=924 CPUtime=0.88 cores=0-7
/proc/18614/task/18773/stat : 18773 (java) R 18612 18612 16140 0 -1 4202560 28 0 0 0 88 0 0 0 20 0 28 0 510987313 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103244826952 140104676459291 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18774] ppid=18612 vsize=28768336 memory=6791534058613427641 CPUtime=0.87 cores=0-7
/proc/18614/task/18774/stat : 18774 (java) R 18612 18612 16140 0 -1 4202560 18 0 0 0 87 0 0 0 20 0 28 0 510987313 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103247990344 140104676852977 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18775] ppid=18612 vsize=28768336 memory=3124 CPUtime=0.89 cores=0-7
/proc/18614/task/18775/stat : 18775 (java) R 18612 18612 16140 0 -1 4202560 20 0 0 0 89 0 0 0 20 0 28 0 510987313 29458776064 443003 33554432000 4194304 4196468 140729544012496 140102798753224 140104676459105 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18776] ppid=18612 vsize=28768336 memory=1244 CPUtime=0.89 cores=0-7
/proc/18614/task/18776/stat : 18776 (java) R 18612 18612 16140 0 -1 4202560 19 0 0 0 89 0 0 0 20 0 28 0 510987313 29458776064 443003 33554432000 4194304 4196468 140729544012496 140102800857928 140104676042877 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18777] ppid=18612 vsize=28768336 memory=14064 CPUtime=0.89 cores=0-7
/proc/18614/task/18777/stat : 18777 (java) R 18612 18612 16140 0 -1 4202560 19 0 0 0 89 0 0 0 20 0 28 0 510987313 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103245884104 140104669679727 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
Current children cumulated CPU time: 1980.9 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1773460 KiB

[startup+250.002 s]*
/proc/loadavg: 8.51 8.30 8.11 9/219 18777
/proc/meminfo: memFree=26723508/32770624 swapFree=67023936/67108860
[pid=18612] ppid=18609 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/18612/stat : 18612 (xcsp3-exec) S 18609 18612 16140 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510962442 115843072 362 33554432000 4194304 5098028 140729031043952 140729031042056 140700086559356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34037760 140729031050065 140729031050325 140729031050325 140729031053254 0
/proc/18612/statm: 28282 362 304 221 0 87 0
[pid=18614] ppid=18612 vsize=28768336 memory=1772012 CPUtime=1984.17 cores=0-7
/proc/18614/stat : 18614 (java) S 18612 18612 16140 0 -1 1077944320 135798 0 0 0 198208 209 0 0 20 0 28 0 510962443 29458776064 443003 33554432000 4194304 4196468 140729544012496 140729543995040 140105071165175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
/proc/18614/statm: 7192084 443003 3538 1 0 7153184 0
[pid=18614/tid=18615] ppid=18612 vsize=28768336 memory=1669948 CPUtime=1.46 cores=0-7
/proc/18614/task/18615/stat : 18615 (java) S 18612 18612 16140 0 -1 1077944384 11284 0 0 0 141 5 0 0 20 0 28 0 510962443 29458776064 443003 33554432000 4194304 4196468 140729544012496 140105075405952 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18616] ppid=18612 vsize=28768336 memory=1532 CPUtime=0.19 cores=0-7
/proc/18614/task/18616/stat : 18616 (java) S 18612 18612 16140 0 -1 1077944384 482 0 0 0 13 6 0 0 20 0 28 0 510962444 29458776064 443003 33554432000 4194304 4196468 140729544012496 140104991017360 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18617] ppid=18612 vsize=28768336 memory=4872558044660077418 CPUtime=0.18 cores=0-7
/proc/18614/task/18617/stat : 18617 (java) S 18612 18612 16140 0 -1 1077944384 381 0 0 0 13 5 0 0 20 0 28 0 510962444 29458776064 443003 33554432000 4194304 4196468 140729544012496 140104989964560 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18618] ppid=18612 vsize=28768336 memory=6308 CPUtime=0.18 cores=0-7
/proc/18614/task/18618/stat : 18618 (java) S 18612 18612 16140 0 -1 1077944384 1155 0 0 0 12 6 0 0 20 0 28 0 510962444 29458776064 443003 33554432000 4194304 4196468 140729544012496 140104988912272 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18619] ppid=18612 vsize=28768336 memory=828 CPUtime=0.19 cores=0-7
/proc/18614/task/18619/stat : 18619 (java) S 18612 18612 16140 0 -1 1077944384 1494 0 0 0 12 7 0 0 20 0 28 0 510962444 29458776064 443003 33554432000 4194304 4196468 140729544012496 140104619383312 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18620] ppid=18612 vsize=28768336 memory=736 CPUtime=0.17 cores=0-7
/proc/18614/task/18620/stat : 18620 (java) S 18612 18612 16140 0 -1 1077944384 1010 0 0 0 11 6 0 0 20 0 28 0 510962444 29458776064 443003 33554432000 4194304 4196468 140729544012496 140104618331024 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18621] ppid=18612 vsize=28768336 memory=1608 CPUtime=0.17 cores=0-7
/proc/18614/task/18621/stat : 18621 (java) S 18612 18612 16140 0 -1 1077944384 399 0 0 0 11 6 0 0 20 0 28 0 510962444 29458776064 443003 33554432000 4194304 4196468 140729544012496 140104617278224 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18622] ppid=18612 vsize=28768336 memory=1076 CPUtime=0.19 cores=0-7
/proc/18614/task/18622/stat : 18622 (java) S 18612 18612 16140 0 -1 1077944384 882 0 0 0 13 6 0 0 20 0 28 0 510962444 29458776064 443003 33554432000 4194304 4196468 140729544012496 140104616225936 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18623] ppid=18612 vsize=28768336 memory=3124 CPUtime=0.19 cores=0-7
/proc/18614/task/18623/stat : 18623 (java) S 18612 18612 16140 0 -1 1077944384 1364 0 0 0 13 6 0 0 20 0 28 0 510962444 29458776064 443003 33554432000 4194304 4196468 140729544012496 140104615173136 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18624] ppid=18612 vsize=28768336 memory=1244 CPUtime=0.05 cores=0-7
/proc/18614/task/18624/stat : 18624 (java) S 18612 18612 16140 0 -1 1077944384 3091 0 0 0 3 2 0 0 20 0 28 0 510962445 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103266674800 140105071176322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18625] ppid=18612 vsize=28768336 memory=14064 CPUtime=0 cores=0-7
/proc/18614/task/18625/stat : 18625 (java) S 18612 18612 16140 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 510962446 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103265620832 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18626] ppid=18612 vsize=28768336 memory=23168 CPUtime=0 cores=0-7
/proc/18614/task/18626/stat : 18626 (java) S 18612 18612 16140 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 510962446 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103264568448 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18627] ppid=18612 vsize=28768336 memory=2256 CPUtime=0 cores=0-7
/proc/18614/task/18627/stat : 18627 (java) S 18612 18612 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510962448 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103263516752 140105071183771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18628] ppid=18612 vsize=28768336 memory=12328 CPUtime=2.95 cores=0-7
/proc/18614/task/18628/stat : 18628 (java) S 18612 18612 16140 0 -1 1077944384 22876 0 0 0 290 5 0 0 20 0 28 0 510962451 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103262464624 140105071176322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18629] ppid=18612 vsize=28768336 memory=500 CPUtime=2.36 cores=0-7
/proc/18614/task/18629/stat : 18629 (java) S 18612 18612 16140 0 -1 1077944384 18243 0 0 0 233 3 0 0 20 0 28 0 510962451 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103261411824 140105071176322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18630] ppid=18612 vsize=28768336 memory=1584 CPUtime=2.55 cores=0-7
/proc/18614/task/18630/stat : 18630 (java) S 18612 18612 16140 0 -1 1077944384 19452 0 0 0 249 6 0 0 20 0 28 0 510962451 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103260359536 140105071176322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18631] ppid=18612 vsize=28768336 memory=0 CPUtime=0.94 cores=0-7
/proc/18614/task/18631/stat : 18631 (java) S 18612 18612 16140 0 -1 1077944384 13657 0 0 0 90 4 0 0 20 0 28 0 510962451 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103259306736 140105071176322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18632] ppid=18612 vsize=28768336 memory=7084534301490310256 CPUtime=0 cores=0-7
/proc/18614/task/18632/stat : 18632 (java) S 18612 18612 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510962451 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103258253664 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18633] ppid=18612 vsize=28768336 memory=6791534058613427641 CPUtime=0.11 cores=0-7
/proc/18614/task/18633/stat : 18633 (java) S 18612 18612 16140 0 -1 1077944384 1661 0 0 0 0 11 0 0 20 0 28 0 510962451 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103257200944 140105071176322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18770] ppid=18612 vsize=28768336 memory=7084534301490310256 CPUtime=1.3 cores=0-7
/proc/18614/task/18770/stat : 18770 (java) R 18612 18612 16140 0 -1 4202560 28 0 0 0 130 0 0 0 20 0 28 0 510987313 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103243775112 140104669679708 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18771] ppid=18612 vsize=28768336 memory=7524215703867058022 CPUtime=1.3 cores=0-7
/proc/18614/task/18771/stat : 18771 (java) R 18612 18612 16140 0 -1 4202560 19 0 0 0 130 0 0 0 20 0 28 0 510987313 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103246934120 140104676852951 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18772] ppid=18612 vsize=28768336 memory=7524215703867058022 CPUtime=1.3 cores=0-7
/proc/18614/task/18772/stat : 18772 (java) R 18612 18612 16140 0 -1 4202560 19 0 0 0 130 0 0 0 20 0 28 0 510987313 29458776064 443003 33554432000 4194304 4196468 140729544012496 140102799802856 140104676852951 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18773] ppid=18612 vsize=28768336 memory=7739554029651519847 CPUtime=1.29 cores=0-7
/proc/18614/task/18773/stat : 18773 (java) R 18612 18612 16140 0 -1 4202560 28 0 0 0 129 0 0 0 20 0 28 0 510987313 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103244826952 140104676852956 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18774] ppid=18612 vsize=28768336 memory=7450761863490912356 CPUtime=1.26 cores=0-7
/proc/18614/task/18774/stat : 18774 (java) R 18612 18612 16140 0 -1 4202560 18 0 0 0 126 0 0 0 20 0 28 0 510987313 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103247990344 140104676852956 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18775] ppid=18612 vsize=28768336 memory=7450761863490912356 CPUtime=1.3 cores=0-7
/proc/18614/task/18775/stat : 18775 (java) R 18612 18612 16140 0 -1 4202560 20 0 0 0 130 0 0 0 20 0 28 0 510987313 29458776064 443003 33554432000 4194304 4196468 140729544012496 140102798753224 140104676852932 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18776] ppid=18612 vsize=28768336 memory=7595151912511694656 CPUtime=1.3 cores=0-7
/proc/18614/task/18776/stat : 18776 (java) R 18612 18612 16140 0 -1 4202560 19 0 0 0 130 0 0 0 20 0 28 0 510987313 29458776064 443003 33554432000 4194304 4196468 140729544012496 140102800857928 140104676253604 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18777] ppid=18612 vsize=28768336 memory=1448 CPUtime=1.3 cores=0-7
/proc/18614/task/18777/stat : 18777 (java) R 18612 18612 16140 0 -1 4202560 19 0 0 0 130 0 0 0 20 0 28 0 510987313 29458776064 443003 33554432000 4194304 4196468 140729544012496 140103245884104 140104676042877 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
Current children cumulated CPU time: 1984.17 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1773460 KiB

[startup+250.112 s]
/proc/loadavg: 8.51 8.30 8.11 9/219 18777
/proc/meminfo: memFree=26723508/32770624 swapFree=67023936/67108860
[pid=18612] ppid=18609 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/18612/stat : 18612 (xcsp3-exec) S 18609 18612 16140 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510962442 115843072 362 33554432000 4194304 5098028 140729031043952 140729031042056 140700086559356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34037760 140729031050065 140729031050325 140729031050325 140729031053254 0
/proc/18612/statm: 28282 362 304 221 0 87 0
[pid=18614] ppid=18612 vsize=28768336 memory=1792496 CPUtime=1984.33 cores=0-7
/proc/18614/stat : 18614 (java) S 18612 18612 16140 0 -1 1077944320 136338 0 0 0 198223 210 0 0 20 0 28 0 510962443 29458776064 448124 33554432000 4194304 4196468 140729544012496 140729543995040 140105071165175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
/proc/18614/statm: 7192084 448124 3538 1 0 7153184 0
[pid=18614/tid=18615] ppid=18612 vsize=28768336 memory=1448 CPUtime=1.46 cores=0-7
/proc/18614/task/18615/stat : 18615 (java) S 18612 18612 16140 0 -1 1077944384 11288 0 0 0 141 5 0 0 20 0 28 0 510962443 29458776064 448124 33554432000 4194304 4196468 140729544012496 140105075405952 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18616] ppid=18612 vsize=28768336 memory=1772012 CPUtime=0.19 cores=0-7
/proc/18614/task/18616/stat : 18616 (java) S 18612 18612 16140 0 -1 1077944384 482 0 0 0 13 6 0 0 20 0 28 0 510962444 29458776064 448124 33554432000 4194304 4196468 140729544012496 140104991017360 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18617] ppid=18612 vsize=28768336 memory=1729004 CPUtime=0.18 cores=0-7
/proc/18614/task/18617/stat : 18617 (java) S 18612 18612 16140 0 -1 1077944384 381 0 0 0 13 5 0 0 20 0 28 0 510962444 29458776064 448124 33554432000 4194304 4196468 140729544012496 140104989964560 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18618] ppid=18612 vsize=28768336 memory=1448 CPUtime=0.18 cores=0-7
/proc/18614/task/18618/stat : 18618 (java) S 18612 18612 16140 0 -1 1077944384 1155 0 0 0 12 6 0 0 20 0 28 0 510962444 29458776064 448124 33554432000 4194304 4196468 140729544012496 140104988912272 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18619] ppid=18612 vsize=28768336 memory=1448 CPUtime=0.19 cores=0-7
/proc/18614/task/18619/stat : 18619 (java) S 18612 18612 16140 0 -1 1077944384 1494 0 0 0 12 7 0 0 20 0 28 0 510962444 29458776064 448124 33554432000 4194304 4196468 140729544012496 140104619383312 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18620] ppid=18612 vsize=28768336 memory=1670012 CPUtime=0.17 cores=0-7
/proc/18614/task/18620/stat : 18620 (java) S 18612 18612 16140 0 -1 1077944384 1010 0 0 0 11 6 0 0 20 0 28 0 510962444 29458776064 448124 33554432000 4194304 4196468 140729544012496 140104618331024 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18621] ppid=18612 vsize=28768336 memory=1667628 CPUtime=0.17 cores=0-7
/proc/18614/task/18621/stat : 18621 (java) S 18612 18612 16140 0 -1 1077944384 399 0 0 0 11 6 0 0 20 0 28 0 510962444 29458776064 448124 33554432000 4194304 4196468 140729544012496 140104617278224 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18622] ppid=18612 vsize=28768336 memory=1518112 CPUtime=0.19 cores=0-7
/proc/18614/task/18622/stat : 18622 (java) S 18612 18612 16140 0 -1 1077944384 882 0 0 0 13 6 0 0 20 0 28 0 510962444 29458776064 448124 33554432000 4194304 4196468 140729544012496 140104616225936 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18623] ppid=18612 vsize=28768336 memory=1579560 CPUtime=0.19 cores=0-7
/proc/18614/task/18623/stat : 18623 (java) S 18612 18612 16140 0 -1 1077944384 1364 0 0 0 13 6 0 0 20 0 28 0 510962444 29458776064 448124 33554432000 4194304 4196468 140729544012496 140104615173136 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18624] ppid=18612 vsize=28768336 memory=1604136 CPUtime=0.05 cores=0-7
/proc/18614/task/18624/stat : 18624 (java) S 18612 18612 16140 0 -1 1077944384 3091 0 0 0 3 2 0 0 20 0 28 0 510962445 29458776064 448124 33554432000 4194304 4196468 140729544012496 140103266674800 140105071176322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18625] ppid=18612 vsize=28768336 memory=1729004 CPUtime=0 cores=0-7
/proc/18614/task/18625/stat : 18625 (java) S 18612 18612 16140 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 510962446 29458776064 448124 33554432000 4194304 4196468 140729544012496 140103265620832 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18626] ppid=18612 vsize=28768336 memory=1749484 CPUtime=0 cores=0-7
/proc/18614/task/18626/stat : 18626 (java) S 18612 18612 16140 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 510962446 29458776064 448124 33554432000 4194304 4196468 140729544012496 140103264568448 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18627] ppid=18612 vsize=28768336 memory=1772012 CPUtime=0 cores=0-7
/proc/18614/task/18627/stat : 18627 (java) S 18612 18612 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510962448 29458776064 448124 33554432000 4194304 4196468 140729544012496 140103263516752 140105071183771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18628] ppid=18612 vsize=28768336 memory=1448 CPUtime=2.95 cores=0-7
/proc/18614/task/18628/stat : 18628 (java) S 18612 18612 16140 0 -1 1077944384 22876 0 0 0 290 5 0 0 20 0 28 0 510962451 29458776064 448124 33554432000 4194304 4196468 140729544012496 140103262464624 140105071176322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18629] ppid=18612 vsize=28768336 memory=0 CPUtime=2.36 cores=0-7
/proc/18614/task/18629/stat : 18629 (java) S 18612 18612 16140 0 -1 1077944384 18243 0 0 0 233 3 0 0 20 0 28 0 510962451 29458776064 448124 33554432000 4194304 4196468 140729544012496 140103261411824 140105071176322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18630] ppid=18612 vsize=28768336 memory=0 CPUtime=2.55 cores=0-7
/proc/18614/task/18630/stat : 18630 (java) S 18612 18612 16140 0 -1 1077944384 19452 0 0 0 249 6 0 0 20 0 28 0 510962451 29458776064 448124 33554432000 4194304 4196468 140729544012496 140103260359536 140105071176322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18631] ppid=18612 vsize=28768336 memory=1448 CPUtime=0.95 cores=0-7
/proc/18614/task/18631/stat : 18631 (java) S 18612 18612 16140 0 -1 1077944384 14031 0 0 0 91 4 0 0 20 0 28 0 510962451 29458776064 448124 33554432000 4194304 4196468 140729544012496 140103259306736 140105071176322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18632] ppid=18612 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/18614/task/18632/stat : 18632 (java) S 18612 18612 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510962451 29458776064 448124 33554432000 4194304 4196468 140729544012496 140103258253664 140105071175381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
[pid=18614/tid=18633] ppid=18612 vsize=28768336 memory=1772012 CPUtime=0.11 cores=0-7
/proc/18614/task/18633/stat : 18633 (java) S 18612 18612 16140 0 -1 1077944384 1661 0 0 0 0 11 0 0 20 0 28 0 510962451 29458776064 448124 33554432000 4194304 4196468 140729544012496 140103257200944 140105071176322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 11784192 140729544020950 140729544021126 140729544021126 140729544024015 0
Current children cumulated CPU time: 1984.33 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1793944 KiB

Child status: 0
Real time (s): 250.154
CPU time (s): 1984.38
CPU user time (s): 1982.25
CPU system time (s): 2.12187
CPU usage (%): 793.263
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 1793944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1982.25
system time used= 2.12187
maximum resident set size= 1794792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137457
page faults= 0
swaps= 0
block input operations= 8
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13306
involuntary context switches= 23377


# summary of solver processes directly reported to runsolver:
#   pid: 18612
#   total CPU time (s): 1984.38
#   total CPU user time (s): 1982.25
#   total CPU system time (s): 2.12187

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.30993 second user time and 3.5699 second system time

The end

Begin job on node150 at 2019-09-24 19:40:59
IDJOB=4407139
IDBENCH=124207
IDSOLVER=2871
FILE ID=node150/4407139-1569346900
RUNJOBID= node150-1569335938-16167
PBS_JOBID= 21705047
Free space on /var/tmp= 13480 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t08-0.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407139-1569346900/watcher-4407139-1569346900 -o /var/tmp/evaluation-result-4407139-1569346900/solver-4407139-1569346900 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569335938-16167 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1301745985 HOME/instance-4407139-1569346900.xml

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

MD5SUM BENCH= ed46a5b20d86f225200b9362bdb8a529
RANDOM SEED=1301745985

node150.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.79
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.79
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.79
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.79
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:        28485420 kB
MemAvailable:   31816820 kB
Buffers:          102352 kB
Cached:          3335672 kB
SwapCached:         8116 kB
Active:          3362016 kB
Inactive:         110736 kB
Active(anon):       2580 kB
Inactive(anon):    83520 kB
Active(file):    3359436 kB
Inactive(file):    27216 kB
Unevictable:      109416 kB
Mlocked:          109416 kB
SwapTotal:      67108860 kB
SwapFree:       67023936 kB
Dirty:             26064 kB
Writeback:             0 kB
AnonPages:        137192 kB
Mapped:            53680 kB
Shmem:             42756 kB
Slab:             402600 kB
SReclaimable:     373208 kB
SUnreclaim:        29392 kB
KernelStack:        3440 kB
PageTables:         5684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /var/tmp at the end= 13456 MiB
End job on node150 at 2019-09-24 19:45:09