0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246194-1500686812.xml"  -tl '2400s' -p 8 -x 0
0.00/0.21	c [HOME/instance-4246194-1500686812.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.27	c 8 solvers in parallel
0.00/0.38	c parse instance...
5.19/1.50	c solve instance...
93.05/12.64	o 638 
160.53/21.25	o 637 
241.12/31.42	o 636 
315.70/40.83	o 635 
388.64/50.05	o 634 
408.88/52.63	o 631 
409.35/52.80	o 626 
411.06/53.06	o 609 
413.03/53.39	o 608 
414.12/53.50	o 607 
415.20/53.71	o 605 
416.72/53.95	o 604 
418.48/54.30	o 603 
430.00/55.84	o 598 
431.75/56.12	o 597 
502.24/65.09	o 596 
558.77/72.24	o 550 
626.11/80.80	o 549 
693.03/89.29	o 548 
761.89/98.07	o 547 
825.84/106.12	o 546 
891.53/114.43	o 545 
949.30/121.73	o 544 
1006.42/128.99	o 543 
1150.50/147.12	o 542 
1206.77/154.24	o 541 
1264.98/161.71	o 540 
1523.74/194.27	o 539 
1582.07/201.70	o 538 
1641.77/209.28	o 537 
1699.67/216.62	o 536 
1757.94/224.02	o 535 
1823.34/232.42	o 534 
1880.52/239.78	o 533 
1944.82/248.00	o 532 
2009.81/256.34	o 531 
2168.68/276.40	o 530 
2232.78/284.53	o 529 
2295.26/292.52	o 528 
2353.20/299.91	o 527 
2400.19/305.85	s SATISFIABLE
2400.19/305.85	v <instantiation>
2400.19/305.85	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>
2400.19/305.85	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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 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 2 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 2 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 2 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 2 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 2 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 2 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 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 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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>
2400.19/305.85	v </instantiation>
2400.19/305.85	c Unexpected resolution interruption!

OK	527

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246194-1500686812/watcher-4246194-1500686812 -o /tmp/evaluation-result-4246194-1500686812/solver-4246194-1500686812 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16796 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1979923250 HOME/instance-4246194-1500686812.xml 

pid=26588
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 16.07 14.31 12.82 10/270 26591
/proc/meminfo: memFree=31228352/32770624 swapFree=5892/114680
[pid=26591] ppid=26588 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26591/stat : 26591 (xcsp3-exec) S 26588 26591 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3950860 9740288 346 33554432000 4194304 5098028 140724601007936 140724601006040 139762968396412 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 39755776 140724601013390 140724601013600 140724601013600 140724601016299 0
/proc/26591/statm: 2378 346 289 221 0 87 0

[startup+0.100082 s]
/proc/loadavg: 16.07 14.31 12.82 10/270 26591
/proc/meminfo: memFree=31228352/32770624 swapFree=5892/114680
[pid=26591] ppid=26588 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26591/stat : 26591 (xcsp3-exec) S 26588 26591 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3950860 9740288 346 33554432000 4194304 5098028 140724601007936 140724601006040 139762968396412 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 39755776 140724601013390 140724601013600 140724601013600 140724601016299 0
/proc/26591/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.20032 s]
/proc/loadavg: 16.07 14.31 12.82 10/270 26591
/proc/meminfo: memFree=31228352/32770624 swapFree=5892/114680
[pid=26591] ppid=26588 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26591/stat : 26591 (xcsp3-exec) S 26588 26591 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3950860 9740288 346 33554432000 4194304 5098028 140724601007936 140724601006040 139762968396412 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 39755776 140724601013390 140724601013600 140724601013600 140724601016299 0
/proc/26591/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300275 s]
/proc/loadavg: 16.07 14.31 12.82 10/270 26591
/proc/meminfo: memFree=31228352/32770624 swapFree=5892/114680
[pid=26591] ppid=26588 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26591/stat : 26591 (xcsp3-exec) S 26588 26591 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3950860 9740288 346 33554432000 4194304 5098028 140724601007936 140724601006040 139762968396412 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 39755776 140724601013390 140724601013600 140724601013600 140724601016299 0
/proc/26591/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700199 s]
/proc/loadavg: 16.07 14.31 12.82 10/270 26591
/proc/meminfo: memFree=31228352/32770624 swapFree=5892/114680
[pid=26591] ppid=26588 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26591/stat : 26591 (xcsp3-exec) S 26588 26591 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3950860 9740288 346 33554432000 4194304 5098028 140724601007936 140724601006040 139762968396412 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 39755776 140724601013390 140724601013600 140724601013600 140724601016299 0
/proc/26591/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50077 s]
/proc/loadavg: 16.07 14.31 12.82 13/291 26612
/proc/meminfo: memFree=31070216/32770624 swapFree=5892/114952
[pid=26591] ppid=26588 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26591/stat : 26591 (xcsp3-exec) S 26588 26591 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3950860 9740288 346 33554432000 4194304 5098028 140724601007936 140724601006040 139762968396412 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 39755776 140724601013390 140724601013600 140724601013600 140724601016299 0
/proc/26591/statm: 2378 346 289 221 0 87 0
[pid=26592] ppid=26591 vsize=13269256 CPUtime=5.19 cores=0,2,4,6,8,10,12,14
/proc/26592/stat : 26592 (java) S 26591 26591 15667 0 -1 1077944320 24102 0 0 0 494 25 0 0 20 0 20 0 3950860 13587718144 58198 33554432000 4194304 4196468 140729856150032 140729856132576 139773891632887 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
/proc/26592/statm: 3317314 58198 3251 1 0 3304547 0
[pid=26592/tid=26593] ppid=26591 vsize=13269256 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26593/stat : 26593 (java) R 26591 26591 15667 0 -1 4202560 7295 0 0 0 138 5 0 0 20 0 20 0 3950861 13587718144 58198 33554432000 4194304 4196468 140729856150032 139773895872024 139773492240638 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26595] ppid=26591 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26595/stat : 26595 (java) S 26591 26591 15667 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 20 0 3950862 13587718144 58198 33554432000 4194304 4196468 140729856150032 139773810113680 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26596] ppid=26591 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26596/stat : 26596 (java) S 26591 26591 15667 0 -1 1077944384 54 0 0 0 2 2 0 0 20 0 20 0 3950862 13587718144 58198 33554432000 4194304 4196468 140729856150032 139773809060880 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26597] ppid=26591 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26597/stat : 26597 (java) S 26591 26591 15667 0 -1 1077944384 16 0 0 0 1 1 0 0 20 0 20 0 3950862 13587718144 58198 33554432000 4194304 4196468 140729856150032 139773808008080 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26598] ppid=26591 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26598/stat : 26598 (java) S 26591 26591 15667 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 20 0 3950862 13587718144 58198 33554432000 4194304 4196468 140729856150032 139773806955280 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26599] ppid=26591 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26599/stat : 26599 (java) S 26591 26591 15667 0 -1 1077944384 72 0 0 0 1 1 0 0 20 0 20 0 3950862 13587718144 58198 33554432000 4194304 4196468 140729856150032 139773486295696 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26600] ppid=26591 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26600/stat : 26600 (java) S 26591 26591 15667 0 -1 1077944384 141 0 0 0 2 2 0 0 20 0 20 0 3950862 13587718144 58198 33554432000 4194304 4196468 140729856150032 139773485242896 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26601] ppid=26591 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26601/stat : 26601 (java) S 26591 26591 15667 0 -1 1077944384 47 0 0 0 1 2 0 0 20 0 20 0 3950862 13587718144 58198 33554432000 4194304 4196468 140729856150032 139773484190096 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26602] ppid=26591 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26602/stat : 26602 (java) S 26591 26591 15667 0 -1 1077944384 26 0 0 0 1 2 0 0 20 0 20 0 3950862 13587718144 58198 33554432000 4194304 4196468 140729856150032 139773483137296 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26603] ppid=26591 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26603/stat : 26603 (java) S 26591 26591 15667 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 20 0 3950864 13587718144 58198 33554432000 4194304 4196468 140729856150032 139773085449072 139773891644034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26604] ppid=26591 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26604/stat : 26604 (java) S 26591 26591 15667 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 3950865 13587718144 58198 33554432000 4194304 4196468 140729856150032 139773084395040 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26605] ppid=26591 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26605/stat : 26605 (java) S 26591 26591 15667 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 3950865 13587718144 58198 33554432000 4194304 4196468 140729856150032 139773083342192 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26606] ppid=26591 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26606/stat : 26606 (java) S 26591 26591 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3950869 13587718144 58198 33554432000 4194304 4196468 140729856150032 139773082290512 139773891651483 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26607] ppid=26591 vsize=13269256 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26607/stat : 26607 (java) R 26591 26591 15667 0 -1 4202560 3629 0 0 0 94 1 0 0 20 0 20 0 3950869 13587718144 58198 33554432000 4194304 4196468 140729856150032 139773081224416 139773876514634 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26608] ppid=26591 vsize=13269256 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26608/stat : 26608 (java) R 26591 26591 15667 0 -1 4202560 3886 0 0 0 92 0 0 0 20 0 20 0 3950869 13587718144 58198 33554432000 4194304 4196468 140729856150032 139773080178264 139773876562357 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26609] ppid=26591 vsize=13269256 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26609/stat : 26609 (java) R 26591 26591 15667 0 -1 4202560 4305 0 0 0 97 1 0 0 20 0 20 0 3950869 13587718144 58198 33554432000 4194304 4196468 140729856150032 139773079122864 139773871128670 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26610] ppid=26591 vsize=13269256 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26610/stat : 26610 (java) S 26591 26591 15667 0 -1 1077944384 3081 0 0 0 56 1 0 0 20 0 20 0 3950869 13587718144 58198 33554432000 4194304 4196468 140729856150032 139773078079472 139773891644034 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26611] ppid=26591 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26611/stat : 26611 (java) S 26591 26591 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3950870 13587718144 58198 33554432000 4194304 4196468 140729856150032 139773077027936 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26612] ppid=26591 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26612/stat : 26612 (java) S 26591 26591 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3950870 13587718144 58198 33554432000 4194304 4196468 140729856150032 139773075975216 139773891644034 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
Current children cumulated CPU time (s) 5.19
Current children cumulated vsize (KiB) 13278768

