0.00/0.06	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283261-1503195799.xml"  -tl '2520s' -p 1 -x 3
0.12/0.25	c [HOME/instance-4283261-1503195799.xml, -tl, 2520s, -p, 1, -x, 3]
0.12/0.31	c simple solver
0.33/0.38	c parse instance...
1.67/0.84	c solve instance...
382.48/369.80	o 637 
388.37/374.94	o 636 
397.82/383.01	o 635 
404.04/388.56	o 631 
406.05/390.56	o 630 
408.50/392.95	o 628 
411.34/395.78	o 626 
477.56/457.91	o 623 
482.47/462.78	o 622 
483.26/463.44	o 621 
484.80/464.94	o 620 
487.20/467.22	o 619 
489.50/469.56	o 618 
508.60/487.99	o 615 
509.20/488.50	o 614 
517.23/496.15	o 613 
519.36/498.26	o 611 
520.61/499.45	o 609 
521.12/499.91	o 607 
521.88/500.42	o 601 
532.67/510.68	o 598 
533.49/511.43	o 597 
2520.09/2462.90	s SATISFIABLE
2520.09/2462.90	v <instantiation>
2520.09/2462.90	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] 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] </list>
2520.09/2462.91	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 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 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 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 4 0 0 0 1 0 0 0 0 0 4 0 0 0 1 0 0 0 0 0 4 0 0 0 1 0 0 0 0 0 4 0 0 0 1 0 0 0 0 0 4 0 0 0 1 0 0 0 0 0 4 0 0 0 1 0 0 0 0 0 4 0 0 0 1 0 0 0 0 0 4 0 0 0 1 0 0 0 0 0 4 0 0 0 1 0 0 0 0 0 4 0 0 0 1 0 0 0 0 0 4 0 0 0 1 0 0 0 0 0 4 0 0 0 1 0 0 0 0 0 4 0 0 0 1 0 0 0 0 0 4 0 0 0 1 0 0 0 0 0 4 0 0 0 1 0 0 0 0 0 4 0 0 0 1 0 0 0 0 0 4 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 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 0 3 0 0 0 0 0 0 0 1 0 3 0 0 0 0 0 0 0 1 0 3 0 0 0 0 0 0 0 1 0 3 0 0 0 0 0 0 0 1 0 3 0 0 0 0 0 0 0 1 0 3 0 0 0 0 0 0 0 1 0 3 0 0 0 0 0 0 0 1 0 3 0 0 0 0 0 0 0 1 0 3 0 0 0 0 0 0 0 1 0 3 0 0 0 0 0 0 0 1 0 3 0 0 0 0 0 0 0 1 0 3 0 0 0 0 0 0 0 1 0 3 0 0 0 0 0 0 0 1 0 3 0 0 0 0 0 0 0 1 0 3 0 0 0 0 0 0 0 1 0 3 0 0 0 0 0 0 0 1 0 3 0 0 0 0 0 0 0 1 0 3 0 0 0 0 0 0 0 1 0 0 3 0 0 0 0 0 0 1 0 0 3 0 0 0 0 0 0 1 0 0 3 0 0 0 0 0 0 1 0 0 3 0 0 0 0 0 0 1 0 0 3 0 0 0 0 0 0 1 0 0 3 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 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 </values>
2520.09/2462.91	v </instantiation>
2520.09/2462.91	c Unexpected resolution interruption!

OK	597

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283261-1503195799/watcher-4283261-1503195799 -o /tmp/evaluation-result-4283261-1503195799/solver-4283261-1503195799 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503171959-30214 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1537185077 HOME/instance-4283261-1503195799.xml 

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

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

solver pid=2726, runsolver pid=2723

[startup+0.100168 s]*
/proc/loadavg: 1.73 1.72 1.65 3/205 2736
/proc/meminfo: memFree=28045640/32770624 swapFree=67108860/67108860
[pid=2726] ppid=2723 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2726/stat : 2726 (xcsp3-exec) S 2723 2726 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17989608 9740288 345 18446744073709551615 4194304 5098028 140732487694752 140732487692856 140580526994044 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 31502336 140732487696761 140732487696966 140732487696966 140732487700459 0
/proc/2726/statm: 2378 345 289 221 0 87 0
[pid=2728] ppid=2726 vsize=13574484 memory=17456 CPUtime=0.03 cores=0,2,4,6
/proc/2728/stat : 2728 (java) S 2726 2726 16431 0 -1 1077944320 4234 0 0 0 3 0 0 0 20 0 9 0 17989615 13900271616 4364 18446744073709551615 4194304 4196468 140722192340496 140722192323040 140686765051639 0 0 1 16800970 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
/proc/2728/statm: 3393621 4364 2105 1 0 3383118 0
[pid=2728/tid=2729] ppid=2726 vsize=13574484 memory=1404226546386182794 CPUtime=0.03 cores=0,2,4,6
/proc/2728/task/2729/stat : 2729 (java) R 2726 2726 16431 0 -1 4202560 2942 0 0 0 3 0 0 0 20 0 9 0 17989615 13900271616 4876 18446744073709551615 4194304 4196468 140722192340496 140686769289584 140686746703076 0 4 1 16800970 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2730] ppid=2726 vsize=13574484 memory=3691042058319900680 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2730/stat : 2730 (java) S 2726 2726 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 17989616 13900271616 4876 18446744073709551615 4194304 4196468 140722192340496 140686699486352 140686765061845 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2731] ppid=2726 vsize=13574484 memory=139798293857920 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2731/stat : 2731 (java) S 2726 2726 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 17989616 13900271616 4876 18446744073709551615 4194304 4196468 140722192340496 140686698433552 140686765061845 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2732] ppid=2726 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2732/stat : 2732 (java) S 2726 2726 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 17989616 13900271616 4876 18446744073709551615 4194304 4196468 140722192340496 140686697380752 140686765061845 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2733] ppid=2726 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2733/stat : 2733 (java) S 2726 2726 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 17989616 13900271616 4876 18446744073709551615 4194304 4196468 140722192340496 140686696327952 140686765061845 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2734] ppid=2726 vsize=13574484 memory=139798293857920 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2734/stat : 2734 (java) S 2726 2726 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 17989617 13900271616 4876 18446744073709551615 4194304 4196468 140722192340496 140686242842992 140686765062786 0 0 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2735] ppid=2726 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2735/stat : 2735 (java) S 2726 2726 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 17989617 13900271616 4876 18446744073709551615 4194304 4196468 140722192340496 140686241788960 140686765061845 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2736] ppid=2726 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2736/stat : 2736 (java) S 2726 2726 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 17989618 13900271616 4876 18446744073709551615 4194304 4196468 140722192340496 140686240736112 140686765061845 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 18836 KiB

