0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393379-1568316372.xml"  -tl '2520s' -p 4
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4393379-1568316372.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
3.11/1.13	c solve instance...
675.08/170.09	o 628 
679.80/171.26	o 601 
693.69/174.74	o 583 
700.87/176.56	o 582 
703.99/177.38	o 581 
712.74/179.58	o 580 
818.26/206.10	o 579 
818.63/206.18	s OPTIMUM FOUND
818.63/206.18	v <instantiation>
818.63/206.18	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>
818.63/206.18	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 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 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 0 2 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 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 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 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 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 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 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 1 2 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 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 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 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 2 0 0 0 0 0 1 0 1 0 2 0 0 0 0 0 1 0 1 0 2 0 0 0 0 0 1 0 1 0 2 0 0 0 0 0 1 0 1 0 2 0 0 0 0 0 1 0 1 0 2 0 0 0 0 0 1 0 1 0 2 0 0 0 0 0 1 0 1 0 2 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 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 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 1 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 </values>
818.63/206.18	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 (9722 MiB free)
  memory of node 1: 16384 MiB (6672 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393379-1568316372/watcher-4393379-1568316372 -o /tmp/evaluation-result-4393379-1568316372/solver-4393379-1568316372 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568312851-11622 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 549676107 HOME/instance-4393379-1568316372.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.100172 s]*
/proc/loadavg: 7.96 8.25 7.99 6/234 15891
/proc/meminfo: memFree=16771584/32770624 swapFree=66952812/67108860
[pid=15875] ppid=15872 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (xcsp3-exec) S 15872 15875 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407579122 115843072 362 33554432000 4194304 5098028 140721375298560 140721375296664 140540052570748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33337344 140721375302523 140721375302765 140721375302765 140721375305674 0
/proc/15875/statm: 28282 362 304 221 0 87 0
[pid=15877] ppid=15875 vsize=15144768 memory=30324 CPUtime=0.12 cores=0,2,4,6
/proc/15877/stat : 15877 (java) S 15875 15875 11591 0 -1 1077944320 5458 0 0 0 11 1 0 0 20 0 15 0 407579122 15508242432 7581 33554432000 4194304 4196468 140730371785616 140730371768160 139973361733367 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
/proc/15877/statm: 3786192 7581 3152 1 0 3748377 0
[pid=15877/tid=15878] ppid=15875 vsize=15144768 memory=7100839861498119282 CPUtime=0.09 cores=0,2,4,6
/proc/15877/task/15878/stat : 15878 (java) R 15875 15875 11591 0 -1 4202560 3393 0 0 0 8 1 0 0 20 0 15 0 407579122 15508242432 7581 33554432000 4194304 4196468 140730371785616 139973365966144 139973345776997 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15879] ppid=15875 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15879/stat : 15879 (java) S 15875 15875 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407579123 15508242432 7581 33554432000 4194304 4196468 140730371785616 139972953844240 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15880] ppid=15875 vsize=15144768 memory=140307478185600 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15880/stat : 15880 (java) S 15875 15875 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407579123 15508242432 7581 33554432000 4194304 4196468 140730371785616 139972952791696 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15881] ppid=15875 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15881/stat : 15881 (java) S 15875 15875 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407579123 15508242432 7581 33554432000 4194304 4196468 140730371785616 139972951738640 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15882] ppid=15875 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15882/stat : 15882 (java) S 15875 15875 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407579123 15508242432 7581 33554432000 4194304 4196468 140730371785616 139972950686096 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15883] ppid=15875 vsize=15144768 memory=140307478185600 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15883/stat : 15883 (java) S 15875 15875 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407579124 15508242432 7581 33554432000 4194304 4196468 140730371785616 139972829985520 139973361744514 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15884] ppid=15875 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15884/stat : 15884 (java) S 15875 15875 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407579125 15508242432 7581 33554432000 4194304 4196468 140730371785616 139972828931744 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15885] ppid=15875 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15885/stat : 15885 (java) S 15875 15875 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407579125 15508242432 7581 33554432000 4194304 4196468 140730371785616 139972827878640 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15886] ppid=15875 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15886/stat : 15886 (java) S 15875 15875 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407579128 15508242432 7581 33554432000 4194304 4196468 140730371785616 139972826827216 139973361751963 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15887] ppid=15875 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15887/stat : 15887 (java) R 15875 15875 11591 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 407579128 15508242432 7581 33554432000 4194304 4196468 140730371785616 139972825774320 139973361744514 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15888] ppid=15875 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15888/stat : 15888 (java) S 15875 15875 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407579128 15508242432 7581 33554432000 4194304 4196468 140730371785616 139972824721776 139973361744514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15889] ppid=15875 vsize=15144768 memory=140307478185600 CPUtime=0.02 cores=0,2,4,6
/proc/15877/task/15889/stat : 15889 (java) R 15875 15875 11591 0 -1 4202560 344 0 0 0 2 0 0 0 20 0 15 0 407579128 15508242432 7581 33554432000 4194304 4196468 140730371785616 139972823668720 139973340390671 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15890] ppid=15875 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15890/stat : 15890 (java) S 15875 15875 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407579128 15508242432 7581 33554432000 4194304 4196468 140730371785616 139972822616416 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15891] ppid=15875 vsize=15144768 memory=140307478185600 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15891/stat : 15891 (java) S 15875 15875 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407579128 15508242432 7581 33554432000 4194304 4196468 140730371785616 139972821564464 139973361744514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31772 KiB

