0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4405039-1569003876.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4405039-1569003876.xml, -tl, 2016s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
4.61/1.36	c solve instance...
1736.29/218.70	o 613 
1809.23/227.81	o 612 
1836.99/231.32	o 607 
1857.62/233.90	o 606 
1880.65/236.86	o 605 
1897.97/239.02	o 603 
1909.77/240.53	o 602 
1920.05/241.84	o 601 
1928.65/242.94	o 599 
1936.52/243.99	o 598 
1960.38/247.00	o 594 
1972.27/248.41	o 583 
1984.09/249.94	o 582 
1993.50/251.15	o 581 
2000.59/252.09	s SATISFIABLE
2000.59/252.09	v <instantiation>
2000.59/252.09	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>
2000.59/252.09	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 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 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 2 1 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 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 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 2 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 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 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 2 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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>
2000.59/252.09	v </instantiation>
2000.59/252.09	c Unexpected resolution interruption!

OK	581

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405039-1569003876/watcher-4405039-1569003876 -o /var/tmp/evaluation-result-4405039-1569003876/solver-4405039-1569003876 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1568994492-16101 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1159344302 HOME/instance-4405039-1569003876.xml 

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

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

solver pid=25181, runsolver pid=25178

[startup+0.100138 s]*
/proc/loadavg: 8.07 8.26 8.33 2/211 25202
/proc/meminfo: memFree=14169480/32770624 swapFree=66972360/67108860
[pid=25181] ppid=25178 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/25181/stat : 25181 (xcsp3-exec) S 25178 25181 16074 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476329434 115843072 364 33554432000 4194304 5098028 140730517534944 140730517533048 139816417981052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34390016 140730517541719 140730517541978 140730517541978 140730517544902 0
/proc/25181/statm: 28282 364 305 221 0 87 0
[pid=25183] ppid=25181 vsize=28227396 memory=30916 CPUtime=0.12 cores=0-7
/proc/25183/stat : 25183 (java) S 25181 25181 16074 0 -1 1077944320 5691 0 0 0 11 1 0 0 20 0 20 0 476329434 28904853504 7729 33554432000 4194304 4196468 140733306572320 140733306554864 139997522333431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
/proc/25183/statm: 7056849 7729 3118 1 0 7019032 0
[pid=25183/tid=25184] ppid=25181 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/25183/task/25184/stat : 25184 (java) R 25181 25181 16074 0 -1 4202560 3616 0 0 0 8 0 0 0 20 0 20 0 476329435 28904853504 7729 33554432000 4194304 4196468 140733306572320 139997526566704 139997158073165 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25185] ppid=25181 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/25183/task/25185/stat : 25185 (java) S 25181 25181 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476329435 28904853504 7729 33554432000 4194304 4196468 140733306572320 139997481093392 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25186] ppid=25181 vsize=28227396 memory=140542343902848 CPUtime=0 cores=0-7
/proc/25183/task/25186/stat : 25186 (java) S 25181 25181 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476329435 28904853504 7729 33554432000 4194304 4196468 140733306572320 139997480040848 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25187] ppid=25181 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25187/stat : 25187 (java) S 25181 25181 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476329435 28904853504 7729 33554432000 4194304 4196468 140733306572320 139997072075280 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25188] ppid=25181 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25188/stat : 25188 (java) S 25181 25181 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476329435 28904853504 7729 33554432000 4194304 4196468 140733306572320 139997071022736 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25189] ppid=25181 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25189/stat : 25189 (java) S 25181 25181 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476329436 28904853504 7729 33554432000 4194304 4196468 140733306572320 139997069970192 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25190] ppid=25181 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25183/task/25190/stat : 25190 (java) S 25181 25181 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476329436 28904853504 7729 33554432000 4194304 4196468 140733306572320 139997068917648 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25191] ppid=25181 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25191/stat : 25191 (java) S 25181 25181 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476329436 28904853504 7729 33554432000 4194304 4196468 140733306572320 139997067865104 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25192] ppid=25181 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25192/stat : 25192 (java) S 25181 25181 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476329436 28904853504 7729 33554432000 4194304 4196468 140733306572320 139997066812560 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25193] ppid=25181 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25193/stat : 25193 (java) S 25181 25181 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476329437 28904853504 7729 33554432000 4194304 4196468 140733306572320 139995919206384 139997522344578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25194] ppid=25181 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25194/stat : 25194 (java) S 25181 25181 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476329438 28904853504 7729 33554432000 4194304 4196468 140733306572320 139995918152608 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25195] ppid=25181 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25195/stat : 25195 (java) S 25181 25181 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476329438 28904853504 7729 33554432000 4194304 4196468 140733306572320 139995917100016 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25196] ppid=25181 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25196/stat : 25196 (java) S 25181 25181 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476329440 28904853504 7729 33554432000 4194304 4196468 140733306572320 139995916048592 139997522352027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25197] ppid=25181 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25197/stat : 25197 (java) S 25181 25181 16074 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 476329440 28904853504 7729 33554432000 4194304 4196468 140733306572320 139995914996208 139997522344578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25198] ppid=25181 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25198/stat : 25198 (java) S 25181 25181 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476329440 28904853504 7729 33554432000 4194304 4196468 140733306572320 139995913943664 139997522344578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25199] ppid=25181 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25199/stat : 25199 (java) S 25181 25181 16074 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 476329440 28904853504 7729 33554432000 4194304 4196468 140733306572320 139995912891120 139997522344578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25200] ppid=25181 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/25183/task/25200/stat : 25200 (java) S 25181 25181 16074 0 -1 1077944384 338 0 0 0 2 0 0 0 20 0 20 0 476329440 28904853504 7729 33554432000 4194304 4196468 140733306572320 139995911838576 139997522344578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25201] ppid=25181 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25201/stat : 25201 (java) S 25181 25181 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476329440 28904853504 7729 33554432000 4194304 4196468 140733306572320 139995910785248 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25202] ppid=25181 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25183/task/25202/stat : 25202 (java) S 25181 25181 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476329441 28904853504 7729 33554432000 4194304 4196468 140733306572320 139995909732784 139997522344578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 32372 KiB