[startup+0.210123 s]*
/proc/loadavg: 1.73 1.72 1.65 4/211 2742
/proc/meminfo: memFree=28036424/32770624 swapFree=67108860/67108860
[pid=2726] ppid=2723 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2726/stat : 2726 (xcsp3-exec) S 2723 2726 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17989608 9740288 345 18446744073709551615 4194304 5098028 140732487694752 140732487692856 140580526994044 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 31502336 140732487696761 140732487696966 140732487696966 140732487700459 0
/proc/2726/statm: 2378 345 289 221 0 87 0
[pid=2728] ppid=2726 vsize=13974352 memory=28180 CPUtime=0.12 cores=0,2,4,6
/proc/2728/stat : 2728 (java) S 2726 2726 16431 0 -1 1077944320 5485 0 0 0 11 1 0 0 20 0 15 0 17989615 14309736448 7045 18446744073709551615 4194304 4196468 140722192340496 140722192323040 140686765051639 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
/proc/2728/statm: 3493588 7045 2844 1 0 3482964 0
[pid=2728/tid=2729] ppid=2726 vsize=13974352 memory=1404226546386182794 CPUtime=0.09 cores=0,2,4,6
/proc/2728/task/2729/stat : 2729 (java) R 2726 2726 16431 0 -1 4202560 3505 0 0 0 8 1 0 0 20 0 15 0 17989615 14309736448 7045 18446744073709551615 4194304 4196468 140722192340496 140686769275440 140686765063574 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2730] ppid=2726 vsize=13974352 memory=3691042058319900680 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2730/stat : 2730 (java) S 2726 2726 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17989616 14309736448 7045 18446744073709551615 4194304 4196468 140722192340496 140686699486352 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2731] ppid=2726 vsize=13974352 memory=139798293857920 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2731/stat : 2731 (java) S 2726 2726 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17989616 14309736448 7045 18446744073709551615 4194304 4196468 140722192340496 140686698433552 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2732] ppid=2726 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2732/stat : 2732 (java) S 2726 2726 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17989616 14309736448 7045 18446744073709551615 4194304 4196468 140722192340496 140686697380752 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2733] ppid=2726 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2733/stat : 2733 (java) S 2726 2726 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17989616 14309736448 7045 18446744073709551615 4194304 4196468 140722192340496 140686696327952 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2734] ppid=2726 vsize=13974352 memory=139798293857920 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2734/stat : 2734 (java) S 2726 2726 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17989617 14309736448 7045 18446744073709551615 4194304 4196468 140722192340496 140686242842992 140686765062786 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2735] ppid=2726 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2735/stat : 2735 (java) S 2726 2726 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17989617 14309736448 7045 18446744073709551615 4194304 4196468 140722192340496 140686241788960 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2736] ppid=2726 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2736/stat : 2736 (java) S 2726 2726 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17989618 14309736448 7045 18446744073709551615 4194304 4196468 140722192340496 140686240736112 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2737] ppid=2726 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2737/stat : 2737 (java) S 2726 2726 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17989620 14309736448 7045 18446744073709551615 4194304 4196468 140722192340496 140686239684432 140686765070235 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2738] ppid=2726 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2738/stat : 2738 (java) S 2726 2726 16431 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 17989620 14309736448 7045 18446744073709551615 4194304 4196468 140722192340496 140686238632816 140686765062786 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2739] ppid=2726 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2739/stat : 2739 (java) S 2726 2726 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 17989620 14309736448 7045 18446744073709551615 4194304 4196468 140722192340496 140686237580016 140686765062786 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2740] ppid=2726 vsize=13974352 memory=139798293857920 CPUtime=0.01 cores=0,2,4,6
/proc/2728/task/2740/stat : 2740 (java) R 2726 2726 16431 0 -1 4202560 257 0 0 0 1 0 0 0 20 0 15 0 17989620 14309736448 7045 18446744073709551615 4194304 4196468 140722192340496 140686236527216 140686765063574 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2741] ppid=2726 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2741/stat : 2741 (java) S 2726 2726 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17989620 14309736448 7045 18446744073709551615 4194304 4196468 140722192340496 140686235474656 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2742] ppid=2726 vsize=13974352 memory=139798293857920 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2742/stat : 2742 (java) S 2726 2726 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17989625 14309736448 7045 18446744073709551615 4194304 4196468 140722192340496 140686234421936 140686765062786 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29560 KiB