[startup+0.210986 s]*
/proc/loadavg: 7.96 8.25 7.99 7/234 15891
/proc/meminfo: memFree=16760064/32770624 swapFree=66952812/67108860
[pid=15875] ppid=15872 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (xcsp3-exec) S 15872 15875 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407579122 115843072 362 33554432000 4194304 5098028 140721375298560 140721375296664 140540052570748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33337344 140721375302523 140721375302765 140721375302765 140721375305674 0
/proc/15875/statm: 28282 362 304 221 0 87 0
[pid=15877] ppid=15875 vsize=15144768 memory=40920 CPUtime=0.34 cores=0,2,4,6
/proc/15877/stat : 15877 (java) S 15875 15875 11591 0 -1 1077944320 8896 0 0 0 31 3 0 0 20 0 15 0 407579122 15508242432 10230 33554432000 4194304 4196468 140730371785616 140730371768160 139973361733367 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
/proc/15877/statm: 3786192 10230 3314 1 0 3748377 0
[pid=15877/tid=15878] ppid=15875 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/15877/task/15878/stat : 15878 (java) R 15875 15875 11591 0 -1 4202560 6199 0 0 0 18 2 0 0 20 0 15 0 407579122 15508242432 10230 33554432000 4194304 4196468 140730371785616 139973365967248 139973361745302 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15879] ppid=15875 vsize=15144768 memory=13655 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15879/stat : 15879 (java) S 15875 15875 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407579123 15508242432 10230 33554432000 4194304 4196468 140730371785616 139972953844240 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15880] ppid=15875 vsize=15144768 memory=288370683629897344 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15880/stat : 15880 (java) S 15875 15875 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407579123 15508242432 10230 33554432000 4194304 4196468 140730371785616 139972952791696 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15881] ppid=15875 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15881/stat : 15881 (java) S 15875 15875 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407579123 15508242432 10230 33554432000 4194304 4196468 140730371785616 139972951738640 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15882] ppid=15875 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15882/stat : 15882 (java) S 15875 15875 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407579123 15508242432 10230 33554432000 4194304 4196468 140730371785616 139972950686096 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15883] ppid=15875 vsize=15144768 memory=140307478185600 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15883/stat : 15883 (java) S 15875 15875 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407579124 15508242432 10230 33554432000 4194304 4196468 140730371785616 139972829985520 139973361744514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15884] ppid=15875 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15884/stat : 15884 (java) S 15875 15875 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407579125 15508242432 10230 33554432000 4194304 4196468 140730371785616 139972828931744 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15885] ppid=15875 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15885/stat : 15885 (java) S 15875 15875 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407579125 15508242432 10230 33554432000 4194304 4196468 140730371785616 139972827878640 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15886] ppid=15875 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15886/stat : 15886 (java) S 15875 15875 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407579128 15508242432 10230 33554432000 4194304 4196468 140730371785616 139972826827216 139973361751963 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15887] ppid=15875 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15877/task/15887/stat : 15887 (java) S 15875 15875 11591 0 -1 1077944384 547 0 0 0 2 0 0 0 20 0 15 0 407579128 15508242432 10230 33554432000 4194304 4196468 140730371785616 139972825774320 139973361744514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15888] ppid=15875 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/15877/task/15888/stat : 15888 (java) S 15875 15875 11591 0 -1 1077944384 88 0 0 0 2 0 0 0 20 0 15 0 407579128 15508242432 10230 33554432000 4194304 4196468 140730371785616 139972824721776 139973361744514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15889] ppid=15875 vsize=15144768 memory=140307478185600 CPUtime=0.08 cores=0,2,4,6
/proc/15877/task/15889/stat : 15889 (java) R 15875 15875 11591 0 -1 4202560 756 0 0 0 8 0 0 0 20 0 15 0 407579128 15508242432 10230 33554432000 4194304 4196468 140730371785616 139972823668528 139973361745302 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15890] ppid=15875 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15890/stat : 15890 (java) S 15875 15875 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407579128 15508242432 10230 33554432000 4194304 4196468 140730371785616 139972822616416 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15891] ppid=15875 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15891/stat : 15891 (java) S 15875 15875 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407579128 15508242432 10230 33554432000 4194304 4196468 140730371785616 139972821564464 139973361744514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42368 KiB