[startup+3.10183 s]
/proc/loadavg: 16.07 14.31 12.82 20/299 26620
/proc/meminfo: memFree=31007644/32770624 swapFree=5892/114952
[pid=26591] ppid=26588 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26591/stat : 26591 (xcsp3-exec) S 26588 26591 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3950860 9740288 346 33554432000 4194304 5098028 140724601007936 140724601006040 139762968396412 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 39755776 140724601013390 140724601013600 140724601013600 140724601016299 0
/proc/26591/statm: 2378 346 289 221 0 87 0
[pid=26592] ppid=26591 vsize=13801768 CPUtime=17.69 cores=0,2,4,6,8,10,12,14
/proc/26592/stat : 26592 (java) S 26591 26591 15667 0 -1 1077944320 26119 0 0 0 1742 27 0 0 20 0 28 0 3950860 14133010432 59065 33554432000 4194304 4196468 140729856150032 140729856132576 139773891632887 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
/proc/26592/statm: 3450442 59065 3259 1 0 3437675 0
[pid=26592/tid=26593] ppid=26591 vsize=13801768 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26593/stat : 26593 (java) S 26591 26591 15667 0 -1 1077944384 7378 0 0 0 140 5 0 0 20 0 28 0 3950861 14133010432 59065 33554432000 4194304 4196468 140729856150032 139773895873664 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26595] ppid=26591 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26595/stat : 26595 (java) S 26591 26591 15667 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 28 0 3950862 14133010432 59065 33554432000 4194304 4196468 140729856150032 139773810113680 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26596] ppid=26591 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26596/stat : 26596 (java) S 26591 26591 15667 0 -1 1077944384 54 0 0 0 2 2 0 0 20 0 28 0 3950862 14133010432 59065 33554432000 4194304 4196468 140729856150032 139773809060880 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26597] ppid=26591 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26597/stat : 26597 (java) S 26591 26591 15667 0 -1 1077944384 16 0 0 0 1 1 0 0 20 0 28 0 3950862 14133010432 59065 33554432000 4194304 4196468 140729856150032 139773808008080 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26598] ppid=26591 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26598/stat : 26598 (java) S 26591 26591 15667 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 28 0 3950862 14133010432 59065 33554432000 4194304 4196468 140729856150032 139773806955280 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26599] ppid=26591 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26599/stat : 26599 (java) S 26591 26591 15667 0 -1 1077944384 72 0 0 0 1 1 0 0 20 0 28 0 3950862 14133010432 59065 33554432000 4194304 4196468 140729856150032 139773486295696 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26600] ppid=26591 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26600/stat : 26600 (java) S 26591 26591 15667 0 -1 1077944384 141 0 0 0 2 2 0 0 20 0 28 0 3950862 14133010432 59065 33554432000 4194304 4196468 140729856150032 139773485242896 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26601] ppid=26591 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26601/stat : 26601 (java) S 26591 26591 15667 0 -1 1077944384 47 0 0 0 1 2 0 0 20 0 28 0 3950862 14133010432 59065 33554432000 4194304 4196468 140729856150032 139773484190096 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26602] ppid=26591 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26602/stat : 26602 (java) S 26591 26591 15667 0 -1 1077944384 26 0 0 0 1 2 0 0 20 0 28 0 3950862 14133010432 59065 33554432000 4194304 4196468 140729856150032 139773483137296 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26603] ppid=26591 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26603/stat : 26603 (java) S 26591 26591 15667 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 28 0 3950864 14133010432 59065 33554432000 4194304 4196468 140729856150032 139773085449072 139773891644034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26604] ppid=26591 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26604/stat : 26604 (java) S 26591 26591 15667 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3950865 14133010432 59065 33554432000 4194304 4196468 140729856150032 139773084395040 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26605] ppid=26591 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26605/stat : 26605 (java) S 26591 26591 15667 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3950865 14133010432 59065 33554432000 4194304 4196468 140729856150032 139773083342192 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26606] ppid=26591 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26606/stat : 26606 (java) S 26591 26591 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3950869 14133010432 59065 33554432000 4194304 4196468 140729856150032 139773082290512 139773891651483 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26607] ppid=26591 vsize=13801768 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26607/stat : 26607 (java) S 26591 26591 15667 0 -1 1077944384 3825 0 0 0 177 1 0 0 20 0 28 0 3950869 14133010432 59065 33554432000 4194304 4196468 140729856150032 139773081237872 139773891644034 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26608] ppid=26591 vsize=13801768 CPUtime=1.88 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26608/stat : 26608 (java) R 26591 26591 15667 0 -1 4202560 4066 0 0 0 188 0 0 0 20 0 28 0 3950869 14133010432 59065 33554432000 4194304 4196468 140729856150032 139773080185368 139773872332022 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26609] ppid=26591 vsize=13801768 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26609/stat : 26609 (java) S 26591 26591 15667 0 -1 1077944384 4567 0 0 0 186 1 0 0 20 0 28 0 3950869 14133010432 59065 33554432000 4194304 4196468 140729856150032 139773079132272 139773891644034 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26610] ppid=26591 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26610/stat : 26610 (java) S 26591 26591 15667 0 -1 1077944384 3630 0 0 0 76 1 0 0 20 0 28 0 3950869 14133010432 59065 33554432000 4194304 4196468 140729856150032 139773078079472 139773891644034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26611] ppid=26591 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26611/stat : 26611 (java) S 26591 26591 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3950870 14133010432 59065 33554432000 4194304 4196468 140729856150032 139773077027936 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26612] ppid=26591 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26612/stat : 26612 (java) S 26591 26591 15667 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 3950870 14133010432 59065 33554432000 4194304 4196468 140729856150032 139773075975216 139773891644034 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26613] ppid=26591 vsize=13801768 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26613/stat : 26613 (java) R 26591 26591 15667 0 -1 4202560 85 0 0 0 105 0 0 0 20 0 28 0 3951013 14133010432 59065 33554432000 4194304 4196468 140729856150032 139773067959776 139773493226786 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26614] ppid=26591 vsize=13801768 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26614/stat : 26614 (java) R 26591 26591 15667 0 -1 4202560 81 0 0 0 136 0 0 0 20 0 28 0 3951013 14133010432 59065 33554432000 4194304 4196468 140729856150032 139772999752440 139773493226614 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26615] ppid=26591 vsize=13801768 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26615/stat : 26615 (java) R 26591 26591 15667 0 -1 4202560 97 0 0 0 113 0 0 0 20 0 28 0 3951013 14133010432 59065 33554432000 4194304 4196468 140729856150032 139772998697400 139773493226614 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26616] ppid=26591 vsize=13801768 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26616/stat : 26616 (java) R 26591 26591 15667 0 -1 4202560 104 0 0 0 129 0 0 0 20 0 28 0 3951013 14133010432 59065 33554432000 4194304 4196468 140729856150032 139772997644600 139773487437196 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26617] ppid=26591 vsize=13801768 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26617/stat : 26617 (java) R 26591 26591 15667 0 -1 4202560 64 0 0 0 139 0 0 0 20 0 28 0 3951013 14133010432 59065 33554432000 4194304 4196468 140729856150032 139772996593656 139773493465552 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26618] ppid=26591 vsize=13801768 CPUtime=1.21 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26618/stat : 26618 (java) R 26591 26591 15667 0 -1 4202560 79 0 0 0 121 0 0 0 20 0 28 0 3951013 14133010432 59065 33554432000 4194304 4196468 140729856150032 139772995540568 139773487437196 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26619] ppid=26591 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26619/stat : 26619 (java) R 26591 26591 15667 0 -1 4202560 180 0 0 0 98 0 0 0 20 0 28 0 3951013 14133010432 59065 33554432000 4194304 4196468 140729856150032 139772994488904 139773487437256 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26620] ppid=26591 vsize=13801768 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26620/stat : 26620 (java) R 26591 26591 15667 0 -1 4202560 46 0 0 0 115 0 0 0 20 0 28 0 3951013 14133010432 59065 33554432000 4194304 4196468 140729856150032 139772993435800 139773492944165 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
Current children cumulated CPU time (s) 17.69
Current children cumulated vsize (KiB) 13811280