[startup+0.31286 s]*
/proc/loadavg: 1.73 1.72 1.65 5/211 2742
/proc/meminfo: memFree=28024516/32770624 swapFree=67108860/67108860
[pid=2726] ppid=2723 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2726/stat : 2726 (xcsp3-exec) S 2723 2726 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17989608 9740288 345 18446744073709551615 4194304 5098028 140732487694752 140732487692856 140580526994044 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 31502336 140732487696761 140732487696966 140732487696966 140732487700459 0
/proc/2726/statm: 2378 345 289 221 0 87 0
[pid=2728] ppid=2726 vsize=13978608 memory=39984 CPUtime=0.33 cores=0,2,4,6
/proc/2728/stat : 2728 (java) S 2726 2726 16431 0 -1 1077944320 9262 0 0 0 30 3 0 0 20 0 15 0 17989615 14314094592 9996 18446744073709551615 4194304 4196468 140722192340496 140722192323040 140686765051639 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
/proc/2728/statm: 3494652 9996 3013 1 0 3482964 0
[pid=2728/tid=2729] ppid=2726 vsize=13978608 memory=6933928925625698159 CPUtime=0.19 cores=0,2,4,6
/proc/2728/task/2729/stat : 2729 (java) R 2726 2726 16431 0 -1 4202560 6369 0 0 0 17 2 0 0 20 0 15 0 17989615 14314094592 9996 18446744073709551615 4194304 4196468 140722192340496 140686769272632 140686744639549 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2730] ppid=2726 vsize=13978608 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2730/stat : 2730 (java) S 2726 2726 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17989616 14314094592 9996 18446744073709551615 4194304 4196468 140722192340496 140686699486352 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2731] ppid=2726 vsize=13978608 memory=6944656592452807326 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2731/stat : 2731 (java) S 2726 2726 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17989616 14314094592 9996 18446744073709551615 4194304 4196468 140722192340496 140686698433552 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2732] ppid=2726 vsize=13978608 memory=-8918987556599313462 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2732/stat : 2732 (java) S 2726 2726 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17989616 14314094592 9996 18446744073709551615 4194304 4196468 140722192340496 140686697380752 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2733] ppid=2726 vsize=13978608 memory=-7247262161690712702 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2733/stat : 2733 (java) S 2726 2726 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17989616 14314094592 9996 18446744073709551615 4194304 4196468 140722192340496 140686696327952 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2734] ppid=2726 vsize=13978608 memory=8693798150889069198 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2734/stat : 2734 (java) S 2726 2726 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17989617 14314094592 9996 18446744073709551615 4194304 4196468 140722192340496 140686242842992 140686765062786 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2735] ppid=2726 vsize=13978608 memory=-7299339441649872004 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2735/stat : 2735 (java) S 2726 2726 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17989617 14314094592 9996 18446744073709551615 4194304 4196468 140722192340496 140686241788960 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2736] ppid=2726 vsize=13978608 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2736/stat : 2736 (java) S 2726 2726 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17989618 14314094592 9996 18446744073709551615 4194304 4196468 140722192340496 140686240736112 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2737] ppid=2726 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2737/stat : 2737 (java) S 2726 2726 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17989620 14314094592 9996 18446744073709551615 4194304 4196468 140722192340496 140686239684432 140686765070235 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2738] ppid=2726 vsize=13978608 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2728/task/2738/stat : 2738 (java) S 2726 2726 16431 0 -1 1077944384 760 0 0 0 3 0 0 0 20 0 15 0 17989620 14314094592 9996 18446744073709551615 4194304 4196468 140722192340496 140686238632816 140686765062786 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2739] ppid=2726 vsize=13978608 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2728/task/2739/stat : 2739 (java) S 2726 2726 16431 0 -1 1077944384 116 0 0 0 1 0 0 0 20 0 15 0 17989620 14314094592 9996 18446744073709551615 4194304 4196468 140722192340496 140686237580016 140686765062786 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2740] ppid=2726 vsize=13978608 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2728/task/2740/stat : 2740 (java) S 2726 2726 16431 0 -1 1077944384 716 0 0 0 7 0 0 0 20 0 15 0 17989620 14314094592 9996 18446744073709551615 4194304 4196468 140722192340496 140686236527216 140686765062786 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2741] ppid=2726 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2741/stat : 2741 (java) S 2726 2726 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17989620 14314094592 9996 18446744073709551615 4194304 4196468 140722192340496 140686235474656 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2742] ppid=2726 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2742/stat : 2742 (java) S 2726 2726 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17989625 14314094592 9996 18446744073709551615 4194304 4196468 140722192340496 140686234421936 140686765062786 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41364 KiB