[startup+0.312677 s]*
/proc/loadavg: 7.96 8.25 7.99 10/234 15891
/proc/meminfo: memFree=16752792/32770624 swapFree=66952812/67108860
[pid=15875] ppid=15872 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (xcsp3-exec) S 15872 15875 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407579122 115843072 362 33554432000 4194304 5098028 140721375298560 140721375296664 140540052570748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33337344 140721375302523 140721375302765 140721375302765 140721375305674 0
/proc/15875/statm: 28282 362 304 221 0 87 0
[pid=15877] ppid=15875 vsize=15149024 memory=50036 CPUtime=0.53 cores=0,2,4,6
/proc/15877/stat : 15877 (java) S 15875 15875 11591 0 -1 1077944320 10315 0 0 0 48 5 0 0 20 0 15 0 407579122 15512600576 12509 33554432000 4194304 4196468 140730371785616 140730371768160 139973361733367 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
/proc/15877/statm: 3787256 12509 3355 1 0 3748377 0
[pid=15877/tid=15878] ppid=15875 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/15877/task/15878/stat : 15878 (java) R 15875 15875 11591 0 -1 4202560 7336 0 0 0 27 3 0 0 20 0 15 0 407579122 15512600576 12509 33554432000 4194304 4196468 140730371785616 139973365964480 139973345813854 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15879] ppid=15875 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15879/stat : 15879 (java) S 15875 15875 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407579123 15512600576 12509 33554432000 4194304 4196468 140730371785616 139972953844240 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15880] ppid=15875 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15880/stat : 15880 (java) S 15875 15875 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407579123 15512600576 12509 33554432000 4194304 4196468 140730371785616 139972952791696 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15881] ppid=15875 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15881/stat : 15881 (java) S 15875 15875 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407579123 15512600576 12574 33554432000 4194304 4196468 140730371785616 139972951738640 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15882] ppid=15875 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15882/stat : 15882 (java) S 15875 15875 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407579123 15512600576 12574 33554432000 4194304 4196468 140730371785616 139972950686096 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15883] ppid=15875 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15883/stat : 15883 (java) S 15875 15875 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407579124 15512600576 12574 33554432000 4194304 4196468 140730371785616 139972829985520 139973361744514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15884] ppid=15875 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15884/stat : 15884 (java) S 15875 15875 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407579125 15512600576 12574 33554432000 4194304 4196468 140730371785616 139972828931744 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15885] ppid=15875 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15885/stat : 15885 (java) S 15875 15875 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407579125 15512600576 12574 33554432000 4194304 4196468 140730371785616 139972827878640 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15886] ppid=15875 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15886/stat : 15886 (java) S 15875 15875 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407579128 15512600576 12574 33554432000 4194304 4196468 140730371785616 139972826827216 139973361751963 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15887] ppid=15875 vsize=15149024 memory=7827413994055111515 CPUtime=0.05 cores=0,2,4,6
/proc/15877/task/15887/stat : 15887 (java) R 15875 15875 11591 0 -1 4202560 681 0 0 0 5 0 0 0 20 0 15 0 407579128 15512600576 12574 33554432000 4194304 4196468 140730371785616 139972825759184 139973346662765 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15888] ppid=15875 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/15877/task/15888/stat : 15888 (java) S 15875 15875 11591 0 -1 1077944384 102 0 0 0 4 0 0 0 20 0 15 0 407579128 15512600576 12574 33554432000 4194304 4196468 140730371785616 139972824721776 139973361744514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15889] ppid=15875 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/15877/task/15889/stat : 15889 (java) S 15875 15875 11591 0 -1 1077944384 900 0 0 0 12 0 0 0 20 0 15 0 407579128 15512600576 12574 33554432000 4194304 4196468 140730371785616 139972823668720 139973361744514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15890] ppid=15875 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15890/stat : 15890 (java) S 15875 15875 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407579128 15512600576 12574 33554432000 4194304 4196468 140730371785616 139972822616416 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15891] ppid=15875 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15891/stat : 15891 (java) S 15875 15875 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407579128 15512600576 12574 33554432000 4194304 4196468 140730371785616 139972821564464 139973361744514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51484 KiB