[startup+6.30146 s]
/proc/loadavg: 16.14 14.35 12.84 17/299 26620
/proc/meminfo: memFree=31006024/32770624 swapFree=5892/114996
[pid=26591] ppid=26588 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26591/stat : 26591 (xcsp3-exec) S 26588 26591 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3950860 9740288 346 33554432000 4194304 5098028 140724601007936 140724601006040 139762968396412 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 39755776 140724601013390 140724601013600 140724601013600 140724601016299 0
/proc/26591/statm: 2378 346 289 221 0 87 0
[pid=26592] ppid=26591 vsize=13801768 CPUtime=43.07 cores=0,2,4,6,8,10,12,14
/proc/26592/stat : 26592 (java) S 26591 26591 15667 0 -1 1077944320 28413 0 0 0 4252 55 0 0 20 0 28 0 3950860 14133010432 73684 33554432000 4194304 4196468 140729856150032 140729856132576 139773891632887 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
/proc/26592/statm: 3450442 73684 3277 1 0 3437675 0
[pid=26592/tid=26593] ppid=26591 vsize=13801768 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26593/stat : 26593 (java) S 26591 26591 15667 0 -1 1077944384 7378 0 0 0 140 5 0 0 20 0 28 0 3950861 14133010432 73684 33554432000 4194304 4196468 140729856150032 139773895873664 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26595] ppid=26591 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26595/stat : 26595 (java) S 26591 26591 15667 0 -1 1077944384 51 0 0 0 4 4 0 0 20 0 28 0 3950862 14133010432 73684 33554432000 4194304 4196468 140729856150032 139773810113680 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26596] ppid=26591 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26596/stat : 26596 (java) S 26591 26591 15667 0 -1 1077944384 728 0 0 0 5 5 0 0 20 0 28 0 3950862 14133010432 73684 33554432000 4194304 4196468 140729856150032 139773809060880 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26597] ppid=26591 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26597/stat : 26597 (java) S 26591 26591 15667 0 -1 1077944384 73 0 0 0 4 4 0 0 20 0 28 0 3950862 14133010432 73684 33554432000 4194304 4196468 140729856150032 139773808008080 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26598] ppid=26591 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26598/stat : 26598 (java) S 26591 26591 15667 0 -1 1077944384 64 0 0 0 4 4 0 0 20 0 28 0 3950862 14133010432 73684 33554432000 4194304 4196468 140729856150032 139773806955280 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0

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