[startup+0.706504 s]
/proc/loadavg: 1.73 1.72 1.65 5/211 2742
/proc/meminfo: memFree=28008232/32770624 swapFree=67108860/67108860
[pid=2726] ppid=2723 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2726/stat : 2726 (xcsp3-exec) S 2723 2726 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17989608 9740288 345 18446744073709551615 4194304 5098028 140732487694752 140732487692856 140580526994044 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 31502336 140732487696761 140732487696966 140732487696966 140732487700459 0
/proc/2726/statm: 2378 345 289 221 0 87 0
[pid=2728] ppid=2726 vsize=13980732 memory=80048 CPUtime=1.35 cores=0,2,4,6
/proc/2728/stat : 2728 (java) S 2726 2726 16431 0 -1 1077944320 12681 0 0 0 130 5 0 0 20 0 15 0 17989615 14316269568 20012 18446744073709551615 4194304 4196468 140722192340496 140722192323040 140686765051639 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
/proc/2728/statm: 3495183 20012 3175 1 0 3483476 0
[pid=2728/tid=2729] ppid=2726 vsize=13980732 memory=6451477254208981395 CPUtime=0.57 cores=0,2,4,6
/proc/2728/task/2729/stat : 2729 (java) R 2726 2726 16431 0 -1 4202560 8046 0 0 0 54 3 0 0 20 0 15 0 17989615 14316269568 20012 18446744073709551615 4194304 4196468 140722192340496 140686769286816 140686368310944 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2730] ppid=2726 vsize=13980732 memory=-7886167514736700194 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2730/stat : 2730 (java) S 2726 2726 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17989616 14316269568 20012 18446744073709551615 4194304 4196468 140722192340496 140686699486352 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2731] ppid=2726 vsize=13980732 memory=5864918620180207719 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2731/stat : 2731 (java) S 2726 2726 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17989616 14316269568 20012 18446744073709551615 4194304 4196468 140722192340496 140686698433552 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2732] ppid=2726 vsize=13980732 memory=7595725831727968097 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2732/stat : 2732 (java) S 2726 2726 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17989616 14316269568 20012 18446744073709551615 4194304 4196468 140722192340496 140686697380752 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2733] ppid=2726 vsize=13980732 memory=8514726395714825875 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2733/stat : 2733 (java) S 2726 2726 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17989616 14316269568 20012 18446744073709551615 4194304 4196468 140722192340496 140686696327952 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2734] ppid=2726 vsize=13980732 memory=8390361644446492005 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2734/stat : 2734 (java) S 2726 2726 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 17989617 14316269568 20012 18446744073709551615 4194304 4196468 140722192340496 140686242842992 140686765062786 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2735] ppid=2726 vsize=13980732 memory=4137282616176384387 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2735/stat : 2735 (java) S 2726 2726 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17989617 14316269568 20012 18446744073709551615 4194304 4196468 140722192340496 140686241788960 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2736] ppid=2726 vsize=13980732 memory=6944656592452807323 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2736/stat : 2736 (java) S 2726 2726 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17989618 14316269568 20012 18446744073709551615 4194304 4196468 140722192340496 140686240736112 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2737] ppid=2726 vsize=13980732 memory=279596331175280 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2737/stat : 2737 (java) S 2726 2726 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17989620 14316269568 20012 18446744073709551615 4194304 4196468 140722192340496 140686239684432 140686765070235 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2738] ppid=2726 vsize=13980732 memory=6944656592455360604 CPUtime=0.22 cores=0,2,4,6
/proc/2728/task/2738/stat : 2738 (java) R 2726 2726 16431 0 -1 1077944384 1208 0 0 0 22 0 0 0 20 0 15 0 17989620 14316269568 20012 18446744073709551615 4194304 4196468 140722192340496 140686238621808 140686765061845 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2739] ppid=2726 vsize=13980732 memory=279596331466960 CPUtime=0.19 cores=0,2,4,6
/proc/2728/task/2739/stat : 2739 (java) R 2726 2726 16431 0 -1 4202560 534 0 0 0 19 0 0 0 20 0 15 0 17989620 14316269568 20012 18446744073709551615 4194304 4196468 140722192340496 140686237568896 140686765063574 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2740] ppid=2726 vsize=13980732 memory=288230613214036277 CPUtime=0.34 cores=0,2,4,6
/proc/2728/task/2740/stat : 2740 (java) R 2726 2726 16431 0 -1 4202560 1585 0 0 0 33 1 0 0 20 0 15 0 17989620 14316269568 20012 18446744073709551615 4194304 4196468 140722192340496 140686236527216 140686765063574 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2741] ppid=2726 vsize=13980732 memory=13571496182286043 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2741/stat : 2741 (java) S 2726 2726 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17989620 14316269568 20012 18446744073709551615 4194304 4196468 140722192340496 140686235474656 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2742] ppid=2726 vsize=13980732 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2742/stat : 2742 (java) S 2726 2726 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17989625 14316269568 20012 18446744073709551615 4194304 4196468 140722192340496 140686234421936 140686765062786 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 81428 KiB