[startup+0.703963 s]
/proc/loadavg: 7.96 8.25 7.99 8/234 15891
/proc/meminfo: memFree=16728084/32770624 swapFree=66952812/67108860
[pid=15875] ppid=15872 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (xcsp3-exec) S 15872 15875 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407579122 115843072 362 33554432000 4194304 5098028 140721375298560 140721375296664 140540052570748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33337344 140721375302523 140721375302765 140721375302765 140721375305674 0
/proc/15875/statm: 28282 362 304 221 0 87 0
[pid=15877] ppid=15875 vsize=15151148 memory=97924 CPUtime=1.79 cores=0,2,4,6
/proc/15877/stat : 15877 (java) S 15875 15875 11591 0 -1 1077944320 15075 0 0 0 172 7 0 0 20 0 15 0 407579122 15514775552 24481 33554432000 4194304 4196468 140730371785616 140730371768160 139973361733367 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
/proc/15877/statm: 3787787 24481 3447 1 0 3748889 0
[pid=15877/tid=15878] ppid=15875 vsize=15151148 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/15877/task/15878/stat : 15878 (java) R 15875 15875 11591 0 -1 4202560 8625 0 0 0 64 4 0 0 20 0 15 0 407579122 15514775552 24481 33554432000 4194304 4196468 140730371785616 139973365968864 139973361745302 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15879] ppid=15875 vsize=15151148 memory=37952 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15879/stat : 15879 (java) S 15875 15875 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407579123 15514775552 24481 33554432000 4194304 4196468 140730371785616 139972953844240 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15880] ppid=15875 vsize=15151148 memory=992 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15880/stat : 15880 (java) S 15875 15875 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407579123 15514775552 24481 33554432000 4194304 4196468 140730371785616 139972952791696 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15881] ppid=15875 vsize=15151148 memory=2044 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15881/stat : 15881 (java) S 15875 15875 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407579123 15514775552 24481 33554432000 4194304 4196468 140730371785616 139972951738640 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15882] ppid=15875 vsize=15151148 memory=1324 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15882/stat : 15882 (java) S 15875 15875 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407579123 15514775552 24481 33554432000 4194304 4196468 140730371785616 139972950686096 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15883] ppid=15875 vsize=15151148 memory=11624 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15883/stat : 15883 (java) S 15875 15875 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407579124 15514775552 24481 33554432000 4194304 4196468 140730371785616 139972829985520 139973361744514 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15884] ppid=15875 vsize=15151148 memory=752 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15884/stat : 15884 (java) S 15875 15875 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407579125 15514775552 24481 33554432000 4194304 4196468 140730371785616 139972828931744 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15885] ppid=15875 vsize=15151148 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15885/stat : 15885 (java) S 15875 15875 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407579125 15514775552 24481 33554432000 4194304 4196468 140730371785616 139972827878640 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15886] ppid=15875 vsize=15151148 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15886/stat : 15886 (java) S 15875 15875 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407579128 15514775552 24481 33554432000 4194304 4196468 140730371785616 139972826827216 139973361751963 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15887] ppid=15875 vsize=15151148 memory=944 CPUtime=0.32 cores=0,2,4,6
/proc/15877/task/15887/stat : 15887 (java) R 15875 15875 11591 0 -1 4202560 1541 0 0 0 32 0 0 0 20 0 15 0 407579128 15514775552 24481 33554432000 4194304 4196468 140730371785616 139972825752352 139973342429137 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15888] ppid=15875 vsize=15151148 memory=4004 CPUtime=0.35 cores=0,2,4,6
/proc/15877/task/15888/stat : 15888 (java) R 15875 15875 11591 0 -1 4202560 1388 0 0 0 35 0 0 0 20 0 15 0 407579128 15514775552 24481 33554432000 4194304 4196468 140730371785616 139972824710480 139973345230151 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15889] ppid=15875 vsize=15151148 memory=780 CPUtime=0.4 cores=0,2,4,6
/proc/15877/task/15889/stat : 15889 (java) R 15875 15875 11591 0 -1 1077944384 2214 0 0 0 40 0 0 0 20 0 15 0 407579128 15514775552 24481 33554432000 4194304 4196468 140730371785616 139972823668720 139973361744514 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15890] ppid=15875 vsize=15151148 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15890/stat : 15890 (java) S 15875 15875 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407579128 15514775552 24481 33554432000 4194304 4196468 140730371785616 139972822616416 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15891] ppid=15875 vsize=15151148 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15891/stat : 15891 (java) S 15875 15875 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407579128 15514775552 24481 33554432000 4194304 4196468 140730371785616 139972821564464 139973361744514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 99372 KiB

[startup+1.50168 s]
/proc/loadavg: 7.96 8.25 7.99 8/234 15891
/proc/meminfo: memFree=16634136/32770624 swapFree=66952812/67108860
[pid=15875] ppid=15872 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (xcsp3-exec) S 15872 15875 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407579122 115843072 362 33554432000 4194304 5098028 140721375298560 140721375296664 140540052570748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33337344 140721375302523 140721375302765 140721375302765 140721375305674 0
/proc/15875/statm: 28282 362 304 221 0 87 0

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

Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 580624 KiB

