Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2018-08-01 | SAT (TO) | 533394466 | 2519.79 | 2520.02 |
Name | Fapp/Fapp-m2s/ Fapp-m2s-05-0350_c18.xml |
MD5SUM | 51c3d091a7e4b0716a15e9a29832b849 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 524813477 |
Best CPU time to get the best result obtained on this benchmark | 2527.64 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 7232 |
Number of constraints | 4665 |
Number of domains | 18 |
Minimum domain size | 1 |
Maximum domain size | 135 |
Distribution of domain sizes | [{"size":1,"count":3},{"size":2,"count":2524},{"size":11,"count":2177},{"size":12,"count":1},{"size":25,"count":55},{"size":33,"count":45},{"size":44,"count":26},{"size":48,"count":22},{"size":51,"count":17},{"size":55,"count":31},{"size":91,"count":204},{"size":102,"count":203},{"size":106,"count":126},{"size":135,"count":1798}] |
Minimum variable degree | 2 |
Maximum variable degree | 2178 |
Distribution of variable degrees | [{"degree":2,"count":6532},{"degree":3,"count":5},{"degree":4,"count":7},{"degree":5,"count":11},{"degree":6,"count":11},{"degree":7,"count":19},{"degree":8,"count":26},{"degree":9,"count":28},{"degree":10,"count":31},{"degree":11,"count":40},{"degree":12,"count":48},{"degree":13,"count":50},{"degree":14,"count":80},{"degree":15,"count":109},{"degree":16,"count":148},{"degree":17,"count":81},{"degree":18,"count":2},{"degree":19,"count":2},{"degree":21,"count":1},{"degree":2178,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 6 |
Distribution of constraint arities | [{"arity":2,"count":311},{"arity":3,"count":2177},{"arity":6,"count":2177}] |
Number of extensional constraints | 2177 |
Number of intensional constraints | 2488 |
Distribution of constraint types | [{"type":"extension","count":2177},{"type":"intension","count":2488}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c Mistral 01082018 86.55/86.60 o 533982479 86.55/86.60 o 533982477 86.55/86.61 o 533960701 86.55/86.62 o 533960698 86.55/86.62 o 533938920 86.55/86.64 o 533917158 86.55/86.67 o 533917149 86.65/86.71 o 533917142 86.75/86.88 o 533917141 86.75/86.88 o 533917135 87.15/87.27 o 533873581 87.35/87.44 o 533851804 87.35/87.44 o 533851796 89.75/89.87 o 533830026 91.96/92.05 o 533830021 92.85/92.94 o 533830006 93.85/93.95 o 533830003 94.96/95.03 o 533786462 96.96/97.06 o 533764694 98.45/98.53 o 533764683 99.25/99.33 o 533742914 101.45/101.55 o 533742907 475.58/475.77 o 533742906 475.58/475.78 o 533721136 475.58/475.79 o 533699366 475.68/475.81 o 533677596 475.68/475.83 o 533677595 475.68/475.84 o 533655826 475.68/475.85 o 533655825 475.89/476.08 o 533655817 475.89/476.09 o 533634047 476.08/476.23 o 533634046 476.38/476.52 o 533634045 520.28/520.43 o 533634035 520.28/520.44 o 533612258 520.28/520.47 o 533590486 520.38/520.53 o 533590485 520.38/520.54 o 533590484 522.89/523.01 o 533568714 528.38/528.57 o 533568713 697.46/697.68 o 533568711 722.06/722.24 o 533568710 722.06/722.29 o 533568709 879.04/879.22 o 533568707 880.04/880.20 o 533546937 890.24/890.44 o 533546934 901.86/902.04 o 533525168 901.86/902.04 o 533525165 901.86/902.06 o 533525158 901.96/902.12 o 533525150 902.05/902.28 o 533525146 902.15/902.34 o 533503366 902.25/902.45 o 533481587 903.15/903.35 o 533459808 904.85/905.06 o 533438038 916.65/916.81 o 533416276 927.54/927.78 o 533394507 934.95/935.17 o 533394502 988.84/989.01 o 533394501 999.02/999.26 o 533394495 1157.91/1158.12 o 533394494 1157.91/1158.14 o 533394492 1157.91/1158.15 o 533394490 1157.91/1158.16 o 533394488 1157.91/1158.17 o 533394481 1158.00/1158.21 o 533394480 1162.20/1162.44 o 533394479 1262.90/1263.15 o 533394475 1263.09/1263.38 o 533394470 1264.39/1264.68 o 533394466 2519.77/2520.01 s SATISFIABLE 2519.77/2520.01 v <instantiation type="solution"> 2519.77/2520.01 v <list> f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] v1[1839] v1[1840] v1[1841] v1[1842] v1[1843] v1[1844] v1[1845] v1[1846] v1[1847] v1[1848] v1[1849] v1[1850] v1[1851] v1[1852] v1[1853] v1[1854] v1[1855] v1[1856] v1[1857] v1[1858] v1[1859] v1[1860] v1[1861] v1[1862] v1[1863] v1[1864] v1[1865] v1[1866] v1[1867] v1[1868] v1[1869] v1[1870] v1[1871] v1[1872] v1[1873] v1[1874] v1[1875] v1[1876] v1[1877] v1[1878] v1[1879] v1[1880] v1[1881] v1[1882] v1[1883] v1[1884] v1[1885] v1[1886] v1[1887] v1[1888] v1[1889] v1[1890] v1[1891] v1[1892] v1[1893] v1[1894] v1[1895] v1[1896] v1[1897] v1[1898] v1[1899] v1[1900] v1[1901] v1[1902] v1[1903] v1[1904] v1[1905] v1[1906] v1[1907] v1[1908] v1[1909] v1[1910] v1[1911] v1[1912] v1[1913] v1[1914] v1[1915] v1[1916] v1[1917] v1[1918] v1[1919] v1[1920] v1[1921] v1[1922] v1[1923] v1[1924] v1[1925] v1[1926] v1[1927] v1[1928] v1[1929] v1[1930] v1[1931] v1[1932] v1[1933] v1[1934] v1[1935] v1[1936] v1[1937] v1[1938] v1[1939] v1[1940] v1[1941] v1[1942] v1[1943] v1[1944] v1[1945] v1[1946] v1[1947] v1[1948] v1[1949] v1[1950] v1[1951] v1[1952] v1[1953] v1[1954] v1[1955] v1[1956] v1[1957] v1[1958] v1[1959] v1[1960] v1[1961] v1[1962] v1[1963] v1[1964] v1[1965] v1[1966] v1[1967] v1[1968] v1[1969] v1[1970] v1[1971] v1[1972] v1[1973] v1[1974] v1[1975] v1[1976] v1[1977] v1[1978] v1[1979] v1[1980] v1[1981] v1[1982] v1[1983] v1[1984] v1[1985] v1[1986] v1[1987] v1[1988] v1[1989] v1[1990] v1[1991] v1[1992] v1[1993] v1[1994] v1[1995] v1[1996] v1[1997] v1[1998] v1[1999] v1[2000] v1[2001] v1[2002] v1[2003] v1[2004] v1[2005] v1[2006] v1[2007] v1[2008] v1[2009] v1[2010] v1[2011] v1[2012] v1[2013] v1[2014] v1[2015] v1[2016] v1[2017] v1[2018] v1[2019] v1[2020] v1[2021] v1[2022] v1[2023] v1[2024] v1[2025] v1[2026] v1[2027] v1[2028] v1[2029] v1[2030] v1[2031] v1[2032] v1[2033] v1[2034] v1[2035] v1[2036] v1[2037] v1[2038] v1[2039] v1[2040] v1[2041] v1[2042] v1[2043] v1[2044] v1[2045] v1[2046] v1[2047] v1[2048] v1[2049] v1[2050] v1[2051] v1[2052] v1[2053] v1[2054] v1[2055] v1[2056] v1[2057] v1[2058] v1[2059] v1[2060] v1[2061] v1[2062] v1[2063] v1[2064] v1[2065] v1[2066] v1[2067] v1[2068] v1[2069] v1[2070] v1[2071] v1[2072] v1[2073] v1[2074] v1[2075] v1[2076] v1[2077] v1[2078] v1[2079] v1[2080] v1[2081] v1[2082] v1[2083] v1[2084] v1[2085] v1[2086] v1[2087] v1[2088] v1[2089] v1[2090] v1[2091] v1[2092] v1[2093] v1[2094] v1[2095] v1[2096] v1[2097] v1[2098] v1[2099] v1[2100] v1[2101] v1[2102] v1[2103] v1[2104] v1[2105] v1[2106] v1[2107] v1[2108] v1[2109] v1[2110] v1[2111] v1[2112] v1[2113] v1[2114] v1[2115] v1[2116] v1[2117] v1[2118] v1[2119] v1[2120] v1[2121] v1[2122] v1[2123] v1[2124] v1[2125] v1[2126] v1[2127] v1[2128] v1[2129] v1[2130] v1[2131] v1[2132] v1[2133] v1[2134] v1[2135] v1[2136] v1[2137] v1[2138] v1[2139] v1[2140] v1[2141] v1[2142] v1[2143] v1[2144] v1[2145] v1[2146] v1[2147] v1[2148] v1[2149] v1[2150] v1[2151] v1[2152] v1[2153] v1[2154] v1[2155] v1[2156] v1[2157] v1[2158] v1[2159] v1[2160] v1[2161] v1[2162] v1[2163] v1[2164] v1[2165] v1[2166] v1[2167] v1[2168] v1[2169] v1[2170] v1[2171] v1[2172] v1[2173] v1[2174] v1[2175] v1[2176] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[1809] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] v2[1839] v2[1840] v2[1841] v2[1842] v2[1843] v2[1844] v2[1845] v2[1846] v2[1847] v2[1848] v2[1849] v2[1850] v2[1851] v2[1852] v2[1853] v2[1854] v2[1855] v2[1856] v2[1857] v2[1858] v2[1859] v2[1860] v2[1861] v2[1862] v2[1863] v2[1864] v2[1865] v2[1866] v2[1867] v2[1868] v2[1869] v2[1870] v2[1871] v2[1872] v2[1873] v2[1874] v2[1875] v2[1876] v2[1877] v2[1878] v2[1879] v2[1880] v2[1881] v2[1882] v2[1883] v2[1884] v2[1885] v2[1886] v2[1887] v2[1888] v2[1889] v2[1890] v2[1891] v2[1892] v2[1893] v2[1894] v2[1895] v2[1896] v2[1897] v2[1898] v2[1899] v2[1900] v2[1901] v2[1902] v2[1903] v2[1904] v2[1905] v2[1906] v2[1907] v2[1908] v2[1909] v2[1910] v2[1911] v2[1912] v2[1913] v2[1914] v2[1915] v2[1916] v2[1917] v2[1918] v2[1919] v2[1920] v2[1921] v2[1922] v2[1923] v2[1924] v2[1925] v2[1926] v2[1927] v2[1928] v2[1929] v2[1930] v2[1931] v2[1932] v2[1933] v2[1934] v2[1935] v2[1936] v2[1937] v2[1938] v2[1939] v2[1940] v2[1941] v2[1942] v2[1943] v2[1944] v2[1945] v2[1946] v2[1947] v2[1948] v2[1949] v2[1950] v2[1951] v2[1952] v2[1953] v2[1954] v2[1955] v2[1956] v2[1957] v2[1958] v2[1959] v2[1960] v2[1961] v2[1962] v2[1963] v2[1964] v2[1965] v2[1966] v2[1967] v2[1968] v2[1969] v2[1970] v2[1971] v2[1972] v2[1973] v2[1974] v2[1975] v2[1976] v2[1977] v2[1978] v2[1979] v2[1980] v2[1981] v2[1982] v2[1983] v2[1984] v2[1985] v2[1986] v2[1987] v2[1988] v2[1989] v2[1990] v2[1991] v2[1992] v2[1993] v2[1994] v2[1995] v2[1996] v2[1997] v2[1998] v2[1999] v2[2000] v2[2001] v2[2002] v2[2003] v2[2004] v2[2005] v2[2006] v2[2007] v2[2008] v2[2009] v2[2010] v2[2011] v2[2012] v2[2013] v2[2014] v2[2015] v2[2016] v2[2017] v2[2018] v2[2019] v2[2020] v2[2021] v2[2022] v2[2023] v2[2024] v2[2025] v2[2026] v2[2027] v2[2028] v2[2029] v2[2030] v2[2031] v2[2032] v2[2033] v2[2034] v2[2035] v2[2036] v2[2037] v2[2038] v2[2039] v2[2040] v2[2041] v2[2042] v2[2043] v2[2044] v2[2045] v2[2046] v2[2047] v2[2048] v2[2049] v2[2050] v2[2051] v2[2052] v2[2053] v2[2054] v2[2055] v2[2056] v2[2057] v2[2058] v2[2059] v2[2060] v2[2061] v2[2062] v2[2063] v2[2064] v2[2065] v2[2066] v2[2067] v2[2068] v2[2069] v2[2070] v2[2071] v2[2072] v2[2073] v2[2074] v2[2075] v2[2076] v2[2077] v2[2078] v2[2079] v2[2080] v2[2081] v2[2082] v2[2083] v2[2084] v2[2085] v2[2086] v2[2087] v2[2088] v2[2089] v2[2090] v2[2091] v2[2092] v2[2093] v2[2094] v2[2095] v2[2096] v2[2097] v2[2098] v2[2099] v2[2100] v2[2101] v2[2102] v2[2103] v2[2104] v2[2105] v2[2106] v2[2107] v2[2108] v2[2109] v2[2110] v2[2111] v2[2112] v2[2113] v2[2114] v2[2115] v2[2116] v2[2117] v2[2118] v2[2119] v2[2120] v2[2121] v2[2122] v2[2123] v2[2124] v2[2125] v2[2126] v2[2127] v2[2128] v2[2129] v2[2130] v2[2131] v2[2132] v2[2133] v2[2134] v2[2135] v2[2136] v2[2137] v2[2138] v2[2139] v2[2140] v2[2141] v2[2142] v2[2143] v2[2144] v2[2145] v2[2146] v2[2147] v2[2148] v2[2149] v2[2150] v2[2151] v2[2152] v2[2153] v2[2154] v2[2155] v2[2156] v2[2157] v2[2158] v2[2159] v2[2160] v2[2161] v2[2162] v2[2163] v2[2164] v2[2165] v2[2166] v2[2167] v2[2168] v2[2169] v2[2170] v2[2171] v2[2172] v2[2173] v2[2174] v2[2175] v2[2176] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[1809] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838] d[1839] d[1840] d[1841] d[1842] d[1843] d[1844] d[1845] d[1846] d[1847] d[1848] d[1849] d[1850] d[1851] d[1852] d[1853] d[1854] d[1855] d[1856] d[1857] d[1858] d[1859] d[1860] d[1861] d[1862] d[1863] d[1864] d[1865] d[1866] d[1867] d[1868] d[1869] d[1870] d[1871] d[1872] d[1873] d[1874] d[1875] d[1876] d[1877] d[1878] d[1879] d[1880] d[1881] d[1882] d[1883] d[1884] d[1885] d[1886] d[1887] d[1888] d[1889] d[1890] d[1891] d[1892] d[1893] d[1894] d[1895] d[1896] d[1897] d[1898] d[1899] d[1900] d[1901] d[1902] d[1903] d[1904] d[1905] d[1906] d[1907] d[1908] d[1909] d[1910] d[1911] d[1912] d[1913] d[1914] d[1915] d[1916] d[1917] d[1918] d[1919] d[1920] d[1921] d[1922] d[1923] d[1924] d[1925] d[1926] d[1927] d[1928] d[1929] d[1930] d[1931] d[1932] d[1933] d[1934] d[1935] d[1936] d[1937] d[1938] d[1939] d[1940] d[1941] d[1942] d[1943] d[1944] d[1945] d[1946] d[1947] d[1948] d[1949] d[1950] d[1951] d[1952] d[1953] d[1954] d[1955] d[1956] d[1957] d[1958] d[1959] d[1960] d[1961] d[1962] d[1963] d[1964] d[1965] d[1966] d[1967] d[1968] d[1969] d[1970] d[1971] d[1972] d[1973] d[1974] d[1975] d[1976] d[1977] d[1978] d[1979] d[1980] d[1981] d[1982] d[1983] d[1984] d[1985] d[1986] d[1987] d[1988] d[1989] d[1990] d[1991] d[1992] d[1993] d[1994] d[1995] d[1996] d[1997] d[1998] d[1999] d[2000] d[2001] d[2002] d[2003] d[2004] d[2005] d[2006] d[2007] d[2008] d[2009] d[2010] d[2011] d[2012] d[2013] d[2014] d[2015] d[2016] d[2017] d[2018] d[2019] d[2020] d[2021] d[2022] d[2023] d[2024] d[2025] d[2026] d[2027] d[2028] d[2029] d[2030] d[2031] d[2032] d[2033] d[2034] d[2035] d[2036] d[2037] d[2038] d[2039] d[2040] d[2041] d[2042] d[2043] d[2044] d[2045] d[2046] d[2047] d[2048] d[2049] d[2050] d[2051] d[2052] d[2053] d[2054] d[2055] d[2056] d[2057] d[2058] d[2059] d[2060] d[2061] d[2062] d[2063] d[2064] d[2065] d[2066] d[2067] d[2068] d[2069] d[2070] d[2071] d[2072] d[2073] d[2074] d[2075] d[2076] d[2077] d[2078] d[2079] d[2080] d[2081] d[2082] d[2083] d[2084] d[2085] d[2086] d[2087] d[2088] d[2089] d[2090] d[2091] d[2092] d[2093] d[2094] d[2095] d[2096] d[2097] d[2098] d[2099] d[2100] d[2101] d[2102] d[2103] d[2104] d[2105] d[2106] d[2107] d[2108] d[2109] d[2110] d[2111] d[2112] d[2113] d[2114] d[2115] d[2116] d[2117] d[2118] d[2119] d[2120] d[2121] d[2122] d[2123] d[2124] d[2125] d[2126] d[2127] d[2128] d[2129] d[2130] d[2131] d[2132] d[2133] d[2134] d[2135] d[2136] d[2137] d[2138] d[2139] d[2140] d[2141] d[2142] d[2143] d[2144] d[2145] d[2146] d[2147] d[2148] d[2149] d[2150] d[2151] d[2152] d[2153] d[2154] d[2155] d[2156] d[2157] d[2158] d[2159] d[2160] d[2161] d[2162] d[2163] d[2164] d[2165] d[2166] d[2167] d[2168] d[2169] d[2170] d[2171] d[2172] d[2173] d[2174] d[2175] d[2176] </list> 2519.77/2520.01 v <values> 2424 2180 2220 2220 2572 2404 2540 2180 2288 2488 2180 2424 2220 2220 2180 2364 2180 2452 2220 2248 2180 2220 2180 2708 2220 2220 2268 2296 2220 2180 2180 2440 2260 2220 2424 2264 2384 2452 2220 2412 2220 2304 2528 2684 2512 2180 2296 2232 2228 2452 2220 2528 2496 2220 2180 2384 2372 2220 2384 2180 2452 2668 2452 2180 2488 2244 2180 2180 2220 2180 2180 2384 2324 2412 2180 2452 2288 2180 2220 2220 2220 2456 2180 2328 2180 2604 2356 2180 2472 2448 2180 2220 2220 2412 2220 2528 2628 2392 2616 2384 2252 2208 2444 2220 2220 2632 2228 2412 2220 2376 2224 2220 2336 2540 2452 2256 2220 2692 2664 2308 2288 2480 2180 2212 2268 2412 2668 2220 2252 2180 2480 2408 2220 2180 2220 2412 2612 2644 2180 2220 2220 2560 2528 2220 2220 2524 2220 2344 2180 2304 2488 2328 2384 2412 2528 2664 2484 2220 2488 2488 2452 2376 2676 2180 2336 2364 2188 2600 2644 2180 2220 2228 2440 2368 2716 2564 2180 2180 2612 2180 2220 2220 2220 2528 2652 2424 2424 2188 2220 2188 2452 2424 2248 2452 2220 2244 2384 2180 2616 2604 2540 2376 2220 2432 2224 2180 2584 2492 2432 2488 2220 2676 2220 2220 2180 2256 2404 2424 2220 2624 2708 2228 2424 2180 2180 2268 2180 2532 2180 2204 2536 2492 2412 2204 2180 2344 2488 2188 2228 2500 2488 2220 2180 2180 2416 2220 2528 2580 2452 2540 2180 2220 2444 2220 2180 2668 2424 2624 2412 2392 2180 2180 2228 2220 2364 2180 2384 2180 2716 2212 2412 2488 2220 2220 2412 2464 2180 2220 2488 2220 2180 2528 2512 2180 2180 2384 2344 2192 2448 2284 2416 2260 2448 2324 2220 2304 2408 2580 2180 2180 2484 2180 2288 2564 2452 2220 2184 2528 2228 2624 2656 2672 2220 2412 2612 2220 2220 2260 2244 2188 2220 2552 2528 2260 2580 2488 2568 2452 2180 2572 2180 2424 2180 2220 2184 2180 2528 2572 2248 2220 2220 2180 2656 2396 2248 2384 2220 2524 2180 2412 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 1 1 0 1 1 1 0 1 1 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 1 1 1 0 0 0 0 1 1 0 1 1 0 1 1 1 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 1 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 1 1 1 1 0 0 1 1 0 0 0 1 0 0 1 1 0 1 1 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 1 1 0 1 1 1 0 0 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 1 0 0 1 0 1 1 0 0 0 1 1 1 1 0 0 1 1 0 1 11 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 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 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 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 1 1 1 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 1 0 0 1 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 1 0 0 1 1 0 0 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 1 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 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 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 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 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 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 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 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 10 0 0 3 10 0 8 0 0 0 0 10 10 0 10 0 0 8 0 1 0 10 0 1 10 10 7 0 0 1 0 10 0 10 1 1 10 0 0 0 0 4 10 10 10 0 0 10 0 0 0 10 0 0 10 0 10 0 0 8 0 8 10 0 10 10 1 0 10 0 0 10 0 0 0 10 0 2 0 10 0 6 0 0 0 0 8 0 1 0 0 0 10 0 0 10 0 0 0 0 10 1 10 0 10 0 1 10 10 10 2 0 10 10 10 0 1 0 1 0 10 3 0 0 0 3 7 0 0 0 0 0 0 0 0 0 1 10 10 10 8 10 0 0 9 0 9 0 0 0 0 0 0 3 10 0 10 0 0 0 10 10 0 3 0 0 10 0 0 0 0 0 0 8 0 0 0 10 10 10 10 7 0 0 9 10 0 10 0 0 9 0 1 0 0 0 10 0 0 6 0 10 10 10 0 10 0 1 0 1 10 0 10 0 10 0 10 0 6 0 0 2 0 0 1 0 0 0 10 8 0 1 1 10 0 10 0 0 0 0 10 3 10 0 10 0 5 10 0 6 10 10 0 0 0 10 0 10 7 1 0 0 0 10 0 5 10 10 10 0 0 0 10 10 0 4 0 0 10 10 0 0 10 0 10 0 0 0 8 0 0 10 0 10 10 0 0 10 10 9 10 0 0 9 0 0 0 10 0 0 0 0 0 0 0 0 0 8 0 0 0 10 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 0 0 0 2 10 0 0 1 0 0 0 0 0 10 0 0 0 0 1 2 0 10 10 0 0 0 0 10 0 0 0 10 1 8 0 10 0 10 0 1 0 10 0 0 1 0 0 7 10 0 9 0 0 0 0 0 0 0 0 0 0 10 1 0 0 0 10 10 10 10 10 0 0 0 10 10 10 0 0 0 0 0 0 0 10 0 0 7 0 1 0 10 4 10 0 0 0 0 0 10 0 7 0 0 0 4 0 0 0 0 10 10 0 10 0 10 10 10 0 10 10 10 0 0 0 1 0 0 10 0 0 0 10 9 0 0 0 10 4 0 1 10 0 0 10 2 10 0 1 10 10 10 0 3 10 0 0 0 0 10 0 0 10 0 0 1 0 0 0 0 10 10 0 0 0 0 4 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 10 0 0 0 10 10 0 0 10 0 7 0 0 0 10 1 10 10 3 5 0 0 0 6 0 0 10 0 0 10 10 0 3 10 10 10 0 10 10 10 0 1 0 10 0 0 0 10 10 0 1 10 0 0 1 10 8 10 0 10 0 0 7 0 1 10 10 10 0 0 0 1 0 8 0 0 0 0 0 9 10 0 0 10 10 10 0 10 1 0 0 10 0 10 0 0 0 0 10 0 0 3 0 0 0 0 0 9 0 0 0 10 1 6 10 0 0 10 3 0 0 3 0 5 10 0 0 0 0 10 10 10 10 0 0 9 0 10 10 10 0 10 1 0 10 0 10 0 0 10 3 1 0 10 10 1 0 1 0 0 0 0 0 9 10 2 0 0 0 10 0 0 0 10 0 10 0 7 0 0 0 0 10 0 0 0 10 7 0 0 0 10 10 10 0 6 0 0 0 0 1 0 1 0 0 0 10 10 7 10 10 9 10 1 10 10 10 10 0 0 0 7 0 10 0 0 0 0 0 1 0 0 10 8 10 7 10 1 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 10 0 0 0 0 0 5 0 0 0 10 10 10 10 0 0 10 0 10 10 0 10 10 0 10 0 0 0 0 0 0 10 10 0 10 0 10 0 10 0 0 4 0 10 10 0 1 10 0 10 0 10 0 0 0 0 0 10 0 9 8 10 0 0 0 10 0 10 0 0 10 0 0 0 0 0 0 10 10 0 10 10 10 0 10 10 1 0 1 0 1 0 0 0 10 0 0 0 0 5 3 0 10 5 10 10 0 0 10 4 0 0 0 0 10 0 0 9 10 7 10 0 10 0 0 0 0 10 0 10 7 10 10 0 0 1 10 1 9 0 1 10 10 0 10 8 10 3 0 0 0 0 10 1 0 0 10 0 10 3 0 10 10 10 10 10 0 10 1 0 0 0 0 0 10 1 2 10 0 0 0 0 0 0 0 0 0 10 7 0 0 10 10 0 0 1 0 0 0 0 0 1 10 10 0 0 0 0 7 0 10 0 10 1 4 10 0 0 0 0 10 0 0 3 0 0 1 10 0 0 0 0 0 0 10 10 0 1 1 0 10 9 0 10 10 8 0 0 1 0 10 10 0 0 1 0 10 10 2 0 10 10 10 0 0 0 10 0 0 10 0 10 10 1 0 0 6 0 3 10 10 0 0 9 10 10 7 0 1 0 10 10 0 4 10 1 0 1 10 0 1 0 0 0 10 10 0 0 9 0 10 0 0 0 10 6 10 0 0 0 0 0 0 0 0 10 0 0 4 0 10 0 0 1 10 8 1 0 10 10 10 0 0 10 10 0 0 10 0 10 0 0 10 0 10 0 0 0 0 0 0 10 3 0 10 10 0 0 0 0 10 10 10 1 0 10 10 1 0 0 10 10 8 0 10 0 9 0 10 1 10 10 0 0 8 10 10 0 0 10 10 10 10 10 0 10 0 1 0 10 10 0 0 1 10 0 0 0 8 0 0 0 0 10 1 0 1 0 10 0 1 0 1 10 0 0 0 10 0 10 0 10 1 0 0 10 10 10 10 0 10 3 0 1 1 0 0 10 10 0 0 8 9 0 10 0 0 0 0 0 0 0 0 0 8 7 0 8 0 0 0 7 0 6 0 0 10 10 0 10 10 6 10 0 0 9 0 8 0 0 2 10 0 0 0 0 0 0 1 10 0 0 0 10 0 0 7 0 0 10 0 0 10 10 0 1 10 10 0 8 0 10 10 10 0 0 0 8 0 0 7 0 0 0 10 10 0 0 0 0 10 10 0 0 10 0 0 0 0 0 0 0 6 0 0 6 0 10 10 10 4 10 0 0 0 0 10 10 3 1 0 10 0 4 10 0 0 0 10 9 0 0 0 0 10 0 0 10 0 0 0 1 0 0 10 10 0 0 10 10 0 10 0 10 10 0 6 0 0 10 10 0 0 10 8 10 0 0 0 10 10 3 0 0 0 0 0 8 1 1 10 0 7 1 10 10 10 0 5 5 1 0 0 0 0 0 0 10 0 0 0 7 0 10 10 0 0 6 0 0 0 0 0 1 2 0 0 0 10 3 0 0 0 0 0 1 10 10 0 10 0 0 0 0 10 0 0 0 10 10 0 1 1 0 0 0 0 0 0 0 0 0 10 8 0 0 0 0 0 0 0 0 0 8 10 10 0 3 10 7 0 1 8 10 10 0 0 9 0 1 6 0 0 0 1 0 10 0 0 0 0 10 10 9 10 0 0 10 10 0 0 0 10 10 10 0 10 0 1 10 0 10 10 10 0 10 10 10 0 0 0 0 10 0 0 7 0 5 10 0 0 10 0 0 0 0 0 0 9 0 0 10 0 2 0 6 0 0 10 0 10 0 10 10 3 0 10 1 0 0 10 10 0 0 0 0 0 10 0 10 0 9 0 0 1 10 0 0 10 0 10 0 0 0 9 0 0 2 0 0 0 0 8 0 0 0 10 0 5 0 1 0 0 0 0 10 0 8 9 0 0 8 10 0 8 10 0 0 10 0 10 0 0 0 10 0 10 0 0 0 0 0 1 0 0 0 0 0 0 0 10 10 0 10 0 10 0 9 0 1 0 0 0 0 0 10 10 8 0 10 10 0 9 0 0 10 4 0 10 0 1 0 6 0 0 0 0 10 9 10 1 10 10 0 0 1 10 0 10 10 10 1 10 0 0 0 10 0 0 10 10 1 10 0 0 1 0 0 0 10 10 10 0 0 10 0 0 10 10 9 10 1 0 0 0 10 0 8 10 10 0 10 0 0 0 6 10 10 8 0 0 10 0 0 10 0 10 1 0 0 10 10 0 0 0 0 3 0 10 0 0 8 0 2 0 0 10 10 0 0 9 0 10 0 10 0 7 10 0 0 0 10 4 0 0 0 0 0 10 10 10 9 10 0 0 10 1 0 1 10 0 0 0 10 0 10 5 5 10 10 1 10 0 10 0 0 0 0 10 0 1 0 0 9 10 10 10 10 0 0 1 0 0 0 0 10 0 0 0 0 0 1 0 0 0 0 0 10 0 10 0 0 0 0 10 10 10 0 0 10 7 10 10 0 0 10 0 3 10 10 0 0 10 10 10 0 0 10 1 0 0 10 10 0 0 0 0 0 7 1 10 0 0 10 1 0 1 0 0 10 0 10 0 0 0 10 8 10 0 10 0 0 0 3 7 10 10 6 0 0 0 0 0 0 0 10 10 0 0 1 10 0 0 0 1 10 0 0 10 1 10 0 0 1 0 7 10 10 0 10 1 1 0 0 10 10 0 10 10 0 0 0 10 10 10 0 0 10 0 8 10 0 1 0 10 0 0 10 0 1 10 10 1 3 0 0 10 0 0 6 0 0 10 0 0 0 0 0 1 0 8 7 0 10 0 4 10 6 0 0 0 9 0 10 0 10 0 0 10 0 10 0 2 5 0 0 0 0 1 0 0 0 10 0 0 0 0 10 0 1 7 10 0 0 0 0 0 0 0 10 1 10 0 10 0 0 4 0 0 0 0 7 10 1 10 6 0 10 0 0 10 1 0 0 10 0 0 0 0 0 10 10 10 10 6 5 0 0 0 10 10 0 1 0 0 0 0 0 0 1 1 0 10 0 10 0 0 0 0 8 10 10 0 0 0 0 0 0 0 0 0 10 0 0 1 10 10 0 0 204 204 0 244 208 88 204 204 244 64 88 244 116 32 244 0 116 348 40 0 432 488 40 0 308 48 40 0 4 84 0 36 232 452 0 28 76 40 276 0 0 36 188 40 432 0 496 192 0 196 0 392 268 352 392 352 392 44 264 320 324 188 140 104 344 392 312 40 224 20 160 224 224 216 224 224 224 8 184 12 8 320 116 128 528 148 156 420 40 40 8 496 312 164 0 392 68 60 200 68 356 356 104 108 68 60 108 236 76 40 164 268 268 268 180 8 268 124 308 64 0 260 308 0 316 0 0 360 232 8 48 40 0 272 308 204 100 204 116 244 0 20 156 244 28 196 164 240 244 28 488 0 40 224 260 308 8 156 0 244 40 0 40 40 0 40 40 116 0 8 212 8 8 232 124 40 40 436 128 72 308 304 0 68 64 204 496 8 80 184 184 268 184 136 144 144 144 124 144 40 504 0 0 0 0 0 40 40 40 392 232 176 212 28 264 20 36 272 68 232 108 192 0 308 148 40 232 488 308 40 0 244 84 0 0 0 68 312 116 396 192 120 0 240 56 204 0 292 512 308 40 0 356 0 232 0 0 216 48 448 104 192 12 40 40 108 0 0 32 0 292 24 40 0 0 0 292 40 48 44 232 196 308 308 444 0 348 204 196 528 488 268 340 488 176 528 324 528 528 180 0 40 40 412 0 40 0 268 40 0 40 36 184 40 0 40 40 76 40 0 228 0 0 304 0 268 0 40 40 244 40 360 48 116 400 184 56 60 344 60 48 48 156 48 48 244 48 200 76 76 60 76 116 368 144 240 76 204 44 40 0 268 116 40 432 0 36 40 40 272 196 360 344 40 196 40 0 536 204 400 40 80 0 0 156 40 0 40 308 156 40 0 0 40 384 0 260 40 176 60 8 116 88 80 80 268 40 40 56 80 80 204 80 304 76 0 384 448 0 0 308 232 384 204 196 40 172 264 0 40 28 104 244 228 20 244 0 244 12 164 156 204 188 108 184 216 148 452 44 44 148 80 224 308 0 96 28 156 196 196 164 0 0 0 80 272 76 264 192 272 0 308 48 448 0 0 204 124 40 496 64 8 192 392 192 144 0 28 232 192 232 192 108 232 116 40 244 164 0 0 8 192 40 104 36 0 32 148 84 140 84 180 56 60 128 128 372 124 84 284 48 84 304 300 308 0 184 240 280 464 300 504 32 504 456 464 504 156 500 156 464 300 332 60 332 260 292 16 328 16 264 0 40 176 268 196 0 472 40 48 284 0 492 40 0 116 60 76 76 76 76 80 76 76 116 192 168 116 192 216 292 220 52 4 12 308 292 244 0 140 4 48 136 48 8 48 48 36 48 48 0 232 40 60 196 200 28 88 44 272 104 68 260 40 268 0 272 0 292 0 0 40 0 240 120 104 348 276 124 316 276 116 156 88 316 128 176 316 276 232 0 84 40 192 0 352 40 436 264 72 464 384 472 68 64 40 0 232 80 140 28 28 228 0 204 196 200 28 180 104 0 196 204 204 80 152 192 68 4 116 44 188 188 192 236 0 396 224 264 344 28 24 164 212 456 488 40 32 40 164 28 8 140 16 164 164 204 100 140 164 164 204 188 272 0 292 232 40 48 352 0 0 108 0 344 232 40 232 272 272 200 68 224 248 264 232 116 68 40 344 460 448 448 488 464 156 488 40 68 88 28 152 68 232 116 0 268 56 88 380 148 0 420 252 444 268 0 0 68 268 308 128 268 264 176 268 40 0 232 260 76 308 184 268 384 24 168 472 24 24 12 168 168 336 60 180 40 72 40 232 348 304 0 68 252 44 8 0 212 124 0 148 40 40 360 0 360 232 244 40 268 348 392 0 308 0 424 124 64 264 8 24 40 304 452 40 0 308 0 40 0 76 224 0 0 384 424 40 0 76 0 32 268 384 0 280 204 196 48 180 144 104 4 104 204 104 188 20 104 144 84 192 192 252 304 224 192 12 208 0 8 272 0 48 40 372 392 40 40 180 272 232 264 12 228 172 256 124 164 204 72 272 344 308 40 0 492 372 108 0 260 432 40 196 164 252 192 192 40 8 0 144 40 40 40 40 40 28 228 156 68 0 156 0 40 224 40 40 244 452 236 148 28 108 276 208 212 24 220 252 196 124 272 44 148 264 432 40 436 76 488 80 68 108 108 380 108 148 100 108 184 0 232 512 32 232 196 40 356 40 236 0 0 12 0 336 384 384 260 212 112 392 320 120 376 8 52 80 128 84 248 128 512 232 196 88 308 0 0 248 252 252 60 292 88 292 292 292 228 72 228 72 136 228 268 80 268 0 308 8 0 48 40 40 0 68 0 192 0 0 444 344 280 32 264 344 24 456 40 32 404 164 40 68 0 224 128 208 192 0 140 28 164 40 424 144 424 40 40 40 164 104 232 0 320 116 104 28 308 308 348 240 308 344 448 408 448 448 408 172 212 148 172 308 132 436 372 184 428 356 104 40 204 156 164 228 164 196 160 72 392 64 236 72 372 132 72 8 28 12 12 12 500 4 416 304 12 12 28 40 264 200 12 232 264 256 32 0 164 40 224 40 40 304 8 40 424 40 164 40 40 0 0 32 348 452 412 144 452 452 376 412 412 404 452 436 48 260 416 48 384 8 96 8 352 156 188 156 192 192 224 128 208 192 192 152 156 472 0 156 0 40 224 244 40 232 156 36 156 0 196 68 196 136 196 296 112 184 4 20 4 44 232 40 496 196 308 0 116 156 116 116 156 156 116 156 228 156 116 132 360 40 128 360 252 12 280 272 68 232 36 436 88 120 36 52 76 232 152 4 316 380 8 272 360 224 308 0 280 316 260 472 252 176 132 60 64 76 124 368 120 48 100 164 164 108 68 40 0 260 8 260 292 232 40 204 40 8 40 360 40 164 348 40 272 348 132 92 320 412 32 8 8 32 48 48 184 48 156 76 88 88 216 48 48 192 76 76 116 168 0 220 116 232 448 448 180 276 48 456 384 488 380 448 56 408 0 204 196 172 496 8 264 8 392 436 72 4 8 132 424 64 8 464 432 44 496 0 40 348 260 56 96 256 56 300 268 68 92 228 120 228 4 188 392 0 124 40 40 0 40 444 40 444 0 536 40 0 0 0 0 268 8 40 332 156 192 0 232 232 232 432 432 388 124 76 56 432 392 276 424 456 320 20 232 348 0 40 40 12 0 392 124 40 496 64 264 0 436 380 364 0 144 340 380 148 112 104 308 4 40 0 244 444 156 156 0 40 224 404 268 40 40 192 8 0 40 192 348 304 304 100 344 60 344 148 264 56 40 268 116 40 184 40 40 40 124 140 116 164 40 308 156 40 0 224 0 4 120 124 84 208 84 84 164 36 124 268 308 64 108 108 108 164 108 184 88 344 108 148 216 332 204 144 0 192 28 116 192 156 40 192 348 96 40 52 116 80 436 444 484 212 420 236 192 224 292 184 40 316 0 192 344 40 64 232 64 308 268 76 268 268 40 232 232 224 88 272 32 120 120 232 64 196 156 48 156 160 196 156 264 352 96 148 104 456 64 40 156 156 80 156 156 116 112 228 280 184 248 252 160 184 184 144 88 292 236 260 56 196 176 168 176 396 64 420 152 464 32 464 424 320 384 424 196 352 0 320 204 0 0 308 0 216 156 212 308 40 308 164 8 304 272 156 48 260 0 48 260 148 140 16 188 188 188 120 92 216 268 228 496 384 316 344 180 384 144 152 344 304 344 68 252 444 40 432 348 252 0 0 444 40 8 392 84 432 392 200 124 288 392 424 392 364 348 40 0 0 0 8 0 224 268 244 228 452 0 272 192 0 124 0 232 28 0 164 124 40 40 348 40 0 432 0 80 8 244 292 140 244 60 204 100 48 204 140 28 104 8 16 40 228 8 32 8 32 272 204 0 124 36 236 8 304 156 8 168 172 160 200 64 40 4 136 184 68 60 12 228 132 184 40 192 0 272 308 292 268 40 188 64 168 56 44 48 324 204 196 124 48 0 40 40 40 232 168 292 432 128 424 52 88 172 68 196 196 40 36 184 40 0 40 244 172 44 100 44 44 0 0 364 140 324 272 264 252 68 0 104 308 308 72 308 40 308 76 0 40 244 40 452 52 416 48 312 40 192 40 40 0 40 284 0 148 36 308 224 184 160 224 8 204 240 40 316 232 404 192 28 344 404 24 84 240 412 96 52 444 84 448 52 308 300 168 64 104 204 12 0 40 444 0 40 384 24 308 80 400 0 220 48 388 404 344 80 312 220 300 384 0 352 328 208 44 284 0 0 0 244 392 68 24 24 208 40 364 356 120 356 272 20 108 148 272 312 244 116 52 76 36 192 296 56 232 0 308 104 8 40 164 72 132 108 124 116 268 92 300 32 8 8 48 300 12 84 320 108 320 80 156 280 40 296 268 0 40 40 40 8 80 40 0 32 40 432 40 0 204 32 68 196 188 196 112 72 240 344 308 40 28 344 360 400 68 40 40 40 228 308 264 20 264 224 228 212 268 352 352 28 284 0 492 344 204 136 200 44 336 0 180 212 164 132 40 392 0 108 0 8 0 40 184 184 84 180 144 184 116 0 204 204 0 204 136 0 0 268 0 232 432 496 488 60 276 272 32 24 444 312 0 168 40 104 36 268 0 36 104 40 0 0 0 0 28 348 308 0 192 232 124 228 192 28 0 0 0 308 228 124 0 0 272 388 348 348 60 332 100 272 68 204 28 164 164 28 236 164 180 228 104 120 124 200 328 240 4 80 84 104 84 40 0 0 0 44 148 188 332 304 108 432 476 392 40 196 128 8 28 368 384 172 8 392 32 304 268 0 212 4 308 340 52 384 48 244 0 192 192 0 88 40 348 80 136 124 284 328 232 372 400 308 240 384 68 352 324 28 </values> 2519.77/2520.01 v </instantiation>
OK 533394466
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 (1689 MiB free) memory of node 1: 16384 MiB (3841 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304121-1534011160/watcher-4304121-1534011160 -o /tmp/evaluation-result-4304121-1534011160/solver-4304121-1534011160 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1533990732-21541 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1189761332 HOME/instance-4304121-1534011160.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=24213, runsolver pid=24210 Current StackSize limit: 8192 KiB [startup+0.100119 s]* /proc/loadavg: 1.92 2.00 2.04 3/192 24214 /proc/meminfo: memFree=5648604/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=44184 memory=18624 CPUtime=0.1 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 5087 0 0 0 10 0 0 0 20 0 1 0 218679227 45244416 4656 33554432000 4194304 7499544 140729473563456 140729473560456 140229235764197 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 11046 4656 703 807 0 4037 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 44184 KiB Current children cumulated memory: 18624 KiB [startup+0.209789 s]* /proc/loadavg: 1.92 2.00 2.04 3/192 24214 /proc/meminfo: memFree=5646000/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=46768 memory=21264 CPUtime=0.2 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 5707 0 0 0 20 0 0 0 20 0 1 0 218679227 47890432 5316 33554432000 4194304 7499544 140729473563456 140729473560456 140229235764197 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 11692 5316 704 807 0 4683 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 46768 KiB Current children cumulated memory: 21264 KiB [startup+0.309272 s]* /proc/loadavg: 1.92 2.00 2.04 3/192 24214 /proc/meminfo: memFree=5642528/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=50224 memory=24696 CPUtime=0.31 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 6572 0 0 0 30 1 0 0 20 0 1 0 218679227 51429376 6174 33554432000 4194304 7499544 140729473563456 140729473560456 140229239249309 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 12556 6174 704 807 0 5547 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 50224 KiB Current children cumulated memory: 24696 KiB [startup+0.700243 s] /proc/loadavg: 1.92 2.00 2.04 3/192 24214 /proc/meminfo: memFree=5635956/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=63216 memory=37632 CPUtime=0.69 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 9808 0 0 0 68 1 0 0 20 0 1 0 218679227 64733184 9408 33554432000 4194304 7499544 140729473563456 140729473554136 4563984 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 15804 9408 704 807 0 8795 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 63216 KiB Current children cumulated memory: 37632 KiB [startup+1.50025 s] /proc/loadavg: 1.92 2.00 2.04 3/192 24214 /proc/meminfo: memFree=5620952/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=84000 memory=58488 CPUtime=1.48 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 15021 0 0 0 147 1 0 0 20 0 1 0 218679227 86016000 14622 33554432000 4194304 7499544 140729473563456 140729473556696 5881454 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 21000 14622 720 807 0 13991 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 84000 KiB Current children cumulated memory: 58488 KiB [startup+3.10959 s] /proc/loadavg: 1.92 2.00 2.04 3/192 24214 /proc/meminfo: memFree=5524252/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=123288 memory=97660 CPUtime=3.1 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 25995 0 0 0 305 5 0 0 20 0 1 0 218679227 126246912 24415 33554432000 4194304 7499544 140729473563456 140729473556696 5879081 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 30822 24415 721 807 0 23813 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 123288 KiB Current children cumulated memory: 97660 KiB [startup+6.30023 s] /proc/loadavg: 1.93 2.00 2.04 3/192 24214 /proc/meminfo: memFree=5497540/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=200428 memory=175092 CPUtime=6.29 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 47407 0 0 0 615 14 0 0 20 0 1 0 218679227 205238272 43773 33554432000 4194304 7499544 140729473563456 140729473556696 5882051 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 50107 43773 721 807 0 43098 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 200428 KiB Current children cumulated memory: 175092 KiB [startup+12.7002 s] /proc/loadavg: 1.93 2.00 2.04 3/192 24214 /proc/meminfo: memFree=5347488/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=358872 memory=333392 CPUtime=12.68 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 88222 0 0 0 1247 21 0 0 20 0 1 0 218679227 367484928 83348 33554432000 4194304 7499544 140729473563456 140729473556696 5879025 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 89718 83348 722 807 0 82709 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 358872 KiB Current children cumulated memory: 333392 KiB [startup+25.5002 s] /proc/loadavg: 1.95 2.00 2.04 3/192 24214 /proc/meminfo: memFree=5027304/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=674744 memory=649096 CPUtime=25.48 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 169625 0 0 0 2516 32 0 0 20 0 1 0 218679227 690937856 162274 33554432000 4194304 7499544 140729473563456 140729473556696 5882062 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 168686 162274 722 807 0 161677 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 674744 KiB Current children cumulated memory: 649096 KiB [startup+51.1096 s] /proc/loadavg: 2.36 2.10 2.07 3/192 24214 /proc/meminfo: memFree=4381300/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=1308412 memory=1282956 CPUtime=51.07 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 328773 0 0 0 5052 55 0 0 20 0 1 0 218679227 1339813888 320739 33554432000 4194304 7499544 140729473563456 140729473556696 5879589 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 327103 320739 722 807 0 320094 0 Current children cumulated CPU time: 51.07 s Current children cumulated vsize: 1308412 KiB Current children cumulated memory: 1282956 KiB [startup+102.3 s] /proc/loadavg: 2.28 2.12 2.08 3/192 24216 /proc/meminfo: memFree=4019380/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=1668264 memory=1643176 CPUtime=102.25 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 653880 0 0 0 10146 79 0 0 20 0 1 0 218679227 1708302336 410794 33554432000 4194304 7499544 140729473563456 140729473558472 5790971 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 417066 410794 766 807 0 410057 0 Current children cumulated CPU time: 102.25 s Current children cumulated vsize: 1668264 KiB Current children cumulated memory: 1643176 KiB [startup+162.3 s] /proc/loadavg: 2.10 2.10 2.08 3/191 24217 /proc/meminfo: memFree=4015276/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=1673140 memory=1648076 CPUtime=162.23 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 763380 0 0 0 16137 86 0 0 20 0 1 0 218679227 1713295360 412019 33554432000 4194304 7499544 140729473563456 140729473557992 4253264 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 418285 412019 766 807 0 411276 0 Current children cumulated CPU time: 162.23 s Current children cumulated vsize: 1673140 KiB Current children cumulated memory: 1648076 KiB [startup+222.3 s] /proc/loadavg: 2.04 2.08 2.07 3/191 24218 /proc/meminfo: memFree=4014020/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=1674064 memory=1648932 CPUtime=222.22 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 865307 0 0 0 22131 91 0 0 20 0 1 0 218679227 1714241536 412233 33554432000 4194304 7499544 140729473563456 140729473557992 5790987 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 418516 412233 766 807 0 411507 0 Current children cumulated CPU time: 222.22 s Current children cumulated vsize: 1674064 KiB Current children cumulated memory: 1648932 KiB [startup+282.3 s] /proc/loadavg: 2.01 2.07 2.06 3/191 24219 /proc/meminfo: memFree=4014432/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=1674856 memory=1649792 CPUtime=282.21 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 962203 0 0 0 28124 97 0 0 20 0 1 0 218679227 1715052544 412448 33554432000 4194304 7499544 140729473563456 140729473557992 5770120 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 418714 412448 766 807 0 411705 0 Current children cumulated CPU time: 282.21 s Current children cumulated vsize: 1674856 KiB Current children cumulated memory: 1649792 KiB [startup+342.3 s] /proc/loadavg: 2.01 2.06 2.06 3/191 24220 /proc/meminfo: memFree=4013884/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=1675120 memory=1650016 CPUtime=342.2 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1052451 0 0 0 34118 102 0 0 20 0 1 0 218679227 1715322880 412504 33554432000 4194304 7499544 140729473563456 140729473557992 4258061 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 418780 412504 766 807 0 411771 0 Current children cumulated CPU time: 342.2 s Current children cumulated vsize: 1675120 KiB Current children cumulated memory: 1650016 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.04 2.05 3/190 24221 /proc/meminfo: memFree=4013940/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=1675252 memory=1650148 CPUtime=402.19 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1133082 0 0 0 40112 107 0 0 20 0 1 0 218679227 1715458048 412537 33554432000 4194304 7499544 140729473563456 140729473557992 5573412 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 418813 412537 766 807 0 411804 0 Current children cumulated CPU time: 402.19 s Current children cumulated vsize: 1675252 KiB Current children cumulated memory: 1650148 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.04 2.05 3/191 24230 /proc/meminfo: memFree=4012260/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=1675516 memory=1650324 CPUtime=462.18 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1208441 0 0 0 46106 112 0 0 20 0 1 0 218679227 1715728384 412581 33554432000 4194304 7499544 140729473563456 140729473557992 5574156 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 418879 412581 766 807 0 411870 0 Current children cumulated CPU time: 462.18 s Current children cumulated vsize: 1675516 KiB Current children cumulated memory: 1650324 KiB ################ # More data... # ################ /proc/24213/statm: 422120 415846 766 807 0 415111 0 Current children cumulated CPU time: 1722.08 s Current children cumulated vsize: 1688480 KiB Current children cumulated memory: 1663384 KiB [startup+1782.3 s] /proc/loadavg: 2.00 1.99 2.03 3/191 25134 /proc/meminfo: memFree=16084724/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=1688612 memory=1663552 CPUtime=1782.08 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1725877 0 0 0 178044 164 0 0 20 0 1 0 218679227 1729138688 415888 33554432000 4194304 7499544 140729473563456 140729473557992 4249975 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 422153 415888 766 807 0 415144 0 Current children cumulated CPU time: 1782.08 s Current children cumulated vsize: 1688612 KiB Current children cumulated memory: 1663552 KiB [startup+1842.3 s] /proc/loadavg: 2.00 1.99 2.03 3/191 25135 /proc/meminfo: memFree=16084968/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=1688744 memory=1663616 CPUtime=1842.08 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1730097 0 0 0 184043 165 0 0 20 0 1 0 218679227 1729273856 415904 33554432000 4194304 7499544 140729473563456 140729473557992 4579850 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 422186 415904 766 807 0 415177 0 Current children cumulated CPU time: 1842.08 s Current children cumulated vsize: 1688744 KiB Current children cumulated memory: 1663616 KiB [startup+1902.3 s] /proc/loadavg: 2.00 1.99 2.03 3/191 25136 /proc/meminfo: memFree=16084440/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=1688744 memory=1663708 CPUtime=1902.08 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1732070 0 0 0 190043 165 0 0 20 0 1 0 218679227 1729273856 415927 33554432000 4194304 7499544 140729473563456 140729473557992 5648658 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 422186 415927 766 807 0 415177 0 Current children cumulated CPU time: 1902.08 s Current children cumulated vsize: 1688744 KiB Current children cumulated memory: 1663708 KiB [startup+1962.3 s] /proc/loadavg: 2.00 1.99 2.03 3/191 25137 /proc/meminfo: memFree=16084772/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=1688876 memory=1663720 CPUtime=1962.08 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1736896 0 0 0 196042 166 0 0 20 0 1 0 218679227 1729409024 415930 33554432000 4194304 7499544 140729473563456 140729473557880 4404884 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 422219 415930 766 807 0 415210 0 Current children cumulated CPU time: 1962.08 s Current children cumulated vsize: 1688876 KiB Current children cumulated memory: 1663720 KiB [startup+2022.3 s] /proc/loadavg: 2.00 1.99 2.03 3/191 25138 /proc/meminfo: memFree=16084604/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=1688876 memory=1663764 CPUtime=2022.08 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1741469 0 0 0 202042 166 0 0 20 0 1 0 218679227 1729409024 415941 33554432000 4194304 7499544 140729473563456 140729473557880 5790974 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 422219 415941 766 807 0 415210 0 Current children cumulated CPU time: 2022.08 s Current children cumulated vsize: 1688876 KiB Current children cumulated memory: 1663764 KiB [startup+2082.3 s] /proc/loadavg: 2.00 1.99 2.03 3/191 25139 /proc/meminfo: memFree=16084564/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=1688876 memory=1663792 CPUtime=2082.07 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1744562 0 0 0 208041 166 0 0 20 0 1 0 218679227 1729409024 415948 33554432000 4194304 7499544 140729473563456 140729473557880 5773328 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 422219 415948 766 807 0 415210 0 Current children cumulated CPU time: 2082.07 s Current children cumulated vsize: 1688876 KiB Current children cumulated memory: 1663792 KiB [startup+2142.3 s] /proc/loadavg: 2.00 1.99 2.03 3/191 25140 /proc/meminfo: memFree=16084272/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=1688876 memory=1663840 CPUtime=2142.07 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1748036 0 0 0 214041 166 0 0 20 0 1 0 218679227 1729409024 415960 33554432000 4194304 7499544 140729473563456 140729473557880 5773199 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 422219 415960 766 807 0 415210 0 Current children cumulated CPU time: 2142.07 s Current children cumulated vsize: 1688876 KiB Current children cumulated memory: 1663840 KiB [startup+2202.3 s] /proc/loadavg: 2.00 1.99 2.03 3/190 25141 /proc/meminfo: memFree=16084328/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=1688876 memory=1663840 CPUtime=2202.07 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1750066 0 0 0 220041 166 0 0 20 0 1 0 218679227 1729409024 415960 33554432000 4194304 7499544 140729473563456 140729473557880 5790974 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 422219 415960 766 807 0 415210 0 Current children cumulated CPU time: 2202.07 s Current children cumulated vsize: 1688876 KiB Current children cumulated memory: 1663840 KiB [startup+2262.3 s] /proc/loadavg: 2.36 2.08 2.06 3/191 25150 /proc/meminfo: memFree=16084028/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=1689008 memory=1663900 CPUtime=2262.07 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1751682 0 0 0 226040 167 0 0 20 0 1 0 218679227 1729544192 415975 33554432000 4194304 7499544 140729473563456 140729473557992 4579850 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 422252 415975 766 807 0 415243 0 Current children cumulated CPU time: 2262.07 s Current children cumulated vsize: 1689008 KiB Current children cumulated memory: 1663900 KiB [startup+2322.3 s] /proc/loadavg: 2.13 2.07 2.05 3/191 25151 /proc/meminfo: memFree=16084528/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=1689140 memory=1664084 CPUtime=2322.07 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1753297 0 0 0 232040 167 0 0 20 0 1 0 218679227 1729679360 416021 33554432000 4194304 7499544 140729473563456 140729473557992 4253104 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 422285 416021 766 807 0 415276 0 Current children cumulated CPU time: 2322.07 s Current children cumulated vsize: 1689140 KiB Current children cumulated memory: 1664084 KiB [startup+2382.3 s] /proc/loadavg: 2.05 2.05 2.05 3/191 25152 /proc/meminfo: memFree=16084228/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=1689272 memory=1664236 CPUtime=2382.07 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1754889 0 0 0 238040 167 0 0 20 0 1 0 218679227 1729814528 416059 33554432000 4194304 7499544 140729473563456 140729473557992 4404999 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 422318 416059 766 807 0 415309 0 Current children cumulated CPU time: 2382.07 s Current children cumulated vsize: 1689272 KiB Current children cumulated memory: 1664236 KiB [startup+2442.3 s] /proc/loadavg: 2.02 2.04 2.05 3/191 25153 /proc/meminfo: memFree=16084300/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=1689404 memory=1664368 CPUtime=2442.06 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1756502 0 0 0 244039 167 0 0 20 0 1 0 218679227 1729949696 416092 33554432000 4194304 7499544 140729473563456 140729473557992 4258023 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 422351 416092 766 807 0 415342 0 Current children cumulated CPU time: 2442.06 s Current children cumulated vsize: 1689404 KiB Current children cumulated memory: 1664368 KiB [startup+2502.3 s] /proc/loadavg: 2.01 2.04 2.05 3/192 25155 /proc/meminfo: memFree=16083296/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=1689536 memory=1664500 CPUtime=2502.06 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1757942 0 0 0 250039 167 0 0 20 0 1 0 218679227 1730084864 416125 33554432000 4194304 7499544 140729473563456 140729473557992 5790971 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 422384 416125 766 807 0 415375 0 Current children cumulated CPU time: 2502.06 s Current children cumulated vsize: 1689536 KiB Current children cumulated memory: 1664500 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.01 2.04 2.05 3/192 25155 /proc/meminfo: memFree=16083688/32770624 swapFree=67108860/67108860 [pid=24213] ppid=24210 vsize=1689536 memory=1664500 CPUtime=2519.77 cores=0,2,4,6 /proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1758393 0 0 0 251810 167 0 0 20 0 1 0 218679227 1730084864 416125 33554432000 4194304 7499544 140729473563456 140729473557992 5791018 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0 /proc/24213/statm: 422384 416125 766 807 0 415375 0 Current children cumulated CPU time: 2519.77 s Current children cumulated vsize: 1689536 KiB Current children cumulated memory: 1664500 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.02 s] # the end of solver process 24213 was just reported to runsolver # cumulated CPU time of all completed processes: user=2518.11 s, system=1.68493 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2520.02 CPU time (s): 2519.79 CPU user time (s): 2518.11 CPU system time (s): 1.68493 CPU usage (%): 99.991 Max. virtual memory (cumulated for all children) (KiB): 1689536 Max. memory (cumulated for all children) (KiB): 1664500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2518.11 system time used= 1.68493 maximum resident set size= 1664520 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1758425 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= 263 involuntary context switches= 1627 # summary of solver processes directly reported to runsolver: # pid: 24213 # total CPU time (s): 2519.79 # total CPU user time (s): 2518.11 # total CPU system time (s): 1.68493 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.3061 second user time and 18.7747 second system time The end
Begin job on node132 at 2018-08-11 20:12:41 IDJOB=4304121 IDBENCH=141270 IDSOLVER=2779 FILE ID=node132/4304121-1534011160 RUNJOBID= node132-1533990732-21541 PBS_JOBID= 21036940 Free space on /tmp= 37840 MiB SOLVER NAME= Mistral-2.0 2018-08-01 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-05-0350_c18.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304121-1534011160/watcher-4304121-1534011160 -o /tmp/evaluation-result-4304121-1534011160/solver-4304121-1534011160 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1533990732-21541 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1189761332 HOME/instance-4304121-1534011160.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 51c3d091a7e4b0716a15e9a29832b849 RANDOM SEED=1189761332 node132.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.65 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.65 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.65 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.65 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: 5664120 kB MemAvailable: 31883524 kB Buffers: 244032 kB Cached: 25874640 kB SwapCached: 0 kB Active: 9273592 kB Inactive: 16920800 kB Active(anon): 23688 kB Inactive(anon): 104652 kB Active(file): 9249904 kB Inactive(file): 16816148 kB Unevictable: 7020 kB Mlocked: 7020 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 154216 kB Writeback: 0 kB AnonPages: 82852 kB Mapped: 54732 kB Shmem: 49824 kB Slab: 609728 kB SReclaimable: 581812 kB SUnreclaim: 27916 kB KernelStack: 3376 kB PageTables: 5336 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 397592 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 37836 MiB End job on node132 at 2018-08-11 20:54:41