[startup+0.210644 s]*
/proc/loadavg: 8.07 8.26 8.33 2/211 25202
/proc/meminfo: memFree=14155720/32770624 swapFree=66972360/67108860
[pid=25181] ppid=25178 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/25181/stat : 25181 (xcsp3-exec) S 25178 25181 16074 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476329434 115843072 364 33554432000 4194304 5098028 140730517534944 140730517533048 139816417981052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34390016 140730517541719 140730517541978 140730517541978 140730517544902 0
/proc/25181/statm: 28282 364 305 221 0 87 0
[pid=25183] ppid=25181 vsize=28227396 memory=43176 CPUtime=0.33 cores=0-7
/proc/25183/stat : 25183 (java) S 25181 25181 16074 0 -1 1077944320 9514 0 0 0 31 2 0 0 20 0 20 0 476329434 28904853504 10794 33554432000 4194304 4196468 140733306572320 140733306554864 139997522333431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
/proc/25183/statm: 7056849 10794 3311 1 0 7019032 0
[pid=25183/tid=25184] ppid=25181 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/25183/task/25184/stat : 25184 (java) R 25181 25181 16074 0 -1 4202560 6641 0 0 0 18 2 0 0 20 0 20 0 476329435 28904853504 10794 33554432000 4194304 4196468 140733306572320 139997526566896 139997506413918 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25185] ppid=25181 vsize=28227396 memory=329 CPUtime=0 cores=0-7
/proc/25183/task/25185/stat : 25185 (java) S 25181 25181 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476329435 28904853504 10794 33554432000 4194304 4196468 140733306572320 139997481093392 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25186] ppid=25181 vsize=28227396 memory=4120991617333065376 CPUtime=0 cores=0-7
/proc/25183/task/25186/stat : 25186 (java) S 25181 25181 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476329435 28904853504 10794 33554432000 4194304 4196468 140733306572320 139997480040848 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25187] ppid=25181 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25183/task/25187/stat : 25187 (java) S 25181 25181 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476329435 28904853504 10794 33554432000 4194304 4196468 140733306572320 139997072075280 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25188] ppid=25181 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25188/stat : 25188 (java) S 25181 25181 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476329435 28904853504 10794 33554432000 4194304 4196468 140733306572320 139997071022736 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25189] ppid=25181 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25189/stat : 25189 (java) S 25181 25181 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476329436 28904853504 10794 33554432000 4194304 4196468 140733306572320 139997069970192 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25190] ppid=25181 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25183/task/25190/stat : 25190 (java) S 25181 25181 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476329436 28904853504 10794 33554432000 4194304 4196468 140733306572320 139997068917648 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25191] ppid=25181 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25191/stat : 25191 (java) S 25181 25181 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476329436 28904853504 10794 33554432000 4194304 4196468 140733306572320 139997067865104 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25192] ppid=25181 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25192/stat : 25192 (java) S 25181 25181 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476329436 28904853504 10794 33554432000 4194304 4196468 140733306572320 139997066812560 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25193] ppid=25181 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25193/stat : 25193 (java) S 25181 25181 16074 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 476329437 28904853504 10794 33554432000 4194304 4196468 140733306572320 139995919206384 139997522344578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25194] ppid=25181 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25194/stat : 25194 (java) S 25181 25181 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476329438 28904853504 10794 33554432000 4194304 4196468 140733306572320 139995918152608 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25195] ppid=25181 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25195/stat : 25195 (java) S 25181 25181 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476329438 28904853504 10794 33554432000 4194304 4196468 140733306572320 139995917100016 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25196] ppid=25181 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25196/stat : 25196 (java) S 25181 25181 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476329440 28904853504 10794 33554432000 4194304 4196468 140733306572320 139995916048592 139997522352027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25197] ppid=25181 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/25183/task/25197/stat : 25197 (java) S 25181 25181 16074 0 -1 1077944384 310 0 0 0 1 0 0 0 20 0 20 0 476329440 28904853504 10794 33554432000 4194304 4196468 140733306572320 139995914996208 139997522344578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25198] ppid=25181 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/25183/task/25198/stat : 25198 (java) S 25181 25181 16074 0 -1 1077944384 296 0 0 0 1 0 0 0 20 0 20 0 476329440 28904853504 10794 33554432000 4194304 4196468 140733306572320 139995913943664 139997522344578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25199] ppid=25181 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/25183/task/25199/stat : 25199 (java) S 25181 25181 16074 0 -1 1077944384 225 0 0 0 1 0 0 0 20 0 20 0 476329440 28904853504 10794 33554432000 4194304 4196468 140733306572320 139995912891120 139997522344578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25200] ppid=25181 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/25183/task/25200/stat : 25200 (java) R 25181 25181 16074 0 -1 4202560 730 0 0 0 7 0 0 0 20 0 20 0 476329440 28904853504 10794 33554432000 4194304 4196468 140733306572320 139995911838576 139997506413918 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25201] ppid=25181 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25201/stat : 25201 (java) S 25181 25181 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476329440 28904853504 10794 33554432000 4194304 4196468 140733306572320 139995910785248 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25202] ppid=25181 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25183/task/25202/stat : 25202 (java) S 25181 25181 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476329441 28904853504 10794 33554432000 4194304 4196468 140733306572320 139995909732784 139997522344578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 44632 KiB