[startup+204.802 s]
/proc/loadavg: 8.44 8.26 8.04 10/237 16016
/proc/meminfo: memFree=23292136/32770624 swapFree=66952812/67108860
[pid=15875] ppid=15872 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (xcsp3-exec) S 15872 15875 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407579122 115843072 362 33554432000 4194304 5098028 140721375298560 140721375296664 140540052570748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33337344 140721375302523 140721375302765 140721375302765 140721375305674 0
/proc/15875/statm: 28282 362 304 221 0 87 0
[pid=15877] ppid=15875 vsize=15419452 memory=579176 CPUtime=813.45 cores=0,2,4,6
/proc/15877/stat : 15877 (java) S 15875 15875 11591 0 -1 1077944320 84104 0 0 0 81297 48 0 0 20 0 19 0 407579122 15789518848 144794 33554432000 4194304 4196468 140730371785616 140730371768160 139973361733367 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
/proc/15877/statm: 3854863 144794 3532 1 0 3815965 0
[pid=15877/tid=15878] ppid=15875 vsize=15419452 memory=37952 CPUtime=1.12 cores=0,2,4,6
/proc/15877/task/15878/stat : 15878 (java) S 15875 15875 11591 0 -1 1077944384 10564 0 0 0 107 5 0 0 20 0 19 0 407579122 15789518848 144794 33554432000 4194304 4196468 140730371785616 139973365974144 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15879] ppid=15875 vsize=15419452 memory=992 CPUtime=0.15 cores=0,2,4,6
/proc/15877/task/15879/stat : 15879 (java) S 15875 15875 11591 0 -1 1077944384 532 0 0 0 11 4 0 0 20 0 19 0 407579123 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972953844240 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15880] ppid=15875 vsize=15419452 memory=2044 CPUtime=0.17 cores=0,2,4,6
/proc/15877/task/15880/stat : 15880 (java) S 15875 15875 11591 0 -1 1077944384 2390 0 0 0 13 4 0 0 20 0 19 0 407579123 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972952791696 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15881] ppid=15875 vsize=15419452 memory=20704 CPUtime=0.17 cores=0,2,4,6
/proc/15877/task/15881/stat : 15881 (java) S 15875 15875 11591 0 -1 1077944384 1116 0 0 0 13 4 0 0 20 0 19 0 407579123 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972951738640 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15882] ppid=15875 vsize=15419452 memory=12024 CPUtime=0.16 cores=0,2,4,6
/proc/15877/task/15882/stat : 15882 (java) S 15875 15875 11591 0 -1 1077944384 2931 0 0 0 12 4 0 0 20 0 19 0 407579123 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972950686096 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15883] ppid=15875 vsize=15419452 memory=2120 CPUtime=0.03 cores=0,2,4,6
/proc/15877/task/15883/stat : 15883 (java) S 15875 15875 11591 0 -1 1077944384 1788 0 0 0 2 1 0 0 20 0 19 0 407579124 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972829985520 139973361744514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15884] ppid=15875 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15884/stat : 15884 (java) S 15875 15875 11591 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 407579125 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972828931808 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15885] ppid=15875 vsize=15419452 memory=579176 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15885/stat : 15885 (java) S 15875 15875 11591 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 407579125 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972827878640 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15886] ppid=15875 vsize=15419452 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15886/stat : 15886 (java) S 15875 15875 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407579128 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972826827216 139973361751963 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15887] ppid=15875 vsize=15419452 memory=-3622645143214314312 CPUtime=3.5 cores=0,2,4,6
/proc/15877/task/15887/stat : 15887 (java) S 15875 15875 11591 0 -1 1077944384 22987 0 0 0 347 3 0 0 20 0 19 0 407579128 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972825774320 139973361744514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15888] ppid=15875 vsize=15419452 memory=1448 CPUtime=3.22 cores=0,2,4,6
/proc/15877/task/15888/stat : 15888 (java) S 15875 15875 11591 0 -1 1077944384 18702 0 0 0 319 3 0 0 20 0 19 0 407579128 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972824721776 139973361744514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15889] ppid=15875 vsize=15419452 memory=578760 CPUtime=0.89 cores=0,2,4,6
/proc/15877/task/15889/stat : 15889 (java) S 15875 15875 11591 0 -1 1077944384 8214 0 0 0 87 2 0 0 20 0 19 0 407579128 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972823668720 139973361744514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15890] ppid=15875 vsize=15419452 memory=1744 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15890/stat : 15890 (java) S 15875 15875 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407579128 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972822616416 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15891] ppid=15875 vsize=15419452 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/15877/task/15891/stat : 15891 (java) S 15875 15875 11591 0 -1 1077944384 573 0 0 0 0 8 0 0 20 0 19 0 407579128 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972821564464 139973361744514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=16012] ppid=15875 vsize=15419452 memory=944 CPUtime=25.2 cores=0,2,4,6
/proc/15877/task/16012/stat : 16012 (java) R 15875 15875 11591 0 -1 4202560 414 0 0 0 2520 0 0 0 20 0 19 0 407597081 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972810485896 139973005508538 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=16013] ppid=15875 vsize=15419452 memory=4004 CPUtime=25.17 cores=0,2,4,6
/proc/15877/task/16013/stat : 16013 (java) R 15875 15875 11591 0 -1 4202560 1213 0 0 0 2517 0 0 0 20 0 19 0 407597081 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972809435424 139973007373553 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=16014] ppid=15875 vsize=15419452 memory=780 CPUtime=25.13 cores=0,2,4,6
/proc/15877/task/16014/stat : 16014 (java) R 15875 15875 11591 0 -1 4202560 371 0 0 0 2513 0 0 0 20 0 19 0 407597081 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972811539480 139973004985820 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=16015] ppid=15875 vsize=15419452 memory=0 CPUtime=24.72 cores=0,2,4,6
/proc/15877/task/16015/stat : 16015 (java) R 15875 15875 11591 0 -1 4202560 872 0 0 0 2472 0 0 0 20 0 19 0 407597081 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972812590712 139973005508562 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
Current children cumulated CPU time: 813.45 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 580624 KiB