[startup+1.50085 s]
/proc/loadavg: 1.73 1.72 1.65 6/211 2742
/proc/meminfo: memFree=27964040/32770624 swapFree=67108860/67108860
[pid=2726] ppid=2723 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2726/stat : 2726 (xcsp3-exec) S 2723 2726 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17989608 9740288 345 18446744073709551615 4194304 5098028 140732487694752 140732487692856 140580526994044 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 31502336 140732487696761 140732487696966 140732487696966 140732487700459 0
/proc/2726/statm: 2378 345 289 221 0 87 0
[pid=2728] ppid=2726 vsize=13980732 memory=123764 CPUtime=3.82 cores=0,2,4,6
/proc/2728/stat : 2728 (java) S 2726 2726 16431 0 -1 1077944320 23993 0 0 0 374 8 0 0 20 0 15 0 17989615 14316269568 30941 18446744073709551615 4194304 4196468 140722192340496 140722192323040 140686765051639 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
/proc/2728/statm: 3495183 30941 3199 1 0 3483476 0
[pid=2728/tid=2729] ppid=2726 vsize=13980732 memory=6655300316396806240 CPUtime=1.36 cores=0,2,4,6
/proc/2728/task/2729/stat : 2729 (java) R 2726 2726 16431 0 -1 4202560 9745 0 0 0 132 4 0 0 20 0 15 0 17989615 14316269568 30941 18446744073709551615 4194304 4196468 140722192340496 140686769284768 140686374430397 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2730] ppid=2726 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2730/stat : 2730 (java) S 2726 2726 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17989616 14316269568 30941 18446744073709551615 4194304 4196468 140722192340496 140686699486352 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2731] ppid=2726 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2731/stat : 2731 (java) S 2726 2726 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17989616 14316269568 30941 18446744073709551615 4194304 4196468 140722192340496 140686698433552 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2732] ppid=2726 vsize=13980732 memory=106496 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2732/stat : 2732 (java) S 2726 2726 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17989616 14316269568 30941 18446744073709551615 4194304 4196468 140722192340496 140686697380752 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2733] ppid=2726 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6

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

/proc/2728/task/2736/stat : 2736 (java) S 2726 2726 16431 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 17989618 14316269568 1192168 18446744073709551615 4194304 4196468 140722192340496 140686240736128 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2737] ppid=2726 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2737/stat : 2737 (java) S 2726 2726 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17989620 14316269568 1192168 18446744073709551615 4194304 4196468 140722192340496 140686239684432 140686765070235 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2738] ppid=2726 vsize=13980732 memory=4764576 CPUtime=4.56 cores=0,2,4,6
/proc/2728/task/2738/stat : 2738 (java) S 2726 2726 16431 0 -1 1077944384 37133 0 0 0 451 5 0 0 20 0 15 0 17989620 14316269568 1192168 18446744073709551615 4194304 4196468 140722192340496 140686238632816 140686765062786 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2739] ppid=2726 vsize=13980732 memory=4004 CPUtime=4.79 cores=0,2,4,6
/proc/2728/task/2739/stat : 2739 (java) S 2726 2726 16431 0 -1 1077944384 34562 0 0 0 475 4 0 0 20 0 15 0 17989620 14316269568 1192168 18446744073709551615 4194304 4196468 140722192340496 140686237580016 140686765062786 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2740] ppid=2726 vsize=13980732 memory=1380 CPUtime=0.99 cores=0,2,4,6
/proc/2728/task/2740/stat : 2740 (java) S 2726 2726 16431 0 -1 1077944384 15075 0 0 0 95 4 0 0 20 0 15 0 17989620 14316269568 1192168 18446744073709551615 4194304 4196468 140722192340496 140686236527216 140686765062786 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2741] ppid=2726 vsize=13980732 memory=4764576 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2741/stat : 2741 (java) S 2726 2726 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17989620 14316269568 1192168 18446744073709551615 4194304 4196468 140722192340496 140686235474656 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2742] ppid=2726 vsize=13980732 memory=1444 CPUtime=1.38 cores=0,2,4,6
/proc/2728/task/2742/stat : 2742 (java) S 2726 2726 16431 0 -1 1077944384 1911 0 0 0 67 71 0 0 20 0 15 0 17989625 14316269568 1192168 18446744073709551615 4194304 4196468 140722192340496 140686234421936 140686765062786 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
Current children cumulated CPU time: 2438.88 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4770052 KiB