[startup+0.310468 s]*
/proc/loadavg: 8.07 8.26 8.33 4/211 25202
/proc/meminfo: memFree=14149196/32770624 swapFree=66972360/67108860
[pid=25181] ppid=25178 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/25181/stat : 25181 (xcsp3-exec) S 25178 25181 16074 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476329434 115843072 364 33554432000 4194304 5098028 140730517534944 140730517533048 139816417981052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34390016 140730517541719 140730517541978 140730517541978 140730517544902 0
/proc/25181/statm: 28282 364 305 221 0 87 0
[pid=25183] ppid=25181 vsize=28231652 memory=51880 CPUtime=0.52 cores=0-7
/proc/25183/stat : 25183 (java) S 25181 25181 16074 0 -1 1077944320 10818 0 0 0 49 3 0 0 20 0 20 0 476329434 28909211648 12970 33554432000 4194304 4196468 140733306572320 140733306554864 139997522333431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
/proc/25183/statm: 7057913 12970 3356 1 0 7019032 0
[pid=25183/tid=25184] ppid=25181 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/25183/task/25184/stat : 25184 (java) R 25181 25181 16074 0 -1 4202560 7773 0 0 0 27 2 0 0 20 0 20 0 476329435 28909211648 12970 33554432000 4194304 4196468 140733306572320 139997526564544 139997506413918 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25185] ppid=25181 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25185/stat : 25185 (java) S 25181 25181 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476329435 28909211648 12970 33554432000 4194304 4196468 140733306572320 139997481093392 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25186] ppid=25181 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25186/stat : 25186 (java) S 25181 25181 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476329435 28909211648 12970 33554432000 4194304 4196468 140733306572320 139997480040848 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25187] ppid=25181 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25187/stat : 25187 (java) S 25181 25181 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476329435 28909211648 12970 33554432000 4194304 4196468 140733306572320 139997072075280 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25188] ppid=25181 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25188/stat : 25188 (java) S 25181 25181 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476329435 28909211648 12970 33554432000 4194304 4196468 140733306572320 139997071022736 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25189] ppid=25181 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25189/stat : 25189 (java) S 25181 25181 16074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476329436 28909211648 12970 33554432000 4194304 4196468 140733306572320 139997069970192 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25190] ppid=25181 vsize=28231652 memory=140542201653935 CPUtime=0 cores=0-7
/proc/25183/task/25190/stat : 25190 (java) S 25181 25181 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476329436 28909211648 12970 33554432000 4194304 4196468 140733306572320 139997068917648 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25191] ppid=25181 vsize=28231652 memory=140542201656240 CPUtime=0 cores=0-7
/proc/25183/task/25191/stat : 25191 (java) S 25181 25181 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476329436 28909211648 12970 33554432000 4194304 4196468 140733306572320 139997067865104 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25192] ppid=25181 vsize=28231652 memory=140542201658544 CPUtime=0 cores=0-7
/proc/25183/task/25192/stat : 25192 (java) S 25181 25181 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476329436 28909211648 12970 33554432000 4194304 4196468 140733306572320 139997066812560 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25193] ppid=25181 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25193/stat : 25193 (java) S 25181 25181 16074 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 476329437 28909211648 12970 33554432000 4194304 4196468 140733306572320 139995919206384 139997522344578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25194] ppid=25181 vsize=28231652 memory=281084403330960 CPUtime=0 cores=0-7
/proc/25183/task/25194/stat : 25194 (java) S 25181 25181 16074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476329438 28909211648 12970 33554432000 4194304 4196468 140733306572320 139995918152608 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25195] ppid=25181 vsize=28231652 memory=281084403328656 CPUtime=0 cores=0-7
/proc/25183/task/25195/stat : 25195 (java) S 25181 25181 16074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476329438 28909211648 12970 33554432000 4194304 4196468 140733306572320 139995917100016 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25196] ppid=25181 vsize=28231652 memory=281084403335568 CPUtime=0 cores=0-7
/proc/25183/task/25196/stat : 25196 (java) S 25181 25181 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476329440 28909211648 12970 33554432000 4194304 4196468 140733306572320 139995916048592 139997522352027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25197] ppid=25181 vsize=28231652 memory=281084403276848 CPUtime=0.02 cores=0-7
/proc/25183/task/25197/stat : 25197 (java) S 25181 25181 16074 0 -1 1077944384 334 0 0 0 2 0 0 0 20 0 20 0 476329440 28909211648 12970 33554432000 4194304 4196468 140733306572320 139995914996208 139997522344578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25198] ppid=25181 vsize=28231652 memory=281084403349392 CPUtime=0.02 cores=0-7
/proc/25183/task/25198/stat : 25198 (java) S 25181 25181 16074 0 -1 1077944384 299 0 0 0 2 0 0 0 20 0 20 0 476329440 28909211648 12970 33554432000 4194304 4196468 140733306572320 139995913943664 139997522344578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25199] ppid=25181 vsize=28231652 memory=281084403356304 CPUtime=0.03 cores=0-7
/proc/25183/task/25199/stat : 25199 (java) R 25181 25181 16074 0 -1 4202560 315 0 0 0 3 0 0 0 20 0 20 0 476329440 28909211648 12970 33554432000 4194304 4196468 140733306572320 139995912872136 139997507459782 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25200] ppid=25181 vsize=28231652 memory=281084403354000 CPUtime=0.12 cores=0-7
/proc/25183/task/25200/stat : 25200 (java) S 25181 25181 16074 0 -1 1077944384 787 0 0 0 12 0 0 0 20 0 20 0 476329440 28909211648 12970 33554432000 4194304 4196468 140733306572320 139995911838576 139997522344578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25201] ppid=25181 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25201/stat : 25201 (java) S 25181 25181 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476329440 28909211648 12970 33554432000 4194304 4196468 140733306572320 139995910785248 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25202] ppid=25181 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/25183/task/25202/stat : 25202 (java) S 25181 25181 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476329441 28909211648 12970 33554432000 4194304 4196468 140733306572320 139995909732784 139997522344578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 53336 KiB

