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-06-15 | SAT (TO) | 470193793 | 2400.03 | 2400.31 |
| 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 16062018 81.74/81.83 o 470850065 81.74/81.84 o 470829566 81.74/81.85 o 470809066 81.74/81.87 o 470747555 81.74/81.87 o 470706545 81.74/81.88 o 470665546 81.74/81.89 o 470665544 81.84/81.90 o 470645049 81.84/81.91 o 470624543 81.84/81.93 o 470604047 81.84/81.94 o 470604046 81.84/81.95 o 470604038 81.84/81.97 o 470604037 81.84/81.98 o 470604034 81.84/81.99 o 470604020 81.84/81.99 o 470604019 81.84/82.00 o 470583521 81.95/82.03 o 470563012 81.95/82.06 o 470542508 82.05/82.12 o 470522006 82.05/82.12 o 470521999 82.05/82.13 o 470521988 82.05/82.13 o 470521987 82.14/82.26 o 470501491 82.24/82.33 o 470480991 82.24/82.39 o 470460489 82.44/82.55 o 470439992 82.64/82.75 o 470419481 82.64/82.75 o 470419476 82.64/82.76 o 470419475 82.95/83.04 o 470398977 83.24/83.36 o 470398972 83.44/83.54 o 470398967 84.14/84.27 o 470398966 84.54/84.64 o 470398962 84.54/84.65 o 470398955 85.74/85.87 o 470378464 85.84/85.91 o 470378463 85.84/85.93 o 470378450 85.84/85.94 o 470378445 86.74/86.83 o 470378442 86.74/86.84 o 470378435 86.74/86.88 o 470378427 86.74/86.89 o 470378426 86.84/86.91 o 470378425 86.84/86.95 o 470357918 86.84/86.98 o 470357915 86.95/87.03 o 470316938 86.95/87.05 o 470316937 87.14/87.25 o 470316921 87.54/87.62 o 470275917 87.64/87.76 o 470275914 91.05/91.17 o 470275909 91.14/91.27 o 470275906 91.24/91.32 o 470275899 97.64/97.76 o 470275866 99.43/99.51 o 470275864 146.03/146.16 o 470275854 146.03/146.18 o 470275849 147.42/147.55 o 470275842 148.42/148.54 o 470275841 148.42/148.57 o 470255332 148.42/148.58 o 470255331 151.03/151.11 o 470255330 459.04/459.22 o 470234821 459.04/459.24 o 470234820 459.04/459.27 o 470234817 459.74/459.93 o 470214317 463.64/463.80 o 470214316 990.76/991.08 o 470214315 991.26/991.59 o 470214314 1001.35/1001.66 o 470214313 1002.55/1002.83 o 470214306 1002.55/1002.83 o 470214305 1009.55/1009.80 o 470214304 1494.23/1494.54 o 470214298 1494.23/1494.54 o 470214297 1494.23/1494.55 o 470214296 1611.52/1611.87 o 470193796 1613.73/1614.05 o 470193795 1620.32/1620.61 o 470193794 1640.32/1640.67 o 470193793 2400.02/2400.30 s SATISFIABLE 2400.02/2400.30 v <instantiation type="solution"> 2400.02/2400.30 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> 2400.02/2400.30 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 2240 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 1 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 1 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 1 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 3 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 10 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 10 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 0 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 320 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 148 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 64 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 196 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 236 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 196 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 4 276 148 296 200 256 372 308 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> 2400.02/2400.30 v </instantiation>
OK 470193793
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 (10012 MiB free)
memory of node 1: 16384 MiB (12072 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292007-1532264140/watcher-4292007-1532264140 -o /tmp/evaluation-result-4292007-1532264140/solver-4292007-1532264140 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532261739-2080 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1054687020 HOME/instance-4292007-1532264140.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=2380, runsolver pid=2377
Current StackSize limit: 8192 KiB
[startup+0.100727 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 2381
/proc/meminfo: memFree=22600388/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=43084 memory=17508 CPUtime=0.09 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 4810 0 0 0 9 0 0 0 20 0 1 0 43977212 44118016 4377 33554432000 4194304 7498468 140730346242704 140730346232976 139704003103717 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 10771 4377 684 807 0 3762 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43084 KiB
Current children cumulated memory: 17508 KiB
[startup+0.209543 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 2381
/proc/meminfo: memFree=22598156/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=45740 memory=20148 CPUtime=0.2 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 5445 0 0 0 20 0 0 0 20 0 1 0 43977212 46837760 5037 33554432000 4194304 7498468 140730346242704 140730346232976 139704003103717 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 11435 5037 704 807 0 4426 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45740 KiB
Current children cumulated memory: 20148 KiB
[startup+0.309044 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 2381
/proc/meminfo: memFree=22594844/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=49000 memory=23580 CPUtime=0.3 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 6268 0 0 0 30 0 0 0 20 0 1 0 43977212 50176000 5895 33554432000 4194304 7498468 140730346242704 140730346233464 139704006584976 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 12250 5895 704 807 0 5241 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49000 KiB
Current children cumulated memory: 23580 KiB
[startup+0.700287 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2381
/proc/meminfo: memFree=22588148/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=62268 memory=36780 CPUtime=0.69 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 9573 0 0 0 68 1 0 0 20 0 1 0 43977212 63762432 9195 33554432000 4194304 7498468 140730346242704 140730346233464 4564424 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/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.50029 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 2381
/proc/meminfo: memFree=22573640/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=82956 memory=57372 CPUtime=1.48 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 14747 0 0 0 147 1 0 0 20 0 1 0 43977212 84946944 14343 33554432000 4194304 7498468 140730346242704 140730346233464 5875389 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 20739 14343 717 807 0 13730 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 82956 KiB
Current children cumulated memory: 57372 KiB
[startup+3.1093 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 2381
/proc/meminfo: memFree=22521688/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=124812 memory=99284 CPUtime=3.09 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 26571 0 0 0 306 3 0 0 20 0 1 0 43977212 127807488 24821 33554432000 4194304 7498468 140730346242704 140730346235944 6003377 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 31203 24821 717 807 0 24194 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 124812 KiB
Current children cumulated memory: 99284 KiB
[startup+6.30022 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 2431
/proc/meminfo: memFree=22366848/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=206964 memory=181432 CPUtime=6.28 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 49484 0 0 0 622 6 0 0 20 0 1 0 43977212 211931136 45358 33554432000 4194304 7498468 140730346242704 140730346235944 5989548 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 51741 45358 717 807 0 44732 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 206964 KiB
Current children cumulated memory: 181432 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 2442
/proc/meminfo: memFree=22036068/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=371116 memory=345704 CPUtime=12.68 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 92470 0 0 0 1256 12 0 0 20 0 1 0 43977212 380022784 86426 33554432000 4194304 7498468 140730346242704 140730346235944 5882516 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 92779 86426 717 807 0 85770 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 371116 KiB
Current children cumulated memory: 345704 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/187 2442
/proc/meminfo: memFree=21368844/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=701360 memory=675852 CPUtime=25.46 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 176710 0 0 0 2524 22 0 0 20 0 1 0 43977212 718192640 168963 33554432000 4194304 7498468 140730346242704 140730346235944 5879513 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 175340 168963 717 807 0 168331 0
Current children cumulated CPU time: 25.46 s
Current children cumulated vsize: 701360 KiB
Current children cumulated memory: 675852 KiB
[startup+51.1094 s]
/proc/loadavg: 1.97 2.00 2.04 3/187 2442
/proc/meminfo: memFree=20034472/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=1362420 memory=1336892 CPUtime=51.07 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 343180 0 0 0 5064 43 0 0 20 0 1 0 43977212 1395118080 334223 33554432000 4194304 7498468 140730346242704 140730346235944 139704003542016 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 340605 334223 717 807 0 333596 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 1362420 KiB
Current children cumulated memory: 1336892 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 2443
/proc/meminfo: memFree=18644268/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=1483980 memory=1458796 CPUtime=102.23 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 624427 0 0 0 10165 58 0 0 20 0 1 0 43977212 1519595520 364699 33554432000 4194304 7498468 140730346242704 140730346237720 4317309 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 370995 364699 760 807 0 363986 0
Current children cumulated CPU time: 102.23 s
Current children cumulated vsize: 1483980 KiB
Current children cumulated memory: 1458796 KiB
[startup+162.3 s]
/proc/loadavg: 1.96 1.99 2.03 3/187 2445
/proc/meminfo: memFree=18626452/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=1490200 memory=1465080 CPUtime=162.22 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 770367 0 0 0 16157 65 0 0 20 0 1 0 43977212 1525964800 366270 33554432000 4194304 7498468 140730346242704 140730346237240 5791328 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 372550 366270 760 807 0 365541 0
Current children cumulated CPU time: 162.22 s
Current children cumulated vsize: 1490200 KiB
Current children cumulated memory: 1465080 KiB
[startup+222.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/187 2446
/proc/meminfo: memFree=18624092/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=1491520 memory=1466344 CPUtime=222.2 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 855213 0 0 0 22150 70 0 0 20 0 1 0 43977212 1527316480 366586 33554432000 4194304 7498468 140730346242704 140730346237240 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 372880 366586 760 807 0 365871 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 1491520 KiB
Current children cumulated memory: 1466344 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/188 2455
/proc/meminfo: memFree=18623176/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=1491652 memory=1466476 CPUtime=282.18 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 934182 0 0 0 28143 75 0 0 20 0 1 0 43977212 1527451648 366619 33554432000 4194304 7498468 140730346242704 140730346237240 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 372913 366619 760 807 0 365904 0
Current children cumulated CPU time: 282.18 s
Current children cumulated vsize: 1491652 KiB
Current children cumulated memory: 1466476 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 2478
/proc/meminfo: memFree=18621548/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=1491784 memory=1466672 CPUtime=342.17 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 1004679 0 0 0 34138 79 0 0 20 0 1 0 43977212 1527586816 366668 33554432000 4194304 7498468 140730346242704 140730346237128 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 372946 366668 760 807 0 365937 0
Current children cumulated CPU time: 342.17 s
Current children cumulated vsize: 1491784 KiB
Current children cumulated memory: 1466672 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 2479
/proc/meminfo: memFree=18620092/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=1491916 memory=1466784 CPUtime=402.15 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 1072782 0 0 0 40132 83 0 0 20 0 1 0 43977212 1527721984 366696 33554432000 4194304 7498468 140730346242704 140730346237240 4257943 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 372979 366696 760 807 0 365970 0
Current children cumulated CPU time: 402.15 s
Current children cumulated vsize: 1491916 KiB
Current children cumulated memory: 1466784 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 2480
/proc/meminfo: memFree=18620352/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=1492048 memory=1466896 CPUtime=462.14 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 1171136 0 0 0 46126 88 0 0 20 0 1 0 43977212 1527857152 366724 33554432000 4194304 7498468 140730346242704 140730346237720 5773760 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 373012 366724 760 807 0 366003 0
Current children cumulated CPU time: 462.14 s
Current children cumulated vsize: 1492048 KiB
Current children cumulated memory: 1466896 KiB
################
# More data... #
################
/proc/2380/statm: 373154 366886 760 807 0 366145 0
Current children cumulated CPU time: 1662.03 s
Current children cumulated vsize: 1492616 KiB
Current children cumulated memory: 1467544 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 2517
/proc/meminfo: memFree=18612876/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=1492616 memory=1467544 CPUtime=1722.03 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 1384874 0 0 0 172098 105 0 0 20 0 1 0 43977212 1528438784 366886 33554432000 4194304 7498468 140730346242704 140730346237720 4404908 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 373154 366886 760 807 0 366145 0
Current children cumulated CPU time: 1722.03 s
Current children cumulated vsize: 1492616 KiB
Current children cumulated memory: 1467544 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2519
/proc/meminfo: memFree=18613372/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=1492616 memory=1467544 CPUtime=1782.03 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 1386256 0 0 0 178098 105 0 0 20 0 1 0 43977212 1528438784 366886 33554432000 4194304 7498468 140730346242704 140730346237720 4257968 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 373154 366886 760 807 0 366145 0
Current children cumulated CPU time: 1782.03 s
Current children cumulated vsize: 1492616 KiB
Current children cumulated memory: 1467544 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2520
/proc/meminfo: memFree=18613668/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=1492748 memory=1467564 CPUtime=1842.02 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 1388546 0 0 0 184097 105 0 0 20 0 1 0 43977212 1528573952 366891 33554432000 4194304 7498468 140730346242704 140730346237160 4408707 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 373187 366891 760 807 0 366178 0
Current children cumulated CPU time: 1842.02 s
Current children cumulated vsize: 1492748 KiB
Current children cumulated memory: 1467564 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2521
/proc/meminfo: memFree=18613992/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=1492748 memory=1467608 CPUtime=1902.02 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 1390339 0 0 0 190097 105 0 0 20 0 1 0 43977212 1528573952 366902 33554432000 4194304 7498468 140730346242704 140730346237160 4404781 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 373187 366902 760 807 0 366178 0
Current children cumulated CPU time: 1902.02 s
Current children cumulated vsize: 1492748 KiB
Current children cumulated memory: 1467608 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2523
/proc/meminfo: memFree=18613672/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=1492748 memory=1467632 CPUtime=1962.02 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 1391975 0 0 0 196097 105 0 0 20 0 1 0 43977212 1528573952 366908 33554432000 4194304 7498468 140730346242704 140730346237160 4580282 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 373187 366908 760 807 0 366178 0
Current children cumulated CPU time: 1962.02 s
Current children cumulated vsize: 1492748 KiB
Current children cumulated memory: 1467632 KiB
[startup+2022.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 2524
/proc/meminfo: memFree=18614020/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=1492748 memory=1467644 CPUtime=2022.02 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 1393917 0 0 0 202097 105 0 0 20 0 1 0 43977212 1528573952 366911 33554432000 4194304 7498468 140730346242704 140730346237160 4580282 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 373187 366911 760 807 0 366178 0
Current children cumulated CPU time: 2022.02 s
Current children cumulated vsize: 1492748 KiB
Current children cumulated memory: 1467644 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 2532
/proc/meminfo: memFree=18613836/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=1492748 memory=1467672 CPUtime=2082.02 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 1395622 0 0 0 208097 105 0 0 20 0 1 0 43977212 1528573952 366918 33554432000 4194304 7498468 140730346242704 140730346237160 5605080 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 373187 366918 760 807 0 366178 0
Current children cumulated CPU time: 2082.02 s
Current children cumulated vsize: 1492748 KiB
Current children cumulated memory: 1467672 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 2533
/proc/meminfo: memFree=18613968/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=1492880 memory=1467684 CPUtime=2142.02 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 1397411 0 0 0 214097 105 0 0 20 0 1 0 43977212 1528709120 366921 33554432000 4194304 7498468 140730346242704 140730346237112 5585414 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 373220 366921 760 807 0 366211 0
Current children cumulated CPU time: 2142.02 s
Current children cumulated vsize: 1492880 KiB
Current children cumulated memory: 1467684 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2534
/proc/meminfo: memFree=18614108/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=1492880 memory=1467692 CPUtime=2202.02 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 1399053 0 0 0 220096 106 0 0 20 0 1 0 43977212 1528709120 366923 33554432000 4194304 7498468 140730346242704 140730346237112 5791392 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 373220 366923 760 807 0 366211 0
Current children cumulated CPU time: 2202.02 s
Current children cumulated vsize: 1492880 KiB
Current children cumulated memory: 1467692 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2535
/proc/meminfo: memFree=18614432/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=1492880 memory=1467696 CPUtime=2262.02 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 1400925 0 0 0 226096 106 0 0 20 0 1 0 43977212 1528709120 366924 33554432000 4194304 7498468 140730346242704 140730346237112 5791403 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 373220 366924 760 807 0 366211 0
Current children cumulated CPU time: 2262.02 s
Current children cumulated vsize: 1492880 KiB
Current children cumulated memory: 1467696 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2536
/proc/meminfo: memFree=18609256/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=1492880 memory=1467700 CPUtime=2322.02 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 1402722 0 0 0 232096 106 0 0 20 0 1 0 43977212 1528709120 366925 33554432000 4194304 7498468 140730346242704 140730346237112 5791406 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 373220 366925 760 807 0 366211 0
Current children cumulated CPU time: 2322.02 s
Current children cumulated vsize: 1492880 KiB
Current children cumulated memory: 1467700 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2537
/proc/meminfo: memFree=18608812/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=1492880 memory=1467716 CPUtime=2382.02 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 1404479 0 0 0 238096 106 0 0 20 0 1 0 43977212 1528709120 366929 33554432000 4194304 7498468 140730346242704 140730346237112 5770737 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 373220 366929 760 807 0 366211 0
Current children cumulated CPU time: 2382.02 s
Current children cumulated vsize: 1492880 KiB
Current children cumulated memory: 1467716 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2537
/proc/meminfo: memFree=18609060/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=1492880 memory=1467716 CPUtime=2400.02 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 1404744 0 0 0 239896 106 0 0 20 0 1 0 43977212 1528709120 366929 33554432000 4194304 7498468 140730346242704 140730346237112 5772170 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 373220 366929 760 807 0 366211 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 1492880 KiB
Current children cumulated memory: 1467716 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.31 s]
# the end of solver process 2380 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.96 s, system=1.06896 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2537
/proc/meminfo: memFree=18609060/32770624 swapFree=67108860/67108860
[pid=2380] ppid=2377 vsize=1492880 memory=1467716 CPUtime=2400.02 cores=1,3,5,7
/proc/2380/stat : 2380 (MistralXCSP) R 2377 2380 2046 0 -1 4202496 1404744 0 0 0 239896 106 0 0 20 0 1 0 43977212 1528709120 366929 33554432000 4194304 7498468 140730346242704 140730346237112 5772170 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 16842752 140730346247277 140730346247427 140730346247427 140730346250185 0
/proc/2380/statm: 373220 366929 760 807 0 366211 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 1492880 KiB
Current children cumulated memory: 1467716 KiB
Child status: 0
Real time (s): 2400.31
CPU time (s): 2400.03
CPU user time (s): 2398.96
CPU system time (s): 1.06896
CPU usage (%): 99.9886
Max. virtual memory (cumulated for all children) (KiB): 1492880
Max. memory (cumulated for all children) (KiB): 1467716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.96
system time used= 1.06896
maximum resident set size= 1467736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1404819
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= 320
involuntary context switches= 1396
# summary of solver processes directly reported to runsolver:
# pid: 2380
# total CPU time (s): 2400.03
# total CPU user time (s): 2398.96
# total CPU system time (s): 1.06896
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.02609 second user time and 18.3477 second system time
The end
Begin job on node138 at 2018-07-22 14:55:40 IDJOB=4292007 IDBENCH=141265 IDSOLVER=2741 FILE ID=node138/4292007-1532264140 RUNJOBID= node138-1532261739-2080 PBS_JOBID= 21018975 Free space on /tmp= 58980 MiB SOLVER NAME= Mistral-2.0 2018-06-15 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-4292007-1532264140/watcher-4292007-1532264140 -o /tmp/evaluation-result-4292007-1532264140/solver-4292007-1532264140 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532261739-2080 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1054687020 HOME/instance-4292007-1532264140.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f3b5e910cdd6f892615a29b96bfa015e RANDOM SEED=1054687020 node138.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.71 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.71 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.71 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.71 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: 22616120 kB MemAvailable: 31814784 kB Buffers: 244164 kB Cached: 9194816 kB SwapCached: 0 kB Active: 2555028 kB Inactive: 7080080 kB Active(anon): 198840 kB Inactive(anon): 16960 kB Active(file): 2356188 kB Inactive(file): 7063120 kB Unevictable: 7280 kB Mlocked: 7280 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 134000 kB Writeback: 0 kB AnonPages: 209048 kB Mapped: 37236 kB Shmem: 17036 kB Slab: 217332 kB SReclaimable: 190384 kB SUnreclaim: 26948 kB KernelStack: 3168 kB PageTables: 5284 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 480040 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 149504 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= 58756 MiB End job on node138 at 2018-07-22 15:35:41