[startup+2442.3 s]
/proc/loadavg: 1.79 1.72 1.72 3/211 2962
/proc/meminfo: memFree=26025504/32770624 swapFree=67108860/67108860
[pid=2726] ppid=2723 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2726/stat : 2726 (xcsp3-exec) S 2723 2726 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17989608 9740288 345 18446744073709551615 4194304 5098028 140732487694752 140732487692856 140580526994044 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 31502336 140732487696761 140732487696966 140732487696966 140732487700459 0
/proc/2726/statm: 2378 345 289 221 0 87 0
[pid=2728] ppid=2726 vsize=13980732 memory=4770720 CPUtime=2499.48 cores=0,2,4,6
/proc/2728/stat : 2728 (java) S 2726 2726 16431 0 -1 1077944320 326682 0 0 0 249286 662 0 0 20 0 15 0 17989615 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140722192323040 140686765051639 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
/proc/2728/statm: 3495183 1192680 3265 1 0 3483476 0
[pid=2728/tid=2729] ppid=2726 vsize=13980732 memory=4770720 CPUtime=2425.31 cores=0,2,4,6
/proc/2728/task/2729/stat : 2729 (java) R 2726 2726 16431 0 -1 4202560 145496 0 0 0 242500 31 0 0 20 0 15 0 17989615 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686769291008 140686376167860 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2730] ppid=2726 vsize=13980732 memory=4768672 CPUtime=15.26 cores=0,2,4,6
/proc/2728/task/2730/stat : 2730 (java) S 2726 2726 16431 0 -1 1077944384 18450 0 0 0 1387 139 0 0 20 0 15 0 17989616 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686699486352 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2731] ppid=2726 vsize=13980732 memory=4768672 CPUtime=15.23 cores=0,2,4,6
/proc/2728/task/2731/stat : 2731 (java) S 2726 2726 16431 0 -1 1077944384 20012 0 0 0 1385 138 0 0 20 0 15 0 17989616 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686698433552 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2732] ppid=2726 vsize=13980732 memory=4770720 CPUtime=15.28 cores=0,2,4,6
/proc/2728/task/2732/stat : 2732 (java) S 2726 2726 16431 0 -1 1077944384 17000 0 0 0 1387 141 0 0 20 0 15 0 17989616 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686697380752 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2733] ppid=2726 vsize=13980732 memory=4770720 CPUtime=15.27 cores=0,2,4,6
/proc/2728/task/2733/stat : 2733 (java) S 2726 2726 16431 0 -1 1077944384 18759 0 0 0 1387 140 0 0 20 0 15 0 17989616 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686696327952 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2734] ppid=2726 vsize=13980732 memory=4770720 CPUtime=1.28 cores=0,2,4,6
/proc/2728/task/2734/stat : 2734 (java) S 2726 2726 16431 0 -1 1077944384 16837 0 0 0 119 9 0 0 20 0 15 0 17989617 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686242842992 140686765062786 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2735] ppid=2726 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2735/stat : 2735 (java) S 2726 2726 16431 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 17989617 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686241789024 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2736] ppid=2726 vsize=13980732 memory=4770720 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2736/stat : 2736 (java) S 2726 2726 16431 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 17989618 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686240736128 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2737] ppid=2726 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2737/stat : 2737 (java) S 2726 2726 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17989620 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686239684432 140686765070235 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2738] ppid=2726 vsize=13980732 memory=7680170660397595203 CPUtime=4.56 cores=0,2,4,6
/proc/2728/task/2738/stat : 2738 (java) S 2726 2726 16431 0 -1 1077944384 37136 0 0 0 451 5 0 0 20 0 15 0 17989620 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686238632816 140686765062786 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2739] ppid=2726 vsize=13980732 memory=792 CPUtime=4.79 cores=0,2,4,6
/proc/2728/task/2739/stat : 2739 (java) S 2726 2726 16431 0 -1 1077944384 34566 0 0 0 475 4 0 0 20 0 15 0 17989620 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686237580016 140686765062786 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2740] ppid=2726 vsize=13980732 memory=1380 CPUtime=0.99 cores=0,2,4,6
/proc/2728/task/2740/stat : 2740 (java) S 2726 2726 16431 0 -1 1077944384 15082 0 0 0 95 4 0 0 20 0 15 0 17989620 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686236527216 140686765062786 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2741] ppid=2726 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2741/stat : 2741 (java) S 2726 2726 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17989620 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686235474656 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2742] ppid=2726 vsize=13980732 memory=1380 CPUtime=1.41 cores=0,2,4,6
/proc/2728/task/2742/stat : 2742 (java) S 2726 2726 16431 0 -1 1077944384 1948 0 0 0 69 72 0 0 20 0 15 0 17989625 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686234421936 140686765062786 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
Current children cumulated CPU time: 2499.48 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4772100 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2462.9 s]
/proc/loadavg: 1.77 1.72 1.73 3/214 2976
/proc/meminfo: memFree=26033204/32770624 swapFree=67108860/67108860
[pid=2726] ppid=2723 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2726/stat : 2726 (xcsp3-exec) S 2723 2726 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17989608 9740288 345 18446744073709551615 4194304 5098028 140732487694752 140732487692856 140580526994044 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 31502336 140732487696761 140732487696966 140732487696966 140732487700459 0
/proc/2726/statm: 2378 345 289 221 0 87 0
[pid=2728] ppid=2726 vsize=13980732 memory=4770720 CPUtime=2520.09 cores=0,2,4,6
/proc/2728/stat : 2728 (java) S 2726 2726 16431 0 -1 1077944320 328136 0 0 0 251346 663 0 0 20 0 15 0 17989615 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140722192323040 140686765051639 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
/proc/2728/statm: 3495183 1192680 3265 1 0 3483476 0
[pid=2728/tid=2729] ppid=2726 vsize=13980732 memory=4770720 CPUtime=2445.91 cores=0,2,4,6
/proc/2728/task/2729/stat : 2729 (java) R 2726 2726 16431 0 -1 4202560 146896 0 0 0 244560 31 0 0 20 0 15 0 17989615 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686769291008 140686375112544 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2730] ppid=2726 vsize=13980732 memory=4770720 CPUtime=15.26 cores=0,2,4,6
/proc/2728/task/2730/stat : 2730 (java) S 2726 2726 16431 0 -1 1077944384 18450 0 0 0 1387 139 0 0 20 0 15 0 17989616 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686699486352 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2731] ppid=2726 vsize=13980732 memory=4770720 CPUtime=15.23 cores=0,2,4,6
/proc/2728/task/2731/stat : 2731 (java) S 2726 2726 16431 0 -1 1077944384 20012 0 0 0 1385 138 0 0 20 0 15 0 17989616 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686698433552 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2732] ppid=2726 vsize=13980732 memory=1380 CPUtime=15.28 cores=0,2,4,6
/proc/2728/task/2732/stat : 2732 (java) S 2726 2726 16431 0 -1 1077944384 17000 0 0 0 1387 141 0 0 20 0 15 0 17989616 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686697380752 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2733] ppid=2726 vsize=13980732 memory=1380 CPUtime=15.27 cores=0,2,4,6
/proc/2728/task/2733/stat : 2733 (java) S 2726 2726 16431 0 -1 1077944384 18759 0 0 0 1387 140 0 0 20 0 15 0 17989616 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686696327952 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2734] ppid=2726 vsize=13980732 memory=4770720 CPUtime=1.28 cores=0,2,4,6
/proc/2728/task/2734/stat : 2734 (java) S 2726 2726 16431 0 -1 1077944384 16842 0 0 0 119 9 0 0 20 0 15 0 17989617 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686242842992 140686765062786 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2735] ppid=2726 vsize=13980732 memory=4770720 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2735/stat : 2735 (java) S 2726 2726 16431 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 17989617 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686241789024 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2736] ppid=2726 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2736/stat : 2736 (java) S 2726 2726 16431 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 17989618 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686240736128 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2737] ppid=2726 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2737/stat : 2737 (java) S 2726 2726 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17989620 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686239684432 140686765070235 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2738] ppid=2726 vsize=13980732 memory=164 CPUtime=4.56 cores=0,2,4,6
/proc/2728/task/2738/stat : 2738 (java) S 2726 2726 16431 0 -1 1077944384 37140 0 0 0 451 5 0 0 20 0 15 0 17989620 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686238632816 140686765062786 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2739] ppid=2726 vsize=13980732 memory=4770720 CPUtime=4.79 cores=0,2,4,6
/proc/2728/task/2739/stat : 2739 (java) S 2726 2726 16431 0 -1 1077944384 34569 0 0 0 475 4 0 0 20 0 15 0 17989620 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686237580016 140686765062786 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2740] ppid=2726 vsize=13980732 memory=1008 CPUtime=0.99 cores=0,2,4,6
/proc/2728/task/2740/stat : 2740 (java) S 2726 2726 16431 0 -1 1077944384 15089 0 0 0 95 4 0 0 20 0 15 0 17989620 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686236527216 140686765062786 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2741] ppid=2726 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2741/stat : 2741 (java) S 2726 2726 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17989620 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686235474656 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2742] ppid=2726 vsize=13980732 memory=4770720 CPUtime=1.43 cores=0,2,4,6
/proc/2728/task/2742/stat : 2742 (java) S 2726 2726 16431 0 -1 1077944384 1983 0 0 0 70 73 0 0 20 0 15 0 17989625 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686234421936 140686765062786 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4772100 KiB

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