[startup+0.701004 s]
/proc/loadavg: 8.07 8.26 8.33 5/211 25202
/proc/meminfo: memFree=14121404/32770624 swapFree=66972360/67108860
[pid=25181] ppid=25178 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/25181/stat : 25181 (xcsp3-exec) S 25178 25181 16074 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476329434 115843072 364 33554432000 4194304 5098028 140730517534944 140730517533048 139816417981052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34390016 140730517541719 140730517541978 140730517541978 140730517544902 0
/proc/25181/statm: 28282 364 305 221 0 87 0
[pid=25183] ppid=25181 vsize=28233776 memory=105520 CPUtime=2.04 cores=0-7
/proc/25183/stat : 25183 (java) S 25181 25181 16074 0 -1 1077944320 16520 0 0 0 199 5 0 0 20 0 20 0 476329434 28911386624 26380 33554432000 4194304 4196468 140733306572320 140733306554864 139997522333431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
/proc/25183/statm: 7058444 26380 3459 1 0 7019544 0
[pid=25183/tid=25184] ppid=25181 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/25183/task/25184/stat : 25184 (java) R 25181 25181 16074 0 -1 4202560 9115 0 0 0 64 3 0 0 20 0 20 0 476329435 28911386624 26380 33554432000 4194304 4196468 140733306572320 139997526571040 139997506413918 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25185] ppid=25181 vsize=28233776 memory=140542201865072 CPUtime=0 cores=0-7
/proc/25183/task/25185/stat : 25185 (java) S 25181 25181 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476329435 28911386624 26380 33554432000 4194304 4196468 140733306572320 139997481093392 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25186] ppid=25181 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/25183/task/25186/stat : 25186 (java) S 25181 25181 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476329435 28911386624 26380 33554432000 4194304 4196468 140733306572320 139997480040848 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25187] ppid=25181 vsize=28233776 memory=1200 CPUtime=0 cores=0-7
/proc/25183/task/25187/stat : 25187 (java) S 25181 25181 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476329435 28911386624 26380 33554432000 4194304 4196468 140733306572320 139997072075280 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0

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

[pid=25183/tid=25210] ppid=25181 vsize=28768336 memory=1200 CPUtime=160.18 cores=0-7
/proc/25183/task/25210/stat : 25210 (java) R 25181 25181 16074 0 -1 4202560 1499 0 0 0 16015 3 0 0 20 0 28 0 476329574 29458776064 310437 33554432000 4194304 4196468 140733306572320 139995893145304 139997166205569 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
Current children cumulated CPU time: 1287.35 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1243204 KiB

