Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral-2.0 2018-08-01 | SAT (TO) | 470152795 | 2519.87 | 2520.02 |
| Name | Fapp/Fapp-m2s/ Fapp-m2s-03-0300_c18.xml |
| MD5SUM | f3b5e910cdd6f892615a29b96bfa015e |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 294770329 |
| Best CPU time to get the best result obtained on this benchmark | 2520.17 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 6750 |
| Number of constraints | 4376 |
| Number of domains | 77 |
| Minimum domain size | 2 |
| Maximum domain size | 125 |
| Distribution of domain sizes | [{"size":2,"count":2350},{"size":11,"count":2050},{"size":12,"count":1},{"size":21,"count":20},{"size":23,"count":62},{"size":24,"count":4},{"size":25,"count":49},{"size":26,"count":11},{"size":27,"count":33},{"size":28,"count":8},{"size":29,"count":15},{"size":30,"count":3},{"size":31,"count":15},{"size":32,"count":17},{"size":33,"count":16},{"size":34,"count":5},{"size":35,"count":3},{"size":41,"count":2},{"size":43,"count":13},{"size":45,"count":4},{"size":47,"count":7},{"size":53,"count":13},{"size":54,"count":6},{"size":55,"count":19},{"size":57,"count":5},"...",{"size":71,"count":29}, {"size":72,"count":7}, {"size":73,"count":9}, {"size":74,"count":18}, {"size":75,"count":1}, {"size":76,"count":6}, {"size":77,"count":1}, {"size":78,"count":10}, {"size":79,"count":27}, {"size":81,"count":44}, {"size":84,"count":2}, {"size":90,"count":3}, {"size":91,"count":13}, {"size":99,"count":2}, {"size":101,"count":36}, {"size":102,"count":77}, {"size":105,"count":10}, {"size":113,"count":152}, {"size":114,"count":176}, {"size":115,"count":87}, {"size":117,"count":87}, {"size":119,"count":37}, {"size":121,"count":82}, {"size":124,"count":46}, {"size":125,"count":1037}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 2051 |
| Distribution of variable degrees | [{"degree":2,"count":6148},{"degree":3,"count":1},{"degree":4,"count":1},{"degree":5,"count":5},{"degree":6,"count":11},{"degree":7,"count":12},{"degree":8,"count":20},{"degree":9,"count":18},{"degree":10,"count":21},{"degree":11,"count":30},{"degree":12,"count":39},{"degree":13,"count":45},{"degree":14,"count":47},{"degree":15,"count":54},{"degree":16,"count":61},{"degree":17,"count":83},{"degree":18,"count":104},{"degree":19,"count":49},{"degree":2051,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":277},{"arity":3,"count":2049},{"arity":6,"count":2050}] |
| Number of extensional constraints | 2050 |
| Number of intensional constraints | 2326 |
| Distribution of constraint types | [{"type":"extension","count":2050},{"type":"intension","count":2326}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c Mistral 01082018 81.98/82.10 o 470850065 82.08/82.11 o 470829566 82.08/82.12 o 470809066 82.08/82.13 o 470747555 82.08/82.14 o 470706545 82.08/82.15 o 470665546 82.08/82.16 o 470665544 82.08/82.17 o 470645049 82.08/82.18 o 470624543 82.17/82.20 o 470604047 82.17/82.21 o 470604046 82.17/82.22 o 470604038 82.17/82.23 o 470604037 82.17/82.25 o 470604034 82.17/82.25 o 470604020 82.17/82.26 o 470604019 82.17/82.27 o 470583521 82.27/82.30 o 470563012 82.27/82.33 o 470542508 82.27/82.38 o 470522006 82.27/82.39 o 470521999 82.37/82.40 o 470521988 82.37/82.40 o 470521987 82.47/82.53 o 470501491 82.57/82.60 o 470480991 82.57/82.66 o 470460489 82.77/82.82 o 470439992 82.98/83.02 o 470419481 82.98/83.02 o 470419476 82.98/83.03 o 470419475 83.27/83.32 o 470398977 83.57/83.63 o 470398972 83.77/83.82 o 470398967 84.47/84.55 o 470398966 84.87/84.92 o 470398962 84.87/84.93 o 470398955 86.08/86.15 o 470378464 86.08/86.19 o 470378463 86.17/86.21 o 470378450 86.17/86.22 o 470378445 87.08/87.12 o 470378442 87.08/87.12 o 470378435 87.08/87.16 o 470378427 87.08/87.17 o 470378426 87.08/87.19 o 470378425 87.17/87.23 o 470357918 87.17/87.26 o 470357915 87.27/87.31 o 470316938 87.27/87.33 o 470316937 87.47/87.53 o 470316921 87.87/87.90 o 470275917 87.98/88.05 o 470275914 91.37/91.46 o 470275909 91.47/91.57 o 470275906 91.57/91.61 o 470275899 97.98/98.05 o 470275866 99.76/99.80 o 470275864 146.56/146.67 o 470275854 146.56/146.68 o 470275849 147.97/148.06 o 470275842 148.97/149.06 o 470275841 148.97/149.09 o 470255332 148.97/149.10 o 470255331 151.56/151.65 o 470255330 460.60/460.76 o 470234821 460.60/460.78 o 470234820 460.70/460.81 o 470234817 461.30/461.47 o 470214317 465.20/465.37 o 470214316 995.63/995.80 o 470214315 996.13/996.31 o 470214314 1006.24/1006.43 o 470214313 1007.44/1007.60 o 470214306 1007.44/1007.61 o 470214305 1014.34/1014.60 o 470214304 1502.04/1502.20 o 470214298 1502.04/1502.21 o 470214297 1502.04/1502.22 o 470214296 1619.95/1620.17 o 470193796 1622.14/1622.36 o 470193795 1628.74/1628.94 o 470193794 1648.85/1649.05 o 470193793 2495.24/2495.42 o 470173283 2495.24/2495.45 o 470152795 2519.85/2520.01 s SATISFIABLE 2519.85/2520.01 v <instantiation type="solution"> 2519.85/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] 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] 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] 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] 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] </list> 2519.85/2520.01 v <values> 2200 2560 2640 2160 2160 2440 2440 2304 2160 2200 2400 2160 2172 2500 2528 2232 2400 2564 2652 2200 2160 2476 2432 2360 2608 2200 2372 2516 2200 2200 2252 2200 2200 2200 2528 2632 2580 2388 2212 2556 2384 2388 2424 2196 2160 2560 2572 2176 2200 2212 2552 2372 2200 2556 2160 2428 2616 2480 2596 2208 2168 2560 2160 2280 2344 2396 2352 2572 2568 2436 2248 2160 2184 2592 2208 2200 2520 2332 2476 2556 2472 2200 2252 2292 2200 2200 2400 2592 2568 2160 2332 2200 2528 2568 2624 2200 2620 2216 2200 2592 2372 2372 2320 2560 2360 2484 2200 2292 2592 2400 2160 2200 2164 2428 2436 2372 2160 2456 2176 2508 2160 2576 2216 2272 2292 2200 2596 2160 2232 2540 2200 2520 2600 2236 2160 2160 2608 2552 2200 2340 2516 2160 2524 2528 2544 2160 2200 2292 2160 2560 2388 2208 2548 2200 2568 2600 2516 2544 2540 2584 2160 2420 2572 2460 2332 2160 2196 2528 2160 2200 2200 2428 2420 2248 2324 2612 2200 2612 2576 2520 2248 2208 2592 2160 2560 2520 2200 2160 2160 2200 2584 2520 2224 2524 2528 2252 2380 2160 2568 2384 2208 2568 2388 2536 2248 2200 2568 2440 2268 2560 2172 2440 2236 2528 2640 2568 2572 2240 2200 2616 2440 2160 2552 2200 2440 2552 2520 2340 2240 2160 2160 2200 2568 2428 2400 2528 2364 2224 2200 2240 2576 2652 2332 2204 2160 2580 2324 2496 2600 2600 2200 2612 2508 2612 2200 2240 2460 2612 2568 2160 2332 2516 2364 2160 2420 2380 2556 2160 2564 2588 2560 2612 2392 2524 2600 2160 2200 2548 2272 2160 2160 2548 2160 2160 2400 2200 2344 2264 2168 2200 2160 2584 2560 2380 2308 2556 2200 2332 2208 2200 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 0 1 1 1 1 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 1 1 1 1 0 0 1 0 0 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 0 0 1 1 1 0 1 1 0 1 1 0 1 1 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 0 1 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 1 1 1 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 1 1 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 11 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 1 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 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 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 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 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 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 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 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 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 10 10 0 10 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 9 0 0 1 0 0 0 0 1 10 0 10 9 0 0 0 0 0 9 10 9 0 0 0 0 10 0 0 1 9 1 9 9 0 8 8 0 3 1 0 10 0 10 10 9 5 0 0 0 10 9 1 10 10 0 0 0 0 0 4 0 0 10 10 0 6 0 10 10 10 10 1 0 0 3 10 0 10 0 0 0 10 0 10 0 0 10 5 0 7 0 0 9 10 0 9 9 0 0 0 1 0 0 0 8 10 0 0 10 10 6 0 10 0 0 10 0 10 4 10 10 10 0 0 0 0 10 8 0 0 10 0 0 0 0 0 10 0 0 0 10 7 0 0 10 10 0 10 0 0 0 9 0 0 10 0 0 6 1 10 10 9 0 0 0 1 0 4 10 0 8 1 0 10 0 0 0 10 0 10 0 1 0 0 0 0 0 0 0 7 6 0 0 0 0 0 1 10 0 0 0 10 0 0 0 10 0 10 0 5 0 0 10 0 0 0 0 0 0 0 6 0 0 0 0 10 1 0 0 0 10 0 2 0 5 10 0 2 0 10 10 0 8 10 0 10 5 0 0 0 0 0 0 0 10 0 5 1 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 4 0 0 10 1 10 0 0 10 0 5 0 0 0 0 0 7 0 0 0 0 0 0 10 0 6 0 0 0 8 3 0 0 1 0 0 0 0 3 0 0 0 0 1 10 7 8 0 0 0 0 0 10 0 0 0 6 0 0 0 0 10 0 0 0 10 3 0 10 10 0 9 0 0 0 5 0 0 3 0 0 0 1 0 10 10 0 0 0 0 10 0 1 10 10 5 0 0 1 0 5 0 0 10 0 0 1 0 0 0 0 10 0 0 0 9 0 0 0 0 0 8 0 10 0 10 1 0 0 0 0 0 0 10 1 10 0 0 0 10 0 10 10 10 0 0 0 0 0 0 0 1 9 0 10 0 10 0 10 0 1 0 1 0 10 9 0 6 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 10 0 0 10 0 7 0 0 8 0 0 1 0 7 5 10 10 0 10 0 0 7 0 0 10 0 2 0 0 10 0 0 10 0 0 9 10 10 0 0 0 9 10 0 0 0 5 0 0 0 1 0 7 0 0 0 10 10 10 0 0 10 0 0 10 10 0 0 0 0 0 10 6 0 0 0 4 0 1 0 10 0 1 1 10 0 0 0 0 10 0 0 0 0 0 0 10 0 1 0 0 0 0 0 10 7 0 1 0 0 0 0 0 0 0 2 0 0 10 10 0 0 0 10 0 0 4 0 0 10 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 10 0 0 0 0 1 0 8 0 10 0 0 0 10 8 0 10 1 10 0 10 10 0 0 0 0 8 0 10 4 0 0 1 0 0 10 10 10 0 3 9 8 0 10 10 0 0 0 10 0 0 0 0 0 0 0 1 0 0 9 0 10 3 0 10 0 0 10 10 0 0 0 0 1 10 1 0 0 0 0 0 0 10 0 10 0 1 0 0 10 10 10 10 10 5 10 0 8 0 1 0 0 10 0 0 0 0 0 0 0 10 0 0 0 1 0 10 0 10 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 7 9 0 0 2 0 10 1 0 10 7 0 0 0 0 0 0 0 9 0 0 1 10 0 0 0 0 5 0 0 0 0 10 0 10 10 10 10 0 5 10 10 0 0 0 0 0 10 0 10 0 8 10 1 8 10 1 10 0 0 0 10 0 0 0 10 0 0 7 0 0 10 1 1 0 0 7 0 0 0 2 0 0 0 10 0 1 0 1 10 2 0 0 10 0 0 0 0 2 10 4 0 0 0 0 9 0 0 0 0 0 0 10 0 10 10 10 0 0 3 0 0 0 0 9 0 0 1 0 0 10 0 0 1 0 0 10 0 10 0 0 10 10 10 10 10 0 0 0 0 0 0 10 0 3 0 10 0 0 10 0 6 0 0 0 0 0 10 10 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 9 5 0 4 10 10 0 10 9 0 0 0 10 0 10 0 0 0 0 0 0 0 0 10 0 10 0 0 0 10 0 0 10 0 10 0 0 0 1 1 0 10 0 0 0 0 0 0 6 0 9 10 1 0 0 10 10 0 0 10 9 3 0 10 0 0 0 10 0 0 1 0 0 10 9 0 10 10 1 0 3 9 0 0 10 0 10 0 0 10 10 0 0 0 0 0 5 0 0 0 0 10 0 0 10 1 0 0 0 10 0 10 0 5 10 1 0 0 3 1 0 10 10 0 0 0 10 0 0 0 0 0 10 0 0 0 0 4 0 0 0 0 10 1 0 1 10 0 10 0 0 0 0 0 10 0 10 0 0 0 10 0 0 8 0 0 0 10 8 1 0 0 0 10 9 0 10 9 0 0 0 10 0 0 0 10 10 10 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 7 10 0 0 0 0 0 10 0 0 0 10 0 0 1 0 0 9 0 10 10 0 0 0 0 10 0 1 10 0 0 10 0 0 0 0 6 10 1 0 0 1 0 0 0 0 0 0 0 0 0 10 0 0 1 10 0 1 0 10 0 0 0 10 0 10 0 10 10 0 10 0 0 4 0 0 0 0 0 10 0 2 10 0 7 10 0 10 0 0 1 0 0 0 0 8 0 10 0 0 10 10 7 0 0 0 8 0 0 0 10 0 0 0 0 10 9 0 0 10 0 0 10 0 1 10 0 10 1 0 0 9 9 1 10 1 7 10 0 0 0 0 7 10 0 10 7 10 10 10 1 0 0 10 10 10 0 10 0 0 0 0 8 10 0 10 0 1 0 0 0 7 0 4 0 0 0 9 0 0 0 10 0 9 0 8 9 10 0 10 0 0 10 0 5 10 10 10 0 0 10 10 10 1 0 10 10 0 0 1 0 0 9 0 0 0 10 10 5 10 10 10 0 0 10 1 0 10 0 10 0 0 10 0 0 0 1 0 0 10 0 1 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 7 0 0 0 0 1 0 0 0 9 10 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 1 0 0 0 0 3 0 0 0 0 0 0 10 0 0 0 10 0 0 1 0 0 0 9 0 1 0 0 0 0 1 0 10 0 0 0 0 0 0 0 1 0 0 0 0 10 10 0 0 1 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 5 0 0 0 0 9 10 0 0 1 10 0 0 0 0 10 0 0 0 0 10 10 10 0 0 0 0 0 0 0 10 0 10 1 10 10 0 0 10 8 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 1 0 0 0 0 0 6 0 10 0 0 10 0 0 0 10 0 5 0 10 0 9 0 0 1 0 0 0 0 10 0 10 0 1 10 5 0 0 0 10 0 0 0 0 0 0 0 10 0 0 10 10 0 10 0 0 0 5 10 0 3 0 10 1 0 7 0 10 0 1 0 0 10 10 0 10 10 0 0 0 0 0 0 0 4 10 0 0 0 0 0 0 0 0 0 7 10 1 0 10 0 0 10 0 0 9 10 0 4 0 10 0 0 0 3 0 9 10 0 0 0 1 10 0 0 10 0 10 10 0 0 0 10 0 0 0 0 10 0 10 10 0 0 0 0 0 0 1 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 0 0 10 0 0 0 0 7 0 0 10 10 1 0 0 10 0 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 1 7 10 0 0 10 10 10 0 9 3 0 0 0 0 0 0 0 0 10 0 10 0 1 0 10 0 0 0 5 1 4 0 0 0 0 0 0 1 0 0 10 10 0 10 0 0 0 10 0 0 10 0 0 0 0 9 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 0 0 0 1 10 0 7 7 10 1 0 10 0 10 0 0 0 0 0 0 0 10 10 4 0 0 0 0 8 0 0 0 10 0 0 0 10 10 0 6 0 0 0 10 0 0 0 10 10 10 9 10 0 0 0 0 0 0 0 0 9 0 0 10 0 1 0 0 0 1 0 0 0 0 10 0 9 0 9 10 0 1 0 9 0 0 0 0 0 10 0 0 4 0 0 10 0 0 0 10 1 0 0 10 0 0 9 0 10 10 10 8 0 0 10 1 0 0 0 8 10 9 0 10 10 0 0 0 0 0 0 0 0 0 0 7 10 0 10 0 10 0 40 452 316 228 0 228 40 0 52 140 200 40 40 364 360 4 20 132 400 40 44 400 40 400 320 400 296 252 440 440 440 240 156 464 112 440 392 480 440 252 440 480 240 0 392 40 0 320 0 400 412 300 0 452 88 0 40 0 408 40 48 40 40 268 412 460 268 40 432 40 228 0 392 0 356 0 452 220 0 240 36 280 44 240 280 132 240 84 80 280 160 240 80 240 152 280 240 184 280 280 240 240 84 200 200 160 108 116 172 28 12 292 240 224 52 264 0 40 420 212 268 8 4 40 48 392 40 172 0 48 0 0 360 372 236 172 92 0 324 40 368 336 40 40 0 208 204 200 200 200 224 196 128 76 240 200 212 68 188 200 0 92 200 472 0 92 408 0 56 0 40 0 0 40 368 0 0 0 40 392 224 36 300 396 420 368 428 12 344 396 12 412 52 396 152 300 52 56 24 92 44 76 304 116 300 68 16 340 60 184 44 24 72 196 0 368 368 88 292 0 368 128 32 196 384 140 152 8 420 8 72 72 72 72 12 200 0 28 60 68 200 184 404 52 28 92 364 36 404 4 0 232 456 452 452 76 132 416 492 108 224 272 384 36 212 72 260 228 172 92 0 0 40 40 0 432 40 56 0 228 108 80 172 300 400 224 92 80 4 132 92 52 236 232 8 272 140 160 136 32 140 176 128 12 272 136 144 152 148 120 208 200 200 148 200 112 160 164 80 124 4 160 52 12 328 236 8 448 48 48 408 180 28 356 32 356 0 368 308 376 40 320 4 220 324 200 20 40 204 140 200 124 68 40 36 40 76 316 56 356 52 356 308 188 280 32 132 0 220 52 372 40 352 356 0 384 0 184 360 360 308 16 40 40 0 40 24 324 8 0 344 292 0 44 12 244 52 12 128 140 0 188 12 40 0 0 412 336 200 72 40 0 40 0 32 152 0 344 220 40 412 368 240 260 220 360 0 272 0 328 340 360 188 0 380 72 40 200 40 0 328 88 40 64 328 0 84 368 432 380 432 88 64 64 392 64 240 52 416 308 348 20 8 32 312 60 420 180 216 84 380 420 132 188 228 180 212 128 156 228 188 188 140 188 64 180 12 44 372 36 364 4 52 188 52 388 204 28 356 4 184 44 36 12 44 56 56 56 176 356 184 184 144 224 228 0 168 144 184 144 184 172 228 220 0 188 224 52 188 148 140 148 168 224 80 48 224 168 208 184 264 92 4 264 228 92 124 224 116 4 204 288 400 332 52 128 380 36 36 4 36 4 36 392 36 52 0 180 380 0 408 40 0 0 424 0 40 32 336 8 16 52 52 100 400 360 4 372 364 4 132 16 364 60 376 340 368 204 320 188 24 372 0 72 408 0 360 352 260 160 260 380 296 80 52 248 52 348 12 12 28 388 120 344 44 24 16 320 352 48 344 392 28 112 32 312 60 32 188 0 212 152 40 124 120 212 144 212 212 172 228 0 324 40 36 352 40 0 0 0 388 48 396 20 28 172 348 396 92 40 364 0 408 224 376 80 268 0 40 48 228 268 92 12 140 188 188 188 128 164 364 16 416 48 64 376 416 284 4 316 244 36 20 132 272 320 280 116 16 120 60 348 224 36 72 168 16 344 156 256 264 80 32 436 428 8 0 232 352 8 232 156 136 376 172 424 424 252 8 400 8 96 32 64 312 32 120 4 12 180 40 228 408 384 456 80 112 0 0 40 32 312 288 312 120 280 72 184 104 196 36 196 196 24 160 4 64 172 196 20 60 20 108 20 156 208 28 84 200 76 192 44 152 44 372 412 324 12 132 240 372 60 408 408 24 408 368 44 228 408 408 368 12 156 36 0 276 88 144 132 4 4 136 236 236 196 216 232 80 44 88 344 72 344 336 48 336 40 320 352 312 312 60 48 316 432 400 36 220 12 408 412 440 220 424 32 48 336 376 52 24 260 52 48 432 8 172 384 8 368 392 124 48 352 48 336 332 376 176 352 48 100 200 420 284 396 328 348 0 124 412 40 360 388 40 132 188 48 320 4 4 20 48 24 320 140 132 96 196 8 172 92 144 260 104 316 316 280 316 108 316 32 108 128 308 44 56 272 140 264 236 272 140 36 272 128 0 200 16 284 24 396 348 124 40 0 40 40 0 200 108 92 28 0 16 176 348 92 128 60 308 260 132 276 132 308 424 160 40 32 340 352 316 344 220 352 320 296 0 348 368 40 132 328 8 24 336 400 144 384 200 224 128 148 76 240 200 168 0 240 180 200 260 376 396 392 392 84 28 32 8 228 0 128 48 408 328 368 0 88 40 400 408 76 0 204 40 396 168 184 128 188 172 108 248 176 172 172 360 188 0 220 416 0 400 40 40 0 328 312 108 328 56 280 40 328 68 368 368 52 408 48 0 168 176 224 236 96 12 64 452 96 292 12 424 76 464 424 0 396 352 40 40 0 40 40 364 388 40 132 60 184 164 420 12 420 328 420 96 232 180 4 420 324 304 324 368 52 344 284 24 396 328 348 372 0 124 40 384 40 0 388 324 40 20 252 20 20 200 192 248 144 28 172 240 176 212 188 8 220 56 156 228 240 148 268 172 28 148 204 124 212 28 156 160 120 120 160 120 120 160 260 196 36 360 220 16 100 132 24 8 320 252 60 176 200 152 284 116 40 400 344 328 452 412 40 40 348 132 248 136 56 92 28 88 44 392 132 68 392 200 60 192 40 120 124 380 40 260 268 40 76 0 492 420 400 440 388 40 40 324 4 320 188 240 440 328 400 40 72 412 44 100 144 36 268 228 224 96 64 276 104 276 124 212 204 80 212 48 172 56 204 212 64 132 452 416 432 368 408 412 0 40 400 172 48 36 260 248 64 256 352 372 156 24 148 72 16 24 16 24 380 224 308 168 348 308 308 16 272 168 92 348 436 440 40 88 456 0 492 0 284 148 328 416 16 56 24 236 304 416 16 56 304 344 308 36 8 32 344 20 332 72 328 52 340 64 64 168 112 48 32 148 92 216 100 0 316 40 400 384 220 40 320 188 440 40 40 48 436 396 68 436 436 196 76 356 228 376 280 336 452 388 368 196 16 352 60 208 324 72 32 64 148 380 12 4 112 20 28 20 16 340 8 208 0 92 40 400 220 328 40 40 0 0 360 320 360 272 364 48 56 348 392 428 28 308 284 300 416 312 384 40 88 40 492 452 0 0 0 0 0 260 40 388 396 36 412 56 408 4 408 276 36 164 48 8 304 228 56 0 360 372 416 240 140 40 192 0 180 180 180 76 180 132 24 356 20 356 356 356 0 400 0 260 40 388 40 324 96 52 364 36 84 36 36 180 12 328 204 368 0 260 0 368 368 60 368 344 344 124 48 384 20 16 28 24 116 152 132 36 48 480 0 452 92 228 48 140 0 0 412 200 0 268 320 216 272 424 408 76 40 420 452 0 8 40 400 32 312 80 228 0 196 188 140 228 164 188 212 116 160 228 80 48 376 48 192 348 224 388 348 92 4 4 224 40 284 368 220 4 228 416 240 452 412 40 260 368 8 316 8 16 48 228 408 236 236 80 360 360 12 440 84 72 48 20 4 280 344 380 292 316 332 24 72 380 332 56 252 40 40 364 76 204 260 104 372 132 348 412 248 40 8 12 300 220 116 152 300 300 252 244 0 224 256 192 228 452 280 184 220 396 324 136 44 320 364 188 288 108 4 196 456 0 40 48 0 68 328 132 40 388 40 360 52 368 40 368 412 184 164 144 132 260 320 8 340 96 164 124 252 164 256 264 164 0 44 172 44 220 0 324 40 228 132 400 364 412 0 56 328 64 416 196 368 8 48 252 8 56 60 196 360 280 320 192 92 84 48 116 312 8 392 64 432 432 40 0 40 400 0 56 360 8 220 52 400 136 80 188 360 324 164 40 400 348 0 40 0 400 392 40 480 0 404 0 240 0 240 124 356 72 40 200 56 252 424 0 204 276 80 48 48 128 28 212 364 160 24 324 32 140 40 36 196 316 188 92 0 0 40 80 44 428 396 396 128 48 236 72 44 224 400 368 256 184 160 184 216 176 52 32 4 404 300 0 152 164 164 228 164 228 228 200 196 192 12 368 352 24 88 368 40 132 40 388 200 408 168 200 172 176 60 260 284 72 64 56 112 68 112 80 32 196 356 52 12 68 440 68 280 212 68 240 292 364 52 84 164 184 72 240 276 128 0 52 44 224 208 372 372 372 80 152 80 344 32 40 400 316 364 40 456 36 4 60 224 280 76 140 280 272 280 240 40 40 48 392 392 400 348 40 112 128 172 76 124 120 12 392 180 80 320 4 92 360 260 132 80 32 80 80 204 364 388 40 0 0 48 28 64 148 172 228 120 268 164 120 60 56 20 68 192 328 368 236 248 32 236 164 192 352 292 196 388 40 324 360 80 36 24 412 492 92 172 256 44 428 0 64 272 372 124 288 124 8 192 56 200 224 296 336 52 76 440 400 220 360 72 40 0 192 232 52 116 308 132 72 40 68 292 128 452 408 408 368 0 452 220 172 404 400 396 0 40 40 428 188 400 24 252 452 452 412 404 76 324 52 44 104 348 348 8 348 112 104 72 240 424 40 348 0 172 48 356 96 0 108 </values> 2519.85/2520.01 v </instantiation>
OK 470152795
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 (10205 MiB free)
memory of node 1: 16384 MiB (6228 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304117-1534010369/watcher-4304117-1534010369 -o /tmp/evaluation-result-4304117-1534010369/solver-4304117-1534010369 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1533993481-20701 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1146937795 HOME/instance-4304117-1534010369.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22827, runsolver pid=22824
[startup+0.100115 s]*
/proc/loadavg: 2.05 2.03 2.05 3/187 22828
/proc/meminfo: memFree=16813220/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=43348 memory=17772 CPUtime=0.1 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 4852 0 0 0 10 0 0 0 20 0 1 0 218600128 44388352 4443 33554432000 4194304 7499544 140732792724720 140732792721720 140103997901797 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 10837 4443 702 807 0 3828 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43348 KiB
Current children cumulated memory: 17772 KiB
[startup+0.209627 s]*
/proc/loadavg: 2.05 2.03 2.05 3/187 22828
/proc/meminfo: memFree=16811096/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=45872 memory=20412 CPUtime=0.21 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 5488 0 0 0 21 0 0 0 20 0 1 0 218600128 46972928 5103 33554432000 4194304 7499544 140732792724720 140732792721720 140103997901797 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 11468 5103 704 807 0 4459 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 45872 KiB
Current children cumulated memory: 20412 KiB
[startup+0.309197 s]*
/proc/loadavg: 2.05 2.03 2.05 3/187 22828
/proc/meminfo: memFree=16807748/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=49136 memory=23580 CPUtime=0.3 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 6314 0 0 0 30 0 0 0 20 0 1 0 218600128 50315264 5895 33554432000 4194304 7499544 140732792724720 140732792721720 4563992 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 12284 5895 704 807 0 5275 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49136 KiB
Current children cumulated memory: 23580 KiB
[startup+0.700245 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 22828
/proc/meminfo: memFree=16800768/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=62268 memory=36780 CPUtime=0.69 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 9584 0 0 0 68 1 0 0 20 0 1 0 218600128 63762432 9195 33554432000 4194304 7499544 140732792724720 140732792715400 140103997899687 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 15567 9195 704 807 0 8558 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 62268 KiB
Current children cumulated memory: 36780 KiB
[startup+1.50024 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 22828
/proc/meminfo: memFree=16786260/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=82956 memory=57372 CPUtime=1.49 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 14748 0 0 0 147 2 0 0 20 0 1 0 218600128 84946944 14343 33554432000 4194304 7499544 140732792724720 140732792717960 5878988 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 20739 14343 720 807 0 13730 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 82956 KiB
Current children cumulated memory: 57372 KiB
[startup+3.10937 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 22828
/proc/meminfo: memFree=16734304/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=124812 memory=99288 CPUtime=3.1 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 26572 0 0 0 306 4 0 0 20 0 1 0 218600128 127807488 24822 33554432000 4194304 7499544 140732792724720 140732792717960 5881127 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 31203 24822 720 807 0 24194 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 124812 KiB
Current children cumulated memory: 99288 KiB
[startup+6.30023 s]
/proc/loadavg: 2.13 2.04 2.05 3/187 22828
/proc/meminfo: memFree=16657588/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=204704 memory=179256 CPUtime=6.28 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 48837 0 0 0 614 14 0 0 20 0 1 0 218600128 209616896 44814 33554432000 4194304 7499544 140732792724720 140732792717960 5879019 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 51176 44814 720 807 0 44167 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 204704 KiB
Current children cumulated memory: 179256 KiB
[startup+12.7003 s]
/proc/loadavg: 2.12 2.04 2.05 3/187 22828
/proc/meminfo: memFree=16504960/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=368200 memory=342696 CPUtime=12.69 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 92175 0 0 0 1246 23 0 0 20 0 1 0 218600128 377036800 85674 33554432000 4194304 7499544 140732792724720 140732792717960 5879009 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 92050 85674 720 807 0 85041 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 368200 KiB
Current children cumulated memory: 342696 KiB
[startup+25.5004 s]
/proc/loadavg: 2.10 2.04 2.05 3/187 22828
/proc/meminfo: memFree=16168300/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=698608 memory=673208 CPUtime=25.49 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 178097 0 0 0 2513 36 0 0 20 0 1 0 218600128 715374592 168302 33554432000 4194304 7499544 140732792724720 140732792717960 140103997900332 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 174652 168302 720 807 0 167643 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 698608 KiB
Current children cumulated memory: 673208 KiB
[startup+51.1096 s]
/proc/loadavg: 2.06 2.04 2.05 3/188 22836
/proc/meminfo: memFree=15495176/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=1359988 memory=1334436 CPUtime=51.1 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 346616 0 0 0 5050 60 0 0 20 0 1 0 218600128 1392627712 333609 33554432000 4194304 7499544 140732792724720 140732792716024 140103998340096 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 339997 333609 720 807 0 332988 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 1359988 KiB
Current children cumulated memory: 1334436 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/189 22860
/proc/meminfo: memFree=15366352/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=1483980 memory=1458812 CPUtime=102.26 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 651076 0 0 0 10146 80 0 0 20 0 1 0 218600128 1519595520 364703 33554432000 4194304 7499544 140732792724720 140732792719736 4257952 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 370995 364703 765 807 0 363986 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 1483980 KiB
Current children cumulated memory: 1458812 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/189 22861
/proc/meminfo: memFree=15361396/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=1490068 memory=1464936 CPUtime=162.26 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 806886 0 0 0 16136 90 0 0 20 0 1 0 218600128 1525829632 366234 33554432000 4194304 7499544 140732792724720 140732792719256 4408878 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 372517 366234 765 807 0 365508 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 1490068 KiB
Current children cumulated memory: 1464936 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 22862
/proc/meminfo: memFree=15359168/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=1491520 memory=1466356 CPUtime=222.24 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 897613 0 0 0 22128 96 0 0 20 0 1 0 218600128 1527316480 366589 33554432000 4194304 7499544 140732792724720 140732792719256 5790971 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 372880 366589 765 807 0 365871 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 1491520 KiB
Current children cumulated memory: 1466356 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 22863
/proc/meminfo: memFree=15359376/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=1491652 memory=1466488 CPUtime=282.23 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 980774 0 0 0 28121 102 0 0 20 0 1 0 218600128 1527451648 366622 33554432000 4194304 7499544 140732792724720 140732792719256 4249968 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 372913 366622 765 807 0 365904 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 1491652 KiB
Current children cumulated memory: 1466488 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 22864
/proc/meminfo: memFree=15359240/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=1491784 memory=1466688 CPUtime=342.22 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 1052095 0 0 0 34115 107 0 0 20 0 1 0 218600128 1527586816 366672 33554432000 4194304 7499544 140732792724720 140732792719144 5790974 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 372946 366672 765 807 0 365937 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 1491784 KiB
Current children cumulated memory: 1466688 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22865
/proc/meminfo: memFree=15359492/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=1491916 memory=1466800 CPUtime=402.21 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 1127277 0 0 0 40109 112 0 0 20 0 1 0 218600128 1527721984 366700 33554432000 4194304 7499544 140732792724720 140732792719256 5791124 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 372979 366700 765 807 0 365970 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 1491916 KiB
Current children cumulated memory: 1466800 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22866
/proc/meminfo: memFree=15359160/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=1492048 memory=1466912 CPUtime=462.2 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 1234068 0 0 0 46102 118 0 0 20 0 1 0 218600128 1527857152 366728 33554432000 4194304 7499544 140732792724720 140732792719736 4405470 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 373012 366728 765 807 0 366003 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 1492048 KiB
Current children cumulated memory: 1466912 KiB
################
# More data... #
################
/proc/22827/statm: 373154 366890 765 807 0 366145 0
Current children cumulated CPU time: 1722.14 s
Current children cumulated vsize: 1492616 KiB
Current children cumulated memory: 1467560 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22969
/proc/meminfo: memFree=14069348/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=1492616 memory=1467560 CPUtime=1782.14 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 1488303 0 0 0 178081 133 0 0 20 0 1 0 218600128 1528438784 366890 33554432000 4194304 7499544 140732792724720 140732792719736 140104001337061 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 373154 366890 765 807 0 366145 0
Current children cumulated CPU time: 1782.14 s
Current children cumulated vsize: 1492616 KiB
Current children cumulated memory: 1467560 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22978
/proc/meminfo: memFree=14068448/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=1492748 memory=1467576 CPUtime=1842.14 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 1490136 0 0 0 184081 133 0 0 20 0 1 0 218600128 1528573952 366894 33554432000 4194304 7499544 140732792724720 140732792719176 5790974 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 373187 366894 765 807 0 366178 0
Current children cumulated CPU time: 1842.14 s
Current children cumulated vsize: 1492748 KiB
Current children cumulated memory: 1467576 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22979
/proc/meminfo: memFree=14069232/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=1492748 memory=1467604 CPUtime=1902.14 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 1491551 0 0 0 190081 133 0 0 20 0 1 0 218600128 1528573952 366901 33554432000 4194304 7499544 140732792724720 140732792719176 5790960 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 373187 366901 765 807 0 366178 0
Current children cumulated CPU time: 1902.14 s
Current children cumulated vsize: 1492748 KiB
Current children cumulated memory: 1467604 KiB
[startup+1962.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/188 22980
/proc/meminfo: memFree=14069280/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=1492748 memory=1467640 CPUtime=1962.14 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 1492975 0 0 0 196081 133 0 0 20 0 1 0 218600128 1528573952 366910 33554432000 4194304 7499544 140732792724720 140732792719176 4258023 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 373187 366910 765 807 0 366178 0
Current children cumulated CPU time: 1962.14 s
Current children cumulated vsize: 1492748 KiB
Current children cumulated memory: 1467640 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 22981
/proc/meminfo: memFree=14069348/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=1492748 memory=1467652 CPUtime=2022.15 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 1494463 0 0 0 202081 134 0 0 20 0 1 0 218600128 1528573952 366913 33554432000 4194304 7499544 140732792724720 140732792719176 4579850 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 373187 366913 765 807 0 366178 0
Current children cumulated CPU time: 2022.15 s
Current children cumulated vsize: 1492748 KiB
Current children cumulated memory: 1467652 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22982
/proc/meminfo: memFree=14069300/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=1492748 memory=1467684 CPUtime=2082.15 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 1495885 0 0 0 208081 134 0 0 20 0 1 0 218600128 1528573952 366921 33554432000 4194304 7499544 140732792724720 140732792719176 4253232 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 373187 366921 765 807 0 366178 0
Current children cumulated CPU time: 2082.15 s
Current children cumulated vsize: 1492748 KiB
Current children cumulated memory: 1467684 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22983
/proc/meminfo: memFree=14069396/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=1492880 memory=1467700 CPUtime=2142.15 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 1497365 0 0 0 214081 134 0 0 20 0 1 0 218600128 1528709120 366925 33554432000 4194304 7499544 140732792724720 140732792719128 4317353 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 373220 366925 765 807 0 366211 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 1492880 KiB
Current children cumulated memory: 1467700 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22984
/proc/meminfo: memFree=14069572/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=1492880 memory=1467708 CPUtime=2202.15 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 1498734 0 0 0 220081 134 0 0 20 0 1 0 218600128 1528709120 366927 33554432000 4194304 7499544 140732792724720 140732792719128 4408889 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 373220 366927 765 807 0 366211 0
Current children cumulated CPU time: 2202.15 s
Current children cumulated vsize: 1492880 KiB
Current children cumulated memory: 1467708 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22985
/proc/meminfo: memFree=14069240/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=1492880 memory=1467712 CPUtime=2262.14 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 1500194 0 0 0 226080 134 0 0 20 0 1 0 218600128 1528709120 366928 33554432000 4194304 7499544 140732792724720 140732792719128 4579796 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 373220 366928 765 807 0 366211 0
Current children cumulated CPU time: 2262.14 s
Current children cumulated vsize: 1492880 KiB
Current children cumulated memory: 1467712 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22986
/proc/meminfo: memFree=14069512/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=1492880 memory=1467712 CPUtime=2322.14 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 1501622 0 0 0 232080 134 0 0 20 0 1 0 218600128 1528709120 366928 33554432000 4194304 7499544 140732792724720 140732792719128 4249700 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 373220 366928 765 807 0 366211 0
Current children cumulated CPU time: 2322.14 s
Current children cumulated vsize: 1492880 KiB
Current children cumulated memory: 1467712 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22987
/proc/meminfo: memFree=14069640/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=1492880 memory=1467732 CPUtime=2382.14 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 1503092 0 0 0 238080 134 0 0 20 0 1 0 218600128 1528709120 366933 33554432000 4194304 7499544 140732792724720 140732792719128 5790896 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 373220 366933 765 807 0 366211 0
Current children cumulated CPU time: 2382.14 s
Current children cumulated vsize: 1492880 KiB
Current children cumulated memory: 1467732 KiB
[startup+2442.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 22996
/proc/meminfo: memFree=14068852/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=1492880 memory=1467740 CPUtime=2442.14 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 1504541 0 0 0 244080 134 0 0 20 0 1 0 218600128 1528709120 366935 33554432000 4194304 7499544 140732792724720 140732792719128 4323046 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 373220 366935 765 807 0 366211 0
Current children cumulated CPU time: 2442.14 s
Current children cumulated vsize: 1492880 KiB
Current children cumulated memory: 1467740 KiB
[startup+2502.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 22997
/proc/meminfo: memFree=14069044/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=1492880 memory=1467788 CPUtime=2502.14 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 1506115 0 0 0 250080 134 0 0 20 0 1 0 218600128 1528709120 366947 33554432000 4194304 7499544 140732792724720 140732792719736 5790974 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 373220 366947 765 807 0 366211 0
Current children cumulated CPU time: 2502.14 s
Current children cumulated vsize: 1492880 KiB
Current children cumulated memory: 1467788 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.02 2.05 3/188 22998
/proc/meminfo: memFree=14069252/32770624 swapFree=67108844/67108860
[pid=22827] ppid=22824 vsize=1492880 memory=1467788 CPUtime=2519.85 cores=0,2,4,6
/proc/22827/stat : 22827 (MistralXCSP) R 22824 22827 20670 0 -1 4202496 1506223 0 0 0 251851 134 0 0 20 0 1 0 218600128 1528709120 366947 33554432000 4194304 7499544 140732792724720 140732792719736 4579850 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 32800768 140732792726637 140732792726787 140732792726787 140732792729545 0
/proc/22827/statm: 373220 366947 765 807 0 366211 0
Current children cumulated CPU time: 2519.85 s
Current children cumulated vsize: 1492880 KiB
Current children cumulated memory: 1467788 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 22827 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.52 s, system=1.355 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.87
CPU user time (s): 2518.52
CPU system time (s): 1.355
CPU usage (%): 99.9942
Max. virtual memory (cumulated for all children) (KiB): 1492880
Max. memory (cumulated for all children) (KiB): 1467788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.52
system time used= 1.355
maximum resident set size= 1467808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1506249
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= 315
involuntary context switches= 2351
# summary of solver processes directly reported to runsolver:
# pid: 22827
# total CPU time (s): 2519.87
# total CPU user time (s): 2518.52
# total CPU system time (s): 1.355
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1826 second user time and 18.7883 second system time
The end
Begin job on node136 at 2018-08-11 19:59:30 IDJOB=4304117 IDBENCH=141265 IDSOLVER=2779 FILE ID=node136/4304117-1534010369 RUNJOBID= node136-1533993481-20701 PBS_JOBID= 21036953 Free space on /tmp= 35208 MiB SOLVER NAME= Mistral-2.0 2018-08-01 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-03-0300_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-4304117-1534010369/watcher-4304117-1534010369 -o /tmp/evaluation-result-4304117-1534010369/solver-4304117-1534010369 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1533993481-20701 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1146937795 HOME/instance-4304117-1534010369.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f3b5e910cdd6f892615a29b96bfa015e RANDOM SEED=1146937795 node136.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 16828460 kB MemAvailable: 31889068 kB Buffers: 222496 kB Cached: 14936712 kB SwapCached: 8 kB Active: 7309888 kB Inactive: 7922472 kB Active(anon): 22108 kB Inactive(anon): 103348 kB Active(file): 7287780 kB Inactive(file): 7819124 kB Unevictable: 7296 kB Mlocked: 7296 kB SwapTotal: 67108860 kB SwapFree: 67108844 kB Dirty: 131156 kB Writeback: 0 kB AnonPages: 79636 kB Mapped: 53092 kB Shmem: 49788 kB Slab: 409752 kB SReclaimable: 382164 kB SUnreclaim: 27588 kB KernelStack: 3344 kB PageTables: 5404 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 395768 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: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 35100 MiB End job on node136 at 2018-08-11 20:41:30