[startup+2462.91 s]
# the end of solver process 2726 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001886 s, system=0 s

[startup+2462.93 s]
# the end of solver process 2728 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2513.49 s, system=6.65622 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

[startup+2462.9 s]
/proc/loadavg: 1.77 1.72 1.73 3/214 2976
/proc/meminfo: memFree=26033204/32770624 swapFree=67108860/67108860
[pid=2726] ppid=2723 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2726/stat : 2726 (xcsp3-exec) S 2723 2726 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 17989608 9740288 345 18446744073709551615 4194304 5098028 140732487694752 140732487692856 140580526994044 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 31502336 140732487696761 140732487696966 140732487696966 140732487700459 0
/proc/2726/statm: 2378 345 289 221 0 87 0
[pid=2728] ppid=2726 vsize=13980732 memory=4770720 CPUtime=2520.09 cores=0,2,4,6
/proc/2728/stat : 2728 (java) S 2726 2726 16431 0 -1 1077944320 328136 0 0 0 251346 663 0 0 20 0 15 0 17989615 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140722192323040 140686765051639 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
/proc/2728/statm: 3495183 1192680 3265 1 0 3483476 0
[pid=2728/tid=2729] ppid=2726 vsize=13980732 memory=4770720 CPUtime=2445.91 cores=0,2,4,6
/proc/2728/task/2729/stat : 2729 (java) R 2726 2726 16431 0 -1 4202560 146896 0 0 0 244560 31 0 0 20 0 15 0 17989615 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686769291008 140686375112544 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2730] ppid=2726 vsize=13980732 memory=4770720 CPUtime=15.26 cores=0,2,4,6
/proc/2728/task/2730/stat : 2730 (java) S 2726 2726 16431 0 -1 1077944384 18450 0 0 0 1387 139 0 0 20 0 15 0 17989616 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686699486352 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2731] ppid=2726 vsize=13980732 memory=4770720 CPUtime=15.23 cores=0,2,4,6
/proc/2728/task/2731/stat : 2731 (java) S 2726 2726 16431 0 -1 1077944384 20012 0 0 0 1385 138 0 0 20 0 15 0 17989616 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686698433552 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2732] ppid=2726 vsize=13980732 memory=1380 CPUtime=15.28 cores=0,2,4,6
/proc/2728/task/2732/stat : 2732 (java) S 2726 2726 16431 0 -1 1077944384 17000 0 0 0 1387 141 0 0 20 0 15 0 17989616 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686697380752 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2733] ppid=2726 vsize=13980732 memory=1380 CPUtime=15.27 cores=0,2,4,6
/proc/2728/task/2733/stat : 2733 (java) S 2726 2726 16431 0 -1 1077944384 18759 0 0 0 1387 140 0 0 20 0 15 0 17989616 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686696327952 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2734] ppid=2726 vsize=13980732 memory=4770720 CPUtime=1.28 cores=0,2,4,6
/proc/2728/task/2734/stat : 2734 (java) S 2726 2726 16431 0 -1 1077944384 16842 0 0 0 119 9 0 0 20 0 15 0 17989617 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686242842992 140686765062786 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2735] ppid=2726 vsize=13980732 memory=4770720 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2735/stat : 2735 (java) S 2726 2726 16431 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 17989617 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686241789024 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2736] ppid=2726 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2736/stat : 2736 (java) S 2726 2726 16431 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 17989618 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686240736128 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2737] ppid=2726 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2737/stat : 2737 (java) S 2726 2726 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17989620 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686239684432 140686765070235 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2738] ppid=2726 vsize=13980732 memory=164 CPUtime=4.56 cores=0,2,4,6
/proc/2728/task/2738/stat : 2738 (java) S 2726 2726 16431 0 -1 1077944384 37140 0 0 0 451 5 0 0 20 0 15 0 17989620 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686238632816 140686765062786 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2739] ppid=2726 vsize=13980732 memory=4770720 CPUtime=4.79 cores=0,2,4,6
/proc/2728/task/2739/stat : 2739 (java) S 2726 2726 16431 0 -1 1077944384 34569 0 0 0 475 4 0 0 20 0 15 0 17989620 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686237580016 140686765062786 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2740] ppid=2726 vsize=13980732 memory=1008 CPUtime=0.99 cores=0,2,4,6
/proc/2728/task/2740/stat : 2740 (java) S 2726 2726 16431 0 -1 1077944384 15089 0 0 0 95 4 0 0 20 0 15 0 17989620 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686236527216 140686765062786 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2741] ppid=2726 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/2728/task/2741/stat : 2741 (java) S 2726 2726 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17989620 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686235474656 140686765061845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
[pid=2728/tid=2742] ppid=2726 vsize=13980732 memory=4770720 CPUtime=1.43 cores=0,2,4,6
/proc/2728/task/2742/stat : 2742 (java) S 2726 2726 16431 0 -1 1077944384 1983 0 0 0 70 73 0 0 20 0 15 0 17989625 14316269568 1192680 18446744073709551615 4194304 4196468 140722192340496 140686234421936 140686765062786 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23343104 140722192347570 140722192347746 140722192347746 140722192351183 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 4772100 KiB