[startup+222.305 s]
/proc/loadavg: 8.10 8.18 8.28 9/220 25234
/proc/meminfo: memFree=12743548/32770624 swapFree=66972360/67108860
[pid=25181] ppid=25178 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/25181/stat : 25181 (xcsp3-exec) S 25178 25181 16074 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476329434 115843072 364 33554432000 4194304 5098028 140730517534944 140730517533048 139816417981052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34390016 140730517541719 140730517541978 140730517541978 140730517544902 0
/proc/25181/statm: 28282 364 305 221 0 87 0
[pid=25183] ppid=25181 vsize=28768336 memory=1456852 CPUtime=1765.58 cores=0-7
/proc/25183/stat : 25183 (java) S 25181 25181 16074 0 -1 1077944320 108120 0 0 0 176417 141 0 0 20 0 28 0 476329434 29458776064 364213 33554432000 4194304 4196468 140733306572320 140733306554864 139997522333431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
/proc/25183/statm: 7192084 364213 3538 1 0 7153184 0
[pid=25183/tid=25184] ppid=25181 vsize=28768336 memory=1456 CPUtime=1.32 cores=0-7
/proc/25183/task/25184/stat : 25184 (java) S 25181 25181 16074 0 -1 1077944384 10879 0 0 0 128 4 0 0 20 0 28 0 476329435 29458776064 364213 33554432000 4194304 4196468 140733306572320 139997526574208 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25185] ppid=25181 vsize=28768336 memory=1325816 CPUtime=0.19 cores=0-7
/proc/25183/task/25185/stat : 25185 (java) S 25181 25181 16074 0 -1 1077944384 383 0 0 0 13 6 0 0 20 0 28 0 476329435 29458776064 364213 33554432000 4194304 4196468 140733306572320 139997481093392 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25186] ppid=25181 vsize=28768336 memory=1456852 CPUtime=0.18 cores=0-7
/proc/25183/task/25186/stat : 25186 (java) S 25181 25181 16074 0 -1 1077944384 754 0 0 0 12 6 0 0 20 0 28 0 476329435 29458776064 364213 33554432000 4194304 4196468 140733306572320 139997480040848 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25187] ppid=25181 vsize=28768336 memory=1456852 CPUtime=0.16 cores=0-7
/proc/25183/task/25187/stat : 25187 (java) S 25181 25181 16074 0 -1 1077944384 1352 0 0 0 11 5 0 0 20 0 28 0 476329435 29458776064 364213 33554432000 4194304 4196468 140733306572320 139997072075280 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25188] ppid=25181 vsize=28768336 memory=1456 CPUtime=0.18 cores=0-7
/proc/25183/task/25188/stat : 25188 (java) S 25181 25181 16074 0 -1 1077944384 464 0 0 0 12 6 0 0 20 0 28 0 476329435 29458776064 364213 33554432000 4194304 4196468 140733306572320 139997071022736 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25189] ppid=25181 vsize=28768336 memory=1456512 CPUtime=0.19 cores=0-7
/proc/25183/task/25189/stat : 25189 (java) S 25181 25181 16074 0 -1 1077944384 2312 0 0 0 12 7 0 0 20 0 28 0 476329436 29458776064 364213 33554432000 4194304 4196468 140733306572320 139997069970192 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25190] ppid=25181 vsize=28768336 memory=1456 CPUtime=0.18 cores=0-7
/proc/25183/task/25190/stat : 25190 (java) S 25181 25181 16074 0 -1 1077944384 341 0 0 0 12 6 0 0 20 0 28 0 476329436 29458776064 364213 33554432000 4194304 4196468 140733306572320 139997068917648 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25191] ppid=25181 vsize=28768336 memory=1456852 CPUtime=0.19 cores=0-7
/proc/25183/task/25191/stat : 25191 (java) S 25181 25181 16074 0 -1 1077944384 618 0 0 0 13 6 0 0 20 0 28 0 476329436 29458776064 364213 33554432000 4194304 4196468 140733306572320 139997067865104 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25192] ppid=25181 vsize=28768336 memory=43420 CPUtime=0.19 cores=0-7
/proc/25183/task/25192/stat : 25192 (java) S 25181 25181 16074 0 -1 1077944384 1058 0 0 0 13 6 0 0 20 0 28 0 476329436 29458776064 364213 33554432000 4194304 4196468 140733306572320 139997066812560 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25193] ppid=25181 vsize=28768336 memory=992 CPUtime=0.04 cores=0-7
/proc/25183/task/25193/stat : 25193 (java) S 25181 25181 16074 0 -1 1077944384 2929 0 0 0 3 1 0 0 20 0 28 0 476329437 29458776064 364213 33554432000 4194304 4196468 140733306572320 139995919206384 139997522344578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25194] ppid=25181 vsize=28768336 memory=19516 CPUtime=0 cores=0-7
/proc/25183/task/25194/stat : 25194 (java) S 25181 25181 16074 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 476329438 29458776064 364213 33554432000 4194304 4196468 140733306572320 139995918152672 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25195] ppid=25181 vsize=28768336 memory=12024 CPUtime=0 cores=0-7
/proc/25183/task/25195/stat : 25195 (java) S 25181 25181 16074 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 476329438 29458776064 364213 33554432000 4194304 4196468 140733306572320 139995917100016 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25196] ppid=25181 vsize=28768336 memory=164 CPUtime=0 cores=0-7
/proc/25183/task/25196/stat : 25196 (java) S 25181 25181 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476329440 29458776064 364213 33554432000 4194304 4196468 140733306572320 139995916048592 139997522352027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25197] ppid=25181 vsize=28768336 memory=7235103601363281778 CPUtime=2.33 cores=0-7
/proc/25183/task/25197/stat : 25197 (java) S 25181 25181 16074 0 -1 1077944384 12960 0 0 0 230 3 0 0 20 0 28 0 476329440 29458776064 364213 33554432000 4194304 4196468 140733306572320 139995914996208 139997522344578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25198] ppid=25181 vsize=28768336 memory=1056 CPUtime=2.03 cores=0-7
/proc/25183/task/25198/stat : 25198 (java) S 25181 25181 16074 0 -1 1077944384 14966 0 0 0 200 3 0 0 20 0 28 0 476329440 29458776064 364213 33554432000 4194304 4196468 140733306572320 139995913943664 139997522344578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25199] ppid=25181 vsize=28768336 memory=1552 CPUtime=2.69 cores=0-7
/proc/25183/task/25199/stat : 25199 (java) R 25181 25181 16074 0 -1 4202560 18352 0 0 0 264 5 0 0 20 0 28 0 476329440 29458776064 364213 33554432000 4194304 4196468 140733306572320 139995912891416 139997500080915 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25200] ppid=25181 vsize=28768336 memory=1456 CPUtime=0.9 cores=0-7
/proc/25183/task/25200/stat : 25200 (java) S 25181 25181 16074 0 -1 1077944384 10867 0 0 0 87 3 0 0 20 0 28 0 476329440 29458776064 364213 33554432000 4194304 4196468 140733306572320 139995911838576 139997522344578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25201] ppid=25181 vsize=28768336 memory=1323768 CPUtime=0 cores=0-7
/proc/25183/task/25201/stat : 25201 (java) S 25181 25181 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476329440 29458776064 364213 33554432000 4194304 4196468 140733306572320 139995910785248 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25202] ppid=25181 vsize=28768336 memory=7523107478184158290 CPUtime=0.1 cores=0-7
/proc/25183/task/25202/stat : 25202 (java) S 25181 25181 16074 0 -1 1077944384 1135 0 0 0 0 10 0 0 20 0 28 0 476329441 29458776064 364213 33554432000 4194304 4196468 140733306572320 139995909732784 139997522344578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25227] ppid=25181 vsize=28768336 memory=3612 CPUtime=3.57 cores=0-7
/proc/25183/task/25227/stat : 25227 (java) R 25181 25181 16074 0 -1 4202560 105 0 0 0 357 0 0 0 20 0 28 0 476351306 29458776064 364213 33554432000 4194304 4196468 140733306572320 139995894196808 139997165530700 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25228] ppid=25181 vsize=28768336 memory=1311436 CPUtime=3.53 cores=0-7
/proc/25183/task/25228/stat : 25228 (java) R 25181 25181 16074 0 -1 4202560 172 0 0 0 353 0 0 0 20 0 28 0 476351306 29458776064 364213 33554432000 4194304 4196468 140733306572320 139995898408824 139997165878241 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25229] ppid=25181 vsize=28768336 memory=1456 CPUtime=3.49 cores=0-7
/proc/25183/task/25229/stat : 25229 (java) R 25181 25181 16074 0 -1 4202560 63 0 0 0 349 0 0 0 20 0 28 0 476351306 29458776064 364213 33554432000 4194304 4196468 140733306572320 139995895250872 139997166205569 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25230] ppid=25181 vsize=28768336 memory=3612 CPUtime=3.57 cores=0-7
/proc/25183/task/25230/stat : 25230 (java) R 25181 25181 16074 0 -1 4202560 458 0 0 0 347 10 0 0 20 0 28 0 476351306 29458776064 364213 33554432000 4194304 4196468 140733306572320 139995896304552 139997164748624 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25231] ppid=25181 vsize=28768336 memory=1456 CPUtime=3.5 cores=0-7
/proc/25183/task/25231/stat : 25231 (java) R 25181 25181 16074 0 -1 4202560 168 0 0 0 350 0 0 0 20 0 28 0 476351306 29458776064 364213 33554432000 4194304 4196468 140733306572320 139995900514416 139997165878260 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25232] ppid=25181 vsize=28768336 memory=1325816 CPUtime=3.52 cores=0-7
/proc/25183/task/25232/stat : 25232 (java) R 25181 25181 16074 0 -1 4202560 118 0 0 0 352 0 0 0 20 0 28 0 476351306 29458776064 364213 33554432000 4194304 4196468 140733306572320 139995897356272 139997165604327 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25233] ppid=25181 vsize=28768336 memory=1456 CPUtime=3.56 cores=0-7
/proc/25183/task/25233/stat : 25233 (java) R 25181 25181 16074 0 -1 4202560 83 0 0 0 356 0 0 0 20 0 28 0 476351306 29458776064 364213 33554432000 4194304 4196468 140733306572320 139995899461128 139997166205569 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25234] ppid=25181 vsize=28768336 memory=1432 CPUtime=3.25 cores=0-7
/proc/25183/task/25234/stat : 25234 (java) R 25181 25181 16074 0 -1 4202560 124 0 0 0 325 0 0 0 20 0 28 0 476351307 29458776064 364213 33554432000 4194304 4196468 140733306572320 139995893144792 139997165650178 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
Current children cumulated CPU time: 1765.58 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1458308 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.14 8.18 8.28 9/220 25341
/proc/meminfo: memFree=12471532/32770624 swapFree=66972360/67108860
[pid=25181] ppid=25178 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/25181/stat : 25181 (xcsp3-exec) S 25178 25181 16074 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476329434 115843072 364 33554432000 4194304 5098028 140730517534944 140730517533048 139816417981052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34390016 140730517541719 140730517541978 140730517541978 140730517544902 0
/proc/25181/statm: 28282 364 305 221 0 87 0
[pid=25183] ppid=25181 vsize=28768336 memory=1726792 CPUtime=2000.59 cores=0-7
/proc/25183/stat : 25183 (java) S 25181 25181 16074 0 -1 1077944320 135047 0 0 0 199871 188 0 0 20 0 28 0 476329434 29458776064 431698 33554432000 4194304 4196468 140733306572320 140733306554864 139997522333431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
/proc/25183/statm: 7192084 431698 3539 1 0 7153184 0
[pid=25183/tid=25184] ppid=25181 vsize=28768336 memory=8317482817917895235 CPUtime=1.37 cores=0-7
/proc/25183/task/25184/stat : 25184 (java) S 25181 25181 16074 0 -1 1077944384 11837 0 0 0 132 5 0 0 20 0 28 0 476329435 29458776064 431698 33554432000 4194304 4196468 140733306572320 139997526574208 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25185] ppid=25181 vsize=28768336 memory=4872558044660077418 CPUtime=0.19 cores=0-7
/proc/25183/task/25185/stat : 25185 (java) S 25181 25181 16074 0 -1 1077944384 383 0 0 0 13 6 0 0 20 0 28 0 476329435 29458776064 431698 33554432000 4194304 4196468 140733306572320 139997481093392 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25186] ppid=25181 vsize=28768336 memory=15534115864709562 CPUtime=0.18 cores=0-7
/proc/25183/task/25186/stat : 25186 (java) S 25181 25181 16074 0 -1 1077944384 754 0 0 0 12 6 0 0 20 0 28 0 476329435 29458776064 431698 33554432000 4194304 4196468 140733306572320 139997480040848 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25187] ppid=25181 vsize=28768336 memory=1659208 CPUtime=0.16 cores=0-7
/proc/25183/task/25187/stat : 25187 (java) S 25181 25181 16074 0 -1 1077944384 1352 0 0 0 11 5 0 0 20 0 28 0 476329435 29458776064 431698 33554432000 4194304 4196468 140733306572320 139997072075280 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25188] ppid=25181 vsize=28768336 memory=1732 CPUtime=0.18 cores=0-7
/proc/25183/task/25188/stat : 25188 (java) S 25181 25181 16074 0 -1 1077944384 464 0 0 0 12 6 0 0 20 0 28 0 476329435 29458776064 431698 33554432000 4194304 4196468 140733306572320 139997071022736 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25189] ppid=25181 vsize=28768336 memory=8317482817917895235 CPUtime=0.19 cores=0-7
/proc/25183/task/25189/stat : 25189 (java) S 25181 25181 16074 0 -1 1077944384 2312 0 0 0 12 7 0 0 20 0 28 0 476329436 29458776064 431698 33554432000 4194304 4196468 140733306572320 139997069970192 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25190] ppid=25181 vsize=28768336 memory=4872558044660077418 CPUtime=0.18 cores=0-7
/proc/25183/task/25190/stat : 25190 (java) S 25181 25181 16074 0 -1 1077944384 341 0 0 0 12 6 0 0 20 0 28 0 476329436 29458776064 431698 33554432000 4194304 4196468 140733306572320 139997068917648 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25191] ppid=25181 vsize=28768336 memory=4872558044660077418 CPUtime=0.19 cores=0-7
/proc/25183/task/25191/stat : 25191 (java) S 25181 25181 16074 0 -1 1077944384 618 0 0 0 13 6 0 0 20 0 28 0 476329436 29458776064 431698 33554432000 4194304 4196468 140733306572320 139997067865104 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25192] ppid=25181 vsize=28768336 memory=2424 CPUtime=0.19 cores=0-7
/proc/25183/task/25192/stat : 25192 (java) S 25181 25181 16074 0 -1 1077944384 1058 0 0 0 13 6 0 0 20 0 28 0 476329436 29458776064 431698 33554432000 4194304 4196468 140733306572320 139997066812560 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25193] ppid=25181 vsize=28768336 memory=8514726395714825349 CPUtime=0.05 cores=0-7
/proc/25183/task/25193/stat : 25193 (java) S 25181 25181 16074 0 -1 1077944384 3512 0 0 0 4 1 0 0 20 0 28 0 476329437 29458776064 431698 33554432000 4194304 4196468 140733306572320 139995919206384 139997522344578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25194] ppid=25181 vsize=28768336 memory=4715433313220523562 CPUtime=0 cores=0-7
/proc/25183/task/25194/stat : 25194 (java) S 25181 25181 16074 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 476329438 29458776064 431698 33554432000 4194304 4196468 140733306572320 139995918152672 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25195] ppid=25181 vsize=28768336 memory=297237773746962458 CPUtime=0 cores=0-7
/proc/25183/task/25195/stat : 25195 (java) S 25181 25181 16074 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 476329438 29458776064 431698 33554432000 4194304 4196468 140733306572320 139995917100016 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25196] ppid=25181 vsize=28768336 memory=297237821058711863 CPUtime=0 cores=0-7
/proc/25183/task/25196/stat : 25196 (java) S 25181 25181 16074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476329440 29458776064 431698 33554432000 4194304 4196468 140733306572320 139995916048592 139997522352027 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25197] ppid=25181 vsize=28768336 memory=15534115864709562 CPUtime=2.53 cores=0-7
/proc/25183/task/25197/stat : 25197 (java) S 25181 25181 16074 0 -1 1077944384 15560 0 0 0 249 4 0 0 20 0 28 0 476329440 29458776064 431698 33554432000 4194304 4196468 140733306572320 139995914996208 139997522344578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25198] ppid=25181 vsize=28768336 memory=-6519613052471072158 CPUtime=2.24 cores=0-7
/proc/25183/task/25198/stat : 25198 (java) S 25181 25181 16074 0 -1 1077944384 18413 0 0 0 221 3 0 0 20 0 28 0 476329440 29458776064 431698 33554432000 4194304 4196468 140733306572320 139995913943664 139997522344578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25199] ppid=25181 vsize=28768336 memory=1456 CPUtime=2.94 cores=0-7
/proc/25183/task/25199/stat : 25199 (java) S 25181 25181 16074 0 -1 1077944384 23423 0 0 0 288 6 0 0 20 0 28 0 476329440 29458776064 431698 33554432000 4194304 4196468 140733306572320 139995912891120 139997522344578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25200] ppid=25181 vsize=28768336 memory=1669448 CPUtime=0.96 cores=0-7
/proc/25183/task/25200/stat : 25200 (java) S 25181 25181 16074 0 -1 1077944384 13314 0 0 0 91 5 0 0 20 0 28 0 476329440 29458776064 431698 33554432000 4194304 4196468 140733306572320 139995911838576 139997522344578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25201] ppid=25181 vsize=28768336 memory=992 CPUtime=0 cores=0-7
/proc/25183/task/25201/stat : 25201 (java) S 25181 25181 16074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476329440 29458776064 431698 33554432000 4194304 4196468 140733306572320 139995910785248 139997522343637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25202] ppid=25181 vsize=28768336 memory=2044 CPUtime=0.11 cores=0-7
/proc/25183/task/25202/stat : 25202 (java) S 25181 25181 16074 0 -1 1077944384 1618 0 0 0 0 11 0 0 20 0 28 0 476329441 29458776064 431698 33554432000 4194304 4196468 140733306572320 139995909732784 139997522344578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25334] ppid=25181 vsize=28768336 memory=1432 CPUtime=0.85 cores=0-7
/proc/25183/task/25334/stat : 25334 (java) R 25181 25181 16074 0 -1 4202560 19 0 0 0 85 0 0 0 20 0 28 0 476354550 29458776064 431698 33554432000 4194304 4196468 140733306572320 139995896306696 139997166205590 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25335] ppid=25181 vsize=28768336 memory=11624 CPUtime=0.83 cores=0-7
/proc/25183/task/25335/stat : 25335 (java) R 25181 25181 16074 0 -1 4202560 19 0 0 0 83 0 0 0 20 0 28 0 476354550 29458776064 431698 33554432000 4194304 4196468 140733306572320 139995893149928 139997166205590 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25336] ppid=25181 vsize=28768336 memory=500 CPUtime=0.85 cores=0-7
/proc/25183/task/25336/stat : 25336 (java) R 25181 25181 16074 0 -1 4202560 19 0 0 0 85 0 0 0 20 0 28 0 476354550 29458776064 431698 33554432000 4194304 4196468 140733306572320 139995897360744 139997165530766 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25337] ppid=25181 vsize=28768336 memory=1556 CPUtime=0.85 cores=0-7
/proc/25183/task/25337/stat : 25337 (java) R 25181 25181 16074 0 -1 4202560 21 0 0 0 85 0 0 0 20 0 28 0 476354550 29458776064 431698 33554432000 4194304 4196468 140733306572320 139995898411288 139997159089040 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25338] ppid=25181 vsize=28768336 memory=924 CPUtime=0.85 cores=0-7
/proc/25183/task/25338/stat : 25338 (java) R 25181 25181 16074 0 -1 4202560 18 0 0 0 85 0 0 0 20 0 28 0 476354550 29458776064 431698 33554432000 4194304 4196468 140733306572320 139995900521928 139997165878265 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25339] ppid=25181 vsize=28768336 memory=1672 CPUtime=0.84 cores=0-7
/proc/25183/task/25339/stat : 25339 (java) R 25181 25181 16074 0 -1 4202560 21 0 0 0 84 0 0 0 20 0 28 0 476354550 29458776064 431698 33554432000 4194304 4196468 140733306572320 139995894206024 139997165496206 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25340] ppid=25181 vsize=28768336 memory=780 CPUtime=0.85 cores=0-7
/proc/25183/task/25340/stat : 25340 (java) R 25181 25181 16074 0 -1 4202560 23 0 0 0 85 0 0 0 20 0 28 0 476354550 29458776064 431698 33554432000 4194304 4196468 140733306572320 139995895257800 139997164732331 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
[pid=25183/tid=25341] ppid=25181 vsize=28768336 memory=1436 CPUtime=0.85 cores=0-7
/proc/25183/task/25341/stat : 25341 (java) R 25181 25181 16074 0 -1 4202560 19 0 0 0 85 0 0 0 20 0 28 0 476354550 29458776064 431698 33554432000 4194304 4196468 140733306572320 139995899468616 139997165878408 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22151168 140733306577884 140733306578059 140733306578059 140733306580943 0
Current children cumulated CPU time: 2000.59 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1728248 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+252.04 s]
# the end of solver process 25181 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000823 s, system=0.001647 s

