Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 | OPT | 579 | 853.878 | 847.692 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t08-0.xml |
MD5SUM | ed46a5b20d86f225200b9362bdb8a529 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 579 |
Best CPU time to get the best result obtained on this benchmark | 19.3887 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 7590 |
Number of constraints | 702 |
Number of domains | 11 |
Minimum domain size | 2 |
Maximum domain size | 166 |
Distribution of domain sizes | [{"size":2,"count":690},{"size":7,"count":690},{"size":56,"count":690},{"size":64,"count":690},{"size":75,"count":690},{"size":98,"count":690},{"size":120,"count":690},{"size":121,"count":690},{"size":141,"count":690},{"size":162,"count":690},{"size":166,"count":690}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":7590}] |
Minimum constraint arity | 11 |
Maximum constraint arity | 6900 |
Distribution of constraint arities | [{"arity":11,"count":690},{"arity":690,"count":11},{"arity":6900,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":700}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406539-1569397659.xml" -tl '2400s' -p 1 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406539-1569397659.xml, -tl, 2400s, -p, 1] 0.34/0.22 c simple solver 0.34/0.28 c parse instance... 1.76/0.75 c solve instance... 13.88/11.21 o 690 13.88/11.27 o 689 14.08/11.36 o 688 14.23/11.42 o 687 14.23/11.48 o 686 14.35/11.55 o 685 14.51/11.63 o 684 14.70/11.78 o 683 14.95/11.91 o 682 15.11/12.02 o 681 15.21/12.11 o 680 18.48/15.23 o 679 19.60/16.26 o 678 20.01/16.66 o 677 21.55/17.67 o 676 22.08/18.11 o 675 22.69/18.65 o 674 23.01/18.98 o 673 24.12/20.01 o 672 24.61/20.50 o 671 25.22/21.13 o 670 26.12/21.87 o 669 26.33/22.07 o 668 26.43/22.17 o 667 26.53/22.29 o 666 26.63/22.32 o 665 26.73/22.49 o 664 26.93/22.67 o 663 27.73/23.40 o 662 27.73/23.48 o 661 27.83/23.58 o 660 27.93/23.69 o 659 28.03/23.78 o 658 28.13/23.88 o 657 29.27/24.92 o 656 29.57/25.25 o 655 29.77/25.42 o 654 30.07/25.73 o 653 30.58/26.27 o 652 30.78/26.45 o 651 31.08/26.75 o 650 31.44/27.02 o 649 31.73/27.33 o 648 32.15/27.70 o 647 32.35/27.91 o 646 33.05/28.64 o 645 33.54/29.01 o 644 33.83/29.36 o 643 34.33/29.81 o 642 34.94/30.43 o 641 35.04/30.59 o 640 40.20/35.65 o 639 43.74/39.19 o 638 44.03/39.49 o 637 44.37/39.78 o 636 50.59/45.44 o 635 53.09/47.92 o 634 56.90/51.76 o 633 57.10/51.93 o 632 60.14/54.98 o 631 60.35/55.13 o 630 60.44/55.28 o 629 60.64/55.47 o 628 60.84/55.64 o 627 61.14/56.01 o 626 61.35/56.16 o 625 61.54/56.34 o 624 61.74/56.53 o 623 61.84/56.69 o 622 62.04/56.86 o 621 62.25/57.03 o 620 62.35/57.19 o 619 62.54/57.37 o 618 62.74/57.53 o 617 70.25/65.07 o 616 70.95/65.72 o 615 74.76/69.55 o 614 75.46/70.29 o 613 76.70/71.47 o 612 79.43/74.14 o 611 83.02/77.78 o 610 83.33/78.04 o 609 83.83/78.43 o 608 84.03/78.60 o 607 84.13/78.79 o 606 84.34/78.95 o 605 84.45/79.10 o 604 84.64/79.24 o 603 84.84/79.40 o 602 84.94/79.57 o 601 85.24/79.81 o 600 124.36/118.96 o 599 127.47/122.10 o 598 130.37/124.90 o 597 131.48/126.10 o 596 133.77/128.37 o 595 133.97/128.54 o 594 139.48/134.08 o 593 163.22/157.76 o 592 163.53/158.09 o 591 164.73/159.25 o 590 165.93/160.46 o 589 166.23/160.76 o 588 166.44/160.95 o 587 219.05/213.43 o 586 252.07/246.46 o 585 258.07/252.48 o 584 258.17/252.55 o 583 265.97/260.38 o 582 272.18/266.50 o 581 310.01/304.36 o 580 546.52/540.80 o 579 853.79/847.67 s OPTIMUM FOUND 853.79/847.67 v <instantiation> 853.79/847.67 v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] p[350] p[351] p[352] p[353] p[354] p[355] p[356] p[357] p[358] p[359] p[360] p[361] p[362] p[363] p[364] p[365] p[366] p[367] p[368] p[369] p[370] p[371] p[372] p[373] p[374] p[375] p[376] p[377] p[378] p[379] p[380] p[381] p[382] p[383] p[384] p[385] p[386] p[387] p[388] p[389] p[390] p[391] p[392] p[393] p[394] p[395] p[396] p[397] p[398] p[399] p[400] p[401] p[402] p[403] p[404] p[405] p[406] p[407] p[408] p[409] p[410] p[411] p[412] p[413] p[414] p[415] p[416] p[417] p[418] p[419] p[420] p[421] p[422] p[423] p[424] p[425] p[426] p[427] p[428] p[429] p[430] p[431] p[432] p[433] p[434] p[435] p[436] p[437] p[438] p[439] p[440] p[441] p[442] p[443] p[444] p[445] p[446] p[447] p[448] p[449] p[450] p[451] p[452] p[453] p[454] p[455] p[456] p[457] p[458] p[459] p[460] p[461] p[462] p[463] p[464] p[465] p[466] p[467] p[468] p[469] p[470] p[471] p[472] p[473] p[474] p[475] p[476] p[477] p[478] p[479] p[480] p[481] p[482] p[483] p[484] p[485] p[486] p[487] p[488] p[489] p[490] p[491] p[492] p[493] p[494] p[495] p[496] p[497] p[498] p[499] p[500] p[501] p[502] p[503] p[504] p[505] p[506] p[507] p[508] p[509] p[510] p[511] p[512] p[513] p[514] p[515] p[516] p[517] p[518] p[519] p[520] p[521] p[522] p[523] p[524] p[525] p[526] p[527] p[528] p[529] p[530] p[531] p[532] p[533] p[534] p[535] p[536] p[537] p[538] p[539] p[540] p[541] p[542] p[543] p[544] p[545] p[546] p[547] p[548] p[549] p[550] p[551] p[552] p[553] p[554] p[555] p[556] p[557] p[558] p[559] p[560] p[561] p[562] p[563] p[564] p[565] p[566] p[567] p[568] p[569] p[570] p[571] p[572] p[573] p[574] p[575] p[576] p[577] p[578] p[579] p[580] p[581] p[582] p[583] p[584] p[585] p[586] p[587] p[588] p[589] p[590] p[591] p[592] p[593] p[594] p[595] p[596] p[597] p[598] p[599] p[600] p[601] p[602] p[603] p[604] p[605] p[606] p[607] p[608] p[609] p[610] p[611] p[612] p[613] p[614] p[615] p[616] p[617] p[618] p[619] p[620] p[621] p[622] p[623] p[624] p[625] p[626] p[627] p[628] p[629] p[630] p[631] p[632] p[633] p[634] p[635] p[636] p[637] p[638] p[639] p[640] p[641] p[642] p[643] p[644] p[645] p[646] p[647] p[648] p[649] p[650] p[651] p[652] p[653] p[654] p[655] p[656] p[657] p[658] p[659] p[660] p[661] p[662] p[663] p[664] p[665] p[666] p[667] p[668] p[669] p[670] p[671] p[672] p[673] p[674] p[675] p[676] p[677] p[678] p[679] p[680] p[681] p[682] p[683] p[684] p[685] p[686] p[687] p[688] p[689] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[63][0] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[64][0] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[65][0] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[66][0] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[67][0] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[68][0] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[69][0] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[70][0] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[71][0] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[72][0] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[73][0] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[74][0] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[75][0] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[76][0] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[77][0] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[78][0] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[79][0] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[80][0] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[81][0] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[82][0] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[83][0] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[84][0] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[85][0] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[86][0] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[87][0] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[88][0] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[89][0] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][9] r[90][0] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[91][0] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[92][0] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[93][0] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[94][0] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[95][0] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[96][0] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[97][0] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[98][0] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[99][0] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][9] r[100][0] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9] r[101][0] r[101][1] r[101][2] r[101][3] r[101][4] r[101][5] r[101][6] r[101][7] r[101][8] r[101][9] r[102][0] r[102][1] r[102][2] r[102][3] r[102][4] r[102][5] r[102][6] r[102][7] r[102][8] r[102][9] r[103][0] r[103][1] r[103][2] r[103][3] r[103][4] r[103][5] r[103][6] r[103][7] r[103][8] r[103][9] r[104][0] r[104][1] r[104][2] r[104][3] r[104][4] r[104][5] r[104][6] r[104][7] r[104][8] r[104][9] r[105][0] r[105][1] r[105][2] r[105][3] r[105][4] r[105][5] r[105][6] r[105][7] r[105][8] r[105][9] r[106][0] r[106][1] r[106][2] r[106][3] r[106][4] r[106][5] r[106][6] r[106][7] r[106][8] r[106][9] r[107][0] r[107][1] r[107][2] r[107][3] r[107][4] r[107][5] r[107][6] r[107][7] r[107][8] r[107][9] r[108][0] r[108][1] r[108][2] r[108][3] r[108][4] r[108][5] r[108][6] r[108][7] r[108][8] r[108][9] r[109][0] r[109][1] r[109][2] r[109][3] r[109][4] r[109][5] r[109][6] r[109][7] r[109][8] r[109][9] r[110][0] r[110][1] r[110][2] r[110][3] r[110][4] r[110][5] r[110][6] r[110][7] r[110][8] r[110][9] r[111][0] r[111][1] r[111][2] r[111][3] r[111][4] r[111][5] r[111][6] r[111][7] r[111][8] r[111][9] r[112][0] r[112][1] r[112][2] r[112][3] r[112][4] r[112][5] r[112][6] r[112][7] r[112][8] r[112][9] r[113][0] r[113][1] r[113][2] r[113][3] r[113][4] r[113][5] r[113][6] r[113][7] r[113][8] r[113][9] r[114][0] r[114][1] r[114][2] r[114][3] r[114][4] r[114][5] r[114][6] r[114][7] r[114][8] r[114][9] r[115][0] r[115][1] r[115][2] r[115][3] r[115][4] r[115][5] r[115][6] r[115][7] r[115][8] r[115][9] r[116][0] r[116][1] r[116][2] r[116][3] r[116][4] r[116][5] r[116][6] r[116][7] r[116][8] r[116][9] r[117][0] r[117][1] r[117][2] r[117][3] r[117][4] r[117][5] r[117][6] r[117][7] r[117][8] r[117][9] r[118][0] r[118][1] r[118][2] r[118][3] r[118][4] r[118][5] r[118][6] r[118][7] r[118][8] r[118][9] r[119][0] r[119][1] r[119][2] r[119][3] r[119][4] r[119][5] r[119][6] r[119][7] r[119][8] r[119][9] r[120][0] r[120][1] r[120][2] r[120][3] r[120][4] r[120][5] r[120][6] r[120][7] r[120][8] r[120][9] r[121][0] r[121][1] r[121][2] r[121][3] r[121][4] r[121][5] r[121][6] r[121][7] r[121][8] r[121][9] r[122][0] r[122][1] r[122][2] r[122][3] r[122][4] r[122][5] r[122][6] r[122][7] r[122][8] r[122][9] r[123][0] r[123][1] r[123][2] r[123][3] r[123][4] r[123][5] r[123][6] r[123][7] r[123][8] r[123][9] r[124][0] r[124][1] r[124][2] r[124][3] r[124][4] r[124][5] r[124][6] r[124][7] r[124][8] r[124][9] r[125][0] r[125][1] r[125][2] r[125][3] r[125][4] r[125][5] r[125][6] r[125][7] r[125][8] r[125][9] r[126][0] r[126][1] r[126][2] r[126][3] r[126][4] r[126][5] r[126][6] r[126][7] r[126][8] r[126][9] r[127][0] r[127][1] r[127][2] r[127][3] r[127][4] r[127][5] r[127][6] r[127][7] r[127][8] r[127][9] r[128][0] r[128][1] r[128][2] r[128][3] r[128][4] r[128][5] r[128][6] r[128][7] r[128][8] r[128][9] r[129][0] r[129][1] r[129][2] r[129][3] r[129][4] r[129][5] r[129][6] r[129][7] r[129][8] r[129][9] r[130][0] r[130][1] r[130][2] r[130][3] r[130][4] r[130][5] r[130][6] r[130][7] r[130][8] r[130][9] r[131][0] r[131][1] r[131][2] r[131][3] r[131][4] r[131][5] r[131][6] r[131][7] r[131][8] r[131][9] r[132][0] r[132][1] r[132][2] r[132][3] r[132][4] r[132][5] r[132][6] r[132][7] r[132][8] r[132][9] r[133][0] r[133][1] r[133][2] r[133][3] r[133][4] r[133][5] r[133][6] r[133][7] r[133][8] r[133][9] r[134][0] r[134][1] r[134][2] r[134][3] r[134][4] r[134][5] r[134][6] r[134][7] r[134][8] r[134][9] r[135][0] r[135][1] r[135][2] r[135][3] r[135][4] r[135][5] r[135][6] r[135][7] r[135][8] r[135][9] r[136][0] r[136][1] r[136][2] r[136][3] r[136][4] r[136][5] r[136][6] r[136][7] r[136][8] r[136][9] r[137][0] r[137][1] r[137][2] r[137][3] r[137][4] r[137][5] r[137][6] r[137][7] r[137][8] r[137][9] r[138][0] r[138][1] r[138][2] r[138][3] r[138][4] r[138][5] r[138][6] r[138][7] r[138][8] r[138][9] r[139][0] r[139][1] r[139][2] r[139][3] r[139][4] r[139][5] r[139][6] r[139][7] r[139][8] r[139][9] r[140][0] r[140][1] r[140][2] r[140][3] r[140][4] r[140][5] r[140][6] r[140][7] r[140][8] r[140][9] r[141][0] r[141][1] r[141][2] r[141][3] r[141][4] r[141][5] r[141][6] r[141][7] r[141][8] r[141][9] r[142][0] r[142][1] r[142][2] r[142][3] r[142][4] r[142][5] r[142][6] r[142][7] r[142][8] r[142][9] r[143][0] r[143][1] r[143][2] r[143][3] r[143][4] r[143][5] r[143][6] r[143][7] r[143][8] r[143][9] r[144][0] r[144][1] r[144][2] r[144][3] r[144][4] r[144][5] r[144][6] r[144][7] r[144][8] r[144][9] r[145][0] r[145][1] r[145][2] r[145][3] r[145][4] r[145][5] r[145][6] r[145][7] r[145][8] r[145][9] r[146][0] r[146][1] r[146][2] r[146][3] r[146][4] r[146][5] r[146][6] r[146][7] r[146][8] r[146][9] r[147][0] r[147][1] r[147][2] r[147][3] r[147][4] r[147][5] r[147][6] r[147][7] r[147][8] r[147][9] r[148][0] r[148][1] r[148][2] r[148][3] r[148][4] r[148][5] r[148][6] r[148][7] r[148][8] r[148][9] r[149][0] r[149][1] r[149][2] r[149][3] r[149][4] r[149][5] r[149][6] r[149][7] r[149][8] r[149][9] r[150][0] r[150][1] r[150][2] r[150][3] r[150][4] r[150][5] r[150][6] r[150][7] r[150][8] r[150][9] r[151][0] r[151][1] r[151][2] r[151][3] r[151][4] r[151][5] r[151][6] r[151][7] r[151][8] r[151][9] r[152][0] r[152][1] r[152][2] r[152][3] r[152][4] r[152][5] r[152][6] r[152][7] r[152][8] r[152][9] r[153][0] r[153][1] r[153][2] r[153][3] r[153][4] r[153][5] r[153][6] r[153][7] r[153][8] r[153][9] r[154][0] r[154][1] r[154][2] r[154][3] r[154][4] r[154][5] r[154][6] r[154][7] r[154][8] r[154][9] r[155][0] r[155][1] r[155][2] r[155][3] r[155][4] r[155][5] r[155][6] r[155][7] r[155][8] r[155][9] r[156][0] r[156][1] r[156][2] r[156][3] r[156][4] r[156][5] r[156][6] r[156][7] r[156][8] r[156][9] r[157][0] r[157][1] r[157][2] r[157][3] r[157][4] r[157][5] r[157][6] r[157][7] r[157][8] r[157][9] r[158][0] r[158][1] r[158][2] r[158][3] r[158][4] r[158][5] r[158][6] r[158][7] r[158][8] r[158][9] r[159][0] r[159][1] r[159][2] r[159][3] r[159][4] r[159][5] r[159][6] r[159][7] r[159][8] r[159][9] r[160][0] r[160][1] r[160][2] r[160][3] r[160][4] r[160][5] r[160][6] r[160][7] r[160][8] r[160][9] r[161][0] r[161][1] r[161][2] r[161][3] r[161][4] r[161][5] r[161][6] r[161][7] r[161][8] r[161][9] r[162][0] r[162][1] r[162][2] r[162][3] r[162][4] r[162][5] r[162][6] r[162][7] r[162][8] r[162][9] r[163][0] r[163][1] r[163][2] r[163][3] r[163][4] r[163][5] r[163][6] r[163][7] r[163][8] r[163][9] r[164][0] r[164][1] r[164][2] r[164][3] r[164][4] r[164][5] r[164][6] r[164][7] r[164][8] r[164][9] r[165][0] r[165][1] r[165][2] r[165][3] r[165][4] r[165][5] r[165][6] r[165][7] r[165][8] r[165][9] r[166][0] r[166][1] r[166][2] r[166][3] r[166][4] r[166][5] r[166][6] r[166][7] r[166][8] r[166][9] r[167][0] r[167][1] r[167][2] r[167][3] r[167][4] r[167][5] r[167][6] r[167][7] r[167][8] r[167][9] r[168][0] r[168][1] r[168][2] r[168][3] r[168][4] r[168][5] r[168][6] r[168][7] r[168][8] r[168][9] r[169][0] r[169][1] r[169][2] r[169][3] r[169][4] r[169][5] r[169][6] r[169][7] r[169][8] r[169][9] r[170][0] r[170][1] r[170][2] r[170][3] r[170][4] r[170][5] r[170][6] r[170][7] r[170][8] r[170][9] r[171][0] r[171][1] r[171][2] r[171][3] r[171][4] r[171][5] r[171][6] r[171][7] r[171][8] r[171][9] r[172][0] r[172][1] r[172][2] r[172][3] r[172][4] r[172][5] r[172][6] r[172][7] r[172][8] r[172][9] r[173][0] r[173][1] r[173][2] r[173][3] r[173][4] r[173][5] r[173][6] r[173][7] r[173][8] r[173][9] r[174][0] r[174][1] r[174][2] r[174][3] r[174][4] r[174][5] r[174][6] r[174][7] r[174][8] r[174][9] r[175][0] r[175][1] r[175][2] r[175][3] r[175][4] r[175][5] r[175][6] r[175][7] r[175][8] r[175][9] r[176][0] r[176][1] r[176][2] r[176][3] r[176][4] r[176][5] r[176][6] r[176][7] r[176][8] r[176][9] r[177][0] r[177][1] r[177][2] r[177][3] r[177][4] r[177][5] r[177][6] r[177][7] r[177][8] r[177][9] r[178][0] r[178][1] r[178][2] r[178][3] r[178][4] r[178][5] r[178][6] r[178][7] r[178][8] r[178][9] r[179][0] r[179][1] r[179][2] r[179][3] r[179][4] r[179][5] r[179][6] r[179][7] r[179][8] r[179][9] r[180][0] r[180][1] r[180][2] r[180][3] r[180][4] r[180][5] r[180][6] r[180][7] r[180][8] r[180][9] r[181][0] r[181][1] r[181][2] r[181][3] r[181][4] r[181][5] r[181][6] r[181][7] r[181][8] r[181][9] r[182][0] r[182][1] r[182][2] r[182][3] r[182][4] r[182][5] r[182][6] r[182][7] r[182][8] r[182][9] r[183][0] r[183][1] r[183][2] r[183][3] r[183][4] r[183][5] r[183][6] r[183][7] r[183][8] r[183][9] r[184][0] r[184][1] r[184][2] r[184][3] r[184][4] r[184][5] r[184][6] r[184][7] r[184][8] r[184][9] r[185][0] r[185][1] r[185][2] r[185][3] r[185][4] r[185][5] r[185][6] r[185][7] r[185][8] r[185][9] r[186][0] r[186][1] r[186][2] r[186][3] r[186][4] r[186][5] r[186][6] r[186][7] r[186][8] r[186][9] r[187][0] r[187][1] r[187][2] r[187][3] r[187][4] r[187][5] r[187][6] r[187][7] r[187][8] r[187][9] r[188][0] r[188][1] r[188][2] r[188][3] r[188][4] r[188][5] r[188][6] r[188][7] r[188][8] r[188][9] r[189][0] r[189][1] r[189][2] r[189][3] r[189][4] r[189][5] r[189][6] r[189][7] r[189][8] r[189][9] r[190][0] r[190][1] r[190][2] r[190][3] r[190][4] r[190][5] r[190][6] r[190][7] r[190][8] r[190][9] r[191][0] r[191][1] r[191][2] r[191][3] r[191][4] r[191][5] r[191][6] r[191][7] r[191][8] r[191][9] r[192][0] r[192][1] r[192][2] r[192][3] r[192][4] r[192][5] r[192][6] r[192][7] r[192][8] r[192][9] r[193][0] r[193][1] r[193][2] r[193][3] r[193][4] r[193][5] r[193][6] r[193][7] r[193][8] r[193][9] r[194][0] r[194][1] r[194][2] r[194][3] r[194][4] r[194][5] r[194][6] r[194][7] r[194][8] r[194][9] r[195][0] r[195][1] r[195][2] r[195][3] r[195][4] r[195][5] r[195][6] r[195][7] r[195][8] r[195][9] r[196][0] r[196][1] r[196][2] r[196][3] r[196][4] r[196][5] r[196][6] r[196][7] r[196][8] r[196][9] r[197][0] r[197][1] r[197][2] r[197][3] r[197][4] r[197][5] r[197][6] r[197][7] r[197][8] r[197][9] r[198][0] r[198][1] r[198][2] r[198][3] r[198][4] r[198][5] r[198][6] r[198][7] r[198][8] r[198][9] r[199][0] r[199][1] r[199][2] r[199][3] r[199][4] r[199][5] r[199][6] r[199][7] r[199][8] r[199][9] r[200][0] r[200][1] r[200][2] r[200][3] r[200][4] r[200][5] r[200][6] r[200][7] r[200][8] r[200][9] r[201][0] r[201][1] r[201][2] r[201][3] r[201][4] r[201][5] r[201][6] r[201][7] r[201][8] r[201][9] r[202][0] r[202][1] r[202][2] r[202][3] r[202][4] r[202][5] r[202][6] r[202][7] r[202][8] r[202][9] r[203][0] r[203][1] r[203][2] r[203][3] r[203][4] r[203][5] r[203][6] r[203][7] r[203][8] r[203][9] r[204][0] r[204][1] r[204][2] r[204][3] r[204][4] r[204][5] r[204][6] r[204][7] r[204][8] r[204][9] r[205][0] r[205][1] r[205][2] r[205][3] r[205][4] r[205][5] r[205][6] r[205][7] r[205][8] r[205][9] r[206][0] r[206][1] r[206][2] r[206][3] r[206][4] r[206][5] r[206][6] r[206][7] r[206][8] r[206][9] r[207][0] r[207][1] r[207][2] r[207][3] r[207][4] r[207][5] r[207][6] r[207][7] r[207][8] r[207][9] r[208][0] r[208][1] r[208][2] r[208][3] r[208][4] r[208][5] r[208][6] r[208][7] r[208][8] r[208][9] r[209][0] r[209][1] r[209][2] r[209][3] r[209][4] r[209][5] r[209][6] r[209][7] r[209][8] r[209][9] r[210][0] r[210][1] r[210][2] r[210][3] r[210][4] r[210][5] r[210][6] r[210][7] r[210][8] r[210][9] r[211][0] r[211][1] r[211][2] r[211][3] r[211][4] r[211][5] r[211][6] r[211][7] r[211][8] r[211][9] r[212][0] r[212][1] r[212][2] r[212][3] r[212][4] r[212][5] r[212][6] r[212][7] r[212][8] r[212][9] r[213][0] r[213][1] r[213][2] r[213][3] r[213][4] r[213][5] r[213][6] r[213][7] r[213][8] r[213][9] r[214][0] r[214][1] r[214][2] r[214][3] r[214][4] r[214][5] r[214][6] r[214][7] r[214][8] r[214][9] r[215][0] r[215][1] r[215][2] r[215][3] r[215][4] r[215][5] r[215][6] r[215][7] r[215][8] r[215][9] r[216][0] r[216][1] r[216][2] r[216][3] r[216][4] r[216][5] r[216][6] r[216][7] r[216][8] r[216][9] r[217][0] r[217][1] r[217][2] r[217][3] r[217][4] r[217][5] r[217][6] r[217][7] r[217][8] r[217][9] r[218][0] r[218][1] r[218][2] r[218][3] r[218][4] r[218][5] r[218][6] r[218][7] r[218][8] r[218][9] r[219][0] r[219][1] r[219][2] r[219][3] r[219][4] r[219][5] r[219][6] r[219][7] r[219][8] r[219][9] r[220][0] r[220][1] r[220][2] r[220][3] r[220][4] r[220][5] r[220][6] r[220][7] r[220][8] r[220][9] r[221][0] r[221][1] r[221][2] r[221][3] r[221][4] r[221][5] r[221][6] r[221][7] r[221][8] r[221][9] r[222][0] r[222][1] r[222][2] r[222][3] r[222][4] r[222][5] r[222][6] r[222][7] r[222][8] r[222][9] r[223][0] r[223][1] r[223][2] r[223][3] r[223][4] r[223][5] r[223][6] r[223][7] r[223][8] r[223][9] r[224][0] r[224][1] r[224][2] r[224][3] r[224][4] r[224][5] r[224][6] r[224][7] r[224][8] r[224][9] r[225][0] r[225][1] r[225][2] r[225][3] r[225][4] r[225][5] r[225][6] r[225][7] r[225][8] r[225][9] r[226][0] r[226][1] r[226][2] r[226][3] r[226][4] r[226][5] r[226][6] r[226][7] r[226][8] r[226][9] r[227][0] r[227][1] r[227][2] r[227][3] r[227][4] r[227][5] r[227][6] r[227][7] r[227][8] r[227][9] r[228][0] r[228][1] r[228][2] r[228][3] r[228][4] r[228][5] r[228][6] r[228][7] r[228][8] r[228][9] r[229][0] r[229][1] r[229][2] r[229][3] r[229][4] r[229][5] r[229][6] r[229][7] r[229][8] r[229][9] r[230][0] r[230][1] r[230][2] r[230][3] r[230][4] r[230][5] r[230][6] r[230][7] r[230][8] r[230][9] r[231][0] r[231][1] r[231][2] r[231][3] r[231][4] r[231][5] r[231][6] r[231][7] r[231][8] r[231][9] r[232][0] r[232][1] r[232][2] r[232][3] r[232][4] r[232][5] r[232][6] r[232][7] r[232][8] r[232][9] r[233][0] r[233][1] r[233][2] r[233][3] r[233][4] r[233][5] r[233][6] r[233][7] r[233][8] r[233][9] r[234][0] r[234][1] r[234][2] r[234][3] r[234][4] r[234][5] r[234][6] r[234][7] r[234][8] r[234][9] r[235][0] r[235][1] r[235][2] r[235][3] r[235][4] r[235][5] r[235][6] r[235][7] r[235][8] r[235][9] r[236][0] r[236][1] r[236][2] r[236][3] r[236][4] r[236][5] r[236][6] r[236][7] r[236][8] r[236][9] r[237][0] r[237][1] r[237][2] r[237][3] r[237][4] r[237][5] r[237][6] r[237][7] r[237][8] r[237][9] r[238][0] r[238][1] r[238][2] r[238][3] r[238][4] r[238][5] r[238][6] r[238][7] r[238][8] r[238][9] r[239][0] r[239][1] r[239][2] r[239][3] r[239][4] r[239][5] r[239][6] r[239][7] r[239][8] r[239][9] r[240][0] r[240][1] r[240][2] r[240][3] r[240][4] r[240][5] r[240][6] r[240][7] r[240][8] r[240][9] r[241][0] r[241][1] r[241][2] r[241][3] r[241][4] r[241][5] r[241][6] r[241][7] r[241][8] r[241][9] r[242][0] r[242][1] r[242][2] r[242][3] r[242][4] r[242][5] r[242][6] r[242][7] r[242][8] r[242][9] r[243][0] r[243][1] r[243][2] r[243][3] r[243][4] r[243][5] r[243][6] r[243][7] r[243][8] r[243][9] r[244][0] r[244][1] r[244][2] r[244][3] r[244][4] r[244][5] r[244][6] r[244][7] r[244][8] r[244][9] r[245][0] r[245][1] r[245][2] r[245][3] r[245][4] r[245][5] r[245][6] r[245][7] r[245][8] r[245][9] r[246][0] r[246][1] r[246][2] r[246][3] r[246][4] r[246][5] r[246][6] r[246][7] r[246][8] r[246][9] r[247][0] r[247][1] r[247][2] r[247][3] r[247][4] r[247][5] r[247][6] r[247][7] r[247][8] r[247][9] r[248][0] r[248][1] r[248][2] r[248][3] r[248][4] r[248][5] r[248][6] r[248][7] r[248][8] r[248][9] r[249][0] r[249][1] r[249][2] r[249][3] r[249][4] r[249][5] r[249][6] r[249][7] r[249][8] r[249][9] r[250][0] r[250][1] r[250][2] r[250][3] r[250][4] r[250][5] r[250][6] r[250][7] r[250][8] r[250][9] r[251][0] r[251][1] r[251][2] r[251][3] r[251][4] r[251][5] r[251][6] r[251][7] r[251][8] r[251][9] r[252][0] r[252][1] r[252][2] r[252][3] r[252][4] r[252][5] r[252][6] r[252][7] r[252][8] r[252][9] r[253][0] r[253][1] r[253][2] r[253][3] r[253][4] r[253][5] r[253][6] r[253][7] r[253][8] r[253][9] r[254][0] r[254][1] r[254][2] r[254][3] r[254][4] r[254][5] r[254][6] r[254][7] r[254][8] r[254][9] r[255][0] r[255][1] r[255][2] r[255][3] r[255][4] r[255][5] r[255][6] r[255][7] r[255][8] r[255][9] r[256][0] r[256][1] r[256][2] r[256][3] r[256][4] r[256][5] r[256][6] r[256][7] r[256][8] r[256][9] r[257][0] r[257][1] r[257][2] r[257][3] r[257][4] r[257][5] r[257][6] r[257][7] r[257][8] r[257][9] r[258][0] r[258][1] r[258][2] r[258][3] r[258][4] r[258][5] r[258][6] r[258][7] r[258][8] r[258][9] r[259][0] r[259][1] r[259][2] r[259][3] r[259][4] r[259][5] r[259][6] r[259][7] r[259][8] r[259][9] r[260][0] r[260][1] r[260][2] r[260][3] r[260][4] r[260][5] r[260][6] r[260][7] r[260][8] r[260][9] r[261][0] r[261][1] r[261][2] r[261][3] r[261][4] r[261][5] r[261][6] r[261][7] r[261][8] r[261][9] r[262][0] r[262][1] r[262][2] r[262][3] r[262][4] r[262][5] r[262][6] r[262][7] r[262][8] r[262][9] r[263][0] r[263][1] r[263][2] r[263][3] r[263][4] r[263][5] r[263][6] r[263][7] r[263][8] r[263][9] r[264][0] r[264][1] r[264][2] r[264][3] r[264][4] r[264][5] r[264][6] r[264][7] r[264][8] r[264][9] r[265][0] r[265][1] r[265][2] r[265][3] r[265][4] r[265][5] r[265][6] r[265][7] r[265][8] r[265][9] r[266][0] r[266][1] r[266][2] r[266][3] r[266][4] r[266][5] r[266][6] r[266][7] r[266][8] r[266][9] r[267][0] r[267][1] r[267][2] r[267][3] r[267][4] r[267][5] r[267][6] r[267][7] r[267][8] r[267][9] r[268][0] r[268][1] r[268][2] r[268][3] r[268][4] r[268][5] r[268][6] r[268][7] r[268][8] r[268][9] r[269][0] r[269][1] r[269][2] r[269][3] r[269][4] r[269][5] r[269][6] r[269][7] r[269][8] r[269][9] r[270][0] r[270][1] r[270][2] r[270][3] r[270][4] r[270][5] r[270][6] r[270][7] r[270][8] r[270][9] r[271][0] r[271][1] r[271][2] r[271][3] r[271][4] r[271][5] r[271][6] r[271][7] r[271][8] r[271][9] r[272][0] r[272][1] r[272][2] r[272][3] r[272][4] r[272][5] r[272][6] r[272][7] r[272][8] r[272][9] r[273][0] r[273][1] r[273][2] r[273][3] r[273][4] r[273][5] r[273][6] r[273][7] r[273][8] r[273][9] r[274][0] r[274][1] r[274][2] r[274][3] r[274][4] r[274][5] r[274][6] r[274][7] r[274][8] r[274][9] r[275][0] r[275][1] r[275][2] r[275][3] r[275][4] r[275][5] r[275][6] r[275][7] r[275][8] r[275][9] r[276][0] r[276][1] r[276][2] r[276][3] r[276][4] r[276][5] r[276][6] r[276][7] r[276][8] r[276][9] r[277][0] r[277][1] r[277][2] r[277][3] r[277][4] r[277][5] r[277][6] r[277][7] r[277][8] r[277][9] r[278][0] r[278][1] r[278][2] r[278][3] r[278][4] r[278][5] r[278][6] r[278][7] r[278][8] r[278][9] r[279][0] r[279][1] r[279][2] r[279][3] r[279][4] r[279][5] r[279][6] r[279][7] r[279][8] r[279][9] r[280][0] r[280][1] r[280][2] r[280][3] r[280][4] r[280][5] r[280][6] r[280][7] r[280][8] r[280][9] r[281][0] r[281][1] r[281][2] r[281][3] r[281][4] r[281][5] r[281][6] r[281][7] r[281][8] r[281][9] r[282][0] r[282][1] r[282][2] r[282][3] r[282][4] r[282][5] r[282][6] r[282][7] r[282][8] r[282][9] r[283][0] r[283][1] r[283][2] r[283][3] r[283][4] r[283][5] r[283][6] r[283][7] r[283][8] r[283][9] r[284][0] r[284][1] r[284][2] r[284][3] r[284][4] r[284][5] r[284][6] r[284][7] r[284][8] r[284][9] r[285][0] r[285][1] r[285][2] r[285][3] r[285][4] r[285][5] r[285][6] r[285][7] r[285][8] r[285][9] r[286][0] r[286][1] r[286][2] r[286][3] r[286][4] r[286][5] r[286][6] r[286][7] r[286][8] r[286][9] r[287][0] r[287][1] r[287][2] r[287][3] r[287][4] r[287][5] r[287][6] r[287][7] r[287][8] r[287][9] r[288][0] r[288][1] r[288][2] r[288][3] r[288][4] r[288][5] r[288][6] r[288][7] r[288][8] r[288][9] r[289][0] r[289][1] r[289][2] r[289][3] r[289][4] r[289][5] r[289][6] r[289][7] r[289][8] r[289][9] r[290][0] r[290][1] r[290][2] r[290][3] r[290][4] r[290][5] r[290][6] r[290][7] r[290][8] r[290][9] r[291][0] r[291][1] r[291][2] r[291][3] r[291][4] r[291][5] r[291][6] r[291][7] r[291][8] r[291][9] r[292][0] r[292][1] r[292][2] r[292][3] r[292][4] r[292][5] r[292][6] r[292][7] r[292][8] r[292][9] r[293][0] r[293][1] r[293][2] r[293][3] r[293][4] r[293][5] r[293][6] r[293][7] r[293][8] r[293][9] r[294][0] r[294][1] r[294][2] r[294][3] r[294][4] r[294][5] r[294][6] r[294][7] r[294][8] r[294][9] r[295][0] r[295][1] r[295][2] r[295][3] r[295][4] r[295][5] r[295][6] r[295][7] r[295][8] r[295][9] r[296][0] r[296][1] r[296][2] r[296][3] r[296][4] r[296][5] r[296][6] r[296][7] r[296][8] r[296][9] r[297][0] r[297][1] r[297][2] r[297][3] r[297][4] r[297][5] r[297][6] r[297][7] r[297][8] r[297][9] r[298][0] r[298][1] r[298][2] r[298][3] r[298][4] r[298][5] r[298][6] r[298][7] r[298][8] r[298][9] r[299][0] r[299][1] r[299][2] r[299][3] r[299][4] r[299][5] r[299][6] r[299][7] r[299][8] r[299][9] r[300][0] r[300][1] r[300][2] r[300][3] r[300][4] r[300][5] r[300][6] r[300][7] r[300][8] r[300][9] r[301][0] r[301][1] r[301][2] r[301][3] r[301][4] r[301][5] r[301][6] r[301][7] r[301][8] r[301][9] r[302][0] r[302][1] r[302][2] r[302][3] r[302][4] r[302][5] r[302][6] r[302][7] r[302][8] r[302][9] r[303][0] r[303][1] r[303][2] r[303][3] r[303][4] r[303][5] r[303][6] r[303][7] r[303][8] r[303][9] r[304][0] r[304][1] r[304][2] r[304][3] r[304][4] r[304][5] r[304][6] r[304][7] r[304][8] r[304][9] r[305][0] r[305][1] r[305][2] r[305][3] r[305][4] r[305][5] r[305][6] r[305][7] r[305][8] r[305][9] r[306][0] r[306][1] r[306][2] r[306][3] r[306][4] r[306][5] r[306][6] r[306][7] r[306][8] r[306][9] r[307][0] r[307][1] r[307][2] r[307][3] r[307][4] r[307][5] r[307][6] r[307][7] r[307][8] r[307][9] r[308][0] r[308][1] r[308][2] r[308][3] r[308][4] r[308][5] r[308][6] r[308][7] r[308][8] r[308][9] r[309][0] r[309][1] r[309][2] r[309][3] r[309][4] r[309][5] r[309][6] r[309][7] r[309][8] r[309][9] r[310][0] r[310][1] r[310][2] r[310][3] r[310][4] r[310][5] r[310][6] r[310][7] r[310][8] r[310][9] r[311][0] r[311][1] r[311][2] r[311][3] r[311][4] r[311][5] r[311][6] r[311][7] r[311][8] r[311][9] r[312][0] r[312][1] r[312][2] r[312][3] r[312][4] r[312][5] r[312][6] r[312][7] r[312][8] r[312][9] r[313][0] r[313][1] r[313][2] r[313][3] r[313][4] r[313][5] r[313][6] r[313][7] r[313][8] r[313][9] r[314][0] r[314][1] r[314][2] r[314][3] r[314][4] r[314][5] r[314][6] r[314][7] r[314][8] r[314][9] r[315][0] r[315][1] r[315][2] r[315][3] r[315][4] r[315][5] r[315][6] r[315][7] r[315][8] r[315][9] r[316][0] r[316][1] r[316][2] r[316][3] r[316][4] r[316][5] r[316][6] r[316][7] r[316][8] r[316][9] r[317][0] r[317][1] r[317][2] r[317][3] r[317][4] r[317][5] r[317][6] r[317][7] r[317][8] r[317][9] r[318][0] r[318][1] r[318][2] r[318][3] r[318][4] r[318][5] r[318][6] r[318][7] r[318][8] r[318][9] r[319][0] r[319][1] r[319][2] r[319][3] r[319][4] r[319][5] r[319][6] r[319][7] r[319][8] r[319][9] r[320][0] r[320][1] r[320][2] r[320][3] r[320][4] r[320][5] r[320][6] r[320][7] r[320][8] r[320][9] r[321][0] r[321][1] r[321][2] r[321][3] r[321][4] r[321][5] r[321][6] r[321][7] r[321][8] r[321][9] r[322][0] r[322][1] r[322][2] r[322][3] r[322][4] r[322][5] r[322][6] r[322][7] r[322][8] r[322][9] r[323][0] r[323][1] r[323][2] r[323][3] r[323][4] r[323][5] r[323][6] r[323][7] r[323][8] r[323][9] r[324][0] r[324][1] r[324][2] r[324][3] r[324][4] r[324][5] r[324][6] r[324][7] r[324][8] r[324][9] r[325][0] r[325][1] r[325][2] r[325][3] r[325][4] r[325][5] r[325][6] r[325][7] r[325][8] r[325][9] r[326][0] r[326][1] r[326][2] r[326][3] r[326][4] r[326][5] r[326][6] r[326][7] r[326][8] r[326][9] r[327][0] r[327][1] r[327][2] r[327][3] r[327][4] r[327][5] r[327][6] r[327][7] r[327][8] r[327][9] r[328][0] r[328][1] r[328][2] r[328][3] r[328][4] r[328][5] r[328][6] r[328][7] r[328][8] r[328][9] r[329][0] r[329][1] r[329][2] r[329][3] r[329][4] r[329][5] r[329][6] r[329][7] r[329][8] r[329][9] r[330][0] r[330][1] r[330][2] r[330][3] r[330][4] r[330][5] r[330][6] r[330][7] r[330][8] r[330][9] r[331][0] r[331][1] r[331][2] r[331][3] r[331][4] r[331][5] r[331][6] r[331][7] r[331][8] r[331][9] r[332][0] r[332][1] r[332][2] r[332][3] r[332][4] r[332][5] r[332][6] r[332][7] r[332][8] r[332][9] r[333][0] r[333][1] r[333][2] r[333][3] r[333][4] r[333][5] r[333][6] r[333][7] r[333][8] r[333][9] r[334][0] r[334][1] r[334][2] r[334][3] r[334][4] r[334][5] r[334][6] r[334][7] r[334][8] r[334][9] r[335][0] r[335][1] r[335][2] r[335][3] r[335][4] r[335][5] r[335][6] r[335][7] r[335][8] r[335][9] r[336][0] r[336][1] r[336][2] r[336][3] r[336][4] r[336][5] r[336][6] r[336][7] r[336][8] r[336][9] r[337][0] r[337][1] r[337][2] r[337][3] r[337][4] r[337][5] r[337][6] r[337][7] r[337][8] r[337][9] r[338][0] r[338][1] r[338][2] r[338][3] r[338][4] r[338][5] r[338][6] r[338][7] r[338][8] r[338][9] r[339][0] r[339][1] r[339][2] r[339][3] r[339][4] r[339][5] r[339][6] r[339][7] r[339][8] r[339][9] r[340][0] r[340][1] r[340][2] r[340][3] r[340][4] r[340][5] r[340][6] r[340][7] r[340][8] r[340][9] r[341][0] r[341][1] r[341][2] r[341][3] r[341][4] r[341][5] r[341][6] r[341][7] r[341][8] r[341][9] r[342][0] r[342][1] r[342][2] r[342][3] r[342][4] r[342][5] r[342][6] r[342][7] r[342][8] r[342][9] r[343][0] r[343][1] r[343][2] r[343][3] r[343][4] r[343][5] r[343][6] r[343][7] r[343][8] r[343][9] r[344][0] r[344][1] r[344][2] r[344][3] r[344][4] r[344][5] r[344][6] r[344][7] r[344][8] r[344][9] r[345][0] r[345][1] r[345][2] r[345][3] r[345][4] r[345][5] r[345][6] r[345][7] r[345][8] r[345][9] r[346][0] r[346][1] r[346][2] r[346][3] r[346][4] r[346][5] r[346][6] r[346][7] r[346][8] r[346][9] r[347][0] r[347][1] r[347][2] r[347][3] r[347][4] r[347][5] r[347][6] r[347][7] r[347][8] r[347][9] r[348][0] r[348][1] r[348][2] r[348][3] r[348][4] r[348][5] r[348][6] r[348][7] r[348][8] r[348][9] r[349][0] r[349][1] r[349][2] r[349][3] r[349][4] r[349][5] r[349][6] r[349][7] r[349][8] r[349][9] r[350][0] r[350][1] r[350][2] r[350][3] r[350][4] r[350][5] r[350][6] r[350][7] r[350][8] r[350][9] r[351][0] r[351][1] r[351][2] r[351][3] r[351][4] r[351][5] r[351][6] r[351][7] r[351][8] r[351][9] r[352][0] r[352][1] r[352][2] r[352][3] r[352][4] r[352][5] r[352][6] r[352][7] r[352][8] r[352][9] r[353][0] r[353][1] r[353][2] r[353][3] r[353][4] r[353][5] r[353][6] r[353][7] r[353][8] r[353][9] r[354][0] r[354][1] r[354][2] r[354][3] r[354][4] r[354][5] r[354][6] r[354][7] r[354][8] r[354][9] r[355][0] r[355][1] r[355][2] r[355][3] r[355][4] r[355][5] r[355][6] r[355][7] r[355][8] r[355][9] r[356][0] r[356][1] r[356][2] r[356][3] r[356][4] r[356][5] r[356][6] r[356][7] r[356][8] r[356][9] r[357][0] r[357][1] r[357][2] r[357][3] r[357][4] r[357][5] r[357][6] r[357][7] r[357][8] r[357][9] r[358][0] r[358][1] r[358][2] r[358][3] r[358][4] r[358][5] r[358][6] r[358][7] r[358][8] r[358][9] r[359][0] r[359][1] r[359][2] r[359][3] r[359][4] r[359][5] r[359][6] r[359][7] r[359][8] r[359][9] r[360][0] r[360][1] r[360][2] r[360][3] r[360][4] r[360][5] r[360][6] r[360][7] r[360][8] r[360][9] r[361][0] r[361][1] r[361][2] r[361][3] r[361][4] r[361][5] r[361][6] r[361][7] r[361][8] r[361][9] r[362][0] r[362][1] r[362][2] r[362][3] r[362][4] r[362][5] r[362][6] r[362][7] r[362][8] r[362][9] r[363][0] r[363][1] r[363][2] r[363][3] r[363][4] r[363][5] r[363][6] r[363][7] r[363][8] r[363][9] r[364][0] r[364][1] r[364][2] r[364][3] r[364][4] r[364][5] r[364][6] r[364][7] r[364][8] r[364][9] r[365][0] r[365][1] r[365][2] r[365][3] r[365][4] r[365][5] r[365][6] r[365][7] r[365][8] r[365][9] r[366][0] r[366][1] r[366][2] r[366][3] r[366][4] r[366][5] r[366][6] r[366][7] r[366][8] r[366][9] r[367][0] r[367][1] r[367][2] r[367][3] r[367][4] r[367][5] r[367][6] r[367][7] r[367][8] r[367][9] r[368][0] r[368][1] r[368][2] r[368][3] r[368][4] r[368][5] r[368][6] r[368][7] r[368][8] r[368][9] r[369][0] r[369][1] r[369][2] r[369][3] r[369][4] r[369][5] r[369][6] r[369][7] r[369][8] r[369][9] r[370][0] r[370][1] r[370][2] r[370][3] r[370][4] r[370][5] r[370][6] r[370][7] r[370][8] r[370][9] r[371][0] r[371][1] r[371][2] r[371][3] r[371][4] r[371][5] r[371][6] r[371][7] r[371][8] r[371][9] r[372][0] r[372][1] r[372][2] r[372][3] r[372][4] r[372][5] r[372][6] r[372][7] r[372][8] r[372][9] r[373][0] r[373][1] r[373][2] r[373][3] r[373][4] r[373][5] r[373][6] r[373][7] r[373][8] r[373][9] r[374][0] r[374][1] r[374][2] r[374][3] r[374][4] r[374][5] r[374][6] r[374][7] r[374][8] r[374][9] r[375][0] r[375][1] r[375][2] r[375][3] r[375][4] r[375][5] r[375][6] r[375][7] r[375][8] r[375][9] r[376][0] r[376][1] r[376][2] r[376][3] r[376][4] r[376][5] r[376][6] r[376][7] r[376][8] r[376][9] r[377][0] r[377][1] r[377][2] r[377][3] r[377][4] r[377][5] r[377][6] r[377][7] r[377][8] r[377][9] r[378][0] r[378][1] r[378][2] r[378][3] r[378][4] r[378][5] r[378][6] r[378][7] r[378][8] r[378][9] r[379][0] r[379][1] r[379][2] r[379][3] r[379][4] r[379][5] r[379][6] r[379][7] r[379][8] r[379][9] r[380][0] r[380][1] r[380][2] r[380][3] r[380][4] r[380][5] r[380][6] r[380][7] r[380][8] r[380][9] r[381][0] r[381][1] r[381][2] r[381][3] r[381][4] r[381][5] r[381][6] r[381][7] r[381][8] r[381][9] r[382][0] r[382][1] r[382][2] r[382][3] r[382][4] r[382][5] r[382][6] r[382][7] r[382][8] r[382][9] r[383][0] r[383][1] r[383][2] r[383][3] r[383][4] r[383][5] r[383][6] r[383][7] r[383][8] r[383][9] r[384][0] r[384][1] r[384][2] r[384][3] r[384][4] r[384][5] r[384][6] r[384][7] r[384][8] r[384][9] r[385][0] r[385][1] r[385][2] r[385][3] r[385][4] r[385][5] r[385][6] r[385][7] r[385][8] r[385][9] r[386][0] r[386][1] r[386][2] r[386][3] r[386][4] r[386][5] r[386][6] r[386][7] r[386][8] r[386][9] r[387][0] r[387][1] r[387][2] r[387][3] r[387][4] r[387][5] r[387][6] r[387][7] r[387][8] r[387][9] r[388][0] r[388][1] r[388][2] r[388][3] r[388][4] r[388][5] r[388][6] r[388][7] r[388][8] r[388][9] r[389][0] r[389][1] r[389][2] r[389][3] r[389][4] r[389][5] r[389][6] r[389][7] r[389][8] r[389][9] r[390][0] r[390][1] r[390][2] r[390][3] r[390][4] r[390][5] r[390][6] r[390][7] r[390][8] r[390][9] r[391][0] r[391][1] r[391][2] r[391][3] r[391][4] r[391][5] r[391][6] r[391][7] r[391][8] r[391][9] r[392][0] r[392][1] r[392][2] r[392][3] r[392][4] r[392][5] r[392][6] r[392][7] r[392][8] r[392][9] r[393][0] r[393][1] r[393][2] r[393][3] r[393][4] r[393][5] r[393][6] r[393][7] r[393][8] r[393][9] r[394][0] r[394][1] r[394][2] r[394][3] r[394][4] r[394][5] r[394][6] r[394][7] r[394][8] r[394][9] r[395][0] r[395][1] r[395][2] r[395][3] r[395][4] r[395][5] r[395][6] r[395][7] r[395][8] r[395][9] r[396][0] r[396][1] r[396][2] r[396][3] r[396][4] r[396][5] r[396][6] r[396][7] r[396][8] r[396][9] r[397][0] r[397][1] r[397][2] r[397][3] r[397][4] r[397][5] r[397][6] r[397][7] r[397][8] r[397][9] r[398][0] r[398][1] r[398][2] r[398][3] r[398][4] r[398][5] r[398][6] r[398][7] r[398][8] r[398][9] r[399][0] r[399][1] r[399][2] r[399][3] r[399][4] r[399][5] r[399][6] r[399][7] r[399][8] r[399][9] r[400][0] r[400][1] r[400][2] r[400][3] r[400][4] r[400][5] r[400][6] r[400][7] r[400][8] r[400][9] r[401][0] r[401][1] r[401][2] r[401][3] r[401][4] r[401][5] r[401][6] r[401][7] r[401][8] r[401][9] r[402][0] r[402][1] r[402][2] r[402][3] r[402][4] r[402][5] r[402][6] r[402][7] r[402][8] r[402][9] r[403][0] r[403][1] r[403][2] r[403][3] r[403][4] r[403][5] r[403][6] r[403][7] r[403][8] r[403][9] r[404][0] r[404][1] r[404][2] r[404][3] r[404][4] r[404][5] r[404][6] r[404][7] r[404][8] r[404][9] r[405][0] r[405][1] r[405][2] r[405][3] r[405][4] r[405][5] r[405][6] r[405][7] r[405][8] r[405][9] r[406][0] r[406][1] r[406][2] r[406][3] r[406][4] r[406][5] r[406][6] r[406][7] r[406][8] r[406][9] r[407][0] r[407][1] r[407][2] r[407][3] r[407][4] r[407][5] r[407][6] r[407][7] r[407][8] r[407][9] r[408][0] r[408][1] r[408][2] r[408][3] r[408][4] r[408][5] r[408][6] r[408][7] r[408][8] r[408][9] r[409][0] r[409][1] r[409][2] r[409][3] r[409][4] r[409][5] r[409][6] r[409][7] r[409][8] r[409][9] r[410][0] r[410][1] r[410][2] r[410][3] r[410][4] r[410][5] r[410][6] r[410][7] r[410][8] r[410][9] r[411][0] r[411][1] r[411][2] r[411][3] r[411][4] r[411][5] r[411][6] r[411][7] r[411][8] r[411][9] r[412][0] r[412][1] r[412][2] r[412][3] r[412][4] r[412][5] r[412][6] r[412][7] r[412][8] r[412][9] r[413][0] r[413][1] r[413][2] r[413][3] r[413][4] r[413][5] r[413][6] r[413][7] r[413][8] r[413][9] r[414][0] r[414][1] r[414][2] r[414][3] r[414][4] r[414][5] r[414][6] r[414][7] r[414][8] r[414][9] r[415][0] r[415][1] r[415][2] r[415][3] r[415][4] r[415][5] r[415][6] r[415][7] r[415][8] r[415][9] r[416][0] r[416][1] r[416][2] r[416][3] r[416][4] r[416][5] r[416][6] r[416][7] r[416][8] r[416][9] r[417][0] r[417][1] r[417][2] r[417][3] r[417][4] r[417][5] r[417][6] r[417][7] r[417][8] r[417][9] r[418][0] r[418][1] r[418][2] r[418][3] r[418][4] r[418][5] r[418][6] r[418][7] r[418][8] r[418][9] r[419][0] r[419][1] r[419][2] r[419][3] r[419][4] r[419][5] r[419][6] r[419][7] r[419][8] r[419][9] r[420][0] r[420][1] r[420][2] r[420][3] r[420][4] r[420][5] r[420][6] r[420][7] r[420][8] r[420][9] r[421][0] r[421][1] r[421][2] r[421][3] r[421][4] r[421][5] r[421][6] r[421][7] r[421][8] r[421][9] r[422][0] r[422][1] r[422][2] r[422][3] r[422][4] r[422][5] r[422][6] r[422][7] r[422][8] r[422][9] r[423][0] r[423][1] r[423][2] r[423][3] r[423][4] r[423][5] r[423][6] r[423][7] r[423][8] r[423][9] r[424][0] r[424][1] r[424][2] r[424][3] r[424][4] r[424][5] r[424][6] r[424][7] r[424][8] r[424][9] r[425][0] r[425][1] r[425][2] r[425][3] r[425][4] r[425][5] r[425][6] r[425][7] r[425][8] r[425][9] r[426][0] r[426][1] r[426][2] r[426][3] r[426][4] r[426][5] r[426][6] r[426][7] r[426][8] r[426][9] r[427][0] r[427][1] r[427][2] r[427][3] r[427][4] r[427][5] r[427][6] r[427][7] r[427][8] r[427][9] r[428][0] r[428][1] r[428][2] r[428][3] r[428][4] r[428][5] r[428][6] r[428][7] r[428][8] r[428][9] r[429][0] r[429][1] r[429][2] r[429][3] r[429][4] r[429][5] r[429][6] r[429][7] r[429][8] r[429][9] r[430][0] r[430][1] r[430][2] r[430][3] r[430][4] r[430][5] r[430][6] r[430][7] r[430][8] r[430][9] r[431][0] r[431][1] r[431][2] r[431][3] r[431][4] r[431][5] r[431][6] r[431][7] r[431][8] r[431][9] r[432][0] r[432][1] r[432][2] r[432][3] r[432][4] r[432][5] r[432][6] r[432][7] r[432][8] r[432][9] r[433][0] r[433][1] r[433][2] r[433][3] r[433][4] r[433][5] r[433][6] r[433][7] r[433][8] r[433][9] r[434][0] r[434][1] r[434][2] r[434][3] r[434][4] r[434][5] r[434][6] r[434][7] r[434][8] r[434][9] r[435][0] r[435][1] r[435][2] r[435][3] r[435][4] r[435][5] r[435][6] r[435][7] r[435][8] r[435][9] r[436][0] r[436][1] r[436][2] r[436][3] r[436][4] r[436][5] r[436][6] r[436][7] r[436][8] r[436][9] r[437][0] r[437][1] r[437][2] r[437][3] r[437][4] r[437][5] r[437][6] r[437][7] r[437][8] r[437][9] r[438][0] r[438][1] r[438][2] r[438][3] r[438][4] r[438][5] r[438][6] r[438][7] r[438][8] r[438][9] r[439][0] r[439][1] r[439][2] r[439][3] r[439][4] r[439][5] r[439][6] r[439][7] r[439][8] r[439][9] r[440][0] r[440][1] r[440][2] r[440][3] r[440][4] r[440][5] r[440][6] r[440][7] r[440][8] r[440][9] r[441][0] r[441][1] r[441][2] r[441][3] r[441][4] r[441][5] r[441][6] r[441][7] r[441][8] r[441][9] r[442][0] r[442][1] r[442][2] r[442][3] r[442][4] r[442][5] r[442][6] r[442][7] r[442][8] r[442][9] r[443][0] r[443][1] r[443][2] r[443][3] r[443][4] r[443][5] r[443][6] r[443][7] r[443][8] r[443][9] r[444][0] r[444][1] r[444][2] r[444][3] r[444][4] r[444][5] r[444][6] r[444][7] r[444][8] r[444][9] r[445][0] r[445][1] r[445][2] r[445][3] r[445][4] r[445][5] r[445][6] r[445][7] r[445][8] r[445][9] r[446][0] r[446][1] r[446][2] r[446][3] r[446][4] r[446][5] r[446][6] r[446][7] r[446][8] r[446][9] r[447][0] r[447][1] r[447][2] r[447][3] r[447][4] r[447][5] r[447][6] r[447][7] r[447][8] r[447][9] r[448][0] r[448][1] r[448][2] r[448][3] r[448][4] r[448][5] r[448][6] r[448][7] r[448][8] r[448][9] r[449][0] r[449][1] r[449][2] r[449][3] r[449][4] r[449][5] r[449][6] r[449][7] r[449][8] r[449][9] r[450][0] r[450][1] r[450][2] r[450][3] r[450][4] r[450][5] r[450][6] r[450][7] r[450][8] r[450][9] r[451][0] r[451][1] r[451][2] r[451][3] r[451][4] r[451][5] r[451][6] r[451][7] r[451][8] r[451][9] r[452][0] r[452][1] r[452][2] r[452][3] r[452][4] r[452][5] r[452][6] r[452][7] r[452][8] r[452][9] r[453][0] r[453][1] r[453][2] r[453][3] r[453][4] r[453][5] r[453][6] r[453][7] r[453][8] r[453][9] r[454][0] r[454][1] r[454][2] r[454][3] r[454][4] r[454][5] r[454][6] r[454][7] r[454][8] r[454][9] r[455][0] r[455][1] r[455][2] r[455][3] r[455][4] r[455][5] r[455][6] r[455][7] r[455][8] r[455][9] r[456][0] r[456][1] r[456][2] r[456][3] r[456][4] r[456][5] r[456][6] r[456][7] r[456][8] r[456][9] r[457][0] r[457][1] r[457][2] r[457][3] r[457][4] r[457][5] r[457][6] r[457][7] r[457][8] r[457][9] r[458][0] r[458][1] r[458][2] r[458][3] r[458][4] r[458][5] r[458][6] r[458][7] r[458][8] r[458][9] r[459][0] r[459][1] r[459][2] r[459][3] r[459][4] r[459][5] r[459][6] r[459][7] r[459][8] r[459][9] r[460][0] r[460][1] r[460][2] r[460][3] r[460][4] r[460][5] r[460][6] r[460][7] r[460][8] r[460][9] r[461][0] r[461][1] r[461][2] r[461][3] r[461][4] r[461][5] r[461][6] r[461][7] r[461][8] r[461][9] r[462][0] r[462][1] r[462][2] r[462][3] r[462][4] r[462][5] r[462][6] r[462][7] r[462][8] r[462][9] r[463][0] r[463][1] r[463][2] r[463][3] r[463][4] r[463][5] r[463][6] r[463][7] r[463][8] r[463][9] r[464][0] r[464][1] r[464][2] r[464][3] r[464][4] r[464][5] r[464][6] r[464][7] r[464][8] r[464][9] r[465][0] r[465][1] r[465][2] r[465][3] r[465][4] r[465][5] r[465][6] r[465][7] r[465][8] r[465][9] r[466][0] r[466][1] r[466][2] r[466][3] r[466][4] r[466][5] r[466][6] r[466][7] r[466][8] r[466][9] r[467][0] r[467][1] r[467][2] r[467][3] r[467][4] r[467][5] r[467][6] r[467][7] r[467][8] r[467][9] r[468][0] r[468][1] r[468][2] r[468][3] r[468][4] r[468][5] r[468][6] r[468][7] r[468][8] r[468][9] r[469][0] r[469][1] r[469][2] r[469][3] r[469][4] r[469][5] r[469][6] r[469][7] r[469][8] r[469][9] r[470][0] r[470][1] r[470][2] r[470][3] r[470][4] r[470][5] r[470][6] r[470][7] r[470][8] r[470][9] r[471][0] r[471][1] r[471][2] r[471][3] r[471][4] r[471][5] r[471][6] r[471][7] r[471][8] r[471][9] r[472][0] r[472][1] r[472][2] r[472][3] r[472][4] r[472][5] r[472][6] r[472][7] r[472][8] r[472][9] r[473][0] r[473][1] r[473][2] r[473][3] r[473][4] r[473][5] r[473][6] r[473][7] r[473][8] r[473][9] r[474][0] r[474][1] r[474][2] r[474][3] r[474][4] r[474][5] r[474][6] r[474][7] r[474][8] r[474][9] r[475][0] r[475][1] r[475][2] r[475][3] r[475][4] r[475][5] r[475][6] r[475][7] r[475][8] r[475][9] r[476][0] r[476][1] r[476][2] r[476][3] r[476][4] r[476][5] r[476][6] r[476][7] r[476][8] r[476][9] r[477][0] r[477][1] r[477][2] r[477][3] r[477][4] r[477][5] r[477][6] r[477][7] r[477][8] r[477][9] r[478][0] r[478][1] r[478][2] r[478][3] r[478][4] r[478][5] r[478][6] r[478][7] r[478][8] r[478][9] r[479][0] r[479][1] r[479][2] r[479][3] r[479][4] r[479][5] r[479][6] r[479][7] r[479][8] r[479][9] r[480][0] r[480][1] r[480][2] r[480][3] r[480][4] r[480][5] r[480][6] r[480][7] r[480][8] r[480][9] r[481][0] r[481][1] r[481][2] r[481][3] r[481][4] r[481][5] r[481][6] r[481][7] r[481][8] r[481][9] r[482][0] r[482][1] r[482][2] r[482][3] r[482][4] r[482][5] r[482][6] r[482][7] r[482][8] r[482][9] r[483][0] r[483][1] r[483][2] r[483][3] r[483][4] r[483][5] r[483][6] r[483][7] r[483][8] r[483][9] r[484][0] r[484][1] r[484][2] r[484][3] r[484][4] r[484][5] r[484][6] r[484][7] r[484][8] r[484][9] r[485][0] r[485][1] r[485][2] r[485][3] r[485][4] r[485][5] r[485][6] r[485][7] r[485][8] r[485][9] r[486][0] r[486][1] r[486][2] r[486][3] r[486][4] r[486][5] r[486][6] r[486][7] r[486][8] r[486][9] r[487][0] r[487][1] r[487][2] r[487][3] r[487][4] r[487][5] r[487][6] r[487][7] r[487][8] r[487][9] r[488][0] r[488][1] r[488][2] r[488][3] r[488][4] r[488][5] r[488][6] r[488][7] r[488][8] r[488][9] r[489][0] r[489][1] r[489][2] r[489][3] r[489][4] r[489][5] r[489][6] r[489][7] r[489][8] r[489][9] r[490][0] r[490][1] r[490][2] r[490][3] r[490][4] r[490][5] r[490][6] r[490][7] r[490][8] r[490][9] r[491][0] r[491][1] r[491][2] r[491][3] r[491][4] r[491][5] r[491][6] r[491][7] r[491][8] r[491][9] r[492][0] r[492][1] r[492][2] r[492][3] r[492][4] r[492][5] r[492][6] r[492][7] r[492][8] r[492][9] r[493][0] r[493][1] r[493][2] r[493][3] r[493][4] r[493][5] r[493][6] r[493][7] r[493][8] r[493][9] r[494][0] r[494][1] r[494][2] r[494][3] r[494][4] r[494][5] r[494][6] r[494][7] r[494][8] r[494][9] r[495][0] r[495][1] r[495][2] r[495][3] r[495][4] r[495][5] r[495][6] r[495][7] r[495][8] r[495][9] r[496][0] r[496][1] r[496][2] r[496][3] r[496][4] r[496][5] r[496][6] r[496][7] r[496][8] r[496][9] r[497][0] r[497][1] r[497][2] r[497][3] r[497][4] r[497][5] r[497][6] r[497][7] r[497][8] r[497][9] r[498][0] r[498][1] r[498][2] r[498][3] r[498][4] r[498][5] r[498][6] r[498][7] r[498][8] r[498][9] r[499][0] r[499][1] r[499][2] r[499][3] r[499][4] r[499][5] r[499][6] r[499][7] r[499][8] r[499][9] r[500][0] r[500][1] r[500][2] r[500][3] r[500][4] r[500][5] r[500][6] r[500][7] r[500][8] r[500][9] r[501][0] r[501][1] r[501][2] r[501][3] r[501][4] r[501][5] r[501][6] r[501][7] r[501][8] r[501][9] r[502][0] r[502][1] r[502][2] r[502][3] r[502][4] r[502][5] r[502][6] r[502][7] r[502][8] r[502][9] r[503][0] r[503][1] r[503][2] r[503][3] r[503][4] r[503][5] r[503][6] r[503][7] r[503][8] r[503][9] r[504][0] r[504][1] r[504][2] r[504][3] r[504][4] r[504][5] r[504][6] r[504][7] r[504][8] r[504][9] r[505][0] r[505][1] r[505][2] r[505][3] r[505][4] r[505][5] r[505][6] r[505][7] r[505][8] r[505][9] r[506][0] r[506][1] r[506][2] r[506][3] r[506][4] r[506][5] r[506][6] r[506][7] r[506][8] r[506][9] r[507][0] r[507][1] r[507][2] r[507][3] r[507][4] r[507][5] r[507][6] r[507][7] r[507][8] r[507][9] r[508][0] r[508][1] r[508][2] r[508][3] r[508][4] r[508][5] r[508][6] r[508][7] r[508][8] r[508][9] r[509][0] r[509][1] r[509][2] r[509][3] r[509][4] r[509][5] r[509][6] r[509][7] r[509][8] r[509][9] r[510][0] r[510][1] r[510][2] r[510][3] r[510][4] r[510][5] r[510][6] r[510][7] r[510][8] r[510][9] r[511][0] r[511][1] r[511][2] r[511][3] r[511][4] r[511][5] r[511][6] r[511][7] r[511][8] r[511][9] r[512][0] r[512][1] r[512][2] r[512][3] r[512][4] r[512][5] r[512][6] r[512][7] r[512][8] r[512][9] r[513][0] r[513][1] r[513][2] r[513][3] r[513][4] r[513][5] r[513][6] r[513][7] r[513][8] r[513][9] r[514][0] r[514][1] r[514][2] r[514][3] r[514][4] r[514][5] r[514][6] r[514][7] r[514][8] r[514][9] r[515][0] r[515][1] r[515][2] r[515][3] r[515][4] r[515][5] r[515][6] r[515][7] r[515][8] r[515][9] r[516][0] r[516][1] r[516][2] r[516][3] r[516][4] r[516][5] r[516][6] r[516][7] r[516][8] r[516][9] r[517][0] r[517][1] r[517][2] r[517][3] r[517][4] r[517][5] r[517][6] r[517][7] r[517][8] r[517][9] r[518][0] r[518][1] r[518][2] r[518][3] r[518][4] r[518][5] r[518][6] r[518][7] r[518][8] r[518][9] r[519][0] r[519][1] r[519][2] r[519][3] r[519][4] r[519][5] r[519][6] r[519][7] r[519][8] r[519][9] r[520][0] r[520][1] r[520][2] r[520][3] r[520][4] r[520][5] r[520][6] r[520][7] r[520][8] r[520][9] r[521][0] r[521][1] r[521][2] r[521][3] r[521][4] r[521][5] r[521][6] r[521][7] r[521][8] r[521][9] r[522][0] r[522][1] r[522][2] r[522][3] r[522][4] r[522][5] r[522][6] r[522][7] r[522][8] r[522][9] r[523][0] r[523][1] r[523][2] r[523][3] r[523][4] r[523][5] r[523][6] r[523][7] r[523][8] r[523][9] r[524][0] r[524][1] r[524][2] r[524][3] r[524][4] r[524][5] r[524][6] r[524][7] r[524][8] r[524][9] r[525][0] r[525][1] r[525][2] r[525][3] r[525][4] r[525][5] r[525][6] r[525][7] r[525][8] r[525][9] r[526][0] r[526][1] r[526][2] r[526][3] r[526][4] r[526][5] r[526][6] r[526][7] r[526][8] r[526][9] r[527][0] r[527][1] r[527][2] r[527][3] r[527][4] r[527][5] r[527][6] r[527][7] r[527][8] r[527][9] r[528][0] r[528][1] r[528][2] r[528][3] r[528][4] r[528][5] r[528][6] r[528][7] r[528][8] r[528][9] r[529][0] r[529][1] r[529][2] r[529][3] r[529][4] r[529][5] r[529][6] r[529][7] r[529][8] r[529][9] r[530][0] r[530][1] r[530][2] r[530][3] r[530][4] r[530][5] r[530][6] r[530][7] r[530][8] r[530][9] r[531][0] r[531][1] r[531][2] r[531][3] r[531][4] r[531][5] r[531][6] r[531][7] r[531][8] r[531][9] r[532][0] r[532][1] r[532][2] r[532][3] r[532][4] r[532][5] r[532][6] r[532][7] r[532][8] r[532][9] r[533][0] r[533][1] r[533][2] r[533][3] r[533][4] r[533][5] r[533][6] r[533][7] r[533][8] r[533][9] r[534][0] r[534][1] r[534][2] r[534][3] r[534][4] r[534][5] r[534][6] r[534][7] r[534][8] r[534][9] r[535][0] r[535][1] r[535][2] r[535][3] r[535][4] r[535][5] r[535][6] r[535][7] r[535][8] r[535][9] r[536][0] r[536][1] r[536][2] r[536][3] r[536][4] r[536][5] r[536][6] r[536][7] r[536][8] r[536][9] r[537][0] r[537][1] r[537][2] r[537][3] r[537][4] r[537][5] r[537][6] r[537][7] r[537][8] r[537][9] r[538][0] r[538][1] r[538][2] r[538][3] r[538][4] r[538][5] r[538][6] r[538][7] r[538][8] r[538][9] r[539][0] r[539][1] r[539][2] r[539][3] r[539][4] r[539][5] r[539][6] r[539][7] r[539][8] r[539][9] r[540][0] r[540][1] r[540][2] r[540][3] r[540][4] r[540][5] r[540][6] r[540][7] r[540][8] r[540][9] r[541][0] r[541][1] r[541][2] r[541][3] r[541][4] r[541][5] r[541][6] r[541][7] r[541][8] r[541][9] r[542][0] r[542][1] r[542][2] r[542][3] r[542][4] r[542][5] r[542][6] r[542][7] r[542][8] r[542][9] r[543][0] r[543][1] r[543][2] r[543][3] r[543][4] r[543][5] r[543][6] r[543][7] r[543][8] r[543][9] r[544][0] r[544][1] r[544][2] r[544][3] r[544][4] r[544][5] r[544][6] r[544][7] r[544][8] r[544][9] r[545][0] r[545][1] r[545][2] r[545][3] r[545][4] r[545][5] r[545][6] r[545][7] r[545][8] r[545][9] r[546][0] r[546][1] r[546][2] r[546][3] r[546][4] r[546][5] r[546][6] r[546][7] r[546][8] r[546][9] r[547][0] r[547][1] r[547][2] r[547][3] r[547][4] r[547][5] r[547][6] r[547][7] r[547][8] r[547][9] r[548][0] r[548][1] r[548][2] r[548][3] r[548][4] r[548][5] r[548][6] r[548][7] r[548][8] r[548][9] r[549][0] r[549][1] r[549][2] r[549][3] r[549][4] r[549][5] r[549][6] r[549][7] r[549][8] r[549][9] r[550][0] r[550][1] r[550][2] r[550][3] r[550][4] r[550][5] r[550][6] r[550][7] r[550][8] r[550][9] r[551][0] r[551][1] r[551][2] r[551][3] r[551][4] r[551][5] r[551][6] r[551][7] r[551][8] r[551][9] r[552][0] r[552][1] r[552][2] r[552][3] r[552][4] r[552][5] r[552][6] r[552][7] r[552][8] r[552][9] r[553][0] r[553][1] r[553][2] r[553][3] r[553][4] r[553][5] r[553][6] r[553][7] r[553][8] r[553][9] r[554][0] r[554][1] r[554][2] r[554][3] r[554][4] r[554][5] r[554][6] r[554][7] r[554][8] r[554][9] r[555][0] r[555][1] r[555][2] r[555][3] r[555][4] r[555][5] r[555][6] r[555][7] r[555][8] r[555][9] r[556][0] r[556][1] r[556][2] r[556][3] r[556][4] r[556][5] r[556][6] r[556][7] r[556][8] r[556][9] r[557][0] r[557][1] r[557][2] r[557][3] r[557][4] r[557][5] r[557][6] r[557][7] r[557][8] r[557][9] r[558][0] r[558][1] r[558][2] r[558][3] r[558][4] r[558][5] r[558][6] r[558][7] r[558][8] r[558][9] r[559][0] r[559][1] r[559][2] r[559][3] r[559][4] r[559][5] r[559][6] r[559][7] r[559][8] r[559][9] r[560][0] r[560][1] r[560][2] r[560][3] r[560][4] r[560][5] r[560][6] r[560][7] r[560][8] r[560][9] r[561][0] r[561][1] r[561][2] r[561][3] r[561][4] r[561][5] r[561][6] r[561][7] r[561][8] r[561][9] r[562][0] r[562][1] r[562][2] r[562][3] r[562][4] r[562][5] r[562][6] r[562][7] r[562][8] r[562][9] r[563][0] r[563][1] r[563][2] r[563][3] r[563][4] r[563][5] r[563][6] r[563][7] r[563][8] r[563][9] r[564][0] r[564][1] r[564][2] r[564][3] r[564][4] r[564][5] r[564][6] r[564][7] r[564][8] r[564][9] r[565][0] r[565][1] r[565][2] r[565][3] r[565][4] r[565][5] r[565][6] r[565][7] r[565][8] r[565][9] r[566][0] r[566][1] r[566][2] r[566][3] r[566][4] r[566][5] r[566][6] r[566][7] r[566][8] r[566][9] r[567][0] r[567][1] r[567][2] r[567][3] r[567][4] r[567][5] r[567][6] r[567][7] r[567][8] r[567][9] r[568][0] r[568][1] r[568][2] r[568][3] r[568][4] r[568][5] r[568][6] r[568][7] r[568][8] r[568][9] r[569][0] r[569][1] r[569][2] r[569][3] r[569][4] r[569][5] r[569][6] r[569][7] r[569][8] r[569][9] r[570][0] r[570][1] r[570][2] r[570][3] r[570][4] r[570][5] r[570][6] r[570][7] r[570][8] r[570][9] r[571][0] r[571][1] r[571][2] r[571][3] r[571][4] r[571][5] r[571][6] r[571][7] r[571][8] r[571][9] r[572][0] r[572][1] r[572][2] r[572][3] r[572][4] r[572][5] r[572][6] r[572][7] r[572][8] r[572][9] r[573][0] r[573][1] r[573][2] r[573][3] r[573][4] r[573][5] r[573][6] r[573][7] r[573][8] r[573][9] r[574][0] r[574][1] r[574][2] r[574][3] r[574][4] r[574][5] r[574][6] r[574][7] r[574][8] r[574][9] r[575][0] r[575][1] r[575][2] r[575][3] r[575][4] r[575][5] r[575][6] r[575][7] r[575][8] r[575][9] r[576][0] r[576][1] r[576][2] r[576][3] r[576][4] r[576][5] r[576][6] r[576][7] r[576][8] r[576][9] r[577][0] r[577][1] r[577][2] r[577][3] r[577][4] r[577][5] r[577][6] r[577][7] r[577][8] r[577][9] r[578][0] r[578][1] r[578][2] r[578][3] r[578][4] r[578][5] r[578][6] r[578][7] r[578][8] r[578][9] r[579][0] r[579][1] r[579][2] r[579][3] r[579][4] r[579][5] r[579][6] r[579][7] r[579][8] r[579][9] r[580][0] r[580][1] r[580][2] r[580][3] r[580][4] r[580][5] r[580][6] r[580][7] r[580][8] r[580][9] r[581][0] r[581][1] r[581][2] r[581][3] r[581][4] r[581][5] r[581][6] r[581][7] r[581][8] r[581][9] r[582][0] r[582][1] r[582][2] r[582][3] r[582][4] r[582][5] r[582][6] r[582][7] r[582][8] r[582][9] r[583][0] r[583][1] r[583][2] r[583][3] r[583][4] r[583][5] r[583][6] r[583][7] r[583][8] r[583][9] r[584][0] r[584][1] r[584][2] r[584][3] r[584][4] r[584][5] r[584][6] r[584][7] r[584][8] r[584][9] r[585][0] r[585][1] r[585][2] r[585][3] r[585][4] r[585][5] r[585][6] r[585][7] r[585][8] r[585][9] r[586][0] r[586][1] r[586][2] r[586][3] r[586][4] r[586][5] r[586][6] r[586][7] r[586][8] r[586][9] r[587][0] r[587][1] r[587][2] r[587][3] r[587][4] r[587][5] r[587][6] r[587][7] r[587][8] r[587][9] r[588][0] r[588][1] r[588][2] r[588][3] r[588][4] r[588][5] r[588][6] r[588][7] r[588][8] r[588][9] r[589][0] r[589][1] r[589][2] r[589][3] r[589][4] r[589][5] r[589][6] r[589][7] r[589][8] r[589][9] r[590][0] r[590][1] r[590][2] r[590][3] r[590][4] r[590][5] r[590][6] r[590][7] r[590][8] r[590][9] r[591][0] r[591][1] r[591][2] r[591][3] r[591][4] r[591][5] r[591][6] r[591][7] r[591][8] r[591][9] r[592][0] r[592][1] r[592][2] r[592][3] r[592][4] r[592][5] r[592][6] r[592][7] r[592][8] r[592][9] r[593][0] r[593][1] r[593][2] r[593][3] r[593][4] r[593][5] r[593][6] r[593][7] r[593][8] r[593][9] r[594][0] r[594][1] r[594][2] r[594][3] r[594][4] r[594][5] r[594][6] r[594][7] r[594][8] r[594][9] r[595][0] r[595][1] r[595][2] r[595][3] r[595][4] r[595][5] r[595][6] r[595][7] r[595][8] r[595][9] r[596][0] r[596][1] r[596][2] r[596][3] r[596][4] r[596][5] r[596][6] r[596][7] r[596][8] r[596][9] r[597][0] r[597][1] r[597][2] r[597][3] r[597][4] r[597][5] r[597][6] r[597][7] r[597][8] r[597][9] r[598][0] r[598][1] r[598][2] r[598][3] r[598][4] r[598][5] r[598][6] r[598][7] r[598][8] r[598][9] r[599][0] r[599][1] r[599][2] r[599][3] r[599][4] r[599][5] r[599][6] r[599][7] r[599][8] r[599][9] r[600][0] r[600][1] r[600][2] r[600][3] r[600][4] r[600][5] r[600][6] r[600][7] r[600][8] r[600][9] r[601][0] r[601][1] r[601][2] r[601][3] r[601][4] r[601][5] r[601][6] r[601][7] r[601][8] r[601][9] r[602][0] r[602][1] r[602][2] r[602][3] r[602][4] r[602][5] r[602][6] r[602][7] r[602][8] r[602][9] r[603][0] r[603][1] r[603][2] r[603][3] r[603][4] r[603][5] r[603][6] r[603][7] r[603][8] r[603][9] r[604][0] r[604][1] r[604][2] r[604][3] r[604][4] r[604][5] r[604][6] r[604][7] r[604][8] r[604][9] r[605][0] r[605][1] r[605][2] r[605][3] r[605][4] r[605][5] r[605][6] r[605][7] r[605][8] r[605][9] r[606][0] r[606][1] r[606][2] r[606][3] r[606][4] r[606][5] r[606][6] r[606][7] r[606][8] r[606][9] r[607][0] r[607][1] r[607][2] r[607][3] r[607][4] r[607][5] r[607][6] r[607][7] r[607][8] r[607][9] r[608][0] r[608][1] r[608][2] r[608][3] r[608][4] r[608][5] r[608][6] r[608][7] r[608][8] r[608][9] r[609][0] r[609][1] r[609][2] r[609][3] r[609][4] r[609][5] r[609][6] r[609][7] r[609][8] r[609][9] r[610][0] r[610][1] r[610][2] r[610][3] r[610][4] r[610][5] r[610][6] r[610][7] r[610][8] r[610][9] r[611][0] r[611][1] r[611][2] r[611][3] r[611][4] r[611][5] r[611][6] r[611][7] r[611][8] r[611][9] r[612][0] r[612][1] r[612][2] r[612][3] r[612][4] r[612][5] r[612][6] r[612][7] r[612][8] r[612][9] r[613][0] r[613][1] r[613][2] r[613][3] r[613][4] r[613][5] r[613][6] r[613][7] r[613][8] r[613][9] r[614][0] r[614][1] r[614][2] r[614][3] r[614][4] r[614][5] r[614][6] r[614][7] r[614][8] r[614][9] r[615][0] r[615][1] r[615][2] r[615][3] r[615][4] r[615][5] r[615][6] r[615][7] r[615][8] r[615][9] r[616][0] r[616][1] r[616][2] r[616][3] r[616][4] r[616][5] r[616][6] r[616][7] r[616][8] r[616][9] r[617][0] r[617][1] r[617][2] r[617][3] r[617][4] r[617][5] r[617][6] r[617][7] r[617][8] r[617][9] r[618][0] r[618][1] r[618][2] r[618][3] r[618][4] r[618][5] r[618][6] r[618][7] r[618][8] r[618][9] r[619][0] r[619][1] r[619][2] r[619][3] r[619][4] r[619][5] r[619][6] r[619][7] r[619][8] r[619][9] r[620][0] r[620][1] r[620][2] r[620][3] r[620][4] r[620][5] r[620][6] r[620][7] r[620][8] r[620][9] r[621][0] r[621][1] r[621][2] r[621][3] r[621][4] r[621][5] r[621][6] r[621][7] r[621][8] r[621][9] r[622][0] r[622][1] r[622][2] r[622][3] r[622][4] r[622][5] r[622][6] r[622][7] r[622][8] r[622][9] r[623][0] r[623][1] r[623][2] r[623][3] r[623][4] r[623][5] r[623][6] r[623][7] r[623][8] r[623][9] r[624][0] r[624][1] r[624][2] r[624][3] r[624][4] r[624][5] r[624][6] r[624][7] r[624][8] r[624][9] r[625][0] r[625][1] r[625][2] r[625][3] r[625][4] r[625][5] r[625][6] r[625][7] r[625][8] r[625][9] r[626][0] r[626][1] r[626][2] r[626][3] r[626][4] r[626][5] r[626][6] r[626][7] r[626][8] r[626][9] r[627][0] r[627][1] r[627][2] r[627][3] r[627][4] r[627][5] r[627][6] r[627][7] r[627][8] r[627][9] r[628][0] r[628][1] r[628][2] r[628][3] r[628][4] r[628][5] r[628][6] r[628][7] r[628][8] r[628][9] r[629][0] r[629][1] r[629][2] r[629][3] r[629][4] r[629][5] r[629][6] r[629][7] r[629][8] r[629][9] r[630][0] r[630][1] r[630][2] r[630][3] r[630][4] r[630][5] r[630][6] r[630][7] r[630][8] r[630][9] r[631][0] r[631][1] r[631][2] r[631][3] r[631][4] r[631][5] r[631][6] r[631][7] r[631][8] r[631][9] r[632][0] r[632][1] r[632][2] r[632][3] r[632][4] r[632][5] r[632][6] r[632][7] r[632][8] r[632][9] r[633][0] r[633][1] r[633][2] r[633][3] r[633][4] r[633][5] r[633][6] r[633][7] r[633][8] r[633][9] r[634][0] r[634][1] r[634][2] r[634][3] r[634][4] r[634][5] r[634][6] r[634][7] r[634][8] r[634][9] r[635][0] r[635][1] r[635][2] r[635][3] r[635][4] r[635][5] r[635][6] r[635][7] r[635][8] r[635][9] r[636][0] r[636][1] r[636][2] r[636][3] r[636][4] r[636][5] r[636][6] r[636][7] r[636][8] r[636][9] r[637][0] r[637][1] r[637][2] r[637][3] r[637][4] r[637][5] r[637][6] r[637][7] r[637][8] r[637][9] r[638][0] r[638][1] r[638][2] r[638][3] r[638][4] r[638][5] r[638][6] r[638][7] r[638][8] r[638][9] r[639][0] r[639][1] r[639][2] r[639][3] r[639][4] r[639][5] r[639][6] r[639][7] r[639][8] r[639][9] r[640][0] r[640][1] r[640][2] r[640][3] r[640][4] r[640][5] r[640][6] r[640][7] r[640][8] r[640][9] r[641][0] r[641][1] r[641][2] r[641][3] r[641][4] r[641][5] r[641][6] r[641][7] r[641][8] r[641][9] r[642][0] r[642][1] r[642][2] r[642][3] r[642][4] r[642][5] r[642][6] r[642][7] r[642][8] r[642][9] r[643][0] r[643][1] r[643][2] r[643][3] r[643][4] r[643][5] r[643][6] r[643][7] r[643][8] r[643][9] r[644][0] r[644][1] r[644][2] r[644][3] r[644][4] r[644][5] r[644][6] r[644][7] r[644][8] r[644][9] r[645][0] r[645][1] r[645][2] r[645][3] r[645][4] r[645][5] r[645][6] r[645][7] r[645][8] r[645][9] r[646][0] r[646][1] r[646][2] r[646][3] r[646][4] r[646][5] r[646][6] r[646][7] r[646][8] r[646][9] r[647][0] r[647][1] r[647][2] r[647][3] r[647][4] r[647][5] r[647][6] r[647][7] r[647][8] r[647][9] r[648][0] r[648][1] r[648][2] r[648][3] r[648][4] r[648][5] r[648][6] r[648][7] r[648][8] r[648][9] r[649][0] r[649][1] r[649][2] r[649][3] r[649][4] r[649][5] r[649][6] r[649][7] r[649][8] r[649][9] r[650][0] r[650][1] r[650][2] r[650][3] r[650][4] r[650][5] r[650][6] r[650][7] r[650][8] r[650][9] r[651][0] r[651][1] r[651][2] r[651][3] r[651][4] r[651][5] r[651][6] r[651][7] r[651][8] r[651][9] r[652][0] r[652][1] r[652][2] r[652][3] r[652][4] r[652][5] r[652][6] r[652][7] r[652][8] r[652][9] r[653][0] r[653][1] r[653][2] r[653][3] r[653][4] r[653][5] r[653][6] r[653][7] r[653][8] r[653][9] r[654][0] r[654][1] r[654][2] r[654][3] r[654][4] r[654][5] r[654][6] r[654][7] r[654][8] r[654][9] r[655][0] r[655][1] r[655][2] r[655][3] r[655][4] r[655][5] r[655][6] r[655][7] r[655][8] r[655][9] r[656][0] r[656][1] r[656][2] r[656][3] r[656][4] r[656][5] r[656][6] r[656][7] r[656][8] r[656][9] r[657][0] r[657][1] r[657][2] r[657][3] r[657][4] r[657][5] r[657][6] r[657][7] r[657][8] r[657][9] r[658][0] r[658][1] r[658][2] r[658][3] r[658][4] r[658][5] r[658][6] r[658][7] r[658][8] r[658][9] r[659][0] r[659][1] r[659][2] r[659][3] r[659][4] r[659][5] r[659][6] r[659][7] r[659][8] r[659][9] r[660][0] r[660][1] r[660][2] r[660][3] r[660][4] r[660][5] r[660][6] r[660][7] r[660][8] r[660][9] r[661][0] r[661][1] r[661][2] r[661][3] r[661][4] r[661][5] r[661][6] r[661][7] r[661][8] r[661][9] r[662][0] r[662][1] r[662][2] r[662][3] r[662][4] r[662][5] r[662][6] r[662][7] r[662][8] r[662][9] r[663][0] r[663][1] r[663][2] r[663][3] r[663][4] r[663][5] r[663][6] r[663][7] r[663][8] r[663][9] r[664][0] r[664][1] r[664][2] r[664][3] r[664][4] r[664][5] r[664][6] r[664][7] r[664][8] r[664][9] r[665][0] r[665][1] r[665][2] r[665][3] r[665][4] r[665][5] r[665][6] r[665][7] r[665][8] r[665][9] r[666][0] r[666][1] r[666][2] r[666][3] r[666][4] r[666][5] r[666][6] r[666][7] r[666][8] r[666][9] r[667][0] r[667][1] r[667][2] r[667][3] r[667][4] r[667][5] r[667][6] r[667][7] r[667][8] r[667][9] r[668][0] r[668][1] r[668][2] r[668][3] r[668][4] r[668][5] r[668][6] r[668][7] r[668][8] r[668][9] r[669][0] r[669][1] r[669][2] r[669][3] r[669][4] r[669][5] r[669][6] r[669][7] r[669][8] r[669][9] r[670][0] r[670][1] r[670][2] r[670][3] r[670][4] r[670][5] r[670][6] r[670][7] r[670][8] r[670][9] r[671][0] r[671][1] r[671][2] r[671][3] r[671][4] r[671][5] r[671][6] r[671][7] r[671][8] r[671][9] r[672][0] r[672][1] r[672][2] r[672][3] r[672][4] r[672][5] r[672][6] r[672][7] r[672][8] r[672][9] r[673][0] r[673][1] r[673][2] r[673][3] r[673][4] r[673][5] r[673][6] r[673][7] r[673][8] r[673][9] r[674][0] r[674][1] r[674][2] r[674][3] r[674][4] r[674][5] r[674][6] r[674][7] r[674][8] r[674][9] r[675][0] r[675][1] r[675][2] r[675][3] r[675][4] r[675][5] r[675][6] r[675][7] r[675][8] r[675][9] r[676][0] r[676][1] r[676][2] r[676][3] r[676][4] r[676][5] r[676][6] r[676][7] r[676][8] r[676][9] r[677][0] r[677][1] r[677][2] r[677][3] r[677][4] r[677][5] r[677][6] r[677][7] r[677][8] r[677][9] r[678][0] r[678][1] r[678][2] r[678][3] r[678][4] r[678][5] r[678][6] r[678][7] r[678][8] r[678][9] r[679][0] r[679][1] r[679][2] r[679][3] r[679][4] r[679][5] r[679][6] r[679][7] r[679][8] r[679][9] r[680][0] r[680][1] r[680][2] r[680][3] r[680][4] r[680][5] r[680][6] r[680][7] r[680][8] r[680][9] r[681][0] r[681][1] r[681][2] r[681][3] r[681][4] r[681][5] r[681][6] r[681][7] r[681][8] r[681][9] r[682][0] r[682][1] r[682][2] r[682][3] r[682][4] r[682][5] r[682][6] r[682][7] r[682][8] r[682][9] r[683][0] r[683][1] r[683][2] r[683][3] r[683][4] r[683][5] r[683][6] r[683][7] r[683][8] r[683][9] r[684][0] r[684][1] r[684][2] r[684][3] r[684][4] r[684][5] r[684][6] r[684][7] r[684][8] r[684][9] r[685][0] r[685][1] r[685][2] r[685][3] r[685][4] r[685][5] r[685][6] r[685][7] r[685][8] r[685][9] r[686][0] r[686][1] r[686][2] r[686][3] r[686][4] r[686][5] r[686][6] r[686][7] r[686][8] r[686][9] r[687][0] r[687][1] r[687][2] r[687][3] r[687][4] r[687][5] r[687][6] r[687][7] r[687][8] r[687][9] r[688][0] r[688][1] r[688][2] r[688][3] r[688][4] r[688][5] r[688][6] r[688][7] r[688][8] r[688][9] r[689][0] r[689][1] r[689][2] r[689][3] r[689][4] r[689][5] r[689][6] r[689][7] r[689][8] r[689][9] </list> 853.79/847.67 v <values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 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 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 1 2 0 0 0 0 1 0 0 0 1 2 0 0 0 0 1 0 0 0 1 2 0 0 0 0 1 0 0 0 1 2 0 0 0 0 1 0 0 0 1 2 0 0 0 0 1 0 0 0 1 2 0 0 0 0 1 0 0 0 1 2 0 0 0 0 1 0 0 0 1 2 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 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 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 4 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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> 853.79/847.67 v </instantiation>
OK 579
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (10428 MiB free) memory of node 1: 16384 MiB (14113 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406539-1569397659/watcher-4406539-1569397659 -o /tmp/evaluation-result-4406539-1569397659/solver-4406539-1569397659 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1569396632-22677 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1860271512 HOME/instance-4406539-1569397659.xml running on 4 cores: 1,3,5,7 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=23038, runsolver pid=23035 Current StackSize limit: 8192 KiB [startup+0.100362 s]* /proc/loadavg: 2.01 1.65 1.08 4/229 23054 /proc/meminfo: memFree=25113552/32770624 swapFree=67002628/67108860 [pid=23038] ppid=23035 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7 /proc/23038/stat : 23038 (xcsp3-exec) S 23035 23038 22645 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515927454 115843072 362 33554432000 4194304 5098028 140720972168576 140720972166680 139660470604412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37642240 140720972174202 140720972174445 140720972174445 140720972177354 0 /proc/23038/statm: 28282 362 304 221 0 87 0 [pid=23040] ppid=23038 vsize=15144776 memory=29920 CPUtime=0.12 cores=1,3,5,7 /proc/23040/stat : 23040 (java) S 23038 23038 22645 0 -1 1077944320 5961 0 0 0 11 1 0 0 20 0 15 0 515927454 15508250624 7480 33554432000 4194304 4196468 140727895237360 140727895219904 139897424613111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 /proc/23040/statm: 3786194 7480 3124 1 0 3748377 0 [pid=23040/tid=23041] ppid=23038 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7 /proc/23040/task/23041/stat : 23041 (java) R 23038 23038 22645 0 -1 4202560 3857 0 0 0 8 1 0 0 20 0 15 0 515927454 15508250624 7546 33554432000 4194304 4196468 140727895237360 139897428842752 139897424635037 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23042] ppid=23038 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23042/stat : 23042 (java) S 23038 23038 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515927455 15508250624 7546 33554432000 4194304 4196468 140727895237360 139897017330832 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23043] ppid=23038 vsize=15144776 memory=3833889100106626720 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23043/stat : 23043 (java) S 23038 23038 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515927455 15508250624 7546 33554432000 4194304 4196468 140727895237360 139897016278032 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23044] ppid=23038 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23044/stat : 23044 (java) S 23038 23038 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515927455 15508250624 7546 33554432000 4194304 4196468 140727895237360 139897015225232 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23045] ppid=23038 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23045/stat : 23045 (java) S 23038 23038 22645 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515927455 15508250624 7546 33554432000 4194304 4196468 140727895237360 139897014172432 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23046] ppid=23038 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23046/stat : 23046 (java) S 23038 23038 22645 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515927457 15508250624 7546 33554432000 4194304 4196468 140727895237360 139896960440688 139897424624258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23047] ppid=23038 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23047/stat : 23047 (java) S 23038 23038 22645 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515927457 15508250624 7546 33554432000 4194304 4196468 140727895237360 139896959386656 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23048] ppid=23038 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23048/stat : 23048 (java) S 23038 23038 22645 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515927457 15508250624 7546 33554432000 4194304 4196468 140727895237360 139896958333808 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23049] ppid=23038 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23049/stat : 23049 (java) S 23038 23038 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515927460 15508250624 7546 33554432000 4194304 4196468 140727895237360 139896957282128 139897424631707 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23050] ppid=23038 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23050/stat : 23050 (java) R 23038 23038 22645 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 515927460 15508250624 7546 33554432000 4194304 4196468 140727895237360 139896956230512 139897424624258 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23051] ppid=23038 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23051/stat : 23051 (java) R 23038 23038 22645 0 -1 4202560 142 0 0 0 0 0 0 0 20 0 15 0 515927460 15508250624 7546 33554432000 4194304 4196468 140727895237360 139896955177808 139897408572400 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23052] ppid=23038 vsize=15144776 memory=140328092104320 CPUtime=0.02 cores=1,3,5,7 /proc/23040/task/23052/stat : 23052 (java) R 23038 23038 22645 0 -1 4202560 376 0 0 0 2 0 0 0 20 0 15 0 515927460 15508250624 7546 33554432000 4194304 4196468 140727895237360 139896954124912 139897424625046 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23053] ppid=23038 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23053/stat : 23053 (java) S 23038 23038 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515927460 15508250624 7546 33554432000 4194304 4196468 140727895237360 139896953072352 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23054] ppid=23038 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23054/stat : 23054 (java) S 23038 23038 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515927460 15508250624 7546 33554432000 4194304 4196468 140727895237360 139896952019632 139897424624258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 31368 KiB [startup+0.211627 s]* /proc/loadavg: 2.01 1.65 1.08 3/229 23054 /proc/meminfo: memFree=25102016/32770624 swapFree=67002628/67108860 [pid=23038] ppid=23035 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7 /proc/23038/stat : 23038 (xcsp3-exec) S 23035 23038 22645 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515927454 115843072 362 33554432000 4194304 5098028 140720972168576 140720972166680 139660470604412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37642240 140720972174202 140720972174445 140720972174445 140720972177354 0 /proc/23038/statm: 28282 362 304 221 0 87 0 [pid=23040] ppid=23038 vsize=15144776 memory=40492 CPUtime=0.34 cores=1,3,5,7 /proc/23040/stat : 23040 (java) S 23038 23038 22645 0 -1 1077944320 9373 0 0 0 31 3 0 0 20 0 15 0 515927454 15508250624 10123 33554432000 4194304 4196468 140727895237360 140727895219904 139897424613111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 /proc/23040/statm: 3786194 10123 3281 1 0 3748377 0 [pid=23040/tid=23041] ppid=23038 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7 /proc/23040/task/23041/stat : 23041 (java) R 23038 23038 22645 0 -1 4202560 6658 0 0 0 18 2 0 0 20 0 15 0 515927454 15508250624 10123 33554432000 4194304 4196468 140727895237360 139897428850928 139897424635037 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23042] ppid=23038 vsize=15144776 memory=14645 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23042/stat : 23042 (java) S 23038 23038 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515927455 15508250624 10123 33554432000 4194304 4196468 140727895237360 139897017330832 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23043] ppid=23038 vsize=15144776 memory=140328095915793 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23043/stat : 23043 (java) S 23038 23038 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515927455 15508250624 10123 33554432000 4194304 4196468 140727895237360 139897016278032 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23044] ppid=23038 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23044/stat : 23044 (java) S 23038 23038 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515927455 15508250624 10123 33554432000 4194304 4196468 140727895237360 139897015225232 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23045] ppid=23038 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23045/stat : 23045 (java) S 23038 23038 22645 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515927455 15508250624 10123 33554432000 4194304 4196468 140727895237360 139897014172432 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23046] ppid=23038 vsize=15144776 memory=140328092104320 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23046/stat : 23046 (java) S 23038 23038 22645 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515927457 15508250624 10123 33554432000 4194304 4196468 140727895237360 139896960440688 139897424624258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23047] ppid=23038 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23047/stat : 23047 (java) S 23038 23038 22645 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515927457 15508250624 10123 33554432000 4194304 4196468 140727895237360 139896959386656 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23048] ppid=23038 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23048/stat : 23048 (java) S 23038 23038 22645 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515927457 15508250624 10123 33554432000 4194304 4196468 140727895237360 139896958333808 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23049] ppid=23038 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23049/stat : 23049 (java) S 23038 23038 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515927460 15508250624 10123 33554432000 4194304 4196468 140727895237360 139896957282128 139897424631707 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23050] ppid=23038 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7 /proc/23040/task/23050/stat : 23050 (java) S 23038 23038 22645 0 -1 1077944384 435 0 0 0 3 0 0 0 20 0 15 0 515927460 15508250624 10123 33554432000 4194304 4196468 140727895237360 139896956230512 139897424624258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23051] ppid=23038 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7 /proc/23040/task/23051/stat : 23051 (java) S 23038 23038 22645 0 -1 1077944384 186 0 0 0 1 0 0 0 20 0 15 0 515927460 15508250624 10123 33554432000 4194304 4196468 140727895237360 139896955177712 139897424624258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23052] ppid=23038 vsize=15144776 memory=140328092104320 CPUtime=0.08 cores=1,3,5,7 /proc/23040/task/23052/stat : 23052 (java) S 23038 23038 22645 0 -1 1077944384 788 0 0 0 8 0 0 0 20 0 15 0 515927460 15508250624 10123 33554432000 4194304 4196468 140727895237360 139896954124912 139897424624258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23053] ppid=23038 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23053/stat : 23053 (java) S 23038 23038 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515927460 15508250624 10123 33554432000 4194304 4196468 140727895237360 139896953072352 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23054] ppid=23038 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23054/stat : 23054 (java) S 23038 23038 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515927460 15508250624 10123 33554432000 4194304 4196468 140727895237360 139896952019632 139897424624258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 15257904 KiB Current children cumulated memory: 41940 KiB [startup+0.316324 s]* /proc/loadavg: 2.01 1.65 1.08 4/229 23054 /proc/meminfo: memFree=25094384/32770624 swapFree=67002628/67108860 [pid=23038] ppid=23035 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7 /proc/23038/stat : 23038 (xcsp3-exec) S 23035 23038 22645 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515927454 115843072 362 33554432000 4194304 5098028 140720972168576 140720972166680 139660470604412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37642240 140720972174202 140720972174445 140720972174445 140720972177354 0 /proc/23038/statm: 28282 362 304 221 0 87 0 [pid=23040] ppid=23038 vsize=15149032 memory=50220 CPUtime=0.54 cores=1,3,5,7 /proc/23040/stat : 23040 (java) S 23038 23038 22645 0 -1 1077944320 10911 0 0 0 50 4 0 0 20 0 15 0 515927454 15512608768 12555 33554432000 4194304 4196468 140727895237360 140727895219904 139897424613111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 /proc/23040/statm: 3787258 12555 3359 1 0 3748377 0 [pid=23040/tid=23041] ppid=23038 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7 /proc/23040/task/23041/stat : 23041 (java) R 23038 23038 22645 0 -1 4202560 7870 0 0 0 27 3 0 0 20 0 15 0 515927454 15512608768 12555 33554432000 4194304 4196468 140727895237360 139897428839728 139897406198215 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23042] ppid=23038 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23042/stat : 23042 (java) S 23038 23038 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515927455 15512608768 12555 33554432000 4194304 4196468 140727895237360 139897017330832 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23043] ppid=23038 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23043/stat : 23043 (java) S 23038 23038 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515927455 15512608768 12555 33554432000 4194304 4196468 140727895237360 139897016278032 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23044] ppid=23038 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23044/stat : 23044 (java) S 23038 23038 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515927455 15512608768 12555 33554432000 4194304 4196468 140727895237360 139897015225232 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23045] ppid=23038 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23045/stat : 23045 (java) S 23038 23038 22645 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515927455 15512608768 12555 33554432000 4194304 4196468 140727895237360 139897014172432 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23046] ppid=23038 vsize=15149032 memory=-7233795143924039839 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23046/stat : 23046 (java) S 23038 23038 22645 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515927457 15512608768 12555 33554432000 4194304 4196468 140727895237360 139896960440688 139897424624258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23047] ppid=23038 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23047/stat : 23047 (java) S 23038 23038 22645 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515927457 15512608768 12555 33554432000 4194304 4196468 140727895237360 139896959386656 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23048] ppid=23038 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23048/stat : 23048 (java) S 23038 23038 22645 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515927457 15512608768 12555 33554432000 4194304 4196468 140727895237360 139896958333808 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23049] ppid=23038 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23049/stat : 23049 (java) S 23038 23038 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515927460 15512608768 12555 33554432000 4194304 4196468 140727895237360 139896957282128 139897424631707 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23050] ppid=23038 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7 /proc/23040/task/23050/stat : 23050 (java) S 23038 23038 22645 0 -1 1077944384 469 0 0 0 4 0 0 0 20 0 15 0 515927460 15512608768 12555 33554432000 4194304 4196468 140727895237360 139896956230512 139897424624258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23051] ppid=23038 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7 /proc/23040/task/23051/stat : 23051 (java) S 23038 23038 22645 0 -1 1077944384 322 0 0 0 4 0 0 0 20 0 15 0 515927460 15512608768 12555 33554432000 4194304 4196468 140727895237360 139896955177712 139897424624258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23052] ppid=23038 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7 /proc/23040/task/23052/stat : 23052 (java) S 23038 23038 22645 0 -1 1077944384 950 0 0 0 12 0 0 0 20 0 15 0 515927460 15512608768 12555 33554432000 4194304 4196468 140727895237360 139896954124912 139897424624258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23053] ppid=23038 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23053/stat : 23053 (java) S 23038 23038 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515927460 15512608768 12555 33554432000 4194304 4196468 140727895237360 139896953072352 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23054] ppid=23038 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23054/stat : 23054 (java) S 23038 23038 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515927460 15512608768 12555 33554432000 4194304 4196468 140727895237360 139896952019632 139897424624258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 Current children cumulated CPU time: 0.54 s Current children cumulated vsize: 15262160 KiB Current children cumulated memory: 51668 KiB [startup+0.701366 s] /proc/loadavg: 2.01 1.65 1.08 6/229 23054 /proc/meminfo: memFree=25073292/32770624 swapFree=67002628/67108860 [pid=23038] ppid=23035 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7 /proc/23038/stat : 23038 (xcsp3-exec) S 23035 23038 22645 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515927454 115843072 362 33554432000 4194304 5098028 140720972168576 140720972166680 139660470604412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37642240 140720972174202 140720972174445 140720972174445 140720972177354 0 /proc/23038/statm: 28282 362 304 221 0 87 0 [pid=23040] ppid=23038 vsize=15151156 memory=97952 CPUtime=1.76 cores=1,3,5,7 /proc/23040/stat : 23040 (java) S 23038 23038 22645 0 -1 1077944320 15467 0 0 0 171 5 0 0 20 0 15 0 515927454 15514783744 24488 33554432000 4194304 4196468 140727895237360 140727895219904 139897424613111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 /proc/23040/statm: 3787789 24488 3451 1 0 3748889 0 [pid=23040/tid=23041] ppid=23038 vsize=15151156 memory=-3704326594973231466 CPUtime=0.67 cores=1,3,5,7 /proc/23040/task/23041/stat : 23041 (java) R 23038 23038 22645 0 -1 4202560 8974 0 0 0 63 4 0 0 20 0 15 0 515927454 15514783744 24488 33554432000 4194304 4196468 140727895237360 139897428850000 139897407103568 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23042] ppid=23038 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23042/stat : 23042 (java) S 23038 23038 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515927455 15514783744 24488 33554432000 4194304 4196468 140727895237360 139897017330832 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23043] ppid=23038 vsize=15151156 memory=3617 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23043/stat : 23043 (java) S 23038 23038 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515927455 15514783744 24488 33554432000 4194304 4196468 140727895237360 139897016278032 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23044] ppid=23038 vsize=15151156 memory=740 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23044/stat : 23044 (java) S 23038 23038 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515927455 15514783744 24488 33554432000 4194304 4196468 140727895237360 139897015225232 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23045] ppid=23038 vsize=15151156 memory=1052 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23045/stat : 23045 (java) S 23038 23038 22645 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515927455 15514783744 24488 33554432000 4194304 4196468 140727895237360 139897014172432 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23046] ppid=23038 vsize=15151156 memory=7548 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23046/stat : 23046 (java) S 23038 23038 22645 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515927457 15514783744 24488 33554432000 4194304 4196468 140727895237360 139896960440688 139897424624258 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23047] ppid=23038 vsize=15151156 memory=3620 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23047/stat : 23047 (java) S 23038 23038 22645 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515927457 15514783744 24488 33554432000 4194304 4196468 140727895237360 139896959386656 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23048] ppid=23038 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23048/stat : 23048 (java) S 23038 23038 22645 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515927457 15514783744 24488 33554432000 4194304 4196468 140727895237360 139896958333808 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23049] ppid=23038 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23049/stat : 23049 (java) S 23038 23038 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515927460 15514783744 24488 33554432000 4194304 4196468 140727895237360 139896957282128 139897424631707 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23050] ppid=23038 vsize=15151156 memory=1160 CPUtime=0.32 cores=1,3,5,7 /proc/23040/task/23050/stat : 23050 (java) R 23038 23038 22645 0 -1 4202560 1526 0 0 0 32 0 0 0 20 0 15 0 515927460 15514783744 24488 33554432000 4194304 4196468 140727895237360 139896956215504 139897407829667 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23051] ppid=23038 vsize=15151156 memory=1720 CPUtime=0.33 cores=1,3,5,7 /proc/23040/task/23051/stat : 23051 (java) R 23038 23038 22645 0 -1 4202560 1151 0 0 0 33 0 0 0 20 0 15 0 515927460 15514783744 24488 33554432000 4194304 4196468 140727895237360 139896955166304 139897408023926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23052] ppid=23038 vsize=15151156 memory=1096 CPUtime=0.41 cores=1,3,5,7 /proc/23040/task/23052/stat : 23052 (java) R 23038 23038 22645 0 -1 4202560 2510 0 0 0 41 0 0 0 20 0 15 0 515927460 15514783744 24488 33554432000 4194304 4196468 140727895237360 139896954122168 139897403287955 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23053] ppid=23038 vsize=15151156 memory=6168 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23053/stat : 23053 (java) S 23038 23038 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515927460 15514783744 24488 33554432000 4194304 4196468 140727895237360 139896953072352 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23054] ppid=23038 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23054/stat : 23054 (java) S 23038 23038 22645 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515927460 15514783744 24488 33554432000 4194304 4196468 140727895237360 139896952019632 139897424624258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 Current children cumulated CPU time: 1.76 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 99400 KiB [startup+1.50089 s] /proc/loadavg: 2.01 1.65 1.08 5/229 23054 /proc/meminfo: memFree=25036192/32770624 swapFree=67002628/67108860 [pid=23038] ppid=23035 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7 /proc/23038/stat : 23038 (xcsp3-exec) S 23035 23038 22645 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515927454 115843072 362 33554432000 4194304 5098028 140720972168576 140720972166680 139660470604412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37642240 140720972174202 140720972174445 140720972174445 140720972177354 0 /proc/23038/statm: 28282 362 304 221 0 87 0 ################ # More data... # ################ /proc/23038/stat : 23038 (xcsp3-exec) S 23035 23038 22645 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515927454 115843072 362 33554432000 4194304 5098028 140720972168576 140720972166680 139660470604412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37642240 140720972174202 140720972174445 140720972174445 140720972177354 0 /proc/23038/statm: 28282 362 304 221 0 87 0 [pid=23040] ppid=23038 vsize=15151156 memory=251332 CPUtime=850.98 cores=1,3,5,7 /proc/23040/stat : 23040 (java) S 23038 23038 22645 0 -1 1077944320 72878 0 0 0 85071 27 0 0 20 0 15 0 515927454 15514783744 62833 33554432000 4194304 4196468 140727895237360 140727895219904 139897424613111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 /proc/23040/statm: 3787789 62833 3513 1 0 3748889 0 [pid=23040/tid=23041] ppid=23038 vsize=15151156 memory=1964 CPUtime=844.78 cores=1,3,5,7 /proc/23040/task/23041/stat : 23041 (java) R 23038 23038 22645 0 -1 4202560 16815 0 0 0 84471 7 0 0 20 0 15 0 515927454 15514783744 62833 33554432000 4194304 4196468 140727895237360 139897428849696 139897040349530 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23042] ppid=23038 vsize=15151156 memory=1416 CPUtime=0.02 cores=1,3,5,7 /proc/23040/task/23042/stat : 23042 (java) S 23038 23038 22645 0 -1 1077944384 770 0 0 0 2 0 0 0 20 0 15 0 515927455 15514783744 62833 33554432000 4194304 4196468 140727895237360 139897017330832 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23043] ppid=23038 vsize=15151156 memory=1556 CPUtime=0.02 cores=1,3,5,7 /proc/23040/task/23043/stat : 23043 (java) S 23038 23038 22645 0 -1 1077944384 1021 0 0 0 2 0 0 0 20 0 15 0 515927455 15514783744 62833 33554432000 4194304 4196468 140727895237360 139897016278032 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23044] ppid=23038 vsize=15151156 memory=740 CPUtime=0.02 cores=1,3,5,7 /proc/23040/task/23044/stat : 23044 (java) S 23038 23038 22645 0 -1 1077944384 680 0 0 0 2 0 0 0 20 0 15 0 515927455 15514783744 62833 33554432000 4194304 4196468 140727895237360 139897015225232 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23045] ppid=23038 vsize=15151156 memory=1448 CPUtime=0.03 cores=1,3,5,7 /proc/23040/task/23045/stat : 23045 (java) S 23038 23038 22645 0 -1 1077944384 1427 0 0 0 2 1 0 0 20 0 15 0 515927455 15514783744 62833 33554432000 4194304 4196468 140727895237360 139897014172432 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23046] ppid=23038 vsize=15151156 memory=251332 CPUtime=0.01 cores=1,3,5,7 /proc/23040/task/23046/stat : 23046 (java) S 23038 23038 22645 0 -1 1077944384 1234 0 0 0 1 0 0 0 20 0 15 0 515927457 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896960440688 139897424624258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23047] ppid=23038 vsize=15151156 memory=251332 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23047/stat : 23047 (java) S 23038 23038 22645 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 515927457 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896959386720 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23048] ppid=23038 vsize=15151156 memory=2 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23048/stat : 23048 (java) S 23038 23038 22645 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 515927457 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896958333824 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23049] ppid=23038 vsize=15151156 memory=251332 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23049/stat : 23049 (java) S 23038 23038 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515927460 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896957282128 139897424631707 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23050] ppid=23038 vsize=15151156 memory=251332 CPUtime=2.27 cores=1,3,5,7 /proc/23040/task/23050/stat : 23050 (java) S 23038 23038 22645 0 -1 1077944384 16357 0 0 0 225 2 0 0 20 0 15 0 515927460 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896956230512 139897424624258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23051] ppid=23038 vsize=15151156 memory=6791534058613427641 CPUtime=2.77 cores=1,3,5,7 /proc/23040/task/23051/stat : 23051 (java) S 23038 23038 22645 0 -1 1077944384 20254 0 0 0 274 3 0 0 20 0 15 0 515927460 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896955177712 139897424624258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23052] ppid=23038 vsize=15151156 memory=1692 CPUtime=0.73 cores=1,3,5,7 /proc/23040/task/23052/stat : 23052 (java) S 23038 23038 22645 0 -1 1077944384 12088 0 0 0 72 1 0 0 20 0 15 0 515927460 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896954124912 139897424624258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23053] ppid=23038 vsize=15151156 memory=912 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23053/stat : 23053 (java) S 23038 23038 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515927460 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896953072352 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23054] ppid=23038 vsize=15151156 memory=6791534058613427641 CPUtime=0.2 cores=1,3,5,7 /proc/23040/task/23054/stat : 23054 (java) S 23038 23038 22645 0 -1 1077944384 796 0 0 0 9 11 0 0 20 0 15 0 515927460 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896952019632 139897424624258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 Current children cumulated CPU time: 850.98 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 252780 KiB [startup+846.401 s] /proc/loadavg: 1.95 1.95 1.61 3/231 23162 /proc/meminfo: memFree=24881044/32770624 swapFree=67002628/67108860 [pid=23038] ppid=23035 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7 /proc/23038/stat : 23038 (xcsp3-exec) S 23035 23038 22645 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515927454 115843072 362 33554432000 4194304 5098028 140720972168576 140720972166680 139660470604412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37642240 140720972174202 140720972174445 140720972174445 140720972177354 0 /proc/23038/statm: 28282 362 304 221 0 87 0 [pid=23040] ppid=23038 vsize=15151156 memory=251332 CPUtime=852.58 cores=1,3,5,7 /proc/23040/stat : 23040 (java) S 23038 23038 22645 0 -1 1077944320 72878 0 0 0 85231 27 0 0 20 0 15 0 515927454 15514783744 62833 33554432000 4194304 4196468 140727895237360 140727895219904 139897424613111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 /proc/23040/statm: 3787789 62833 3513 1 0 3748889 0 [pid=23040/tid=23041] ppid=23038 vsize=15151156 memory=64976 CPUtime=846.38 cores=1,3,5,7 /proc/23040/task/23041/stat : 23041 (java) R 23038 23038 22645 0 -1 4202560 16815 0 0 0 84631 7 0 0 20 0 15 0 515927454 15514783744 62833 33554432000 4194304 4196468 140727895237360 139897428849696 139897041307396 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23042] ppid=23038 vsize=15151156 memory=251332 CPUtime=0.02 cores=1,3,5,7 /proc/23040/task/23042/stat : 23042 (java) S 23038 23038 22645 0 -1 1077944384 770 0 0 0 2 0 0 0 20 0 15 0 515927455 15514783744 62833 33554432000 4194304 4196468 140727895237360 139897017330832 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23043] ppid=23038 vsize=15151156 memory=1448 CPUtime=0.02 cores=1,3,5,7 /proc/23040/task/23043/stat : 23043 (java) S 23038 23038 22645 0 -1 1077944384 1021 0 0 0 2 0 0 0 20 0 15 0 515927455 15514783744 62833 33554432000 4194304 4196468 140727895237360 139897016278032 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23044] ppid=23038 vsize=15151156 memory=251332 CPUtime=0.02 cores=1,3,5,7 /proc/23040/task/23044/stat : 23044 (java) S 23038 23038 22645 0 -1 1077944384 680 0 0 0 2 0 0 0 20 0 15 0 515927455 15514783744 62833 33554432000 4194304 4196468 140727895237360 139897015225232 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23045] ppid=23038 vsize=15151156 memory=2456 CPUtime=0.03 cores=1,3,5,7 /proc/23040/task/23045/stat : 23045 (java) S 23038 23038 22645 0 -1 1077944384 1427 0 0 0 2 1 0 0 20 0 15 0 515927455 15514783744 62833 33554432000 4194304 4196468 140727895237360 139897014172432 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23046] ppid=23038 vsize=15151156 memory=1760 CPUtime=0.01 cores=1,3,5,7 /proc/23040/task/23046/stat : 23046 (java) S 23038 23038 22645 0 -1 1077944384 1234 0 0 0 1 0 0 0 20 0 15 0 515927457 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896960440688 139897424624258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23047] ppid=23038 vsize=15151156 memory=111632 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23047/stat : 23047 (java) S 23038 23038 22645 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 515927457 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896959386720 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23048] ppid=23038 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23048/stat : 23048 (java) S 23038 23038 22645 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 515927457 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896958333824 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23049] ppid=23038 vsize=15151156 memory=740 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23049/stat : 23049 (java) S 23038 23038 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515927460 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896957282128 139897424631707 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23050] ppid=23038 vsize=15151156 memory=1052 CPUtime=2.27 cores=1,3,5,7 /proc/23040/task/23050/stat : 23050 (java) S 23038 23038 22645 0 -1 1077944384 16357 0 0 0 225 2 0 0 20 0 15 0 515927460 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896956230512 139897424624258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23051] ppid=23038 vsize=15151156 memory=7548 CPUtime=2.77 cores=1,3,5,7 /proc/23040/task/23051/stat : 23051 (java) S 23038 23038 22645 0 -1 1077944384 20254 0 0 0 274 3 0 0 20 0 15 0 515927460 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896955177712 139897424624258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23052] ppid=23038 vsize=15151156 memory=3620 CPUtime=0.73 cores=1,3,5,7 /proc/23040/task/23052/stat : 23052 (java) S 23038 23038 22645 0 -1 1077944384 12088 0 0 0 72 1 0 0 20 0 15 0 515927460 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896954124912 139897424624258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23053] ppid=23038 vsize=15151156 memory=1416 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23053/stat : 23053 (java) S 23038 23038 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515927460 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896953072352 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23054] ppid=23038 vsize=15151156 memory=1556 CPUtime=0.2 cores=1,3,5,7 /proc/23040/task/23054/stat : 23054 (java) S 23038 23038 22645 0 -1 1077944384 796 0 0 0 9 11 0 0 20 0 15 0 515927460 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896952019632 139897424624258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 Current children cumulated CPU time: 852.58 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 252780 KiB [startup+847.201 s] /proc/loadavg: 1.95 1.95 1.61 3/231 23162 /proc/meminfo: memFree=24881044/32770624 swapFree=67002628/67108860 [pid=23038] ppid=23035 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7 /proc/23038/stat : 23038 (xcsp3-exec) S 23035 23038 22645 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515927454 115843072 362 33554432000 4194304 5098028 140720972168576 140720972166680 139660470604412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37642240 140720972174202 140720972174445 140720972174445 140720972177354 0 /proc/23038/statm: 28282 362 304 221 0 87 0 [pid=23040] ppid=23038 vsize=15151156 memory=251332 CPUtime=853.39 cores=1,3,5,7 /proc/23040/stat : 23040 (java) S 23038 23038 22645 0 -1 1077944320 72878 0 0 0 85311 28 0 0 20 0 15 0 515927454 15514783744 62833 33554432000 4194304 4196468 140727895237360 140727895219904 139897424613111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 /proc/23040/statm: 3787789 62833 3513 1 0 3748889 0 [pid=23040/tid=23041] ppid=23038 vsize=15151156 memory=1448 CPUtime=847.18 cores=1,3,5,7 /proc/23040/task/23041/stat : 23041 (java) R 23038 23038 22645 0 -1 4202560 16815 0 0 0 84711 7 0 0 20 0 15 0 515927454 15514783744 62833 33554432000 4194304 4196468 140727895237360 139897428849696 139897041428832 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23042] ppid=23038 vsize=15151156 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7 /proc/23040/task/23042/stat : 23042 (java) S 23038 23038 22645 0 -1 1077944384 770 0 0 0 2 0 0 0 20 0 15 0 515927455 15514783744 62833 33554432000 4194304 4196468 140727895237360 139897017330832 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23043] ppid=23038 vsize=15151156 memory=1720 CPUtime=0.02 cores=1,3,5,7 /proc/23040/task/23043/stat : 23043 (java) S 23038 23038 22645 0 -1 1077944384 1021 0 0 0 2 0 0 0 20 0 15 0 515927455 15514783744 62833 33554432000 4194304 4196468 140727895237360 139897016278032 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23044] ppid=23038 vsize=15151156 memory=1096 CPUtime=0.02 cores=1,3,5,7 /proc/23040/task/23044/stat : 23044 (java) S 23038 23038 22645 0 -1 1077944384 680 0 0 0 2 0 0 0 20 0 15 0 515927455 15514783744 62833 33554432000 4194304 4196468 140727895237360 139897015225232 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23045] ppid=23038 vsize=15151156 memory=6168 CPUtime=0.03 cores=1,3,5,7 /proc/23040/task/23045/stat : 23045 (java) S 23038 23038 22645 0 -1 1077944384 1427 0 0 0 2 1 0 0 20 0 15 0 515927455 15514783744 62833 33554432000 4194304 4196468 140727895237360 139897014172432 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23046] ppid=23038 vsize=15151156 memory=14012 CPUtime=0.01 cores=1,3,5,7 /proc/23040/task/23046/stat : 23046 (java) S 23038 23038 22645 0 -1 1077944384 1234 0 0 0 1 0 0 0 20 0 15 0 515927457 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896960440688 139897424624258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23047] ppid=23038 vsize=15151156 memory=33688 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23047/stat : 23047 (java) S 23038 23038 22645 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 515927457 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896959386720 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23048] ppid=23038 vsize=15151156 memory=4100 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23048/stat : 23048 (java) S 23038 23038 22645 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 515927457 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896958333824 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23049] ppid=23038 vsize=15151156 memory=1408 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23049/stat : 23049 (java) S 23038 23038 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515927460 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896957282128 139897424631707 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23050] ppid=23038 vsize=15151156 memory=3156 CPUtime=2.27 cores=1,3,5,7 /proc/23040/task/23050/stat : 23050 (java) S 23038 23038 22645 0 -1 1077944384 16357 0 0 0 225 2 0 0 20 0 15 0 515927460 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896956230512 139897424624258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23051] ppid=23038 vsize=15151156 memory=1448 CPUtime=2.77 cores=1,3,5,7 /proc/23040/task/23051/stat : 23051 (java) S 23038 23038 22645 0 -1 1077944384 20254 0 0 0 274 3 0 0 20 0 15 0 515927460 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896955177712 139897424624258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23052] ppid=23038 vsize=15151156 memory=266448 CPUtime=0.73 cores=1,3,5,7 /proc/23040/task/23052/stat : 23052 (java) S 23038 23038 22645 0 -1 1077944384 12088 0 0 0 72 1 0 0 20 0 15 0 515927460 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896954124912 139897424624258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23053] ppid=23038 vsize=15151156 memory=1408 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23053/stat : 23053 (java) S 23038 23038 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515927460 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896953072352 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23054] ppid=23038 vsize=15151156 memory=64976 CPUtime=0.2 cores=1,3,5,7 /proc/23040/task/23054/stat : 23054 (java) S 23038 23038 22645 0 -1 1077944384 796 0 0 0 9 11 0 0 20 0 15 0 515927460 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896952019632 139897424624258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 Current children cumulated CPU time: 853.39 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 252780 KiB [startup+847.601 s] /proc/loadavg: 1.95 1.95 1.61 3/231 23162 /proc/meminfo: memFree=24881044/32770624 swapFree=67002628/67108860 [pid=23038] ppid=23035 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7 /proc/23038/stat : 23038 (xcsp3-exec) S 23035 23038 22645 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 515927454 115843072 362 33554432000 4194304 5098028 140720972168576 140720972166680 139660470604412 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37642240 140720972174202 140720972174445 140720972174445 140720972177354 0 /proc/23038/statm: 28282 362 304 221 0 87 0 [pid=23040] ppid=23038 vsize=15151156 memory=251332 CPUtime=853.79 cores=1,3,5,7 /proc/23040/stat : 23040 (java) S 23038 23038 22645 0 -1 1077944320 72878 0 0 0 85351 28 0 0 20 0 15 0 515927454 15514783744 62833 33554432000 4194304 4196468 140727895237360 140727895219904 139897424613111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 /proc/23040/statm: 3787789 62833 3513 1 0 3748889 0 [pid=23040/tid=23041] ppid=23038 vsize=15151156 memory=3588 CPUtime=847.58 cores=1,3,5,7 /proc/23040/task/23041/stat : 23041 (java) R 23038 23038 22645 0 -1 4202560 16815 0 0 0 84751 7 0 0 20 0 15 0 515927454 15514783744 62833 33554432000 4194304 4196468 140727895237360 139897428849696 139897040349780 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23042] ppid=23038 vsize=15151156 memory=14068 CPUtime=0.02 cores=1,3,5,7 /proc/23040/task/23042/stat : 23042 (java) S 23038 23038 22645 0 -1 1077944384 770 0 0 0 2 0 0 0 20 0 15 0 515927455 15514783744 62833 33554432000 4194304 4196468 140727895237360 139897017330832 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23043] ppid=23038 vsize=15151156 memory=2120 CPUtime=0.02 cores=1,3,5,7 /proc/23040/task/23043/stat : 23043 (java) S 23038 23038 22645 0 -1 1077944384 1021 0 0 0 2 0 0 0 20 0 15 0 515927455 15514783744 62833 33554432000 4194304 4196468 140727895237360 139897016278032 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23044] ppid=23038 vsize=15151156 memory=504 CPUtime=0.02 cores=1,3,5,7 /proc/23040/task/23044/stat : 23044 (java) S 23038 23038 22645 0 -1 1077944384 680 0 0 0 2 0 0 0 20 0 15 0 515927455 15514783744 62833 33554432000 4194304 4196468 140727895237360 139897015225232 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23045] ppid=23038 vsize=15151156 memory=6791534058613427641 CPUtime=0.03 cores=1,3,5,7 /proc/23040/task/23045/stat : 23045 (java) S 23038 23038 22645 0 -1 1077944384 1427 0 0 0 2 1 0 0 20 0 15 0 515927455 15514783744 62833 33554432000 4194304 4196468 140727895237360 139897014172432 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23046] ppid=23038 vsize=15151156 memory=111632 CPUtime=0.01 cores=1,3,5,7 /proc/23040/task/23046/stat : 23046 (java) S 23038 23038 22645 0 -1 1077944384 1234 0 0 0 1 0 0 0 20 0 15 0 515927457 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896960440688 139897424624258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23047] ppid=23038 vsize=15151156 memory=804 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23047/stat : 23047 (java) S 23038 23038 22645 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 515927457 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896959386720 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23048] ppid=23038 vsize=15151156 memory=1804 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23048/stat : 23048 (java) S 23038 23038 22645 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 515927457 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896958333824 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23049] ppid=23038 vsize=15151156 memory=916 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23049/stat : 23049 (java) S 23038 23038 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515927460 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896957282128 139897424631707 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23050] ppid=23038 vsize=15151156 memory=3848 CPUtime=2.27 cores=1,3,5,7 /proc/23040/task/23050/stat : 23050 (java) S 23038 23038 22645 0 -1 1077944384 16357 0 0 0 225 2 0 0 20 0 15 0 515927460 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896956230512 139897424624258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23051] ppid=23038 vsize=15151156 memory=2600 CPUtime=2.77 cores=1,3,5,7 /proc/23040/task/23051/stat : 23051 (java) S 23038 23038 22645 0 -1 1077944384 20254 0 0 0 274 3 0 0 20 0 15 0 515927460 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896955177712 139897424624258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23052] ppid=23038 vsize=15151156 memory=2700 CPUtime=0.73 cores=1,3,5,7 /proc/23040/task/23052/stat : 23052 (java) S 23038 23038 22645 0 -1 1077944384 12088 0 0 0 72 1 0 0 20 0 15 0 515927460 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896954124912 139897424624258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23053] ppid=23038 vsize=15151156 memory=4100 CPUtime=0 cores=1,3,5,7 /proc/23040/task/23053/stat : 23053 (java) S 23038 23038 22645 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515927460 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896953072352 139897424623317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 [pid=23040/tid=23054] ppid=23038 vsize=15151156 memory=1408 CPUtime=0.2 cores=1,3,5,7 /proc/23040/task/23054/stat : 23054 (java) S 23038 23038 22645 0 -1 1077944384 796 0 0 0 9 11 0 0 20 0 15 0 515927460 15514783744 62833 33554432000 4194304 4196468 140727895237360 139896952019632 139897424624258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7933952 140727895245807 140727895245978 140727895245978 140727895248847 0 Current children cumulated CPU time: 853.79 s Current children cumulated vsize: 15264284 KiB Current children cumulated memory: 252780 KiB Child status: 0 Real time (s): 847.692 CPU time (s): 853.878 CPU user time (s): 853.594 CPU system time (s): 0.284243 CPU usage (%): 100.73 Max. virtual memory (cumulated for all children) (KiB): 15264284 Max. memory (cumulated for all children) (KiB): 252780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 853.594 system time used= 0.284243 maximum resident set size= 251360 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 73630 page faults= 0 swaps= 0 block input operations= 0 block output operations= 896 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 21598 involuntary context switches= 324 # summary of solver processes directly reported to runsolver: # pid: 23038 # total CPU time (s): 853.878 # total CPU user time (s): 853.594 # total CPU system time (s): 0.284243 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.00856 second user time and 7.78302 second system time The end
Begin job on node148 at 2019-09-25 09:47:02 IDJOB=4406539 IDBENCH=124207 IDSOLVER=2870 FILE ID=node148/4406539-1569397659 RUNJOBID= node148-1569396632-22677 PBS_JOBID= 21705677 Free space on /tmp= 22060 MiB SOLVER NAME= choco-solver 2019-09-24 BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t08-0.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4406539-1569397659/watcher-4406539-1569397659 -o /tmp/evaluation-result-4406539-1569397659/solver-4406539-1569397659 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1569396632-22677 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1860271512 HOME/instance-4406539-1569397659.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ed46a5b20d86f225200b9362bdb8a529 RANDOM SEED=1860271512 node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25131324 kB MemAvailable: 31611504 kB Buffers: 77204 kB Cached: 6674684 kB SwapCached: 3400 kB Active: 4650368 kB Inactive: 2351060 kB Active(anon): 248800 kB Inactive(anon): 56360 kB Active(file): 4401568 kB Inactive(file): 2294700 kB Unevictable: 111012 kB Mlocked: 111012 kB SwapTotal: 67108860 kB SwapFree: 67002628 kB Dirty: 26200 kB Writeback: 0 kB AnonPages: 357700 kB Mapped: 70680 kB Shmem: 47128 kB Slab: 228964 kB SReclaimable: 199496 kB SUnreclaim: 29468 kB KernelStack: 3904 kB PageTables: 6480 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1519752 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 296960 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 22032 MiB End job on node148 at 2019-09-25 10:01:10