Child status: 143
Real time (s): 2462.93
CPU time (s): 2520.14
CPU user time (s): 2513.49
CPU system time (s): 6.65622
CPU usage (%): 102.323
Max. virtual memory (cumulated for all children) (KiB): 13992092
Max. memory (cumulated for all children) (KiB): 4772100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.49
system time used= 6.65622
maximum resident set size= 4771076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329863
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69744
involuntary context switches= 2964


# summary of solver processes directly reported to runsolver:
#   pid: 2726,2728
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2513.49
#   total CPU system time (s): 6.65622

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4147 second user time and 23.6716 second system time

The end

Begin job on node128 at 2017-08-20 04:09:18
IDJOB=4283261
IDBENCH=124232
IDSOLVER=2679
FILE ID=node128/4283261-1503195799
RUNJOBID= node128-1503171959-30214
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t08-9.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4283261-1503195799/watcher-4283261-1503195799 -o /tmp/evaluation-result-4283261-1503195799/solver-4283261-1503195799 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503171959-30214 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1537185077 HOME/instance-4283261-1503195799.xml

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

MD5SUM BENCH= 4c656a32ec3c33e829e63e71b466a9e3
RANDOM SEED=1537185077

node128.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.47
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.47
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.47
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.47
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:        28053088 kB
MemAvailable:   28309440 kB
Buffers:          193752 kB
Cached:           352032 kB
SwapCached:            0 kB
Active:          3964004 kB
Inactive:         340176 kB
Active(anon):    3758936 kB
Inactive(anon):    16752 kB
Active(file):     205068 kB
Inactive(file):   323424 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7840 kB
Writeback:             0 kB
AnonPages:       3758436 kB
Mapped:            45480 kB
Shmem:             17060 kB
Slab:             112124 kB
SReclaimable:      87392 kB
SUnreclaim:        24732 kB
KernelStack:        3440 kB
PageTables:        12196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4673748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3643392 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62016 MiB
End job on node128 at 2017-08-20 04:50:21