[startup+252.126 s]
# the end of solver process 25183 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1999.45 s, system=1.91245 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 252.126
CPU time (s): 2001.36
CPU user time (s): 1999.45
CPU system time (s): 1.91245
CPU usage (%): 793.793
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 1728248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1999.45
system time used= 1.91245
maximum resident set size= 1734084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135882
page faults= 0
swaps= 0
block input operations= 0
block output operations= 888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13246
involuntary context switches= 23734


# summary of solver processes directly reported to runsolver:
#   pid: 25181,25183
#   total CPU time (s): 2001.36
#   total CPU user time (s): 1999.45
#   total CPU system time (s): 1.91245

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.28993 second user time and 3.54827 second system time

The end

Begin job on node117 at 2019-09-20 20:23:53
IDJOB=4405039
IDBENCH=124207
IDSOLVER=2866
FILE ID=node117/4405039-1569003876
RUNJOBID= node117-1568994492-16101
PBS_JOBID= 21704726
Free space on /var/tmp= 13512 MiB

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

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

MD5SUM BENCH= ed46a5b20d86f225200b9362bdb8a529
RANDOM SEED=1159344302

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:        14187800 kB
MemAvailable:   31830848 kB
Buffers:          145756 kB
Cached:         17403220 kB
SwapCached:        27740 kB
Active:          8698316 kB
Inactive:        8883060 kB
Active(anon):       4820 kB
Inactive(anon):    68840 kB
Active(file):    8693496 kB
Inactive(file):  8814220 kB
Unevictable:      108556 kB
Mlocked:          108556 kB
SwapTotal:      67108860 kB
SwapFree:       66972360 kB
Dirty:             25904 kB
Writeback:             0 kB
AnonPages:        118264 kB
Mapped:            47600 kB
Shmem:             32516 kB
Slab:             592728 kB
SReclaimable:     563792 kB
SUnreclaim:        28936 kB
KernelStack:        3680 kB
PageTables:         5652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 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 /var/tmp at the end= 13488 MiB
End job on node117 at 2019-09-20 20:28:05