[startup+205.602 s]
/proc/loadavg: 8.44 8.26 8.04 9/237 16016
/proc/meminfo: memFree=23293984/32770624 swapFree=66952812/67108860
[pid=15875] ppid=15872 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (xcsp3-exec) S 15872 15875 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407579122 115843072 362 33554432000 4194304 5098028 140721375298560 140721375296664 140540052570748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33337344 140721375302523 140721375302765 140721375302765 140721375305674 0
/proc/15875/statm: 28282 362 304 221 0 87 0
[pid=15877] ppid=15875 vsize=15419452 memory=579176 CPUtime=816.63 cores=0,2,4,6
/proc/15877/stat : 15877 (java) S 15875 15875 11591 0 -1 1077944320 84155 0 0 0 81615 48 0 0 20 0 19 0 407579122 15789518848 144794 33554432000 4194304 4196468 140730371785616 140730371768160 139973361733367 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
/proc/15877/statm: 3854863 144794 3532 1 0 3815965 0
[pid=15877/tid=15878] ppid=15875 vsize=15419452 memory=280614641973664 CPUtime=1.12 cores=0,2,4,6
/proc/15877/task/15878/stat : 15878 (java) S 15875 15875 11591 0 -1 1077944384 10564 0 0 0 107 5 0 0 20 0 19 0 407579122 15789518848 144794 33554432000 4194304 4196468 140730371785616 139973365974144 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15879] ppid=15875 vsize=15419452 memory=-2276395272229541278 CPUtime=0.15 cores=0,2,4,6
/proc/15877/task/15879/stat : 15879 (java) S 15875 15875 11591 0 -1 1077944384 532 0 0 0 11 4 0 0 20 0 19 0 407579123 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972953844240 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15880] ppid=15875 vsize=15419452 memory=992 CPUtime=0.17 cores=0,2,4,6
/proc/15877/task/15880/stat : 15880 (java) S 15875 15875 11591 0 -1 1077944384 2390 0 0 0 13 4 0 0 20 0 19 0 407579123 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972952791696 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15881] ppid=15875 vsize=15419452 memory=2044 CPUtime=0.17 cores=0,2,4,6
/proc/15877/task/15881/stat : 15881 (java) S 15875 15875 11591 0 -1 1077944384 1116 0 0 0 13 4 0 0 20 0 19 0 407579123 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972951738640 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15882] ppid=15875 vsize=15419452 memory=1324 CPUtime=0.16 cores=0,2,4,6
/proc/15877/task/15882/stat : 15882 (java) S 15875 15875 11591 0 -1 1077944384 2931 0 0 0 12 4 0 0 20 0 19 0 407579123 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972950686096 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15883] ppid=15875 vsize=15419452 memory=6791534058613427641 CPUtime=0.03 cores=0,2,4,6
/proc/15877/task/15883/stat : 15883 (java) S 15875 15875 11591 0 -1 1077944384 1788 0 0 0 2 1 0 0 20 0 19 0 407579124 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972829985520 139973361744514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15884] ppid=15875 vsize=15419452 memory=752 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15884/stat : 15884 (java) S 15875 15875 11591 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 407579125 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972828931808 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15885] ppid=15875 vsize=15419452 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15885/stat : 15885 (java) S 15875 15875 11591 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 407579125 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972827878640 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15886] ppid=15875 vsize=15419452 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15886/stat : 15886 (java) S 15875 15875 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407579128 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972826827216 139973361751963 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15887] ppid=15875 vsize=15419452 memory=944 CPUtime=3.5 cores=0,2,4,6
/proc/15877/task/15887/stat : 15887 (java) S 15875 15875 11591 0 -1 1077944384 22987 0 0 0 347 3 0 0 20 0 19 0 407579128 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972825774320 139973361744514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15888] ppid=15875 vsize=15419452 memory=4004 CPUtime=3.22 cores=0,2,4,6
/proc/15877/task/15888/stat : 15888 (java) S 15875 15875 11591 0 -1 1077944384 18702 0 0 0 319 3 0 0 20 0 19 0 407579128 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972824721776 139973361744514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15889] ppid=15875 vsize=15419452 memory=780 CPUtime=0.89 cores=0,2,4,6
/proc/15877/task/15889/stat : 15889 (java) S 15875 15875 11591 0 -1 1077944384 8214 0 0 0 87 2 0 0 20 0 19 0 407579128 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972823668720 139973361744514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15890] ppid=15875 vsize=15419452 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15890/stat : 15890 (java) S 15875 15875 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407579128 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972822616416 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15891] ppid=15875 vsize=15419452 memory=1720 CPUtime=0.08 cores=0,2,4,6
/proc/15877/task/15891/stat : 15891 (java) S 15875 15875 11591 0 -1 1077944384 573 0 0 0 0 8 0 0 20 0 19 0 407579128 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972821564464 139973361744514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=16012] ppid=15875 vsize=15419452 memory=1228 CPUtime=26 cores=0,2,4,6
/proc/15877/task/16012/stat : 16012 (java) R 15875 15875 11591 0 -1 4202560 414 0 0 0 2600 0 0 0 20 0 19 0 407597081 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972810485896 139973007373217 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=16013] ppid=15875 vsize=15419452 memory=5868 CPUtime=25.97 cores=0,2,4,6
/proc/15877/task/16013/stat : 16013 (java) R 15875 15875 11591 0 -1 4202560 1215 0 0 0 2597 0 0 0 20 0 19 0 407597081 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972809435424 139973000383188 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=16014] ppid=15875 vsize=15419452 memory=14012 CPUtime=25.93 cores=0,2,4,6
/proc/15877/task/16014/stat : 16014 (java) R 15875 15875 11591 0 -1 4202560 371 0 0 0 2593 0 0 0 20 0 19 0 407597081 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972811539480 139973005508562 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=16015] ppid=15875 vsize=15419452 memory=6791534058613427641 CPUtime=25.5 cores=0,2,4,6
/proc/15877/task/16015/stat : 16015 (java) R 15875 15875 11591 0 -1 4202560 921 0 0 0 2550 0 0 0 20 0 19 0 407597081 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972812590712 139973007373236 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
Current children cumulated CPU time: 816.63 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 580624 KiB

