Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.12 | SAT (TO) | 250884 | 2520.04 | 2520.01 |
Name | Rlfap/Rlfap-opt/ Rlfap-graph-13-opt_c18.xml |
MD5SUM | b4f35f52fd25bddaccbbeb0f9433c3f2 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 135769 |
Best CPU time to get the best result obtained on this benchmark | 2400.21 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 5731 |
Number of constraints | 5273 |
Number of domains | 11 |
Minimum domain size | 2 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":2,"count":4815},{"size":6,"count":60},{"size":22,"count":30},{"size":24,"count":18},{"size":36,"count":196},{"size":42,"count":130},{"size":44,"count":482}] |
Minimum variable degree | 2 |
Maximum variable degree | 21 |
Distribution of variable degrees | [{"degree":2,"count":4815},{"degree":3,"count":3},{"degree":4,"count":4},{"degree":5,"count":15},{"degree":6,"count":38},{"degree":7,"count":82},{"degree":8,"count":83},{"degree":9,"count":97},{"degree":10,"count":88},{"degree":11,"count":79},{"degree":12,"count":53},{"degree":13,"count":62},{"degree":14,"count":58},{"degree":15,"count":101},{"degree":16,"count":77},{"degree":17,"count":38},{"degree":18,"count":19},{"degree":19,"count":14},{"degree":20,"count":2},{"degree":21,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":2,"count":458},{"arity":3,"count":4815}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 5273 |
Distribution of constraint types | [{"type":"intension","count":5273}] |
Optimization problem | YES |
Type of objective | min SUM |
4.19/4.28 c best=?? lower=0 upper=1167525 50.39/50.48 c 50.39/50.48 c This is cosoco 1.12 -- 50.39/50.48 c 50.39/50.48 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4293590-1532319446.xml 50.39/50.48 c enable optimization 50.39/50.48 c ========================================[ Problem Statistics ]=========================================== 50.39/50.48 c | 50.39/50.48 c | Parse time : 4.12 s 50.39/50.48 c | 50.39/50.48 c | Variables: 5731 50.39/50.48 c | Domain Sizes: 2..44 50.39/50.48 c | 50.39/50.48 c | Constraints: 5274 50.39/50.48 c | Arity: 2..4815 -- Binary: 458 -- Ternary: 4815 50.39/50.48 c | 50.39/50.48 c | Types: 50.39/50.48 c | Intension: 5273 50.39/50.48 c | Sum: 1 50.39/50.48 c | 50.39/50.48 c | Objective: Minimize Sum 50.39/50.48 50.39/50.48 c ========================================================================================================= 50.39/50.48 o 294195 50.39/50.48 c 1 calls to solver: best=294195 lower=0 upper=294194 56.18/56.23 o 261388 762.88/763.00 o 250884 762.88/763.00 c 3 calls to solver: best=250884 lower=0 upper=250883 2520.03/2520.00 2520.03/2520.00 c *** INTERRUPTED *** 2520.03/2520.00 c restarts : 61 2520.03/2520.00 c conflicts : 338621 (134 /sec) 2520.03/2520.00 c decisions : 1364427 (542 /sec) 2520.03/2520.00 c propagations : 112382766 (44603 /sec) 2520.03/2520.00 c root propagations : 1110416 2520.03/2520.00 c filter calls : 81580218 (32378 /sec) 2520.03/2520.00 c useless filter calls : 60770296 (74 %) 2520.03/2520.00 c Memory used : 516.22 MB 2520.03/2520.00 c CPU time : 2519.64 s 2520.03/2520.00 2520.03/2520.00 c nb Solutions = 3 2520.03/2520.00 s SATISFIABLE 2520.03/2520.00 c Best value found: 250884 2520.03/2520.00 2520.03/2520.00 2520.03/2520.00 v <instantiation type='solution' cost='250884'> 2520.03/2520.00 v <list>x[0] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[10] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[11] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[12] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[13] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[14] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[15] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[16] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[17] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[18] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[19] x[1] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[20] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[21] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[22] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[23] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[24] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[25] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[26] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[27] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[28] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[29] x[2] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[30] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[31] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[32] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[33] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[34] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[35] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[36] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[37] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[38] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[39] x[3] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[40] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[41] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[42] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[43] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[44] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[45] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[46] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[47] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[48] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[49] x[4] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[50] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[51] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[52] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[53] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[54] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[55] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[56] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[57] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[58] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[59] x[5] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[60] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[61] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[62] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[63] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[64] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[65] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[66] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[67] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[68] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[69] x[6] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[70] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[71] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[72] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[73] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[74] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[75] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[76] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[77] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[78] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[79] x[7] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[80] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[81] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[82] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[83] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[84] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[85] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[86] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[87] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[88] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[89] x[8] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[90] x[910] x[911] x[912] x[913] x[914] x[915] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[9] za1[0] za1[1000] za1[1001] za1[1002] za1[1003] za1[1004] za1[1005] za1[1006] za1[1007] za1[1008] za1[1009] za1[100] za1[1010] za1[1011] za1[1012] za1[1013] za1[1014] za1[1015] za1[1016] za1[1017] za1[1018] za1[1019] za1[101] za1[1020] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[10] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[11] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[12] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[13] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[14] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[15] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[16] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[17] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[18] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[19] za1[1] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[20] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[21] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[22] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[23] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[24] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[25] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[26] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[27] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[28] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[29] za1[2] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[30] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[31] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[32] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[33] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[34] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[35] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[36] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[37] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[38] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[39] za1[3] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[40] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za1[416] za1[417] za1[418] za1[419] za1[41] za1[420] za1[421] za1[422] za1[423] za1[424] za1[425] za1[426] za1[427] za1[428] za1[429] za1[42] za1[430] za1[431] za1[432] za1[433] za1[434] za1[435] za1[436] za1[437] za1[438] za1[439] za1[43] za1[440] za1[441] za1[442] za1[443] za1[444] za1[445] za1[446] za1[447] za1[448] za1[449] za1[44] za1[450] za1[451] za1[452] za1[453] za1[454] za1[455] za1[456] za1[457] za1[458] za1[459] za1[45] za1[460] za1[461] za1[462] za1[463] za1[464] za1[465] za1[466] za1[467] za1[468] za1[469] za1[46] za1[470] za1[471] za1[472] za1[473] za1[474] za1[475] za1[476] za1[477] za1[478] za1[479] za1[47] za1[480] za1[481] za1[482] za1[483] za1[484] za1[485] za1[486] za1[487] za1[488] za1[489] za1[48] za1[490] za1[491] za1[492] za1[493] za1[494] za1[495] za1[496] za1[497] za1[498] za1[499] za1[49] za1[4] za1[500] za1[501] za1[502] za1[503] za1[504] za1[505] za1[506] za1[507] za1[508] za1[509] za1[50] za1[510] za1[511] za1[512] za1[513] za1[514] za1[515] za1[516] za1[517] za1[518] za1[519] za1[51] za1[520] za1[521] za1[522] za1[523] za1[524] za1[525] za1[526] za1[527] za1[528] za1[529] za1[52] za1[530] za1[531] za1[532] za1[533] za1[534] za1[535] za1[536] za1[537] za1[538] za1[539] za1[53] za1[540] za1[541] za1[542] za1[543] za1[544] za1[545] za1[546] za1[547] za1[548] za1[549] za1[54] za1[550] za1[551] za1[552] za1[553] za1[554] za1[555] za1[556] za1[557] za1[558] za1[559] za1[55] za1[560] za1[561] za1[562] za1[563] za1[564] za1[565] za1[566] za1[567] za1[568] za1[569] za1[56] za1[570] za1[571] za1[572] za1[573] za1[574] za1[575] za1[576] za1[577] za1[578] za1[579] za1[57] za1[580] za1[581] za1[582] za1[583] za1[584] za1[585] za1[586] za1[587] za1[588] za1[589] za1[58] za1[590] za1[591] za1[592] za1[593] za1[594] za1[595] za1[596] za1[597] za1[598] za1[599] za1[59] za1[5] za1[600] za1[601] za1[602] za1[603] za1[604] za1[605] za1[606] za1[607] za1[608] za1[609] za1[60] za1[610] za1[611] za1[612] za1[613] za1[614] za1[615] za1[616] za1[617] za1[618] za1[619] za1[61] za1[620] za1[621] za1[622] za1[623] za1[624] za1[625] za1[626] za1[627] za1[628] za1[629] za1[62] za1[630] za1[631] za1[632] za1[633] za1[634] za1[635] za1[636] za1[637] za1[638] za1[639] za1[63] za1[640] za1[641] za1[642] za1[643] za1[644] za1[645] za1[646] za1[647] za1[648] za1[649] za1[64] za1[650] za1[651] za1[652] za1[653] za1[654] za1[655] za1[656] za1[657] za1[658] za1[659] za1[65] za1[660] za1[661] za1[662] za1[663] za1[664] za1[665] za1[666] za1[667] za1[668] za1[669] za1[66] za1[670] za1[671] za1[672] za1[673] za1[674] za1[675] za1[676] za1[677] za1[678] za1[679] za1[67] za1[680] za1[681] za1[682] za1[683] za1[684] za1[685] za1[686] za1[687] za1[688] za1[689] za1[68] za1[690] za1[691] za1[692] za1[693] za1[694] za1[695] za1[696] za1[697] za1[698] za1[699] za1[69] za1[6] za1[700] za1[701] za1[702] za1[703] za1[704] za1[705] za1[706] za1[707] za1[708] za1[709] za1[70] za1[710] za1[711] za1[712] za1[713] za1[714] za1[715] za1[716] za1[717] za1[718] za1[719] za1[71] za1[720] za1[721] za1[722] za1[723] za1[724] za1[725] za1[726] za1[727] za1[728] za1[729] za1[72] za1[730] za1[731] za1[732] za1[733] za1[734] za1[735] za1[736] za1[737] za1[738] za1[739] za1[73] za1[740] za1[741] za1[742] za1[743] za1[744] za1[745] za1[746] za1[747] za1[748] za1[749] za1[74] za1[750] za1[751] za1[752] za1[753] za1[754] za1[755] za1[756] za1[757] za1[758] za1[759] za1[75] za1[760] za1[761] za1[762] za1[763] za1[764] za1[765] za1[766] za1[767] za1[768] za1[769] za1[76] za1[770] za1[771] za1[772] za1[773] za1[774] za1[775] za1[776] za1[777] za1[778] za1[779] za1[77] za1[780] za1[781] za1[782] za1[783] za1[784] za1[785] za1[786] za1[787] za1[788] za1[789] za1[78] za1[790] za1[791] za1[792] za1[793] za1[794] za1[795] za1[796] za1[797] za1[798] za1[799] za1[79] za1[7] za1[800] za1[801] za1[802] za1[803] za1[804] za1[805] za1[806] za1[807] za1[808] za1[809] za1[80] za1[810] za1[811] za1[812] za1[813] za1[814] za1[815] za1[816] za1[817] za1[818] za1[819] za1[81] za1[820] za1[821] za1[822] za1[823] za1[824] za1[825] za1[826] za1[827] za1[828] za1[829] za1[82] za1[830] za1[831] za1[832] za1[833] za1[834] za1[835] za1[836] za1[837] za1[838] za1[839] za1[83] za1[840] za1[841] za1[842] za1[843] za1[844] za1[845] za1[846] za1[847] za1[848] za1[849] za1[84] za1[850] za1[851] za1[852] za1[853] za1[854] za1[855] za1[856] za1[857] za1[858] za1[859] za1[85] za1[860] za1[861] za1[862] za1[863] za1[864] za1[865] za1[866] za1[867] za1[868] za1[869] za1[86] za1[870] za1[871] za1[872] za1[873] za1[874] za1[875] za1[876] za1[877] za1[878] za1[879] za1[87] za1[880] za1[881] za1[882] za1[883] za1[884] za1[885] za1[886] za1[887] za1[888] za1[889] za1[88] za1[890] za1[891] za1[892] za1[893] za1[894] za1[895] za1[896] za1[897] za1[898] za1[899] za1[89] za1[8] za1[900] za1[901] za1[902] za1[903] za1[904] za1[905] za1[906] za1[907] za1[908] za1[909] za1[90] za1[910] za1[911] za1[912] za1[913] za1[914] za1[915] za1[916] za1[917] za1[918] za1[919] za1[91] za1[920] za1[921] za1[922] za1[923] za1[924] za1[925] za1[926] za1[927] za1[928] za1[929] za1[92] za1[930] za1[931] za1[932] za1[933] za1[934] za1[935] za1[936] za1[937] za1[938] za1[939] za1[93] za1[940] za1[941] za1[942] za1[943] za1[944] za1[945] za1[946] za1[947] za1[948] za1[949] za1[94] za1[950] za1[951] za1[952] za1[953] za1[954] za1[955] za1[956] za1[957] za1[958] za1[959] za1[95] za1[960] za1[961] za1[962] za1[963] za1[964] za1[965] za1[966] za1[967] za1[968] za1[969] za1[96] za1[970] za1[971] za1[972] za1[973] za1[974] za1[975] za1[976] za1[977] za1[978] za1[979] za1[97] za1[980] za1[981] za1[982] za1[983] za1[984] za1[985] za1[986] za1[987] za1[988] za1[989] za1[98] za1[990] za1[991] za1[992] za1[993] za1[994] za1[995] za1[996] za1[997] za1[998] za1[999] za1[99] za1[9] za2[0] za2[1000] za2[1001] za2[1002] za2[1003] za2[1004] za2[1005] za2[1006] za2[1007] za2[1008] za2[1009] za2[100] za2[1010] za2[1011] za2[1012] za2[1013] za2[1014] za2[1015] za2[1016] za2[1017] za2[1018] za2[1019] za2[101] za2[1020] za2[1021] za2[1022] za2[1023] za2[1024] za2[1025] za2[1026] za2[1027] za2[1028] za2[1029] za2[102] za2[1030] za2[1031] za2[1032] za2[1033] za2[1034] za2[1035] za2[1036] za2[1037] za2[1038] za2[1039] za2[103] za2[1040] za2[1041] za2[1042] za2[1043] za2[1044] za2[1045] za2[1046] za2[1047] za2[1048] za2[1049] za2[104] za2[1050] za2[1051] za2[1052] za2[1053] za2[1054] za2[1055] za2[1056] za2[1057] za2[1058] za2[1059] za2[105] za2[1060] za2[1061] za2[1062] za2[1063] za2[1064] za2[1065] za2[1066] za2[1067] za2[1068] za2[1069] za2[106] za2[1070] za2[1071] za2[1072] za2[1073] za2[1074] za2[1075] za2[1076] za2[1077] za2[1078] za2[1079] za2[107] za2[1080] za2[1081] za2[1082] za2[1083] za2[1084] za2[1085] za2[1086] za2[1087] za2[1088] za2[1089] za2[108] za2[1090] za2[1091] za2[1092] za2[1093] za2[1094] za2[1095] za2[1096] za2[1097] za2[1098] za2[1099] za2[109] za2[10] za2[1100] za2[1101] za2[1102] za2[1103] za2[1104] za2[1105] za2[1106] za2[1107] za2[1108] za2[1109] za2[110] za2[1110] za2[1111] za2[1112] za2[1113] za2[1114] za2[1115] za2[1116] za2[1117] za2[1118] za2[1119] za2[111] za2[1120] za2[1121] za2[1122] za2[1123] za2[1124] za2[1125] za2[1126] za2[1127] za2[1128] za2[1129] za2[112] za2[1130] za2[1131] za2[1132] za2[1133] za2[1134] za2[1135] za2[1136] za2[1137] za2[1138] za2[1139] za2[113] za2[1140] za2[1141] za2[1142] za2[1143] za2[1144] za2[1145] za2[1146] za2[1147] za2[1148] za2[1149] za2[114] za2[1150] za2[1151] za2[1152] za2[1153] za2[1154] za2[1155] za2[1156] za2[1157] za2[1158] za2[1159] za2[115] za2[1160] za2[1161] za2[1162] za2[1163] za2[1164] za2[1165] za2[1166] za2[1167] za2[1168] za2[1169] za2[116] za2[1170] za2[1171] za2[1172] za2[1173] za2[1174] za2[1175] za2[1176] za2[1177] za2[1178] za2[1179] za2[117] za2[1180] za2[1181] za2[1182] za2[1183] za2[1184] za2[1185] za2[1186] za2[1187] za2[1188] za2[1189] za2[118] za2[1190] za2[1191] za2[1192] za2[1193] za2[1194] za2[1195] za2[1196] za2[1197] za2[1198] za2[1199] za2[119] za2[11] za2[1200] za2[1201] za2[1202] za2[1203] za2[1204] za2[1205] za2[1206] za2[1207] za2[1208] za2[1209] za2[120] za2[1210] za2[1211] za2[1212] za2[1213] za2[1214] za2[1215] za2[1216] za2[1217] za2[1218] za2[1219] za2[121] za2[1220] za2[1221] za2[1222] za2[1223] za2[1224] za2[1225] za2[1226] za2[1227] za2[1228] za2[1229] za2[122] za2[1230] za2[1231] za2[1232] za2[1233] za2[1234] za2[1235] za2[1236] za2[1237] za2[1238] za2[1239] za2[123] za2[1240] za2[1241] za2[1242] za2[1243] za2[1244] za2[1245] za2[1246] za2[1247] za2[1248] za2[1249] za2[124] za2[1250] za2[1251] za2[1252] za2[1253] za2[1254] za2[1255] za2[1256] za2[1257] za2[1258] za2[1259] za2[125] za2[1260] za2[1261] za2[1262] za2[1263] za2[1264] za2[1265] za2[1266] za2[1267] za2[1268] za2[1269] za2[126] za2[1270] za2[1271] za2[1272] za2[1273] za2[1274] za2[1275] za2[1276] za2[1277] za2[1278] za2[1279] za2[127] za2[1280] za2[1281] za2[1282] za2[1283] za2[1284] za2[1285] za2[1286] za2[1287] za2[1288] za2[1289] za2[128] za2[1290] za2[1291] za2[1292] za2[1293] za2[1294] za2[1295] za2[1296] za2[1297] za2[1298] za2[1299] za2[129] za2[12] za2[1300] za2[1301] za2[1302] za2[1303] za2[1304] za2[1305] za2[1306] za2[1307] za2[1308] za2[1309] za2[130] za2[1310] za2[1311] za2[1312] za2[1313] za2[1314] za2[1315] za2[1316] za2[1317] za2[1318] za2[1319] za2[131] za2[1320] za2[1321] za2[1322] za2[1323] za2[1324] za2[1325] za2[1326] za2[1327] za2[1328] za2[1329] za2[132] za2[1330] za2[1331] za2[1332] za2[1333] za2[1334] za2[1335] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[13] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[14] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[15] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[16] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[17] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[18] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[19] za2[1] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[20] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[21] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[22] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[23] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[24] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[25] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[26] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[27] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[28] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[29] za2[2] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[30] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[31] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[32] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[33] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[34] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[35] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[36] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[37] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[38] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[39] za2[3] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[40] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[41] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[42] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[43] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[44] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[45] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[46] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[47] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[48] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[49] za2[4] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[50] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[51] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[52] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[53] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[54] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za2[559] za2[55] za2[560] za2[561] za2[562] za2[563] za2[564] za2[565] za2[566] za2[567] za2[568] za2[569] za2[56] za2[570] za2[571] za2[572] za2[573] za2[574] za2[575] za2[576] za2[577] za2[578] za2[579] za2[57] za2[580] za2[581] za2[582] za2[583] za2[584] za2[585] za2[586] za2[587] za2[588] za2[589] za2[58] za2[590] za2[591] za2[592] za2[593] za2[594] za2[595] za2[596] za2[597] za2[598] za2[599] za2[59] za2[5] za2[600] za2[601] za2[602] za2[603] za2[604] za2[605] za2[606] za2[607] za2[608] za2[609] za2[60] za2[610] za2[611] za2[612] za2[613] za2[614] za2[615] za2[616] za2[617] za2[618] za2[619] za2[61] za2[620] za2[621] za2[622] za2[623] za2[624] za2[625] za2[626] za2[627] za2[628] za2[629] za2[62] za2[630] za2[631] za2[632] za2[633] za2[634] za2[635] za2[636] za2[637] za2[638] za2[639] za2[63] za2[640] za2[641] za2[642] za2[643] za2[644] za2[645] za2[646] za2[647] za2[648] za2[649] za2[64] za2[650] za2[651] za2[652] za2[653] za2[654] za2[655] za2[656] za2[657] za2[658] za2[659] za2[65] za2[660] za2[661] za2[662] za2[663] za2[664] za2[665] za2[666] za2[667] za2[668] za2[669] za2[66] za2[670] za2[671] za2[672] za2[673] za2[674] za2[675] za2[676] za2[677] za2[678] za2[679] za2[67] za2[680] za2[681] za2[682] za2[683] za2[684] za2[685] za2[686] za2[687] za2[688] za2[689] za2[68] za2[690] za2[691] za2[692] za2[693] za2[694] za2[695] za2[696] za2[697] za2[698] za2[699] za2[69] za2[6] za2[700] za2[701] za2[702] za2[703] za2[704] za2[705] za2[706] za2[707] za2[708] za2[709] za2[70] za2[710] za2[711] za2[712] za2[713] za2[714] za2[715] za2[716] za2[717] za2[718] za2[719] za2[71] za2[720] za2[721] za2[722] za2[723] za2[724] za2[725] za2[726] za2[727] za2[728] za2[729] za2[72] za2[730] za2[731] za2[732] za2[733] za2[734] za2[735] za2[736] za2[737] za2[738] za2[739] za2[73] za2[740] za2[741] za2[742] za2[743] za2[744] za2[745] za2[746] za2[747] za2[748] za2[749] za2[74] za2[750] za2[751] za2[752] za2[753] za2[754] za2[755] za2[756] za2[757] za2[758] za2[759] za2[75] za2[760] za2[761] za2[762] za2[763] za2[764] za2[765] za2[766] za2[767] za2[768] za2[769] za2[76] za2[770] za2[771] za2[772] za2[773] za2[774] za2[775] za2[776] za2[777] za2[778] za2[779] za2[77] za2[780] za2[781] za2[782] za2[783] za2[784] za2[785] za2[786] za2[787] za2[788] za2[789] za2[78] za2[790] za2[791] za2[792] za2[793] za2[794] za2[795] za2[796] za2[797] za2[798] za2[799] za2[79] za2[7] za2[800] za2[801] za2[802] za2[803] za2[804] za2[805] za2[806] za2[807] za2[808] za2[809] za2[80] za2[810] za2[811] za2[812] za2[813] za2[814] za2[815] za2[816] za2[817] za2[818] za2[819] za2[81] za2[820] za2[821] za2[822] za2[823] za2[824] za2[825] za2[826] za2[827] za2[828] za2[829] za2[82] za2[830] za2[831] za2[832] za2[833] za2[834] za2[835] za2[836] za2[837] za2[838] za2[839] za2[83] za2[840] za2[841] za2[842] za2[843] za2[844] za2[845] za2[846] za2[847] za2[848] za2[849] za2[84] za2[850] za2[851] za2[852] za2[853] za2[854] za2[855] za2[856] za2[857] za2[858] za2[859] za2[85] za2[860] za2[861] za2[862] za2[863] za2[864] za2[865] za2[866] za2[867] za2[868] za2[869] za2[86] za2[870] za2[871] za2[872] za2[873] za2[874] za2[875] za2[876] za2[877] za2[878] za2[879] za2[87] za2[880] za2[881] za2[882] za2[883] za2[884] za2[885] za2[886] za2[887] za2[888] za2[889] za2[88] za2[890] za2[891] za2[892] za2[893] za2[894] za2[895] za2[896] za2[897] za2[898] za2[899] za2[89] za2[8] za2[900] za2[901] za2[902] za2[903] za2[904] za2[905] za2[906] za2[907] za2[908] za2[909] za2[90] za2[910] za2[911] za2[912] za2[913] za2[914] za2[915] za2[916] za2[917] za2[918] za2[919] za2[91] za2[920] za2[921] za2[922] za2[923] za2[924] za2[925] za2[926] za2[927] za2[928] za2[929] za2[92] za2[930] za2[931] za2[932] za2[933] za2[934] za2[935] za2[936] za2[937] za2[938] za2[939] za2[93] za2[940] za2[941] za2[942] za2[943] za2[944] za2[945] za2[946] za2[947] za2[948] za2[949] za2[94] za2[950] za2[951] za2[952] za2[953] za2[954] za2[955] za2[956] za2[957] za2[958] za2[959] za2[95] za2[960] za2[961] za2[962] za2[963] za2[964] za2[965] za2[966] za2[967] za2[968] za2[969] za2[96] za2[970] za2[971] za2[972] za2[973] za2[974] za2[975] za2[976] za2[977] za2[978] za2[979] za2[97] za2[980] za2[981] za2[982] za2[983] za2[984] za2[985] za2[986] za2[987] za2[988] za2[989] za2[98] za2[990] za2[991] za2[992] za2[993] za2[994] za2[995] za2[996] za2[997] za2[998] za2[999] za2[99] za2[9] za3[0] za3[1000] za3[1001] za3[1002] za3[1003] za3[1004] za3[1005] za3[1006] za3[1007] za3[1008] za3[1009] za3[100] za3[1010] za3[1011] za3[1012] za3[1013] za3[1014] za3[1015] za3[1016] za3[1017] za3[1018] za3[1019] za3[101] za3[1020] za3[1021] za3[1022] za3[1023] za3[1024] za3[1025] za3[1026] za3[1027] za3[1028] za3[1029] za3[102] za3[1030] za3[1031] za3[1032] za3[1033] za3[1034] za3[1035] za3[1036] za3[1037] za3[1038] za3[1039] za3[103] za3[1040] za3[1041] za3[1042] za3[1043] za3[1044] za3[1045] za3[1046] za3[1047] za3[1048] za3[1049] za3[104] za3[1050] za3[1051] za3[1052] za3[1053] za3[1054] za3[1055] za3[1056] za3[1057] za3[1058] za3[1059] za3[105] za3[1060] za3[1061] za3[1062] za3[1063] za3[1064] za3[1065] za3[1066] za3[1067] za3[1068] za3[1069] za3[106] za3[1070] za3[1071] za3[1072] za3[1073] za3[1074] za3[1075] za3[1076] za3[1077] za3[1078] za3[1079] za3[107] za3[1080] za3[1081] za3[1082] za3[1083] za3[1084] za3[1085] za3[1086] za3[1087] za3[1088] za3[1089] za3[108] za3[1090] za3[1091] za3[1092] za3[1093] za3[1094] za3[1095] za3[1096] za3[1097] za3[1098] za3[1099] za3[109] za3[10] za3[1100] za3[1101] za3[1102] za3[1103] za3[1104] za3[1105] za3[1106] za3[1107] za3[1108] za3[1109] za3[110] za3[1110] za3[1111] za3[1112] za3[1113] za3[1114] za3[1115] za3[1116] za3[1117] za3[1118] za3[1119] za3[111] za3[1120] za3[1121] za3[1122] za3[1123] za3[1124] za3[1125] za3[1126] za3[1127] za3[1128] za3[1129] za3[112] za3[1130] za3[1131] za3[1132] za3[1133] za3[1134] za3[1135] za3[1136] za3[1137] za3[1138] za3[1139] za3[113] za3[1140] za3[1141] za3[1142] za3[1143] za3[1144] za3[1145] za3[1146] za3[1147] za3[1148] za3[1149] za3[114] za3[1150] za3[1151] za3[1152] za3[1153] za3[1154] za3[1155] za3[1156] za3[1157] za3[1158] za3[1159] za3[115] za3[1160] za3[1161] za3[1162] za3[116] za3[117] za3[118] za3[119] za3[11] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[12] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[13] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[14] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[15] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[16] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[17] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[18] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[19] za3[1] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[20] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[21] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[22] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[23] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[24] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[25] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[26] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[27] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[28] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[29] za3[2] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[30] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[31] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[32] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[33] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[34] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[35] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[36] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[37] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[38] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[39] za3[3] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[40] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[41] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[42] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[43] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[44] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[45] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[46] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[47] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[48] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[49] za3[4] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za3[506] za3[507] za3[508] za3[509] za3[50] za3[510] za3[511] za3[512] za3[513] za3[514] za3[515] za3[516] za3[517] za3[518] za3[519] za3[51] za3[520] za3[521] za3[522] za3[523] za3[524] za3[525] za3[526] za3[527] za3[528] za3[529] za3[52] za3[530] za3[531] za3[532] za3[533] za3[534] za3[535] za3[536] za3[537] za3[538] za3[539] za3[53] za3[540] za3[541] za3[542] za3[543] za3[544] za3[545] za3[546] za3[547] za3[548] za3[549] za3[54] za3[550] za3[551] za3[552] za3[553] za3[554] za3[555] za3[556] za3[557] za3[558] za3[559] za3[55] za3[560] za3[561] za3[562] za3[563] za3[564] za3[565] za3[566] za3[567] za3[568] za3[569] za3[56] za3[570] za3[571] za3[572] za3[573] za3[574] za3[575] za3[576] za3[577] za3[578] za3[579] za3[57] za3[580] za3[581] za3[582] za3[583] za3[584] za3[585] za3[586] za3[587] za3[588] za3[589] za3[58] za3[590] za3[591] za3[592] za3[593] za3[594] za3[595] za3[596] za3[597] za3[598] za3[599] za3[59] za3[5] za3[600] za3[601] za3[602] za3[603] za3[604] za3[605] za3[606] za3[607] za3[608] za3[609] za3[60] za3[610] za3[611] za3[612] za3[613] za3[614] za3[615] za3[616] za3[617] za3[618] za3[619] za3[61] za3[620] za3[621] za3[622] za3[623] za3[624] za3[625] za3[626] za3[627] za3[628] za3[629] za3[62] za3[630] za3[631] za3[632] za3[633] za3[634] za3[635] za3[636] za3[637] za3[638] za3[639] za3[63] za3[640] za3[641] za3[642] za3[643] za3[644] za3[645] za3[646] za3[647] za3[648] za3[649] za3[64] za3[650] za3[651] za3[652] za3[653] za3[654] za3[655] za3[656] za3[657] za3[658] za3[659] za3[65] za3[660] za3[661] za3[662] za3[663] za3[664] za3[665] za3[666] za3[667] za3[668] za3[669] za3[66] za3[670] za3[671] za3[672] za3[673] za3[674] za3[675] za3[676] za3[677] za3[678] za3[679] za3[67] za3[680] za3[681] za3[682] za3[683] za3[684] za3[685] za3[686] za3[687] za3[688] za3[689] za3[68] za3[690] za3[691] za3[692] za3[693] za3[694] za3[695] za3[696] za3[697] za3[698] za3[699] za3[69] za3[6] za3[700] za3[701] za3[702] za3[703] za3[704] za3[705] za3[706] za3[707] za3[708] za3[709] za3[70] za3[710] za3[711] za3[712] za3[713] za3[714] za3[715] za3[716] za3[717] za3[718] za3[719] za3[71] za3[720] za3[721] za3[722] za3[723] za3[724] za3[725] za3[726] za3[727] za3[728] za3[729] za3[72] za3[730] za3[731] za3[732] za3[733] za3[734] za3[735] za3[736] za3[737] za3[738] za3[739] za3[73] za3[740] za3[741] za3[742] za3[743] za3[744] za3[745] za3[746] za3[747] za3[748] za3[749] za3[74] za3[750] za3[751] za3[752] za3[753] za3[754] za3[755] za3[756] za3[757] za3[758] za3[759] za3[75] za3[760] za3[761] za3[762] za3[763] za3[764] za3[765] za3[766] za3[767] za3[768] za3[769] za3[76] za3[770] za3[771] za3[772] za3[773] za3[774] za3[775] za3[776] za3[777] za3[778] za3[779] za3[77] za3[780] za3[781] za3[782] za3[783] za3[784] za3[785] za3[786] za3[787] za3[788] za3[789] za3[78] za3[790] za3[791] za3[792] za3[793] za3[794] za3[795] za3[796] za3[797] za3[798] za3[799] za3[79] za3[7] za3[800] za3[801] za3[802] za3[803] za3[804] za3[805] za3[806] za3[807] za3[808] za3[809] za3[80] za3[810] za3[811] za3[812] za3[813] za3[814] za3[815] za3[816] za3[817] za3[818] za3[819] za3[81] za3[820] za3[821] za3[822] za3[823] za3[824] za3[825] za3[826] za3[827] za3[828] za3[829] za3[82] za3[830] za3[831] za3[832] za3[833] za3[834] za3[835] za3[836] za3[837] za3[838] za3[839] za3[83] za3[840] za3[841] za3[842] za3[843] za3[844] za3[845] za3[846] za3[847] za3[848] za3[849] za3[84] za3[850] za3[851] za3[852] za3[853] za3[854] za3[855] za3[856] za3[857] za3[858] za3[859] za3[85] za3[860] za3[861] za3[862] za3[863] za3[864] za3[865] za3[866] za3[867] za3[868] za3[869] za3[86] za3[870] za3[871] za3[872] za3[873] za3[874] za3[875] za3[876] za3[877] za3[878] za3[879] za3[87] za3[880] za3[881] za3[882] za3[883] za3[884] za3[885] za3[886] za3[887] za3[888] za3[889] za3[88] za3[890] za3[891] za3[892] za3[893] za3[894] za3[895] za3[896] za3[897] za3[898] za3[899] za3[89] za3[8] za3[900] za3[901] za3[902] za3[903] za3[904] za3[905] za3[906] za3[907] za3[908] za3[909] za3[90] za3[910] za3[911] za3[912] za3[913] za3[914] za3[915] za3[916] za3[917] za3[918] za3[919] za3[91] za3[920] za3[921] za3[922] za3[923] za3[924] za3[925] za3[926] za3[927] za3[928] za3[929] za3[92] za3[930] za3[931] za3[932] za3[933] za3[934] za3[935] za3[936] za3[937] za3[938] za3[939] za3[93] za3[940] za3[941] za3[942] za3[943] za3[944] za3[945] za3[946] za3[947] za3[948] za3[949] za3[94] za3[950] za3[951] za3[952] za3[953] za3[954] za3[955] za3[956] za3[957] za3[958] za3[959] za3[95] za3[960] za3[961] za3[962] za3[963] za3[964] za3[965] za3[966] za3[967] za3[968] za3[969] za3[96] za3[970] za3[971] za3[972] za3[973] za3[974] za3[975] za3[976] za3[977] za3[978] za3[979] za3[97] za3[980] za3[981] za3[982] za3[983] za3[984] za3[985] za3[986] za3[987] za3[988] za3[989] za3[98] za3[990] za3[991] za3[992] za3[993] za3[994] za3[995] za3[996] za3[997] za3[998] za3[999] za3[99] za3[9] za4[0] za4[1000] za4[1001] za4[1002] za4[1003] za4[1004] za4[1005] za4[1006] za4[1007] za4[1008] za4[1009] za4[100] za4[1010] za4[1011] za4[1012] za4[1013] za4[1014] za4[1015] za4[1016] za4[1017] za4[1018] za4[1019] za4[101] za4[1020] za4[1021] za4[1022] za4[1023] za4[1024] za4[1025] za4[1026] za4[1027] za4[1028] za4[1029] za4[102] za4[1030] za4[1031] za4[1032] za4[1033] za4[1034] za4[1035] za4[1036] za4[1037] za4[1038] za4[1039] za4[103] za4[1040] za4[1041] za4[1042] za4[1043] za4[1044] za4[1045] za4[1046] za4[1047] za4[1048] za4[1049] za4[104] za4[1050] za4[1051] za4[1052] za4[1053] za4[1054] za4[1055] za4[1056] za4[1057] za4[1058] za4[1059] za4[105] za4[1060] za4[1061] za4[1062] za4[1063] za4[1064] za4[1065] za4[1066] za4[1067] za4[1068] za4[1069] za4[106] za4[1070] za4[1071] za4[1072] za4[1073] za4[1074] za4[1075] za4[1076] za4[1077] za4[1078] za4[1079] za4[107] za4[1080] za4[1081] za4[1082] za4[1083] za4[1084] za4[1085] za4[1086] za4[1087] za4[1088] za4[1089] za4[108] za4[1090] za4[1091] za4[1092] za4[1093] za4[1094] za4[1095] za4[1096] za4[1097] za4[1098] za4[1099] za4[109] za4[10] za4[1100] za4[1101] za4[1102] za4[1103] za4[1104] za4[1105] za4[1106] za4[1107] za4[1108] za4[1109] za4[110] za4[1110] za4[1111] za4[1112] za4[1113] za4[1114] za4[1115] za4[1116] za4[1117] za4[1118] za4[1119] za4[111] za4[1120] za4[1121] za4[1122] za4[1123] za4[1124] za4[1125] za4[1126] za4[1127] za4[1128] za4[1129] za4[112] za4[1130] za4[1131] za4[1132] za4[1133] za4[1134] za4[1135] za4[1136] za4[1137] za4[1138] za4[1139] za4[113] za4[1140] za4[1141] za4[1142] za4[1143] za4[1144] za4[1145] za4[1146] za4[1147] za4[1148] za4[1149] za4[114] za4[1150] za4[1151] za4[1152] za4[1153] za4[1154] za4[1155] za4[1156] za4[1157] za4[1158] za4[1159] za4[115] za4[1160] za4[1161] za4[1162] za4[1163] za4[1164] za4[1165] za4[1166] za4[1167] za4[1168] za4[1169] za4[116] za4[1170] za4[1171] za4[1172] za4[1173] za4[1174] za4[1175] za4[1176] za4[1177] za4[1178] za4[1179] za4[117] za4[1180] za4[1181] za4[1182] za4[1183] za4[1184] za4[1185] za4[1186] za4[1187] za4[1188] za4[1189] za4[118] za4[1190] za4[1191] za4[1192] za4[1193] za4[1194] za4[1195] za4[1196] za4[1197] za4[1198] za4[1199] za4[119] za4[11] za4[1200] za4[1201] za4[1202] za4[1203] za4[1204] za4[1205] za4[1206] za4[1207] za4[1208] za4[1209] za4[120] za4[1210] za4[1211] za4[1212] za4[1213] za4[1214] za4[1215] za4[1216] za4[1217] za4[1218] za4[1219] za4[121] za4[1220] za4[1221] za4[1222] za4[1223] za4[1224] za4[1225] za4[1226] za4[1227] za4[1228] za4[1229] za4[122] za4[1230] za4[1231] za4[1232] za4[1233] za4[1234] za4[1235] za4[1236] za4[1237] za4[1238] za4[1239] za4[123] za4[1240] za4[1241] za4[1242] za4[1243] za4[1244] za4[1245] za4[1246] za4[1247] za4[1248] za4[1249] za4[124] za4[1250] za4[1251] za4[1252] za4[1253] za4[1254] za4[1255] za4[1256] za4[1257] za4[1258] za4[1259] za4[125] za4[1260] za4[1261] za4[1262] za4[1263] za4[1264] za4[1265] za4[1266] za4[1267] za4[1268] za4[1269] za4[126] za4[1270] za4[1271] za4[1272] za4[1273] za4[1274] za4[1275] za4[1276] za4[1277] za4[1278] za4[1279] za4[127] za4[1280] za4[1281] za4[1282] za4[1283] za4[1284] za4[1285] za4[1286] za4[1287] za4[1288] za4[1289] za4[128] za4[1290] za4[1291] za4[1292] za4[1293] za4[1294] za4[129] za4[12] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[13] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[14] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[15] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[16] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[17] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[18] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[19] za4[1] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[20] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[21] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[22] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[23] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[24] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[25] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[26] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[27] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[28] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[29] za4[2] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[30] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[31] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[32] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[33] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[34] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[35] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[36] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[37] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[38] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[39] za4[3] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[40] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[41] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[42] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[43] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[44] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[45] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[46] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[47] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[48] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[49] za4[4] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[50] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[51] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[52] za4[530] za4[531] za4[532] za4[533] za4[534] za4[535] za4[536] za4[537] za4[538] za4[539] za4[53] za4[540] za4[541] za4[542] za4[543] za4[544] za4[545] za4[546] za4[547] za4[548] za4[549] za4[54] za4[550] za4[551] za4[552] za4[553] za4[554] za4[555] za4[556] za4[557] za4[558] za4[559] za4[55] za4[560] za4[561] za4[562] za4[563] za4[564] za4[565] za4[566] za4[567] za4[568] za4[569] za4[56] za4[570] za4[571] za4[572] za4[573] za4[574] za4[575] za4[576] za4[577] za4[578] za4[579] za4[57] za4[580] za4[581] za4[582] za4[583] za4[584] za4[585] za4[586] za4[587] za4[588] za4[589] za4[58] za4[590] za4[591] za4[592] za4[593] za4[594] za4[595] za4[596] za4[597] za4[598] za4[599] za4[59] za4[5] za4[600] za4[601] za4[602] za4[603] za4[604] za4[605] za4[606] za4[607] za4[608] za4[609] za4[60] za4[610] za4[611] za4[612] za4[613] za4[614] za4[615] za4[616] za4[617] za4[618] za4[619] za4[61] za4[620] za4[621] za4[622] za4[623] za4[624] za4[625] za4[626] za4[627] za4[628] za4[629] za4[62] za4[630] za4[631] za4[632] za4[633] za4[634] za4[635] za4[636] za4[637] za4[638] za4[639] za4[63] za4[640] za4[641] za4[642] za4[643] za4[644] za4[645] za4[646] za4[647] za4[648] za4[649] za4[64] za4[650] za4[651] za4[652] za4[653] za4[654] za4[655] za4[656] za4[657] za4[658] za4[659] za4[65] za4[660] za4[661] za4[662] za4[663] za4[664] za4[665] za4[666] za4[667] za4[668] za4[669] za4[66] za4[670] za4[671] za4[672] za4[673] za4[674] za4[675] za4[676] za4[677] za4[678] za4[679] za4[67] za4[680] za4[681] za4[682] za4[683] za4[684] za4[685] za4[686] za4[687] za4[688] za4[689] za4[68] za4[690] za4[691] za4[692] za4[693] za4[694] za4[695] za4[696] za4[697] za4[698] za4[699] za4[69] za4[6] za4[700] za4[701] za4[702] za4[703] za4[704] za4[705] za4[706] za4[707] za4[708] za4[709] za4[70] za4[710] za4[711] za4[712] za4[713] za4[714] za4[715] za4[716] za4[717] za4[718] za4[719] za4[71] za4[720] za4[721] za4[722] za4[723] za4[724] za4[725] za4[726] za4[727] za4[728] za4[729] za4[72] za4[730] za4[731] za4[732] za4[733] za4[734] za4[735] za4[736] za4[737] za4[738] za4[739] za4[73] za4[740] za4[741] za4[742] za4[743] za4[744] za4[745] za4[746] za4[747] za4[748] za4[749] za4[74] za4[750] za4[751] za4[752] za4[753] za4[754] za4[755] za4[756] za4[757] za4[758] za4[759] za4[75] za4[760] za4[761] za4[762] za4[763] za4[764] za4[765] za4[766] za4[767] za4[768] za4[769] za4[76] za4[770] za4[771] za4[772] za4[773] za4[774] za4[775] za4[776] za4[777] za4[778] za4[779] za4[77] za4[780] za4[781] za4[782] za4[783] za4[784] za4[785] za4[786] za4[787] za4[788] za4[789] za4[78] za4[790] za4[791] za4[792] za4[793] za4[794] za4[795] za4[796] za4[797] za4[798] za4[799] za4[79] za4[7] za4[800] za4[801] za4[802] za4[803] za4[804] za4[805] za4[806] za4[807] za4[808] za4[809] za4[80] za4[810] za4[811] za4[812] za4[813] za4[814] za4[815] za4[816] za4[817] za4[818] za4[819] za4[81] za4[820] za4[821] za4[822] za4[823] za4[824] za4[825] za4[826] za4[827] za4[828] za4[829] za4[82] za4[830] za4[831] za4[832] za4[833] za4[834] za4[835] za4[836] za4[837] za4[838] za4[839] za4[83] za4[840] za4[841] za4[842] za4[843] za4[844] za4[845] za4[846] za4[847] za4[848] za4[849] za4[84] za4[850] za4[851] za4[852] za4[853] za4[854] za4[855] za4[856] za4[857] za4[858] za4[859] za4[85] za4[860] za4[861] za4[862] za4[863] za4[864] za4[865] za4[866] za4[867] za4[868] za4[869] za4[86] za4[870] za4[871] za4[872] za4[873] za4[874] za4[875] za4[876] za4[877] za4[878] za4[879] za4[87] za4[880] za4[881] za4[882] za4[883] za4[884] za4[885] za4[886] za4[887] za4[888] za4[889] za4[88] za4[890] za4[891] za4[892] za4[893] za4[894] za4[895] za4[896] za4[897] za4[898] za4[899] za4[89] za4[8] za4[900] za4[901] za4[902] za4[903] za4[904] za4[905] za4[906] za4[907] za4[908] za4[909] za4[90] za4[910] za4[911] za4[912] za4[913] za4[914] za4[915] za4[916] za4[917] za4[918] za4[919] za4[91] za4[920] za4[921] za4[922] za4[923] za4[924] za4[925] za4[926] za4[927] za4[928] za4[929] za4[92] za4[930] za4[931] za4[932] za4[933] za4[934] za4[935] za4[936] za4[937] za4[938] za4[939] za4[93] za4[940] za4[941] za4[942] za4[943] za4[944] za4[945] za4[946] za4[947] za4[948] za4[949] za4[94] za4[950] za4[951] za4[952] za4[953] za4[954] za4[955] za4[956] za4[957] za4[958] za4[959] za4[95] za4[960] za4[961] za4[962] za4[963] za4[964] za4[965] za4[966] za4[967] za4[968] za4[969] za4[96] za4[970] za4[971] za4[972] za4[973] za4[974] za4[975] za4[976] za4[977] za4[978] za4[979] za4[97] za4[980] za4[981] za4[982] za4[983] za4[984] za4[985] za4[986] za4[987] za4[988] za4[989] za4[98] za4[990] za4[991] za4[992] za4[993] za4[994] za4[995] za4[996] za4[997] za4[998] za4[999] za4[99] za4[9] </list> 2520.03/2520.01 v <values>16 58 296 72 310 30 268 114 352 792 554 100 142 380 540 778 484 722 652 414 142 380 338 16 254 428 666 254 16 254 16 254 16 16 764 526 44 282 708 470 310 72 526 764 254 380 142 694 456 156 394 16 254 694 456 722 30 268 394 156 708 470 254 16 268 30 484 254 16 792 554 268 30 498 736 764 526 470 16 254 268 30 414 652 156 394 16 254 708 722 484 86 324 694 456 652 414 142 380 156 428 666 680 442 16 254 268 30 254 16 394 254 750 512 792 554 428 666 652 414 750 512 30 394 156 268 30 792 554 778 540 268 30 268 512 750 338 100 652 414 114 352 512 750 254 652 414 324 86 498 736 58 296 30 268 16 170 408 16 254 156 394 114 352 540 778 16 100 338 652 414 750 512 44 282 764 526 254 100 338 324 86 666 428 666 428 736 498 694 666 428 380 142 142 380 380 142 666 428 456 86 324 30 268 554 792 254 16 792 554 540 16 254 652 414 694 456 680 442 30 268 778 58 750 512 792 554 254 16 736 498 30 268 44 338 100 694 456 778 540 736 498 296 58 282 16 254 792 554 254 16 750 512 128 366 254 722 484 540 778 512 750 750 512 268 30 16 142 380 380 142 792 554 72 310 764 526 428 254 16 652 414 16 254 764 526 540 778 666 792 554 16 254 16 254 792 554 512 750 750 44 282 778 540 722 484 764 526 30 268 512 666 428 310 72 554 792 156 394 142 380 554 380 142 778 540 72 310 512 750 16 254 792 296 156 394 72 310 484 722 72 310 736 498 792 736 498 254 16 414 652 86 324 156 394 554 540 778 254 16 680 442 380 142 652 414 778 16 254 778 540 722 484 722 484 324 86 540 254 16 750 512 652 414 540 778 380 142 750 792 554 142 380 156 394 16 254 540 778 512 792 554 708 470 16 254 338 100 30 268 652 114 352 310 72 764 526 414 652 268 30 414 380 142 512 750 652 414 442 680 142 380 792 750 512 254 16 484 722 268 30 512 750 554 254 694 456 16 254 100 338 72 310 170 408 722 792 554 282 44 16 254 30 268 736 498 484 16 254 652 414 484 722 708 470 30 268 736 722 484 652 414 254 16 540 778 722 484 498 694 456 750 512 30 268 652 414 282 44 778 16 254 30 268 484 722 352 114 442 680 540 554 792 16 254 512 750 254 16 666 428 380 666 428 666 428 44 282 352 114 254 16 142 380 142 156 394 16 254 268 30 44 282 708 652 414 30 268 240 478 750 512 142 380 470 16 736 498 414 652 254 16 778 540 380 142 478 114 352 414 652 254 16 128 366 708 470 240 254 16 722 484 156 394 380 142 352 114 750 268 30 30 268 414 652 142 380 30 268 512 296 58 470 708 128 366 484 722 750 512 778 142 380 428 666 792 554 652 414 470 708 540 764 526 30 268 526 764 324 86 380 142 778 30 268 456 694 254 16 652 414 30 268 540 792 554 722 484 338 100 254 16 16 254 72 254 16 16 254 142 380 268 30 72 310 310 86 254 16 708 470 324 86 442 680 16 254 324 750 512 526 764 540 778 778 540 72 310 86 282 44 30 268 526 764 680 442 44 282 484 414 652 16 254 694 456 30 268 254 16 722 540 778 142 380 268 30 414 652 778 540 16 764 526 30 268 764 526 16 254 792 554 254 708 470 652 414 652 414 778 540 540 778 708 366 128 792 554 680 442 254 16 254 16 470 30 268 30 268 736 498 16 254 652 414 30 30 268 526 764 666 428 156 394 16 254 268 324 666 428 722 484 16 254 680 442 58 296 380 254 16 268 30 652 414 240 478 268 30 142 254 16 792 554 428 666 30 268 428 666 16 652 414 30 268 324 86 540 778 268 30 254 736 498 778 540 16 254 268 30 142 380 16 142 380 694 456 142 380 72 310 352 114 254 652 414 254 16 380 142 554 792 30 268 414 142 380 16 254 16 254 764 526 380 142 652 778 540 142 380 722 484 44 282 694 456 254 16 254 58 296 268 30 16 254 652 414 16 254 442 680 30 268 764 526 254 16 254 16 792 666 428 86 324 554 792 554 16 254 750 512 778 540 16 254 16 0 0 0 0 0 0 0 1000 0 1000 1000 0 0 0 0 1000 1000 1000 1000 1000 0 0 0 0 0 1000 0 0 1000 0 0 1000 0 0 1000 0 0 0 0 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 1000 0 1000 1000 0 0 0 0 0 1000 0 0 0 1000 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 1000 1000 0 0 1000 0 0 0 0 0 1000 1000 0 0 0 0 0 1000 1000 1000 1000 0 0 0 1000 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 1000 1000 0 1000 0 1000 0 0 1000 0 1000 0 0 0 0 0 0 1000 1000 0 1000 0 0 1000 0 0 0 0 0 0 0 0 1000 0 1000 1000 0 1000 1000 0 1000 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 1000 0 0 1000 0 1000 0 1000 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 1000 0 0 1000 0 1000 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 1000 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 1000 0 0 1000 0 0 0 0 1000 0 0 0 0 0 1000 0 1000 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 1000 0 1000 0 0 1000 0 0 0 1000 0 0 0 1000 1000 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 1000 0 1000 1000 0 0 1000 0 1000 0 0 0 1000 1000 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 1000 0 1000 1000 1000 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 1000 0 1000 0 0 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 1000 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 1000 0 1000 0 0 0 1000 0 0 0 1000 1000 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 1000 0 1000 0 1000 0 1000 0 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 1000 1000 0 1000 0 0 1000 0 0 0 1000 1000 0 0 0 1000 0 0 0 0 0 0 1000 1000 0 1000 0 1000 0 0 0 1000 0 0 0 1000 0 0 0 1000 0 0 0 0 0 1000 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 1000 1000 0 0 1000 0 0 0 0 0 1000 0 1000 1000 0 1000 0 1000 0 0 100 0 0 100 0 0 100 0 0 0 0 0 0 0 0 100 100 100 100 0 0 0 0 0 0 0 0 100 0 100 100 100 0 0 0 100 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 100 100 100 0 100 100 0 0 0 100 0 0 0 100 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 100 0 100 0 100 0 0 100 100 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 100 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 100 0 100 0 0 0 100 0 0 0 100 0 0 100 0 100 0 100 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 100 0 0 0 100 0 0 0 0 100 100 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 100 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 100 0 0 0 100 100 0 0 0 0 100 0 100 0 0 0 100 0 0 0 0 100 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 100 0 100 100 0 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 100 100 100 0 100 0 0 0 100 0 0 0 0 0 0 100 0 0 100 100 0 0 0 0 100 100 0 0 0 0 100 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 100 100 0 0 0 0 100 0 0 0 0 0 100 0 0 0 100 100 100 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 100 100 0 0 100 100 0 100 100 0 0 0 0 0 0 100 0 0 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 100 0 0 0 0 0 100 100 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 100 0 100 100 0 0 0 100 0 0 0 0 100 0 0 100 100 100 0 0 100 100 100 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 100 0 0 0 100 0 0 100 100 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 100 0 100 0 0 0 0 0 0 0 100 100 100 0 0 0 100 0 0 100 0 100 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 100 0 0 0 100 100 100 0 0 0 0 0 100 0 0 0 0 0 100 0 0 100 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 100 0 100 0 0 0 0 100 0 0 100 0 0 0 0 100 0 100 0 0 0 100 0 0 100 0 0 0 0 100 0 100 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 100 100 100 100 100 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 100 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 100 0 0 0 0 0 100 100 0 0 0 100 0 100 0 100 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 100 100 0 100 0 100 0 100 100 0 100 0 0 0 0 0 0 0 10 0 10 10 0 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 0 0 10 10 0 0 10 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 10 10 10 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 10 10 10 10 10 0 0 0 0 0 0 0 10 0 10 10 0 0 0 0 10 0 0 0 0 0 10 10 10 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 10 0 0 0 0 0 0 0 0 10 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 10 0 0 0 0 0 0 10 0 0 0 10 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 10 0 0 0 10 0 0 0 0 10 10 0 0 10 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 10 0 10 0 10 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 10 0 10 10 0 0 0 0 0 0 0 10 10 0 0 10 0 10 0 0 0 0 0 0 0 10 0 10 0 0 10 10 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 10 10 0 0 0 0 0 0 10 0 10 0 10 10 0 10 0 0 0 0 0 0 10 0 10 10 0 0 10 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 10 10 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 0 10 10 0 0 0 0 0 0 0 0 10 10 0 0 10 0 0 10 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 0 0 0 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 10 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 0 0 0 0 0 0 10 10 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 10 0 0 10 10 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 10 10 0 0 0 0 0 10 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 10 0 0 10 0 0 0 10 0 10 0 0 0 0 10 0 0 10 0 0 0 0 0 10 0 10 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 10 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 10 10 0 0 0 0 10 0 0 10 10 0 10 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 10 0 10 10 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 10 10 0 0 0 0 0 10 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 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 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 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 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 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 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 1 1 1 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 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 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 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 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 1 1 0 1 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 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 </values> 2520.03/2520.01 v </instantiation> 2520.03/2520.01
OK 250884
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 (9735 MiB free) memory of node 1: 16384 MiB (14765 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293590-1532319446/watcher-4293590-1532319446 -o /tmp/evaluation-result-4293590-1532319446/solver-4293590-1532319446 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532296736-6957 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293590-1532319446.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=9341, runsolver pid=9338 Current StackSize limit: 8192 KiB [startup+0.100114 s]* /proc/loadavg: 2.00 2.00 2.04 3/187 9342 /proc/meminfo: memFree=25071972/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=45664 memory=21992 CPUtime=0.1 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 5680 0 0 0 10 0 0 0 20 0 1 0 49507789 46759936 5498 33554432000 4194304 6142532 140732680375248 140732680371880 140378330864613 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 11416 5498 803 476 0 4738 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 45664 KiB Current children cumulated memory: 21992 KiB [startup+0.209539 s]* /proc/loadavg: 2.00 2.00 2.04 3/187 9342 /proc/meminfo: memFree=25057092/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=59012 memory=35192 CPUtime=0.21 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 8981 0 0 0 20 1 0 0 20 0 1 0 49507789 60428288 8798 33554432000 4194304 6142532 140732680375248 140732680371880 5361966 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 14753 8798 803 476 0 8075 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 59012 KiB Current children cumulated memory: 35192 KiB [startup+0.30955 s]* /proc/loadavg: 2.00 2.00 2.04 3/187 9342 /proc/meminfo: memFree=25052628/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=64156 memory=40352 CPUtime=0.31 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 10259 0 0 0 30 1 0 0 20 0 1 0 49507789 65695744 10088 33554432000 4194304 6142532 140732680375248 140732680371880 140378330864613 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 16039 10088 803 476 0 9361 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 64156 KiB Current children cumulated memory: 40352 KiB [startup+0.70028 s] /proc/loadavg: 2.00 2.00 2.04 3/187 9342 /proc/meminfo: memFree=25035144/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=97880 memory=74144 CPUtime=0.69 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 18706 0 0 0 66 3 0 0 20 0 1 0 49507789 100229120 18536 33554432000 4194304 6142532 140732680375248 140732680371880 140378330864613 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 24470 18536 803 476 0 17792 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 97880 KiB Current children cumulated memory: 74144 KiB [startup+1.50029 s] /proc/loadavg: 2.00 2.00 2.04 3/187 9342 /proc/meminfo: memFree=24991428/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=168512 memory=144632 CPUtime=1.49 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 36368 0 0 0 143 6 0 0 20 0 1 0 49507789 172556288 36158 33554432000 4194304 6142532 140732680375248 140732680369624 140378330864613 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 42161 36158 803 476 0 35483 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 168512 KiB Current children cumulated memory: 144632 KiB [startup+3.10935 s] /proc/loadavg: 1.92 1.98 2.03 3/187 9342 /proc/meminfo: memFree=24814728/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=310452 memory=286536 CPUtime=3.1 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 73072 0 0 0 298 12 0 0 20 0 1 0 49507789 317902848 71634 33554432000 4194304 6142532 140732680375248 140732680369624 140378330864613 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 77613 71634 803 476 0 70935 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 310452 KiB Current children cumulated memory: 286536 KiB [startup+6.3003 s] /proc/loadavg: 1.92 1.98 2.03 3/187 9342 /proc/meminfo: memFree=24708348/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=412268 memory=388748 CPUtime=6.29 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 136464 0 0 0 610 19 0 0 20 0 1 0 49507789 422162432 97187 33554432000 4194304 6142532 140732680375248 140732680371960 5168903 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 103067 97187 848 476 0 96389 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 412268 KiB Current children cumulated memory: 388748 KiB [startup+12.7003 s] /proc/loadavg: 1.93 1.98 2.03 3/187 9342 /proc/meminfo: memFree=24687004/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=427820 memory=404296 CPUtime=12.69 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 176572 0 0 0 1248 21 0 0 20 0 1 0 49507789 438087680 101074 33554432000 4194304 6142532 140732680375248 140732680371960 5366795 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 106955 101074 848 476 0 100277 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 427820 KiB Current children cumulated memory: 404296 KiB [startup+25.5003 s] /proc/loadavg: 1.94 1.98 2.03 3/187 9342 /proc/meminfo: memFree=24638720/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=476784 memory=451440 CPUtime=25.48 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 254259 0 0 0 2520 28 0 0 20 0 1 0 49507789 488226816 112860 33554432000 4194304 6142532 140732680375248 140732680371880 5170052 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 119196 112860 848 476 0 112518 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 476784 KiB Current children cumulated memory: 451440 KiB [startup+51.1094 s] /proc/loadavg: 1.96 1.99 2.03 3/187 9342 /proc/meminfo: memFree=24604820/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=513468 memory=485900 CPUtime=51.09 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 323679 0 0 0 5076 33 0 0 20 0 1 0 49507789 525791232 121475 33554432000 4194304 6142532 140732680375248 140732680371960 5140089 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 128367 121475 849 476 0 121689 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 513468 KiB Current children cumulated memory: 485900 KiB [startup+102.3 s] /proc/loadavg: 1.98 1.99 2.03 3/187 9343 /proc/meminfo: memFree=24601704/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=515956 memory=488248 CPUtime=102.29 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 359593 0 0 0 10194 35 0 0 20 0 1 0 49507789 528338944 122062 33554432000 4194304 6142532 140732680375248 140732680371880 5215632 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 128989 122062 849 476 0 122311 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 515956 KiB Current children cumulated memory: 488248 KiB [startup+162.3 s] /proc/loadavg: 1.99 1.99 2.03 3/187 9351 /proc/meminfo: memFree=24601088/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=515956 memory=488248 CPUtime=162.28 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 391300 0 0 0 16193 35 0 0 20 0 1 0 49507789 528338944 122062 33554432000 4194304 6142532 140732680375248 140732680371880 140378340197536 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 128989 122062 849 476 0 122311 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 515956 KiB Current children cumulated memory: 488248 KiB [startup+222.3 s] /proc/loadavg: 2.00 1.99 2.03 3/187 9352 /proc/meminfo: memFree=24601432/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=515956 memory=488256 CPUtime=222.28 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 402853 0 0 0 22192 36 0 0 20 0 1 0 49507789 528338944 122064 33554432000 4194304 6142532 140732680375248 140732680371880 5170052 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 128989 122064 849 476 0 122311 0 Current children cumulated CPU time: 222.28 s Current children cumulated vsize: 515956 KiB Current children cumulated memory: 488256 KiB [startup+282.3 s] /proc/loadavg: 2.00 1.99 2.03 3/187 9353 /proc/meminfo: memFree=24600304/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=516780 memory=489372 CPUtime=282.27 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 413278 0 0 0 28190 37 0 0 20 0 1 0 49507789 529182720 122343 33554432000 4194304 6142532 140732680375248 140732680372104 5396940 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 129195 122343 849 476 0 122517 0 Current children cumulated CPU time: 282.27 s Current children cumulated vsize: 516780 KiB Current children cumulated memory: 489372 KiB [startup+342.3 s] /proc/loadavg: 2.00 1.99 2.03 3/187 9354 /proc/meminfo: memFree=24596184/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=517212 memory=493440 CPUtime=342.27 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 414980 0 0 0 34190 37 0 0 20 0 1 0 49507789 529625088 123360 33554432000 4194304 6142532 140732680375248 140732680371880 5215632 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 129303 123360 849 476 0 122625 0 Current children cumulated CPU time: 342.27 s Current children cumulated vsize: 517212 KiB Current children cumulated memory: 493440 KiB [startup+402.3 s] /proc/loadavg: 2.00 1.99 2.03 3/187 9355 /proc/meminfo: memFree=24596372/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=517356 memory=493628 CPUtime=402.28 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 417786 0 0 0 40190 38 0 0 20 0 1 0 49507789 529772544 123407 33554432000 4194304 6142532 140732680375248 140732680371960 140378331788608 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 129339 123407 849 476 0 122661 0 Current children cumulated CPU time: 402.28 s Current children cumulated vsize: 517356 KiB Current children cumulated memory: 493628 KiB [startup+462.3 s] /proc/loadavg: 2.00 1.99 2.03 3/187 9357 /proc/meminfo: memFree=24594956/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=518672 memory=494808 CPUtime=462.28 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 420346 0 0 0 46190 38 0 0 20 0 1 0 49507789 531120128 123702 33554432000 4194304 6142532 140732680375248 140732680371880 140378331790784 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 129668 123702 849 476 0 122990 0 Current children cumulated CPU time: 462.28 s Current children cumulated vsize: 518672 KiB Current children cumulated memory: 494808 KiB ################ # More data... # ################ /proc/9341/statm: 132152 126200 849 476 0 125474 0 Current children cumulated CPU time: 1722.3 s Current children cumulated vsize: 528608 KiB Current children cumulated memory: 504800 KiB [startup+1782.3 s] /proc/loadavg: 2.00 1.99 2.03 3/187 9394 /proc/meminfo: memFree=24585580/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=528608 memory=504800 CPUtime=1782.3 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 438693 0 0 0 178191 39 0 0 20 0 1 0 49507789 541294592 126200 33554432000 4194304 6142532 140732680375248 140732680371960 5146759 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 132152 126200 849 476 0 125474 0 Current children cumulated CPU time: 1782.3 s Current children cumulated vsize: 528608 KiB Current children cumulated memory: 504800 KiB [startup+1842.3 s] /proc/loadavg: 2.00 1.99 2.03 3/187 9395 /proc/meminfo: memFree=24585776/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=528608 memory=504800 CPUtime=1842.3 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 438963 0 0 0 184191 39 0 0 20 0 1 0 49507789 541294592 126200 33554432000 4194304 6142532 140732680375248 140732680371960 5371684 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 132152 126200 849 476 0 125474 0 Current children cumulated CPU time: 1842.3 s Current children cumulated vsize: 528608 KiB Current children cumulated memory: 504800 KiB [startup+1902.3 s] /proc/loadavg: 2.00 1.99 2.03 3/187 9396 /proc/meminfo: memFree=24585712/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=528608 memory=504800 CPUtime=1902.3 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 439354 0 0 0 190191 39 0 0 20 0 1 0 49507789 541294592 126200 33554432000 4194304 6142532 140732680375248 140732680371960 5399674 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 132152 126200 849 476 0 125474 0 Current children cumulated CPU time: 1902.3 s Current children cumulated vsize: 528608 KiB Current children cumulated memory: 504800 KiB [startup+1962.3 s] /proc/loadavg: 2.00 1.99 2.03 3/188 9405 /proc/meminfo: memFree=24584784/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=528608 memory=504800 CPUtime=1962.31 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 439985 0 0 0 196191 40 0 0 20 0 1 0 49507789 541294592 126200 33554432000 4194304 6142532 140732680375248 140732680371960 5140579 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 132152 126200 849 476 0 125474 0 Current children cumulated CPU time: 1962.31 s Current children cumulated vsize: 528608 KiB Current children cumulated memory: 504800 KiB [startup+2022.3 s] /proc/loadavg: 2.00 1.99 2.03 3/188 9406 /proc/meminfo: memFree=24585092/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=528608 memory=504800 CPUtime=2022.31 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 440287 0 0 0 202191 40 0 0 20 0 1 0 49507789 541294592 126200 33554432000 4194304 6142532 140732680375248 140732680371960 4990592 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 132152 126200 849 476 0 125474 0 Current children cumulated CPU time: 2022.31 s Current children cumulated vsize: 528608 KiB Current children cumulated memory: 504800 KiB [startup+2082.3 s] /proc/loadavg: 2.00 1.99 2.03 3/188 9407 /proc/meminfo: memFree=24585284/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=528608 memory=504800 CPUtime=2082.32 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 440571 0 0 0 208192 40 0 0 20 0 1 0 49507789 541294592 126200 33554432000 4194304 6142532 140732680375248 140732680371960 4991577 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 132152 126200 849 476 0 125474 0 Current children cumulated CPU time: 2082.32 s Current children cumulated vsize: 528608 KiB Current children cumulated memory: 504800 KiB [startup+2142.3 s] /proc/loadavg: 2.00 1.99 2.03 3/189 9409 /proc/meminfo: memFree=24584956/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=528608 memory=504800 CPUtime=2142.32 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 441191 0 0 0 214192 40 0 0 20 0 1 0 49507789 541294592 126200 33554432000 4194304 6142532 140732680375248 140732680371960 5139732 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 132152 126200 849 476 0 125474 0 Current children cumulated CPU time: 2142.32 s Current children cumulated vsize: 528608 KiB Current children cumulated memory: 504800 KiB [startup+2202.3 s] /proc/loadavg: 2.00 1.99 2.03 3/189 9410 /proc/meminfo: memFree=24584772/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=528608 memory=504800 CPUtime=2202.32 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 441537 0 0 0 220192 40 0 0 20 0 1 0 49507789 541294592 126200 33554432000 4194304 6142532 140732680375248 140732680371960 5138167 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 132152 126200 849 476 0 125474 0 Current children cumulated CPU time: 2202.32 s Current children cumulated vsize: 528608 KiB Current children cumulated memory: 504800 KiB [startup+2262.3 s] /proc/loadavg: 2.00 1.99 2.03 3/188 9412 /proc/meminfo: memFree=24584444/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=528608 memory=504800 CPUtime=2262.32 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 441811 0 0 0 226192 40 0 0 20 0 1 0 49507789 541294592 126200 33554432000 4194304 6142532 140732680375248 140732680371960 5371860 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 132152 126200 849 476 0 125474 0 Current children cumulated CPU time: 2262.32 s Current children cumulated vsize: 528608 KiB Current children cumulated memory: 504800 KiB [startup+2322.3 s] /proc/loadavg: 2.00 1.99 2.03 3/188 9413 /proc/meminfo: memFree=24584348/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=528608 memory=504800 CPUtime=2322.32 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 442085 0 0 0 232192 40 0 0 20 0 1 0 49507789 541294592 126200 33554432000 4194304 6142532 140732680375248 140732680371960 5215819 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 132152 126200 849 476 0 125474 0 Current children cumulated CPU time: 2322.32 s Current children cumulated vsize: 528608 KiB Current children cumulated memory: 504800 KiB [startup+2382.3 s] /proc/loadavg: 2.00 1.99 2.03 3/188 9414 /proc/meminfo: memFree=24584500/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=528608 memory=504800 CPUtime=2382.32 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 442346 0 0 0 238192 40 0 0 20 0 1 0 49507789 541294592 126200 33554432000 4194304 6142532 140732680375248 140732680371960 5140180 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 132152 126200 849 476 0 125474 0 Current children cumulated CPU time: 2382.32 s Current children cumulated vsize: 528608 KiB Current children cumulated memory: 504800 KiB [startup+2442.3 s] /proc/loadavg: 2.00 1.99 2.03 3/187 9416 /proc/meminfo: memFree=24584568/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=528608 memory=504800 CPUtime=2442.33 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 442921 0 0 0 244193 40 0 0 20 0 1 0 49507789 541294592 126200 33554432000 4194304 6142532 140732680375248 140732680371960 5366713 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 132152 126200 849 476 0 125474 0 Current children cumulated CPU time: 2442.33 s Current children cumulated vsize: 528608 KiB Current children cumulated memory: 504800 KiB [startup+2502.3 s] /proc/loadavg: 2.00 1.99 2.03 3/187 9417 /proc/meminfo: memFree=24584624/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=528608 memory=504800 CPUtime=2502.33 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 443409 0 0 0 250193 40 0 0 20 0 1 0 49507789 541294592 126200 33554432000 4194304 6142532 140732680375248 140732680371960 5371724 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 132152 126200 849 476 0 125474 0 Current children cumulated CPU time: 2502.33 s Current children cumulated vsize: 528608 KiB Current children cumulated memory: 504800 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.00 1.99 2.03 3/187 9478 /proc/meminfo: memFree=24443004/32770624 swapFree=67108852/67108860 [pid=9341] ppid=9338 vsize=528608 memory=504800 CPUtime=2520.03 cores=1,3,5,7 /proc/9341/stat : 9341 (cosoco) R 9338 9341 6925 0 -1 4202496 443552 0 0 0 251963 40 0 0 20 0 1 0 49507789 541294592 126200 33554432000 4194304 6142532 140732680375248 140732680371960 5396701 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 22761472 140732680377478 140732680377608 140732680377608 140732680380366 0 /proc/9341/statm: 132152 126200 849 476 0 125474 0 Current children cumulated CPU time: 2520.03 s Current children cumulated vsize: 528608 KiB Current children cumulated memory: 504800 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 9341 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.64 s, system=0.403009 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2520.01 CPU time (s): 2520.04 CPU user time (s): 2519.64 CPU system time (s): 0.403009 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 528608 Max. memory (cumulated for all children) (KiB): 504800 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.64 system time used= 0.403009 maximum resident set size= 504868 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 443624 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 49 involuntary context switches= 774 # summary of solver processes directly reported to runsolver: # pid: 9341 # total CPU time (s): 2520.04 # total CPU user time (s): 2519.64 # total CPU system time (s): 0.403009 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.38015 second user time and 16.5245 second system time The end
Begin job on node148 at 2018-07-23 06:17:26 IDJOB=4293590 IDBENCH=141198 IDSOLVER=2752 FILE ID=node148/4293590-1532319446 RUNJOBID= node148-1532296736-6957 PBS_JOBID= 21018990 Free space on /tmp= 51988 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-13-opt_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293590-1532319446/watcher-4293590-1532319446 -o /tmp/evaluation-result-4293590-1532319446/solver-4293590-1532319446 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532296736-6957 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293590-1532319446.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b4f35f52fd25bddaccbbeb0f9433c3f2 RANDOM SEED=351306778 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.50 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.50 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.50 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.50 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: 25089284 kB MemAvailable: 31920928 kB Buffers: 175824 kB Cached: 6837976 kB SwapCached: 8 kB Active: 1225236 kB Inactive: 5862156 kB Active(anon): 26956 kB Inactive(anon): 66100 kB Active(file): 1198280 kB Inactive(file): 5796056 kB Unevictable: 7080 kB Mlocked: 7080 kB SwapTotal: 67108860 kB SwapFree: 67108852 kB Dirty: 3264 kB Writeback: 0 kB AnonPages: 107304 kB Mapped: 38596 kB Shmem: 17024 kB Slab: 292992 kB SReclaimable: 265768 kB SUnreclaim: 27224 kB KernelStack: 3568 kB PageTables: 5240 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 366216 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 30720 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 51988 MiB End job on node148 at 2018-07-23 06:59:27