/proc/26592/task/27068/stat : 27068 (java) R 26591 26591 15667 0 -1 4202560 122 0 0 0 568 0 0 0 20 0 28 0 3972523 14133010432 179402 33554432000 4194304 4196468 140729856150032 139772998704712 139773493820248 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=27069] ppid=26591 vsize=13801768 CPUtime=5.68 cores=0,2,4,6,8,10,12,14
/proc/26592/task/27069/stat : 27069 (java) R 26591 26591 15667 0 -1 4202560 154 0 0 0 568 0 0 0 20 0 28 0 3972523 14133010432 179402 33554432000 4194304 4196468 140729856150032 139772997651912 139773493226614 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
Current children cumulated CPU time (s) 1745
Current children cumulated vsize (KiB) 13811280

[startup+282.302 s]
/proc/loadavg: 15.97 15.27 13.61 17/302 27120
/proc/meminfo: memFree=30895824/32770624 swapFree=5892/115444
[pid=26591] ppid=26588 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26591/stat : 26591 (xcsp3-exec) S 26588 26591 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3950860 9740288 346 33554432000 4194304 5098028 140724601007936 140724601006040 139762968396412 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 39755776 140724601013390 140724601013600 140724601013600 140724601016299 0
/proc/26591/statm: 2378 346 289 221 0 87 0
[pid=26592] ppid=26591 vsize=13801768 CPUtime=2215.73 cores=0,2,4,6,8,10,12,14
/proc/26592/stat : 26592 (java) S 26591 26591 15667 0 -1 1077944320 203600 0 0 0 221410 163 0 0 20 0 28 0 3950860 14133010432 182193 33554432000 4194304 4196468 140729856150032 140729856132576 139773891632887 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
/proc/26592/statm: 3450442 182193 3288 1 0 3437675 0
[pid=26592/tid=26593] ppid=26591 vsize=13801768 CPUtime=1.57 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26593/stat : 26593 (java) S 26591 26591 15667 0 -1 1077944384 12668 0 0 0 152 5 0 0 20 0 28 0 3950861 14133010432 182193 33554432000 4194304 4196468 140729856150032 139773895873664 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26595] ppid=26591 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26595/stat : 26595 (java) S 26591 26591 15667 0 -1 1077944384 1163 0 0 0 13 10 0 0 20 0 28 0 3950862 14133010432 182193 33554432000 4194304 4196468 140729856150032 139773810113680 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26596] ppid=26591 vsize=13801768 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26596/stat : 26596 (java) S 26591 26591 15667 0 -1 1077944384 1545 0 0 0 14 11 0 0 20 0 28 0 3950862 14133010432 182193 33554432000 4194304 4196468 140729856150032 139773809060880 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26597] ppid=26591 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26597/stat : 26597 (java) S 26591 26591 15667 0 -1 1077944384 612 0 0 0 14 10 0 0 20 0 28 0 3950862 14133010432 182193 33554432000 4194304 4196468 140729856150032 139773808008080 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26598] ppid=26591 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26598/stat : 26598 (java) S 26591 26591 15667 0 -1 1077944384 433 0 0 0 12 10 0 0 20 0 28 0 3950862 14133010432 182193 33554432000 4194304 4196468 140729856150032 139773806955280 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26599] ppid=26591 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26599/stat : 26599 (java) S 26591 26591 15667 0 -1 1077944384 1107 0 0 0 12 11 0 0 20 0 28 0 3950862 14133010432 182193 33554432000 4194304 4196468 140729856150032 139773486295696 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26600] ppid=26591 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26600/stat : 26600 (java) S 26591 26591 15667 0 -1 1077944384 672 0 0 0 15 12 0 0 20 0 28 0 3950862 14133010432 182193 33554432000 4194304 4196468 140729856150032 139773485242896 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26601] ppid=26591 vsize=13801768 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26601/stat : 26601 (java) S 26591 26591 15667 0 -1 1077944384 940 0 0 0 13 12 0 0 20 0 28 0 3950862 14133010432 182193 33554432000 4194304 4196468 140729856150032 139773484190096 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26602] ppid=26591 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26602/stat : 26602 (java) S 26591 26591 15667 0 -1 1077944384 567 0 0 0 14 12 0 0 20 0 28 0 3950862 14133010432 182193 33554432000 4194304 4196468 140729856150032 139773483137296 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26603] ppid=26591 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26603/stat : 26603 (java) S 26591 26591 15667 0 -1 1077944384 5194 0 0 0 6 6 0 0 20 0 28 0 3950864 14133010432 182193 33554432000 4194304 4196468 140729856150032 139773085449072 139773891644034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26604] ppid=26591 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26604/stat : 26604 (java) S 26591 26591 15667 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 3950865 14133010432 182193 33554432000 4194304 4196468 140729856150032 139773084395104 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26605] ppid=26591 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26605/stat : 26605 (java) S 26591 26591 15667 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3950865 14133010432 182193 33554432000 4194304 4196468 140729856150032 139773083342192 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26606] ppid=26591 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26606/stat : 26606 (java) S 26591 26591 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3950869 14133010432 182193 33554432000 4194304 4196468 140729856150032 139773082290512 139773891651483 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26607] ppid=26591 vsize=13801768 CPUtime=3.24 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26607/stat : 26607 (java) S 26591 26591 15667 0 -1 1077944384 18157 0 0 0 322 2 0 0 20 0 28 0 3950869 14133010432 182193 33554432000 4194304 4196468 140729856150032 139773081237872 139773891644034 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26608] ppid=26591 vsize=13801768 CPUtime=3.4 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26608/stat : 26608 (java) S 26591 26591 15667 0 -1 1077944384 24854 0 0 0 337 3 0 0 20 0 28 0 3950869 14133010432 182193 33554432000 4194304 4196468 140729856150032 139773080185072 139773891644034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26609] ppid=26591 vsize=13801768 CPUtime=3.55 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26609/stat : 26609 (java) S 26591 26591 15667 0 -1 1077944384 26292 0 0 0 351 4 0 0 20 0 28 0 3950869 14133010432 182193 33554432000 4194304 4196468 140729856150032 139773079132272 139773891644034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26610] ppid=26591 vsize=13801768 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26610/stat : 26610 (java) S 26591 26591 15667 0 -1 1077944384 23502 0 0 0 112 3 0 0 20 0 28 0 3950869 14133010432 182193 33554432000 4194304 4196468 140729856150032 139773078079472 139773891644034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26611] ppid=26591 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26611/stat : 26611 (java) S 26591 26591 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3950870 14133010432 182193 33554432000 4194304 4196468 140729856150032 139773077027936 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26612] ppid=26591 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26612/stat : 26612 (java) S 26591 26591 15667 0 -1 1077944384 4391 0 0 0 8 7 0 0 20 0 28 0 3950870 14133010432 182193 33554432000 4194304 4196468 140729856150032 139773075975216 139773891644034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=27112] ppid=26591 vsize=13801768 CPUtime=5.77 cores=0,2,4,6,8,10,12,14
/proc/26592/task/27112/stat : 27112 (java) R 26591 26591 15667 0 -1 4202560 106 0 0 0 577 0 0 0 20 0 28 0 3978500 14133010432 182193 33554432000 4194304 4196468 140729856150032 139773067959528 139773487437196 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=27113] ppid=26591 vsize=13801768 CPUtime=5.86 cores=0,2,4,6,8,10,12,14
/proc/26592/task/27113/stat : 27113 (java) R 26591 26591 15667 0 -1 4202560 206 0 0 0 586 0 0 0 20 0 28 0 3978500 14133010432 182193 33554432000 4194304 4196468 140729856150032 139772995539048 139773487437196 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=27114] ppid=26591 vsize=13801768 CPUtime=5.87 cores=0,2,4,6,8,10,12,14
/proc/26592/task/27114/stat : 27114 (java) R 26591 26591 15667 0 -1 4202560 130 0 0 0 587 0 0 0 20 0 28 0 3978500 14133010432 182193 33554432000 4194304 4196468 140729856150032 139772998696936 139773493226784 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=27115] ppid=26591 vsize=13801768 CPUtime=5.84 cores=0,2,4,6,8,10,12,14
/proc/26592/task/27115/stat : 27115 (java) R 26591 26591 15667 0 -1 4202560 990 0 0 0 584 0 0 0 20 0 28 0 3978500 14133010432 182193 33554432000 4194304 4196468 140729856150032 139772996593888 139773493226614 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=27116] ppid=26591 vsize=13801768 CPUtime=5.86 cores=0,2,4,6,8,10,12,14
/proc/26592/task/27116/stat : 27116 (java) R 26591 26591 15667 0 -1 4202560 149 0 0 0 586 0 0 0 20 0 28 0 3978500 14133010432 182193 33554432000 4194304 4196468 140729856150032 139772997644008 139773487437196 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=27117] ppid=26591 vsize=13801768 CPUtime=5.87 cores=0,2,4,6,8,10,12,14
/proc/26592/task/27117/stat : 27117 (java) R 26591 26591 15667 0 -1 4202560 142 0 0 0 587 0 0 0 20 0 28 0 3978500 14133010432 182193 33554432000 4194304 4196468 140729856150032 139772993432944 139773493184910 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=27118] ppid=26591 vsize=13801768 CPUtime=5.86 cores=0,2,4,6,8,10,12,14
/proc/26592/task/27118/stat : 27118 (java) R 26591 26591 15667 0 -1 4202560 119 0 0 0 586 0 0 0 20 0 28 0 3978500 14133010432 182193 33554432000 4194304 4196468 140729856150032 139772999750120 139773493928708 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=27119] ppid=26591 vsize=13801768 CPUtime=5.87 cores=0,2,4,6,8,10,12,14
/proc/26592/task/27119/stat : 27119 (java) R 26591 26591 15667 0 -1 4202560 81 0 0 0 587 0 0 0 20 0 28 0 3978500 14133010432 182193 33554432000 4194304 4196468 140729856150032 139772994486632 139773493226614 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
Current children cumulated CPU time (s) 2215.73
Current children cumulated vsize (KiB) 13811280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+305.801 s]
/proc/loadavg: 15.98 15.33 13.68 17/302 27144
/proc/meminfo: memFree=30816656/32770624 swapFree=5892/115464
[pid=26591] ppid=26588 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26591/stat : 26591 (xcsp3-exec) S 26588 26591 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3950860 9740288 346 33554432000 4194304 5098028 140724601007936 140724601006040 139762968396412 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 39755776 140724601013390 140724601013600 140724601013600 140724601016299 0
/proc/26591/statm: 2378 346 289 221 0 87 0
[pid=26592] ppid=26591 vsize=13801768 CPUtime=2400.19 cores=0,2,4,6,8,10,12,14
/proc/26592/stat : 26592 (java) S 26591 26591 15667 0 -1 1077944320 214638 0 0 0 239854 165 0 0 20 0 28 0 3950860 14133010432 182194 33554432000 4194304 4196468 140729856150032 140729856132576 139773891632887 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
/proc/26592/statm: 3450442 182194 3288 1 0 3437675 0
[pid=26592/tid=26593] ppid=26591 vsize=13801768 CPUtime=1.57 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26593/stat : 26593 (java) S 26591 26591 15667 0 -1 1077944384 13303 0 0 0 152 5 0 0 20 0 28 0 3950861 14133010432 182194 33554432000 4194304 4196468 140729856150032 139773895873664 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26595] ppid=26591 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26595/stat : 26595 (java) S 26591 26591 15667 0 -1 1077944384 1163 0 0 0 13 10 0 0 20 0 28 0 3950862 14133010432 182194 33554432000 4194304 4196468 140729856150032 139773810113680 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26596] ppid=26591 vsize=13801768 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26596/stat : 26596 (java) S 26591 26591 15667 0 -1 1077944384 1545 0 0 0 14 11 0 0 20 0 28 0 3950862 14133010432 182194 33554432000 4194304 4196468 140729856150032 139773809060880 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26597] ppid=26591 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26597/stat : 26597 (java) S 26591 26591 15667 0 -1 1077944384 612 0 0 0 14 10 0 0 20 0 28 0 3950862 14133010432 182194 33554432000 4194304 4196468 140729856150032 139773808008080 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26598] ppid=26591 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26598/stat : 26598 (java) S 26591 26591 15667 0 -1 1077944384 433 0 0 0 12 10 0 0 20 0 28 0 3950862 14133010432 182194 33554432000 4194304 4196468 140729856150032 139773806955280 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26599] ppid=26591 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26599/stat : 26599 (java) S 26591 26591 15667 0 -1 1077944384 1107 0 0 0 12 11 0 0 20 0 28 0 3950862 14133010432 182194 33554432000 4194304 4196468 140729856150032 139773486295696 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26600] ppid=26591 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26600/stat : 26600 (java) S 26591 26591 15667 0 -1 1077944384 672 0 0 0 15 12 0 0 20 0 28 0 3950862 14133010432 182194 33554432000 4194304 4196468 140729856150032 139773485242896 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26601] ppid=26591 vsize=13801768 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26601/stat : 26601 (java) S 26591 26591 15667 0 -1 1077944384 940 0 0 0 13 12 0 0 20 0 28 0 3950862 14133010432 182194 33554432000 4194304 4196468 140729856150032 139773484190096 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26602] ppid=26591 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26602/stat : 26602 (java) S 26591 26591 15667 0 -1 1077944384 567 0 0 0 14 12 0 0 20 0 28 0 3950862 14133010432 182194 33554432000 4194304 4196468 140729856150032 139773483137296 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26603] ppid=26591 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26603/stat : 26603 (java) S 26591 26591 15667 0 -1 1077944384 5380 0 0 0 6 6 0 0 20 0 28 0 3950864 14133010432 182194 33554432000 4194304 4196468 140729856150032 139773085449072 139773891644034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26604] ppid=26591 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26604/stat : 26604 (java) S 26591 26591 15667 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 3950865 14133010432 182194 33554432000 4194304 4196468 140729856150032 139773084395104 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26605] ppid=26591 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26605/stat : 26605 (java) S 26591 26591 15667 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3950865 14133010432 182194 33554432000 4194304 4196468 140729856150032 139773083342192 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26606] ppid=26591 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26606/stat : 26606 (java) S 26591 26591 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3950869 14133010432 182194 33554432000 4194304 4196468 140729856150032 139773082290512 139773891651483 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26607] ppid=26591 vsize=13801768 CPUtime=3.24 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26607/stat : 26607 (java) S 26591 26591 15667 0 -1 1077944384 18176 0 0 0 322 2 0 0 20 0 28 0 3950869 14133010432 182194 33554432000 4194304 4196468 140729856150032 139773081237872 139773891644034 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26608] ppid=26591 vsize=13801768 CPUtime=3.4 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26608/stat : 26608 (java) S 26591 26591 15667 0 -1 1077944384 24873 0 0 0 337 3 0 0 20 0 28 0 3950869 14133010432 182194 33554432000 4194304 4196468 140729856150032 139773080185072 139773891644034 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26609] ppid=26591 vsize=13801768 CPUtime=3.55 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26609/stat : 26609 (java) S 26591 26591 15667 0 -1 1077944384 26313 0 0 0 351 4 0 0 20 0 28 0 3950869 14133010432 182194 33554432000 4194304 4196468 140729856150032 139773079132272 139773891644034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26610] ppid=26591 vsize=13801768 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26610/stat : 26610 (java) S 26591 26591 15667 0 -1 1077944384 24328 0 0 0 112 3 0 0 20 0 28 0 3950869 14133010432 182194 33554432000 4194304 4196468 140729856150032 139773078079472 139773891644034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26611] ppid=26591 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26611/stat : 26611 (java) S 26591 26591 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3950870 14133010432 182194 33554432000 4194304 4196468 140729856150032 139773077027936 139773891643093 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=26612] ppid=26591 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/26592/task/26612/stat : 26612 (java) S 26591 26591 15667 0 -1 1077944384 4595 0 0 0 8 8 0 0 20 0 28 0 3950870 14133010432 182194 33554432000 4194304 4196468 140729856150032 139773075975216 139773891644034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=27137] ppid=26591 vsize=13801768 CPUtime=5.77 cores=0,2,4,6,8,10,12,14
/proc/26592/task/27137/stat : 27137 (java) R 26591 26591 15667 0 -1 4202560 115 0 0 0 577 0 0 0 20 0 28 0 3980852 14133010432 182194 33554432000 4194304 4196468 140729856150032 139773067963928 139773494531492 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=27138] ppid=26591 vsize=13801768 CPUtime=5.88 cores=0,2,4,6,8,10,12,14
/proc/26592/task/27138/stat : 27138 (java) R 26591 26591 15667 0 -1 4202560 158 0 0 0 588 0 0 0 20 0 28 0 3980852 14133010432 182194 33554432000 4194304 4196468 140729856150032 139772999753712 139773494531492 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=27139] ppid=26591 vsize=13801768 CPUtime=5.89 cores=0,2,4,6,8,10,12,14
/proc/26592/task/27139/stat : 27139 (java) R 26591 26591 15667 0 -1 4202560 256 0 0 0 589 0 0 0 20 0 28 0 3980852 14133010432 182194 33554432000 4194304 4196468 140729856150032 139772995543320 139773493188972 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=27140] ppid=26591 vsize=13801768 CPUtime=5.89 cores=0,2,4,6,8,10,12,14
/proc/26592/task/27140/stat : 27140 (java) R 26591 26591 15667 0 -1 4202560 136 0 0 0 589 0 0 0 20 0 28 0 3980852 14133010432 182194 33554432000 4194304 4196468 140729856150032 139772998704072 139773493226614 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=27141] ppid=26591 vsize=13801768 CPUtime=5.89 cores=0,2,4,6,8,10,12,14
/proc/26592/task/27141/stat : 27141 (java) R 26591 26591 15667 0 -1 4202560 289 0 0 0 589 0 0 0 20 0 28 0 3980852 14133010432 182194 33554432000 4194304 4196468 140729856150032 139772994493256 139773487437196 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=27142] ppid=26591 vsize=13801768 CPUtime=5.89 cores=0,2,4,6,8,10,12,14
/proc/26592/task/27142/stat : 27142 (java) R 26591 26591 15667 0 -1 4202560 1022 0 0 0 589 0 0 0 20 0 28 0 3980852 14133010432 182194 33554432000 4194304 4196468 140729856150032 139772997651144 139773487437196 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=27143] ppid=26591 vsize=13801768 CPUtime=5.89 cores=0,2,4,6,8,10,12,14
/proc/26592/task/27143/stat : 27143 (java) R 26591 26591 15667 0 -1 4202560 103 0 0 0 589 0 0 0 20 0 28 0 3980852 14133010432 182194 33554432000 4194304 4196468 140729856150032 139772996599368 139773493226614 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
[pid=26592/tid=27144] ppid=26591 vsize=13801768 CPUtime=5.86 cores=0,2,4,6,8,10,12,14
/proc/26592/task/27144/stat : 27144 (java) R 26591 26591 15667 0 -1 4202560 345 0 0 0 586 0 0 0 20 0 28 0 3980852 14133010432 182194 33554432000 4194304 4196468 140729856150032 139772993441224 139773487437248 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 20762624 140729856156860 140729856157036 140729856157036 140729856159695 0
Current children cumulated CPU time (s) 2400.19
Current children cumulated vsize (KiB) 13811280

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 26592 sig 9
??? kill 26591 sig 9
??? kill -26591 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26591 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=977
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=2322
# CPU time returned by wait4() is 0.003299
# while last known CPU time is 2400.19
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 305.828
CPU time (s): 2400.19
CPU user time (s): 2398.54
CPU system time (s): 1.65
CPU usage (%): 784.817
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000977
system time used= 0.002322
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.35816 second user time and 4.20556 second system time