[startup+206.004 s]*
/proc/loadavg: 8.44 8.26 8.04 10/237 16016
/proc/meminfo: memFree=23295264/32770624 swapFree=66952812/67108860
[pid=15875] ppid=15872 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (xcsp3-exec) S 15872 15875 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407579122 115843072 362 33554432000 4194304 5098028 140721375298560 140721375296664 140540052570748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33337344 140721375302523 140721375302765 140721375302765 140721375305674 0
/proc/15875/statm: 28282 362 304 221 0 87 0
[pid=15877] ppid=15875 vsize=15419452 memory=579176 CPUtime=818.26 cores=0,2,4,6
/proc/15877/stat : 15877 (java) S 15875 15875 11591 0 -1 1077944320 84157 0 0 0 81778 48 0 0 20 0 19 0 407579122 15789518848 144794 33554432000 4194304 4196468 140730371785616 140730371768160 139973361733367 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
/proc/15877/statm: 3854863 144794 3532 1 0 3815965 0
[pid=15877/tid=15878] ppid=15875 vsize=15419452 memory=8317482817917895235 CPUtime=1.12 cores=0,2,4,6
/proc/15877/task/15878/stat : 15878 (java) S 15875 15875 11591 0 -1 1077944384 10564 0 0 0 107 5 0 0 20 0 19 0 407579122 15789518848 144794 33554432000 4194304 4196468 140730371785616 139973365974144 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15879] ppid=15875 vsize=15419452 memory=4126316290023845779 CPUtime=0.15 cores=0,2,4,6
/proc/15877/task/15879/stat : 15879 (java) S 15875 15875 11591 0 -1 1077944384 532 0 0 0 11 4 0 0 20 0 19 0 407579123 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972953844240 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15880] ppid=15875 vsize=15419452 memory=2596 CPUtime=0.17 cores=0,2,4,6
/proc/15877/task/15880/stat : 15880 (java) S 15875 15875 11591 0 -1 1077944384 2390 0 0 0 13 4 0 0 20 0 19 0 407579123 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972952791696 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15881] ppid=15875 vsize=15419452 memory=1412 CPUtime=0.17 cores=0,2,4,6
/proc/15877/task/15881/stat : 15881 (java) S 15875 15875 11591 0 -1 1077944384 1116 0 0 0 13 4 0 0 20 0 19 0 407579123 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972951738640 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15882] ppid=15875 vsize=15419452 memory=3356 CPUtime=0.16 cores=0,2,4,6
/proc/15877/task/15882/stat : 15882 (java) S 15875 15875 11591 0 -1 1077944384 2931 0 0 0 12 4 0 0 20 0 19 0 407579123 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972950686096 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15883] ppid=15875 vsize=15419452 memory=1448 CPUtime=0.03 cores=0,2,4,6
/proc/15877/task/15883/stat : 15883 (java) S 15875 15875 11591 0 -1 1077944384 1788 0 0 0 2 1 0 0 20 0 19 0 407579124 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972829985520 139973361744514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15884] ppid=15875 vsize=15419452 memory=1744 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15884/stat : 15884 (java) S 15875 15875 11591 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 407579125 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972828931808 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15885] ppid=15875 vsize=15419452 memory=8317482817917895235 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15885/stat : 15885 (java) S 15875 15875 11591 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 407579125 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972827878640 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15886] ppid=15875 vsize=15419452 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15886/stat : 15886 (java) S 15875 15875 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407579128 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972826827216 139973361751963 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15887] ppid=15875 vsize=15419452 memory=992 CPUtime=3.5 cores=0,2,4,6
/proc/15877/task/15887/stat : 15887 (java) S 15875 15875 11591 0 -1 1077944384 22987 0 0 0 347 3 0 0 20 0 19 0 407579128 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972825774320 139973361744514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15888] ppid=15875 vsize=15419452 memory=2044 CPUtime=3.22 cores=0,2,4,6
/proc/15877/task/15888/stat : 15888 (java) S 15875 15875 11591 0 -1 1077944384 18702 0 0 0 319 3 0 0 20 0 19 0 407579128 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972824721776 139973361744514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15889] ppid=15875 vsize=15419452 memory=1324 CPUtime=0.89 cores=0,2,4,6
/proc/15877/task/15889/stat : 15889 (java) S 15875 15875 11591 0 -1 1077944384 8214 0 0 0 87 2 0 0 20 0 19 0 407579128 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972823668720 139973361744514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15890] ppid=15875 vsize=15419452 memory=579176 CPUtime=0 cores=0,2,4,6
/proc/15877/task/15890/stat : 15890 (java) S 15875 15875 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407579128 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972822616416 139973361743573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=15891] ppid=15875 vsize=15419452 memory=68 CPUtime=0.08 cores=0,2,4,6
/proc/15877/task/15891/stat : 15891 (java) S 15875 15875 11591 0 -1 1077944384 573 0 0 0 0 8 0 0 20 0 19 0 407579128 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972821564464 139973361744514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=16012] ppid=15875 vsize=15419452 memory=-7175204567652784766 CPUtime=26.41 cores=0,2,4,6
/proc/15877/task/16012/stat : 16012 (java) R 15875 15875 11591 0 -1 4202560 414 0 0 0 2641 0 0 0 20 0 19 0 407597081 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972810485896 139973005508538 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=16013] ppid=15875 vsize=15419452 memory=3054156605268465310 CPUtime=26.38 cores=0,2,4,6
/proc/15877/task/16013/stat : 16013 (java) R 15875 15875 11591 0 -1 4202560 1217 0 0 0 2638 0 0 0 20 0 19 0 407597081 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972809435424 139973005508566 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=16014] ppid=15875 vsize=15419452 memory=7738140066305302632 CPUtime=26.34 cores=0,2,4,6
/proc/15877/task/16014/stat : 16014 (java) R 15875 15875 11591 0 -1 4202560 371 0 0 0 2634 0 0 0 20 0 19 0 407597081 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972811539480 139973006061628 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
[pid=15877/tid=16015] ppid=15875 vsize=15419452 memory=4004 CPUtime=25.9 cores=0,2,4,6
/proc/15877/task/16015/stat : 16015 (java) R 15875 15875 11591 0 -1 4202560 921 0 0 0 2590 0 0 0 20 0 19 0 407597081 15789518848 144794 33554432000 4194304 4196468 140730371785616 139972812590712 139973004628172 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23134208 140730371793903 140730371794074 140730371794074 140730371796943 0
Current children cumulated CPU time: 818.26 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 580624 KiB

[startup+206.201 s]
/proc/loadavg: 8.44 8.26 8.04 10/237 16016
/proc/meminfo: memFree=23295264/32770624 swapFree=66952812/67108860
[pid=15875] ppid=15872 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15875/stat : 15875 (xcsp3-exec) S 15872 15875 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407579122 115843072 362 33554432000 4194304 5098028 140721375298560 140721375296664 140540052570748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33337344 140721375302523 140721375302765 140721375302765 140721375305674 0
/proc/15875/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB

Child status: 0
Real time (s): 206.208
CPU time (s): 818.745
CPU user time (s): 818.251
CPU system time (s): 0.494153
CPU usage (%): 397.049
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 672920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 818.251
system time used= 0.494153
maximum resident set size= 671472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87271
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8420
involuntary context switches= 16073


# summary of solver processes directly reported to runsolver:
#   pid: 15875
#   total CPU time (s): 818.745
#   total CPU user time (s): 818.251
#   total CPU system time (s): 0.494153

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.32721 second user time and 2.65105 second system time

The end

Begin job on node117 at 2019-09-12 21:25:29
IDJOB=4393379
IDBENCH=124207
IDSOLVER=2840
FILE ID=node117/4393379-1568316372
RUNJOBID= node117-1568312851-11622
PBS_JOBID= 21701132
Free space on /tmp= 58876 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t08-0.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393379-1568316372/watcher-4393379-1568316372 -o /tmp/evaluation-result-4393379-1568316372/solver-4393379-1568316372 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568312851-11622 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 549676107 HOME/instance-4393379-1568316372.xml

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

MD5SUM BENCH= ed46a5b20d86f225200b9362bdb8a529
RANDOM SEED=549676107

node117.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.75
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.75
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.75
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.75
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:        16789032 kB
MemAvailable:   24608072 kB
Buffers:          193292 kB
Cached:          7852076 kB
SwapCached:        52484 kB
Active:          8582812 kB
Inactive:        6708728 kB
Active(anon):    7203084 kB
Inactive(anon):    84624 kB
Active(file):    1379728 kB
Inactive(file):  6624104 kB
Unevictable:      107732 kB
Mlocked:          107732 kB
SwapTotal:      67108860 kB
SwapFree:       66952812 kB
Dirty:             26112 kB
Writeback:             0 kB
AnonPages:       7314620 kB
Mapped:            56612 kB
Shmem:             32816 kB
Slab:             272252 kB
SReclaimable:     243668 kB
SUnreclaim:        28584 kB
KernelStack:        4080 kB
PageTables:        20312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    9072080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7137280 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 58868 MiB
End job on node117 at 2019-09-12 21:28:56