The end

Begin job on node104 at 2017-07-22 03:26:52
IDJOB=4246194
IDBENCH=124232
IDSOLVER=2625
FILE ID=node104/4246194-1500686812
RUNJOBID= node104-1500684128-16796
PBS_JOBID= 20623031
Free space on /tmp= 62008 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t08-9.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246194-1500686812/watcher-4246194-1500686812 -o /tmp/evaluation-result-4246194-1500686812/solver-4246194-1500686812 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16796 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1979923250 HOME/instance-4246194-1500686812.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 4c656a32ec3c33e829e63e71b466a9e3
RANDOM SEED=1979923250

node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.12
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	: 8
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.57
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.12
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	: 8
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.57
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.12
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	: 8
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.57
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.12
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	: 8
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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	: 5334.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 5334.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 5334.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 5334.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
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	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31228876 kB
MemAvailable:   31306680 kB
Buffers:          162500 kB
Cached:           179940 kB
SwapCached:          256 kB
Active:           899392 kB
Inactive:         171052 kB
Active(anon):     683532 kB
Inactive(anon):    56372 kB
Active(file):     215860 kB
Inactive(file):   114680 kB
Unevictable:        5892 kB
Mlocked:            5892 kB
SwapTotal:      67108860 kB
SwapFree:       67105468 kB
Dirty:              7684 kB
Writeback:             0 kB
AnonPages:        822296 kB
Mapped:            42584 kB
Shmem:              8772 kB
Slab:             161408 kB
SReclaimable:     126200 kB
SUnreclaim:        35208 kB
KernelStack:        5136 kB
PageTables:         7484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1643164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    706560 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62000 MiB
End job on node104 at 2017-07-22 03:31:58