Trace number 4304067

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Mistral-2.0 2018-08-01SAT (TO)4433 2519.83 2520.01

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-scen-08-opt_c18.xml
MD5SUM9be5bd0a86f9e024d7fdf548556c4b89
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1997
Best CPU time to get the best result obtained on this benchmark2519.99
Satisfiable
(Un)Satisfiability was proved
Number of variables6202
Number of constraints5744
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":5286},{"size":6,"count":6},{"size":22,"count":36},{"size":24,"count":8},{"size":36,"count":360},{"size":42,"count":22},{"size":44,"count":484}]
Minimum variable degree1
Maximum variable degree62
Distribution of variable degrees[{"degree":1,"count":12},{"degree":2,"count":5287},{"degree":3,"count":38},{"degree":4,"count":17},{"degree":5,"count":102},{"degree":6,"count":22},{"degree":7,"count":111},{"degree":8,"count":16},{"degree":9,"count":111},{"degree":10,"count":35},{"degree":11,"count":48},{"degree":12,"count":33},{"degree":13,"count":52},{"degree":14,"count":19},{"degree":15,"count":61},{"degree":16,"count":14},{"degree":17,"count":33},{"degree":18,"count":10},{"degree":19,"count":26},{"degree":20,"count":19},{"degree":21,"count":18},{"degree":22,"count":8},{"degree":23,"count":15},{"degree":24,"count":11},{"degree":25,"count":13},{"degree":26,"count":1},{"degree":27,"count":14},{"degree":28,"count":12},{"degree":29,"count":6},{"degree":30,"count":10},{"degree":31,"count":2},{"degree":32,"count":2},{"degree":34,"count":3},{"degree":35,"count":4},{"degree":36,"count":4},{"degree":37,"count":1},{"degree":38,"count":2},{"degree":39,"count":4},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":458},{"arity":3,"count":5286}]
Number of extensional constraints0
Number of intensional constraints5744
Distribution of constraint types[{"type":"intension","count":5744}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c Mistral 01082018
8.79/8.81	o 4492
8.79/8.83	o 4489
8.79/8.84	o 4488
8.89/8.91	o 4482
8.89/8.98	o 4478
9.00/9.01	o 4477
9.00/9.08	o 4475
9.00/9.10	o 4474
9.10/9.13	o 4473
10.00/10.07	o 4471
15.10/15.11	o 4470
19.29/19.31	o 4469
66.68/66.78	o 4468
146.54/146.66	o 4467
146.64/146.71	o 4466
146.84/146.92	o 4465
162.62/162.70	o 4463
186.10/186.25	o 4462
230.10/230.24	o 4458
255.80/255.97	o 4454
421.39/421.59	o 4451
586.89/587.02	o 4448
748.18/748.38	o 4444
868.77/868.97	o 4443
871.47/871.69	o 4441
1080.87/1081.03	o 4437
1081.97/1082.14	o 4436
1103.98/1104.15	o 4433
2519.82/2520.01	s SATISFIABLE
2519.82/2520.01	v <instantiation type="solution">
2519.82/2520.01	v   <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za1[416] za1[417] za1[418] za1[419] za1[420] za1[421] za1[422] za1[423] za1[424] za1[425] za1[426] za1[427] za1[428] za1[429] za1[430] za1[431] za1[432] za1[433] za1[434] za1[435] za1[436] za1[437] za1[438] za1[439] za1[440] za1[441] za1[442] za1[443] za1[444] za1[445] za1[446] za1[447] za1[448] za1[449] za1[450] za1[451] za1[452] za1[453] za1[454] za1[455] za1[456] za1[457] za1[458] za1[459] za1[460] za1[461] za1[462] za1[463] za1[464] za1[465] za1[466] za1[467] za1[468] za1[469] za1[470] za1[471] za1[472] za1[473] za1[474] za1[475] za1[476] za1[477] za1[478] za1[479] za1[480] za1[481] za1[482] za1[483] za1[484] za1[485] za1[486] za1[487] za1[488] za1[489] za1[490] za1[491] za1[492] za1[493] za1[494] za1[495] za1[496] za1[497] za1[498] za1[499] za1[500] za1[501] za1[502] za1[503] za1[504] za1[505] za1[506] za1[507] za1[508] za1[509] za1[510] za1[511] za1[512] za1[513] za1[514] za1[515] za1[516] za1[517] za1[518] za1[519] za1[520] za1[521] za1[522] za1[523] za1[524] za1[525] za1[526] za1[527] za1[528] za1[529] za1[530] za1[531] za1[532] za1[533] za1[534] za1[535] za1[536] za1[537] za1[538] za1[539] za1[540] za1[541] za1[542] za1[543] za1[544] za1[545] za1[546] za1[547] za1[548] za1[549] za1[550] za1[551] za1[552] za1[553] za1[554] za1[555] za1[556] za1[557] za1[558] za1[559] za1[560] za1[561] za1[562] za1[563] za1[564] za1[565] za1[566] za1[567] za1[568] za1[569] za1[570] za1[571] za1[572] za1[573] za1[574] za1[575] za1[576] za1[577] za1[578] za1[579] za1[580] za1[581] za1[582] za1[583] za1[584] za1[585] za1[586] za1[587] za1[588] za1[589] za1[590] za1[591] za1[592] za1[593] za1[594] za1[595] za1[596] za1[597] za1[598] za1[599] za1[600] za1[601] za1[602] za1[603] za1[604] za1[605] za1[606] za1[607] za1[608] za1[609] za1[610] za1[611] za1[612] za1[613] za1[614] za1[615] za1[616] za1[617] za1[618] za1[619] za1[620] za1[621] za1[622] za1[623] za1[624] za1[625] za1[626] za1[627] za1[628] za1[629] za1[630] za1[631] za1[632] za1[633] za1[634] za1[635] za1[636] za1[637] za1[638] za1[639] za1[640] za1[641] za1[642] za1[643] za1[644] za1[645] za1[646] za1[647] za1[648] za1[649] za1[650] za1[651] za1[652] za1[653] za1[654] za1[655] za1[656] za1[657] za1[658] za1[659] za1[660] za1[661] za1[662] za1[663] za1[664] za1[665] za1[666] za1[667] za1[668] za1[669] za1[670] za1[671] za1[672] za1[673] za1[674] za1[675] za1[676] za1[677] za1[678] za1[679] za1[680] za1[681] za1[682] za1[683] za1[684] za1[685] za1[686] za1[687] za1[688] za1[689] za1[690] za1[691] za1[692] za1[693] za1[694] za1[695] za1[696] za1[697] za1[698] za1[699] za1[700] za1[701] za1[702] za1[703] za1[704] za1[705] za1[706] za1[707] za1[708] za1[709] za1[710] za1[711] za1[712] za1[713] za1[714] za1[715] za1[716] za1[717] za1[718] za1[719] za1[720] za1[721] za1[722] za1[723] za1[724] za1[725] za1[726] za1[727] za1[728] za1[729] za1[730] za1[731] za1[732] za1[733] za1[734] za1[735] za1[736] za1[737] za1[738] za1[739] za1[740] za1[741] za1[742] za1[743] za1[744] za1[745] za1[746] za1[747] za1[748] za1[749] za1[750] za1[751] za1[752] za1[753] za1[754] za1[755] za1[756] za1[757] za1[758] za1[759] za1[760] za1[761] za1[762] za1[763] za1[764] za1[765] za1[766] za1[767] za1[768] za1[769] za1[770] za1[771] za1[772] za1[773] za1[774] za1[775] za1[776] za1[777] za1[778] za1[779] za1[780] za1[781] za1[782] za1[783] za1[784] za1[785] za1[786] za1[787] za1[788] za1[789] za1[790] za1[791] za1[792] za1[793] za1[794] za1[795] za1[796] za1[797] za1[798] za1[799] za1[800] za1[801] za1[802] za1[803] za1[804] za1[805] za1[806] za1[807] za1[808] za1[809] za1[810] za1[811] za1[812] za1[813] za1[814] za1[815] za1[816] za1[817] za1[818] za1[819] za1[820] za1[821] za1[822] za1[823] za1[824] za1[825] za1[826] za1[827] za1[828] za1[829] za1[830] za1[831] za1[832] za1[833] za1[834] za1[835] za1[836] za1[837] za1[838] za1[839] za1[840] za1[841] za1[842] za1[843] za1[844] za1[845] za1[846] za1[847] za1[848] za1[849] za1[850] za1[851] za1[852] za1[853] za1[854] za1[855] za1[856] za1[857] za1[858] za1[859] za1[860] za1[861] za1[862] za1[863] za1[864] za1[865] za1[866] za1[867] za1[868] za1[869] za1[870] za1[871] za1[872] za1[873] za1[874] za1[875] za1[876] za1[877] za1[878] za1[879] za1[880] za1[881] za1[882] za1[883] za1[884] za1[885] za1[886] za1[887] za1[888] za1[889] za1[890] za1[891] za1[892] za1[893] za1[894] za1[895] za1[896] za1[897] za1[898] za1[899] za1[900] za1[901] za1[902] za1[903] za1[904] za1[905] za1[906] za1[907] za1[908] za1[909] za1[910] za1[911] za1[912] za1[913] za1[914] za1[915] za1[916] za1[917] za1[918] za1[919] za1[920] za1[921] za1[922] za1[923] za1[924] za1[925] za1[926] za1[927] za1[928] za1[929] za1[930] za1[931] za1[932] za1[933] za1[934] za1[935] za1[936] za1[937] za1[938] za1[939] za1[940] za1[941] za1[942] za1[943] za1[944] za1[945] za1[946] za1[947] za1[948] za1[949] za1[950] za1[951] za1[952] za1[953] za1[954] za1[955] za1[956] za1[957] za1[958] za1[959] za1[960] za1[961] za1[962] za1[963] za1[964] za1[965] za1[966] za1[967] za1[968] za1[969] za1[970] za1[971] za1[972] za1[973] za1[974] za1[975] za1[976] za1[977] za1[978] za1[979] za1[980] za1[981] za1[982] za1[983] za1[984] za1[985] za1[986] za1[987] za1[988] za1[989] za1[990] za1[991] za1[992] za1[993] za1[994] za1[995] za1[996] za1[997] za1[998] za1[999] za1[1000] za1[1001] za1[1002] za1[1003] za1[1004] za1[1005] za1[1006] za1[1007] za1[1008] za1[1009] za1[1010] za1[1011] za1[1012] za1[1013] za1[1014] za1[1015] za1[1016] za1[1017] za1[1018] za1[1019] za1[1020] za1[1021] za1[1022] za1[1023] za1[1024] za1[1025] za1[1026] za1[1027] za1[1028] za1[1029] za1[1030] za1[1031] za1[1032] za1[1033] za1[1034] za1[1035] za1[1036] za1[1037] za1[1038] za1[1039] za1[1040] za1[1041] za1[1042] za1[1043] za1[1044] za1[1045] za1[1046] za1[1047] za1[1048] za1[1049] za1[1050] za1[1051] za1[1052] za1[1053] za1[1054] za1[1055] za1[1056] za1[1057] za1[1058] za1[1059] za1[1060] za1[1061] za1[1062] za1[1063] za1[1064] za1[1065] za1[1066] za1[1067] za1[1068] za1[1069] za1[1070] za1[1071] za1[1072] za1[1073] za1[1074] za1[1075] za1[1076] za1[1077] za1[1078] za1[1079] za1[1080] za1[1081] za1[1082] za1[1083] za1[1084] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za2[559] za2[560] za2[561] za2[562] za2[563] za2[564] za2[565] za2[566] za2[567] za2[568] za2[569] za2[570] za2[571] za2[572] za2[573] za2[574] za2[575] za2[576] za2[577] za2[578] za2[579] za2[580] za2[581] za2[582] za2[583] za2[584] za2[585] za2[586] za2[587] za2[588] za2[589] za2[590] za2[591] za2[592] za2[593] za2[594] za2[595] za2[596] za2[597] za2[598] za2[599] za2[600] za2[601] za2[602] za2[603] za2[604] za2[605] za2[606] za2[607] za2[608] za2[609] za2[610] za2[611] za2[612] za2[613] za2[614] za2[615] za2[616] za2[617] za2[618] za2[619] za2[620] za2[621] za2[622] za2[623] za2[624] za2[625] za2[626] za2[627] za2[628] za2[629] za2[630] za2[631] za2[632] za2[633] za2[634] za2[635] za2[636] za2[637] za2[638] za2[639] za2[640] za2[641] za2[642] za2[643] za2[644] za2[645] za2[646] za2[647] za2[648] za2[649] za2[650] za2[651] za2[652] za2[653] za2[654] za2[655] za2[656] za2[657] za2[658] za2[659] za2[660] za2[661] za2[662] za2[663] za2[664] za2[665] za2[666] za2[667] za2[668] za2[669] za2[670] za2[671] za2[672] za2[673] za2[674] za2[675] za2[676] za2[677] za2[678] za2[679] za2[680] za2[681] za2[682] za2[683] za2[684] za2[685] za2[686] za2[687] za2[688] za2[689] za2[690] za2[691] za2[692] za2[693] za2[694] za2[695] za2[696] za2[697] za2[698] za2[699] za2[700] za2[701] za2[702] za2[703] za2[704] za2[705] za2[706] za2[707] za2[708] za2[709] za2[710] za2[711] za2[712] za2[713] za2[714] za2[715] za2[716] za2[717] za2[718] za2[719] za2[720] za2[721] za2[722] za2[723] za2[724] za2[725] za2[726] za2[727] za2[728] za2[729] za2[730] za2[731] za2[732] za2[733] za2[734] za2[735] za2[736] za2[737] za2[738] za2[739] za2[740] za2[741] za2[742] za2[743] za2[744] za2[745] za2[746] za2[747] za2[748] za2[749] za2[750] za2[751] za2[752] za2[753] za2[754] za2[755] za2[756] za2[757] za2[758] za2[759] za2[760] za2[761] za2[762] za2[763] za2[764] za2[765] za2[766] za2[767] za2[768] za2[769] za2[770] za2[771] za2[772] za2[773] za2[774] za2[775] za2[776] za2[777] za2[778] za2[779] za2[780] za2[781] za2[782] za2[783] za2[784] za2[785] za2[786] za2[787] za2[788] za2[789] za2[790] za2[791] za2[792] za2[793] za2[794] za2[795] za2[796] za2[797] za2[798] za2[799] za2[800] za2[801] za2[802] za2[803] za2[804] za2[805] za2[806] za2[807] za2[808] za2[809] za2[810] za2[811] za2[812] za2[813] za2[814] za2[815] za2[816] za2[817] za2[818] za2[819] za2[820] za2[821] za2[822] za2[823] za2[824] za2[825] za2[826] za2[827] za2[828] za2[829] za2[830] za2[831] za2[832] za2[833] za2[834] za2[835] za2[836] za2[837] za2[838] za2[839] za2[840] za2[841] za2[842] za2[843] za2[844] za2[845] za2[846] za2[847] za2[848] za2[849] za2[850] za2[851] za2[852] za2[853] za2[854] za2[855] za2[856] za2[857] za2[858] za2[859] za2[860] za2[861] za2[862] za2[863] za2[864] za2[865] za2[866] za2[867] za2[868] za2[869] za2[870] za2[871] za2[872] za2[873] za2[874] za2[875] za2[876] za2[877] za2[878] za2[879] za2[880] za2[881] za2[882] za2[883] za2[884] za2[885] za2[886] za2[887] za2[888] za2[889] za2[890] za2[891] za2[892] za2[893] za2[894] za2[895] za2[896] za2[897] za2[898] za2[899] za2[900] za2[901] za2[902] za2[903] za2[904] za2[905] za2[906] za2[907] za2[908] za2[909] za2[910] za2[911] za2[912] za2[913] za2[914] za2[915] za2[916] za2[917] za2[918] za2[919] za2[920] za2[921] za2[922] za2[923] za2[924] za2[925] za2[926] za2[927] za2[928] za2[929] za2[930] za2[931] za2[932] za2[933] za2[934] za2[935] za2[936] za2[937] za2[938] za2[939] za2[940] za2[941] za2[942] za2[943] za2[944] za2[945] za2[946] za2[947] za2[948] za2[949] za2[950] za2[951] za2[952] za2[953] za2[954] za2[955] za2[956] za2[957] za2[958] za2[959] za2[960] za2[961] za2[962] za2[963] za2[964] za2[965] za2[966] za2[967] za2[968] za2[969] za2[970] za2[971] za2[972] za2[973] za2[974] za2[975] za2[976] za2[977] za2[978] za2[979] za2[980] za2[981] za2[982] za2[983] za2[984] za2[985] za2[986] za2[987] za2[988] za2[989] za2[990] za2[991] za2[992] za2[993] za2[994] za2[995] za2[996] za2[997] za2[998] za2[999] za2[1000] za2[1001] za2[1002] za2[1003] za2[1004] za2[1005] za2[1006] za2[1007] za2[1008] za2[1009] za2[1010] za2[1011] za2[1012] za2[1013] za2[1014] za2[1015] za2[1016] za2[1017] za2[1018] za2[1019] za2[1020] za2[1021] za2[1022] za2[1023] za2[1024] za2[1025] za2[1026] za2[1027] za2[1028] za2[1029] za2[1030] za2[1031] za2[1032] za2[1033] za2[1034] za2[1035] za2[1036] za2[1037] za2[1038] za2[1039] za2[1040] za2[1041] za2[1042] za2[1043] za2[1044] za2[1045] za2[1046] za2[1047] za2[1048] za2[1049] za2[1050] za2[1051] za2[1052] za2[1053] za2[1054] za2[1055] za2[1056] za2[1057] za2[1058] za2[1059] za2[1060] za2[1061] za2[1062] za2[1063] za2[1064] za2[1065] za2[1066] za2[1067] za2[1068] za2[1069] za2[1070] za2[1071] za2[1072] za2[1073] za2[1074] za2[1075] za2[1076] za2[1077] za2[1078] za2[1079] za2[1080] za2[1081] za2[1082] za2[1083] za2[1084] za2[1085] za2[1086] za2[1087] za2[1088] za2[1089] za2[1090] za2[1091] za2[1092] za2[1093] za2[1094] za2[1095] za2[1096] za2[1097] za2[1098] za2[1099] za2[1100] za2[1101] za2[1102] za2[1103] za2[1104] za2[1105] za2[1106] za2[1107] za2[1108] za2[1109] za2[1110] za2[1111] za2[1112] za2[1113] za2[1114] za2[1115] za2[1116] za2[1117] za2[1118] za2[1119] za2[1120] za2[1121] za2[1122] za2[1123] za2[1124] za2[1125] za2[1126] za2[1127] za2[1128] za2[1129] za2[1130] za2[1131] za2[1132] za2[1133] za2[1134] za2[1135] za2[1136] za2[1137] za2[1138] za2[1139] za2[1140] za2[1141] za2[1142] za2[1143] za2[1144] za2[1145] za2[1146] za2[1147] za2[1148] za2[1149] za2[1150] za2[1151] za2[1152] za2[1153] za2[1154] za2[1155] za2[1156] za2[1157] za2[1158] za2[1159] za2[1160] za2[1161] za2[1162] za2[1163] za2[1164] za2[1165] za2[1166] za2[1167] za2[1168] za2[1169] za2[1170] za2[1171] za2[1172] za2[1173] za2[1174] za2[1175] za2[1176] za2[1177] za2[1178] za2[1179] za2[1180] za2[1181] za2[1182] za2[1183] za2[1184] za2[1185] za2[1186] za2[1187] za2[1188] za2[1189] za2[1190] za2[1191] za2[1192] za2[1193] za2[1194] za2[1195] za2[1196] za2[1197] za2[1198] za2[1199] za2[1200] za2[1201] za2[1202] za2[1203] za2[1204] za2[1205] za2[1206] za2[1207] za2[1208] za2[1209] za2[1210] za2[1211] za2[1212] za2[1213] za2[1214] za2[1215] za2[1216] za2[1217] za2[1218] za2[1219] za2[1220] za2[1221] za2[1222] za2[1223] za2[1224] za2[1225] za2[1226] za2[1227] za2[1228] za2[1229] za2[1230] za2[1231] za2[1232] za2[1233] za2[1234] za2[1235] za2[1236] za2[1237] za2[1238] za2[1239] za2[1240] za2[1241] za2[1242] za2[1243] za2[1244] za2[1245] za2[1246] za2[1247] za2[1248] za2[1249] za2[1250] za2[1251] za2[1252] za2[1253] za2[1254] za2[1255] za2[1256] za2[1257] za2[1258] za2[1259] za2[1260] za2[1261] za2[1262] za2[1263] za2[1264] za2[1265] za2[1266] za2[1267] za2[1268] za2[1269] za2[1270] za2[1271] za2[1272] za2[1273] za2[1274] za2[1275] za2[1276] za2[1277] za2[1278] za2[1279] za2[1280] za2[1281] za2[1282] za2[1283] za2[1284] za2[1285] za2[1286] za2[1287] za2[1288] za2[1289] za2[1290] za2[1291] za2[1292] za2[1293] za2[1294] za2[1295] za2[1296] za2[1297] za2[1298] za2[1299] za2[1300] za2[1301] za2[1302] za2[1303] za2[1304] za2[1305] za2[1306] za2[1307] za2[1308] za2[1309] za2[1310] za2[1311] za2[1312] za2[1313] za2[1314] za2[1315] za2[1316] za2[1317] za2[1318] za2[1319] za2[1320] za2[1321] za2[1322] za2[1323] za2[1324] za2[1325] za2[1326] za2[1327] za2[1328] za2[1329] za2[1330] za2[1331] za2[1332] za2[1333] za2[1334] za2[1335] za2[1336] za2[1337] za2[1338] za2[1339] za2[1340] za2[1341] za2[1342] za2[1343] za2[1344] za2[1345] za2[1346] za2[1347] za2[1348] za2[1349] za2[1350] za2[1351] za2[1352] za2[1353] za2[1354] za2[1355] za2[1356] za2[1357] za2[1358] za2[1359] za2[1360] za2[1361] za2[1362] za2[1363] za2[1364] za2[1365] za2[1366] za2[1367] za2[1368] za2[1369] za2[1370] za2[1371] za2[1372] za2[1373] za2[1374] za2[1375] za2[1376] za2[1377] za2[1378] za2[1379] za2[1380] za2[1381] za2[1382] za2[1383] za2[1384] za2[1385] za2[1386] za2[1387] za2[1388] za2[1389] za2[1390] za2[1391] za2[1392] za2[1393] za2[1394] za2[1395] za2[1396] za2[1397] za2[1398] za2[1399] za2[1400] za2[1401] za2[1402] za2[1403] za2[1404] za2[1405] za2[1406] za2[1407] za2[1408] za2[1409] za2[1410] za2[1411] za2[1412] za2[1413] za2[1414] za2[1415] za2[1416] za2[1417] za2[1418] za2[1419] za2[1420] za2[1421] za2[1422] za2[1423] za2[1424] za2[1425] za2[1426] za2[1427] za2[1428] za2[1429] za2[1430] za2[1431] za2[1432] za2[1433] za2[1434] za2[1435] za2[1436] za2[1437] za2[1438] za2[1439] za2[1440] za2[1441] za2[1442] za2[1443] za2[1444] za2[1445] za2[1446] za2[1447] za2[1448] za2[1449] za2[1450] za2[1451] za2[1452] za2[1453] za2[1454] za2[1455] za2[1456] za2[1457] za2[1458] za2[1459] za2[1460] za2[1461] za2[1462] za2[1463] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za3[506] za3[507] za3[508] za3[509] za3[510] za3[511] za3[512] za3[513] za3[514] za3[515] za3[516] za3[517] za3[518] za3[519] za3[520] za3[521] za3[522] za3[523] za3[524] za3[525] za3[526] za3[527] za3[528] za3[529] za3[530] za3[531] za3[532] za3[533] za3[534] za3[535] za3[536] za3[537] za3[538] za3[539] za3[540] za3[541] za3[542] za3[543] za3[544] za3[545] za3[546] za3[547] za3[548] za3[549] za3[550] za3[551] za3[552] za3[553] za3[554] za3[555] za3[556] za3[557] za3[558] za3[559] za3[560] za3[561] za3[562] za3[563] za3[564] za3[565] za3[566] za3[567] za3[568] za3[569] za3[570] za3[571] za3[572] za3[573] za3[574] za3[575] za3[576] za3[577] za3[578] za3[579] za3[580] za3[581] za3[582] za3[583] za3[584] za3[585] za3[586] za3[587] za3[588] za3[589] za3[590] za3[591] za3[592] za3[593] za3[594] za3[595] za3[596] za3[597] za3[598] za3[599] za3[600] za3[601] za3[602] za3[603] za3[604] za3[605] za3[606] za3[607] za3[608] za3[609] za3[610] za3[611] za3[612] za3[613] za3[614] za3[615] za3[616] za3[617] za3[618] za3[619] za3[620] za3[621] za3[622] za3[623] za3[624] za3[625] za3[626] za3[627] za3[628] za3[629] za3[630] za3[631] za3[632] za3[633] za3[634] za3[635] za3[636] za3[637] za3[638] za3[639] za3[640] za3[641] za3[642] za3[643] za3[644] za3[645] za3[646] za3[647] za3[648] za3[649] za3[650] za3[651] za3[652] za3[653] za3[654] za3[655] za3[656] za3[657] za3[658] za3[659] za3[660] za3[661] za3[662] za3[663] za3[664] za3[665] za3[666] za3[667] za3[668] za3[669] za3[670] za3[671] za3[672] za3[673] za3[674] za3[675] za3[676] za3[677] za3[678] za3[679] za3[680] za3[681] za3[682] za3[683] za3[684] za3[685] za3[686] za3[687] za3[688] za3[689] za3[690] za3[691] za3[692] za3[693] za3[694] za3[695] za3[696] za3[697] za3[698] za3[699] za3[700] za3[701] za3[702] za3[703] za3[704] za3[705] za3[706] za3[707] za3[708] za3[709] za3[710] za3[711] za3[712] za3[713] za3[714] za3[715] za3[716] za3[717] za3[718] za3[719] za3[720] za3[721] za3[722] za3[723] za3[724] za3[725] za3[726] za3[727] za3[728] za3[729] za3[730] za3[731] za3[732] za3[733] za3[734] za3[735] za3[736] za3[737] za3[738] za3[739] za3[740] za3[741] za3[742] za3[743] za3[744] za3[745] za3[746] za3[747] za3[748] za3[749] za3[750] za3[751] za3[752] za3[753] za3[754] za3[755] za3[756] za3[757] za3[758] za3[759] za3[760] za3[761] za3[762] za3[763] za3[764] za3[765] za3[766] za3[767] za3[768] za3[769] za3[770] za3[771] za3[772] za3[773] za3[774] za3[775] za3[776] za3[777] za3[778] za3[779] za3[780] za3[781] za3[782] za3[783] za3[784] za3[785] za3[786] za3[787] za3[788] za3[789] za3[790] za3[791] za3[792] za3[793] za3[794] za3[795] za3[796] za3[797] za3[798] za3[799] za3[800] za3[801] za3[802] za3[803] za3[804] za3[805] za3[806] za3[807] za3[808] za3[809] za3[810] za3[811] za3[812] za3[813] za3[814] za3[815] za3[816] za3[817] za3[818] za3[819] za3[820] za3[821] za3[822] za3[823] za3[824] za3[825] za3[826] za3[827] za3[828] za3[829] za3[830] za3[831] za3[832] za3[833] za3[834] za3[835] za3[836] za3[837] za3[838] za3[839] za3[840] za3[841] za3[842] za3[843] za3[844] za3[845] za3[846] za3[847] za3[848] za3[849] za3[850] za3[851] za3[852] za3[853] za3[854] za3[855] za3[856] za3[857] za3[858] za3[859] za3[860] za3[861] za3[862] za3[863] za3[864] za3[865] za3[866] za3[867] za3[868] za3[869] za3[870] za3[871] za3[872] za3[873] za3[874] za3[875] za3[876] za3[877] za3[878] za3[879] za3[880] za3[881] za3[882] za3[883] za3[884] za3[885] za3[886] za3[887] za3[888] za3[889] za3[890] za3[891] za3[892] za3[893] za3[894] za3[895] za3[896] za3[897] za3[898] za3[899] za3[900] za3[901] za3[902] za3[903] za3[904] za3[905] za3[906] za3[907] za3[908] za3[909] za3[910] za3[911] za3[912] za3[913] za3[914] za3[915] za3[916] za3[917] za3[918] za3[919] za3[920] za3[921] za3[922] za3[923] za3[924] za3[925] za3[926] za3[927] za3[928] za3[929] za3[930] za3[931] za3[932] za3[933] za3[934] za3[935] za3[936] za3[937] za3[938] za3[939] za3[940] za3[941] za3[942] za3[943] za3[944] za3[945] za3[946] za3[947] za3[948] za3[949] za3[950] za3[951] za3[952] za3[953] za3[954] za3[955] za3[956] za3[957] za3[958] za3[959] za3[960] za3[961] za3[962] za3[963] za3[964] za3[965] za3[966] za3[967] za3[968] za3[969] za3[970] za3[971] za3[972] za3[973] za3[974] za3[975] za3[976] za3[977] za3[978] za3[979] za3[980] za3[981] za3[982] za3[983] za3[984] za3[985] za3[986] za3[987] za3[988] za3[989] za3[990] za3[991] za3[992] za3[993] za3[994] za3[995] za3[996] za3[997] za3[998] za3[999] za3[1000] za3[1001] za3[1002] za3[1003] za3[1004] za3[1005] za3[1006] za3[1007] za3[1008] za3[1009] za3[1010] za3[1011] za3[1012] za3[1013] za3[1014] za3[1015] za3[1016] za3[1017] za3[1018] za3[1019] za3[1020] za3[1021] za3[1022] za3[1023] za3[1024] za3[1025] za3[1026] za3[1027] za3[1028] za3[1029] za3[1030] za3[1031] za3[1032] za3[1033] za3[1034] za3[1035] za3[1036] za3[1037] za3[1038] za3[1039] za3[1040] za3[1041] za3[1042] za3[1043] za3[1044] za3[1045] za3[1046] za3[1047] za3[1048] za3[1049] za3[1050] za3[1051] za3[1052] za3[1053] za3[1054] za3[1055] za3[1056] za3[1057] za3[1058] za3[1059] za3[1060] za3[1061] za3[1062] za3[1063] za3[1064] za3[1065] za3[1066] za3[1067] za3[1068] za3[1069] za3[1070] za3[1071] za3[1072] za3[1073] za3[1074] za3[1075] za3[1076] za3[1077] za3[1078] za3[1079] za3[1080] za3[1081] za3[1082] za3[1083] za3[1084] za3[1085] za3[1086] za3[1087] za3[1088] za3[1089] za3[1090] za3[1091] za3[1092] za3[1093] za3[1094] za3[1095] za3[1096] za3[1097] za3[1098] za3[1099] za3[1100] za3[1101] za3[1102] za3[1103] za3[1104] za3[1105] za3[1106] za3[1107] za3[1108] za3[1109] za3[1110] za3[1111] za3[1112] za3[1113] za3[1114] za3[1115] za3[1116] za3[1117] za3[1118] za3[1119] za3[1120] za3[1121] za3[1122] za3[1123] za3[1124] za3[1125] za3[1126] za3[1127] za3[1128] za3[1129] za3[1130] za3[1131] za3[1132] za3[1133] za3[1134] za3[1135] za3[1136] za3[1137] za3[1138] za3[1139] za3[1140] za3[1141] za3[1142] za3[1143] za3[1144] za3[1145] za3[1146] za3[1147] za3[1148] za3[1149] za3[1150] za3[1151] za3[1152] za3[1153] za3[1154] za3[1155] za3[1156] za3[1157] za3[1158] za3[1159] za3[1160] za3[1161] za3[1162] za3[1163] za3[1164] za3[1165] za3[1166] za3[1167] za3[1168] za3[1169] za3[1170] za3[1171] za3[1172] za3[1173] za3[1174] za3[1175] za3[1176] za3[1177] za3[1178] za3[1179] za3[1180] za3[1181] za3[1182] za3[1183] za3[1184] za3[1185] za3[1186] za3[1187] za3[1188] za3[1189] za3[1190] za3[1191] za3[1192] za3[1193] za3[1194] za3[1195] za3[1196] za3[1197] za3[1198] za3[1199] za3[1200] za3[1201] za3[1202] za3[1203] za3[1204] za3[1205] za3[1206] za3[1207] za3[1208] za3[1209] za3[1210] za3[1211] za3[1212] za3[1213] za3[1214] za3[1215] za3[1216] za3[1217] za3[1218] za3[1219] za3[1220] za3[1221] za3[1222] za3[1223] za3[1224] za3[1225] za3[1226] za3[1227] za3[1228] za3[1229] za3[1230] za3[1231] za3[1232] za3[1233] za3[1234] za3[1235] za3[1236] za3[1237] za3[1238] za3[1239] za3[1240] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533] za4[534] za4[535] za4[536] za4[537] za4[538] za4[539] za4[540] za4[541] za4[542] za4[543] za4[544] za4[545] za4[546] za4[547] za4[548] za4[549] za4[550] za4[551] za4[552] za4[553] za4[554] za4[555] za4[556] za4[557] za4[558] za4[559] za4[560] za4[561] za4[562] za4[563] za4[564] za4[565] za4[566] za4[567] za4[568] za4[569] za4[570] za4[571] za4[572] za4[573] za4[574] za4[575] za4[576] za4[577] za4[578] za4[579] za4[580] za4[581] za4[582] za4[583] za4[584] za4[585] za4[586] za4[587] za4[588] za4[589] za4[590] za4[591] za4[592] za4[593] za4[594] za4[595] za4[596] za4[597] za4[598] za4[599] za4[600] za4[601] za4[602] za4[603] za4[604] za4[605] za4[606] za4[607] za4[608] za4[609] za4[610] za4[611] za4[612] za4[613] za4[614] za4[615] za4[616] za4[617] za4[618] za4[619] za4[620] za4[621] za4[622] za4[623] za4[624] za4[625] za4[626] za4[627] za4[628] za4[629] za4[630] za4[631] za4[632] za4[633] za4[634] za4[635] za4[636] za4[637] za4[638] za4[639] za4[640] za4[641] za4[642] za4[643] za4[644] za4[645] za4[646] za4[647] za4[648] za4[649] za4[650] za4[651] za4[652] za4[653] za4[654] za4[655] za4[656] za4[657] za4[658] za4[659] za4[660] za4[661] za4[662] za4[663] za4[664] za4[665] za4[666] za4[667] za4[668] za4[669] za4[670] za4[671] za4[672] za4[673] za4[674] za4[675] za4[676] za4[677] za4[678] za4[679] za4[680] za4[681] za4[682] za4[683] za4[684] za4[685] za4[686] za4[687] za4[688] za4[689] za4[690] za4[691] za4[692] za4[693] za4[694] za4[695] za4[696] za4[697] za4[698] za4[699] za4[700] za4[701] za4[702] za4[703] za4[704] za4[705] za4[706] za4[707] za4[708] za4[709] za4[710] za4[711] za4[712] za4[713] za4[714] za4[715] za4[716] za4[717] za4[718] za4[719] za4[720] za4[721] za4[722] za4[723] za4[724] za4[725] za4[726] za4[727] za4[728] za4[729] za4[730] za4[731] za4[732] za4[733] za4[734] za4[735] za4[736] za4[737] za4[738] za4[739] za4[740] za4[741] za4[742] za4[743] za4[744] za4[745] za4[746] za4[747] za4[748] za4[749] za4[750] za4[751] za4[752] za4[753] za4[754] za4[755] za4[756] za4[757] za4[758] za4[759] za4[760] za4[761] za4[762] za4[763] za4[764] za4[765] za4[766] za4[767] za4[768] za4[769] za4[770] za4[771] za4[772] za4[773] za4[774] za4[775] za4[776] za4[777] za4[778] za4[779] za4[780] za4[781] za4[782] za4[783] za4[784] za4[785] za4[786] za4[787] za4[788] za4[789] za4[790] za4[791] za4[792] za4[793] za4[794] za4[795] za4[796] za4[797] za4[798] za4[799] za4[800] za4[801] za4[802] za4[803] za4[804] za4[805] za4[806] za4[807] za4[808] za4[809] za4[810] za4[811] za4[812] za4[813] za4[814] za4[815] za4[816] za4[817] za4[818] za4[819] za4[820] za4[821] za4[822] za4[823] za4[824] za4[825] za4[826] za4[827] za4[828] za4[829] za4[830] za4[831] za4[832] za4[833] za4[834] za4[835] za4[836] za4[837] za4[838] za4[839] za4[840] za4[841] za4[842] za4[843] za4[844] za4[845] za4[846] za4[847] za4[848] za4[849] za4[850] za4[851] za4[852] za4[853] za4[854] za4[855] za4[856] za4[857] za4[858] za4[859] za4[860] za4[861] za4[862] za4[863] za4[864] za4[865] za4[866] za4[867] za4[868] za4[869] za4[870] za4[871] za4[872] za4[873] za4[874] za4[875] za4[876] za4[877] za4[878] za4[879] za4[880] za4[881] za4[882] za4[883] za4[884] za4[885] za4[886] za4[887] za4[888] za4[889] za4[890] za4[891] za4[892] za4[893] za4[894] za4[895] za4[896] za4[897] za4[898] za4[899] za4[900] za4[901] za4[902] za4[903] za4[904] za4[905] za4[906] za4[907] za4[908] za4[909] za4[910] za4[911] za4[912] za4[913] za4[914] za4[915] za4[916] za4[917] za4[918] za4[919] za4[920] za4[921] za4[922] za4[923] za4[924] za4[925] za4[926] za4[927] za4[928] za4[929] za4[930] za4[931] za4[932] za4[933] za4[934] za4[935] za4[936] za4[937] za4[938] za4[939] za4[940] za4[941] za4[942] za4[943] za4[944] za4[945] za4[946] za4[947] za4[948] za4[949] za4[950] za4[951] za4[952] za4[953] za4[954] za4[955] za4[956] za4[957] za4[958] za4[959] za4[960] za4[961] za4[962] za4[963] za4[964] za4[965] za4[966] za4[967] za4[968] za4[969] za4[970] za4[971] za4[972] za4[973] za4[974] za4[975] za4[976] za4[977] za4[978] za4[979] za4[980] za4[981] za4[982] za4[983] za4[984] za4[985] za4[986] za4[987] za4[988] za4[989] za4[990] za4[991] za4[992] za4[993] za4[994] za4[995] za4[996] za4[997] za4[998] za4[999] za4[1000] za4[1001] za4[1002] za4[1003] za4[1004] za4[1005] za4[1006] za4[1007] za4[1008] za4[1009] za4[1010] za4[1011] za4[1012] za4[1013] za4[1014] za4[1015] za4[1016] za4[1017] za4[1018] za4[1019] za4[1020] za4[1021] za4[1022] za4[1023] za4[1024] za4[1025] za4[1026] za4[1027] za4[1028] za4[1029] za4[1030] za4[1031] za4[1032] za4[1033] za4[1034] za4[1035] za4[1036] za4[1037] za4[1038] za4[1039] za4[1040] za4[1041] za4[1042] za4[1043] za4[1044] za4[1045] za4[1046] za4[1047] za4[1048] za4[1049] za4[1050] za4[1051] za4[1052] za4[1053] za4[1054] za4[1055] za4[1056] za4[1057] za4[1058] za4[1059] za4[1060] za4[1061] za4[1062] za4[1063] za4[1064] za4[1065] za4[1066] za4[1067] za4[1068] za4[1069] za4[1070] za4[1071] za4[1072] za4[1073] za4[1074] za4[1075] za4[1076] za4[1077] za4[1078] za4[1079] za4[1080] za4[1081] za4[1082] za4[1083] za4[1084] za4[1085] za4[1086] za4[1087] za4[1088] za4[1089] za4[1090] za4[1091] za4[1092] za4[1093] za4[1094] za4[1095] za4[1096] za4[1097] za4[1098] za4[1099] za4[1100] za4[1101] za4[1102] za4[1103] za4[1104] za4[1105] za4[1106] za4[1107] za4[1108] za4[1109] za4[1110] za4[1111] za4[1112] za4[1113] za4[1114] za4[1115] za4[1116] za4[1117] za4[1118] za4[1119] za4[1120] za4[1121] za4[1122] za4[1123] za4[1124] za4[1125] za4[1126] za4[1127] za4[1128] za4[1129] za4[1130] za4[1131] za4[1132] za4[1133] za4[1134] za4[1135] za4[1136] za4[1137] za4[1138] za4[1139] za4[1140] za4[1141] za4[1142] za4[1143] za4[1144] za4[1145] za4[1146] za4[1147] za4[1148] za4[1149] za4[1150] za4[1151] za4[1152] za4[1153] za4[1154] za4[1155] za4[1156] za4[1157] za4[1158] za4[1159] za4[1160] za4[1161] za4[1162] za4[1163] za4[1164] za4[1165] za4[1166] za4[1167] za4[1168] za4[1169] za4[1170] za4[1171] za4[1172] za4[1173] za4[1174] za4[1175] za4[1176] za4[1177] za4[1178] za4[1179] za4[1180] za4[1181] za4[1182] za4[1183] za4[1184] za4[1185] za4[1186] za4[1187] za4[1188] za4[1189] za4[1190] za4[1191] za4[1192] za4[1193] za4[1194] za4[1195] za4[1196] za4[1197] za4[1198] za4[1199] za4[1200] za4[1201] za4[1202] za4[1203] za4[1204] za4[1205] za4[1206] za4[1207] za4[1208] za4[1209] za4[1210] za4[1211] za4[1212] za4[1213] za4[1214] za4[1215] za4[1216] za4[1217] za4[1218] za4[1219] za4[1220] za4[1221] za4[1222] za4[1223] za4[1224] za4[1225] za4[1226] za4[1227] za4[1228] za4[1229] za4[1230] za4[1231] za4[1232] za4[1233] za4[1234] za4[1235] za4[1236] za4[1237] za4[1238] za4[1239] za4[1240] za4[1241] za4[1242] za4[1243] za4[1244] za4[1245] za4[1246] za4[1247] za4[1248] za4[1249] za4[1250] za4[1251] za4[1252] za4[1253] za4[1254] za4[1255] za4[1256] za4[1257] za4[1258] za4[1259] za4[1260] za4[1261] za4[1262] za4[1263] za4[1264] za4[1265] za4[1266] za4[1267] za4[1268] za4[1269] za4[1270] za4[1271] za4[1272] za4[1273] za4[1274] za4[1275] za4[1276] za4[1277] za4[1278] za4[1279] za4[1280] za4[1281] za4[1282] za4[1283] za4[1284] za4[1285] za4[1286] za4[1287] za4[1288] za4[1289] za4[1290] za4[1291] za4[1292] za4[1293] za4[1294] za4[1295] za4[1296] za4[1297] za4[1298] za4[1299] za4[1300] za4[1301] za4[1302] za4[1303] za4[1304] za4[1305] za4[1306] za4[1307] za4[1308] za4[1309] za4[1310] za4[1311] za4[1312] za4[1313] za4[1314] za4[1315] za4[1316] za4[1317] za4[1318] za4[1319] za4[1320] za4[1321] za4[1322] za4[1323] za4[1324] za4[1325] za4[1326] za4[1327] za4[1328] za4[1329] za4[1330] za4[1331] za4[1332] za4[1333] za4[1334] za4[1335] za4[1336] za4[1337] za4[1338] za4[1339] za4[1340] za4[1341] za4[1342] za4[1343] za4[1344] za4[1345] za4[1346] za4[1347] za4[1348] za4[1349] za4[1350] za4[1351] za4[1352] za4[1353] za4[1354] za4[1355] za4[1356] za4[1357] za4[1358] za4[1359] za4[1360] za4[1361] za4[1362] za4[1363] za4[1364] za4[1365] za4[1366] za4[1367] za4[1368] za4[1369] za4[1370] za4[1371] za4[1372] za4[1373] za4[1374] za4[1375] za4[1376] za4[1377] za4[1378] za4[1379] za4[1380] za4[1381] za4[1382] za4[1383] za4[1384] za4[1385] za4[1386] za4[1387] za4[1388] za4[1389] za4[1390] za4[1391] za4[1392] za4[1393] za4[1394] za4[1395] za4[1396] za4[1397] za4[1398] za4[1399] za4[1400] za4[1401] za4[1402] za4[1403] za4[1404] za4[1405] za4[1406] za4[1407] za4[1408] za4[1409] za4[1410] za4[1411] za4[1412] za4[1413] za4[1414] za4[1415] za4[1416] za4[1417] za4[1418] za4[1419] za4[1420] za4[1421] za4[1422] za4[1423] za4[1424] za4[1425] za4[1426] za4[1427] za4[1428] za4[1429] za4[1430] za4[1431] za4[1432] za4[1433] za4[1434] za4[1435] za4[1436] za4[1437] za4[1438] za4[1439] za4[1440] za4[1441] za4[1442] za4[1443] za4[1444] za4[1445] za4[1446] za4[1447] za4[1448] za4[1449] za4[1450] za4[1451] za4[1452] za4[1453] za4[1454] za4[1455] za4[1456] za4[1457] za4[1458] za4[1459] za4[1460] za4[1461] za4[1462] za4[1463] za4[1464] za4[1465] za4[1466] za4[1467] za4[1468] za4[1469] za4[1470] za4[1471] za4[1472] za4[1473] za4[1474] za4[1475] za4[1476] za4[1477] za4[1478] za4[1479] za4[1480] za4[1481] za4[1482] za4[1483] za4[1484] za4[1485] za4[1486] za4[1487] za4[1488] za4[1489] za4[1490] za4[1491] za4[1492] za4[1493] za4[1494] za4[1495] </list>
2519.82/2520.01	v   <values> 736 498 268 30 254 16 736 498 16 254 16 254 254 16 16 254 16 254 268 30 268 30 750 512 16 254 764 526 792 554 442 680 30 268 736 498 30 268 414 652 352 114 268 30 268 30 268 30 512 750 338 100 414 652 254 16 414 652 736 498 310 72 16 254 498 736 338 100 414 652 778 540 736 498 268 30 268 30 254 16 722 484 254 16 778 540 498 736 652 414 428 666 540 778 254 16 498 736 442 680 254 16 156 394 100 338 324 86 554 792 526 764 708 470 254 16 254 16 16 254 526 764 296 58 254 16 16 254 16 254 254 16 652 414 30 268 778 540 254 16 380 142 16 254 254 16 16 254 254 16 254 16 72 310 16 254 16 254 750 512 16 254 156 394 254 16 254 16 16 254 414 652 30 268 310 72 30 268 254 16 16 254 16 254 254 16 652 414 254 16 750 512 254 16 352 114 512 750 30 268 16 254 16 254 16 254 254 16 540 778 470 708 498 736 254 16 30 268 254 16 16 254 414 652 736 498 16 254 324 86 380 142 268 30 428 666 268 30 254 16 414 652 254 16 512 750 254 16 694 456 408 170 16 254 16 254 254 16 652 414 254 16 792 554 58 296 498 736 254 16 16 254 254 16 16 254 16 254 254 16 414 652 736 498 750 512 16 254 16 254 414 652 478 240 58 296 16 254 72 310 680 442 30 268 254 16 254 16 778 540 16 254 456 694 254 16 414 652 778 540 652 414 254 16 652 414 792 554 254 16 254 16 16 254 778 540 16 254 652 414 652 414 414 652 254 16 540 778 30 268 526 764 30 268 512 750 708 470 666 428 30 268 268 30 86 324 268 30 268 30 16 254 680 442 268 30 30 268 338 100 30 268 58 296 512 750 44 282 254 16 722 484 268 30 58 296 254 16 254 16 470 708 268 30 268 30 254 16 666 428 30 268 268 30 30 268 338 100 100 338 100 338 30 268 456 694 722 484 778 540 750 512 394 156 540 778 268 30 428 666 666 428 764 526 268 30 254 16 30 268 764 526 16 254 722 484 324 86 30 268 666 428 750 512 666 428 282 44 666 428 254 16 30 268 268 30 268 30 296 58 680 442 16 254 666 428 764 526 428 666 128 366 680 442 666 428 254 16 16 254 16 254 254 16 30 268 296 58 44 282 778 540 268 30 338 100 666 428 268 30 666 428 30 268 442 680 666 428 708 470 254 16 324 86 540 778 254 16 16 254 442 680 792 554 778 540 30 268 310 72 722 484 792 554 30 268 750 512 428 666 268 30 268 30 30 268 30 268 30 268 30 268 736 498 764 526 652 414 16 254 16 254 268 30 254 16 254 16 16 254 428 666 30 268 666 428 442 680 30 268 268 30 268 30 268 30 708 470 512 750 268 30 268 30 268 30 764 526 268 30 268 30 722 484 268 30 666 428 764 526 30 268 100 338 268 30 414 652 30 268 666 428 282 44 128 366 30 268 16 254 254 16 736 498 268 30 268 30 254 16 456 694 254 16 254 16 254 16 44 282 380 142 254 16 414 652 268 30 100 338 666 428 268 30 428 666 30 268 442 680 268 30 428 666 254 16 652 414 254 16 254 16 778 540 16 254 414 652 254 16 254 16 254 16 16 254 30 268 16 254 30 268 16 254 16 254 16 254 764 526 30 268 296 58 512 750 352 114 30 268 456 694 30 268 268 30 30 268 268 30 352 114 296 58 380 142 268 30 722 484 30 268 30 268 442 680 16 254 30 268 254 16 296 58 722 484 254 16 16 254 254 16 30 268 254 16 666 428 296 58 540 778 268 30 722 484 30 268 442 680 268 30 764 526 30 268 764 526 16 254 268 30 352 114 736 498 268 30 268 30 680 442 268 30 30 268 484 722 16 254 708 470 16 254 736 498 30 268 736 498 652 414 526 764 72 310 414 652 428 666 58 296 282 44 58 296 254 16 498 736 652 414 254 16 128 366 268 30 16 254 128 366 470 708 428 666 352 114 30 268 708 470 324 86 268 30 100 338 512 750 86 324 428 666 442 680 666 428 30 268 470 708 366 128 540 778 268 30 254 16 16 254 722 484 100 338 4 4 4 4 0 4 4 0 4 4 0 4 0 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 4 0 0 4 0 0 4 4 4 4 4 4 0 4 0 4 4 4 4 0 4 4 4 4 0 0 4 4 4 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 4 4 0 0 0 0 0 0 4 0 0 4 0 4 0 4 0 0 0 0 0 0 0 0 4 4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 4 0 4 4 4 0 4 4 4 0 4 0 0 4 4 0 0 4 4 4 4 0 4 4 0 4 4 4 4 0 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 4 4 0 4 0 4 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 4 4 0 4 4 4 0 4 4 0 4 0 4 0 0 4 4 4 0 0 0 0 0 4 4 4 0 0 0 0 4 4 0 4 4 0 0 0 0 0 4 0 4 0 4 0 4 0 4 0 0 0 4 0 0 0 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 4 0 4 4 4 4 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 4 0 4 0 0 0 4 0 0 0 4 0 4 4 0 0 4 0 4 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 4 4 4 4 0 0 0 0 0 0 4 0 4 4 0 4 0 4 4 0 4 0 0 0 0 4 4 0 0 0 0 0 0 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 4 0 4 0 4 4 4 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 4 0 0 0 0 0 0 4 4 4 4 0 4 0 4 0 4 0 0 4 4 4 0 4 0 0 4 0 0 0 4 4 0 4 0 0 4 0 4 4 4 4 0 4 0 4 0 0 4 4 4 4 0 4 0 4 4 0 4 4 0 4 0 0 0 0 4 0 4 4 4 4 4 4 4 4 4 0 0 0 0 0 0 4 0 4 4 4 0 4 4 4 4 0 4 0 0 0 0 0 0 4 4 4 4 4 4 4 0 0 4 0 0 4 4 4 0 4 4 4 0 0 4 4 4 4 0 4 4 4 4 4 0 0 0 0 4 4 0 0 0 4 4 0 4 0 4 4 0 0 0 0 0 0 0 0 0 0 0 0 4 4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 4 0 0 0 0 4 0 4 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 4 0 4 4 4 4 0 4 0 4 4 4 4 0 4 4 0 4 0 4 4 0 0 0 0 0 0 0 0 0 0 0 4 0 0 4 0 0 0 0 4 4 0 4 4 0 0 0 0 0 0 0 0 0 0 0 4 0 4 0 4 0 0 0 0 0 0 0 0 0 0 0 4 4 0 0 0 4 4 0 4 4 4 4 4 4 4 4 0 0 0 4 4 0 4 0 0 0 0 0 0 0 4 4 4 0 4 0 0 4 0 0 4 0 4 0 0 0 0 0 4 4 4 4 4 4 0 0 4 0 0 0 0 0 0 4 4 0 0 0 0 0 0 0 0 0 4 4 4 4 0 4 0 0 4 0 0 4 4 4 0 4 4 0 0 0 4 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 4 4 0 4 4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 4 4 4 4 4 0 0 0 0 4 0 0 0 0 0 4 0 4 0 0 0 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 4 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 3 3 0 3 3 3 0 3 0 3 3 0 3 3 3 0 0 0 0 0 0 0 0 0 0 0 3 3 0 0 3 3 0 0 0 0 3 3 0 0 3 0 0 0 3 0 3 3 0 3 0 3 3 0 3 0 3 0 3 3 3 3 3 0 3 0 0 3 3 0 3 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 3 3 0 3 3 0 0 3 3 0 0 0 3 0 3 3 0 3 3 3 0 3 3 0 3 3 3 3 0 3 3 0 3 3 3 3 0 0 0 3 0 0 0 0 0 3 0 3 3 0 0 0 0 0 0 0 0 3 3 3 3 0 0 0 0 0 3 0 0 3 3 0 3 0 0 0 0 0 0 0 0 0 0 3 3 0 3 3 3 0 0 0 0 0 0 0 0 3 0 0 3 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 3 3 3 0 3 3 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 0 3 3 3 3 3 3 3 0 3 3 3 3 3 3 0 3 0 3 0 3 3 0 3 0 0 0 0 3 3 3 3 0 0 0 0 3 3 3 3 3 3 3 0 0 0 0 3 3 0 3 0 3 0 3 0 0 0 0 3 0 0 0 0 3 3 3 0 3 0 3 3 3 3 3 0 3 3 0 3 3 0 0 0 3 0 0 0 0 3 3 0 0 3 0 0 3 3 0 3 0 0 3 0 0 0 0 3 3 3 3 3 3 0 0 3 0 0 0 3 3 0 3 3 0 3 3 3 3 3 3 3 0 0 0 0 3 3 3 0 3 0 0 3 0 3 0 3 0 3 0 0 3 3 3 0 3 3 0 0 0 3 3 3 3 3 3 3 0 3 3 0 3 3 3 0 0 3 0 0 0 3 0 3 3 3 3 3 3 3 0 0 0 3 3 0 3 3 0 3 3 0 0 0 3 3 0 0 3 0 3 3 0 0 0 0 3 0 0 0 0 0 3 3 3 3 0 0 0 3 3 3 3 3 3 3 0 3 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 3 0 0 0 0 3 3 0 0 0 3 3 0 0 3 0 0 3 3 0 3 3 0 0 3 3 0 0 0 0 0 0 0 3 3 0 3 0 3 0 0 0 3 0 0 0 0 3 0 0 3 0 0 0 3 0 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 3 0 3 0 3 0 3 3 0 3 0 0 3 0 3 0 0 3 3 3 0 3 0 0 0 0 0 0 0 0 3 0 0 0 3 0 0 0 0 3 0 3 3 0 0 3 3 0 3 3 0 3 0 3 3 0 0 0 0 0 0 0 0 0 0 3 3 0 3 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 3 0 0 0 0 3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 3 0 3 3 0 0 3 3 0 0 0 3 3 0 0 3 0 0 3 0 0 3 0 0 0 0 0 0 3 0 0 3 0 0 0 0 3 0 3 0 0 0 0 3 3 3 0 3 3 3 3 0 0 3 0 0 0 0 0 0 0 0 3 3 3 0 0 0 0 3 3 0 3 0 0 0 0 0 0 0 3 0 3 3 0 3 0 3 0 0 0 3 0 3 0 3 3 0 3 0 3 0 0 3 3 0 0 3 0 0 3 0 3 3 0 3 3 3 3 0 3 3 3 3 0 3 3 3 0 0 3 3 3 3 3 3 0 3 0 3 0 0 0 3 3 0 3 0 0 0 3 3 3 0 3 0 0 0 0 0 0 3 0 3 0 0 3 0 0 0 0 0 3 0 0 0 3 3 0 0 0 0 0 3 0 0 3 3 3 0 0 0 0 0 3 0 0 0 3 3 0 0 0 3 0 0 0 3 0 3 0 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 3 0 3 0 0 0 3 3 0 0 0 0 0 3 0 0 0 3 3 0 0 3 0 0 0 0 3 3 0 0 3 3 0 0 0 3 3 3 0 0 0 3 0 3 0 0 0 3 0 0 0 3 0 0 0 0 0 0 0 0 3 3 0 0 0 0 0 0 0 3 0 0 3 0 0 0 0 3 3 0 0 0 3 3 3 3 0 3 3 3 3 3 3 3 0 0 0 0 3 3 3 3 0 3 3 3 0 0 3 0 0 0 0 3 0 0 0 3 0 3 0 3 3 0 0 3 3 0 3 0 0 0 3 0 3 0 3 0 3 3 3 3 0 0 0 0 0 3 3 3 0 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 0 3 0 3 3 0 0 3 0 0 0 0 0 0 0 0 0 0 3 3 0 0 0 0 0 0 3 3 3 3 3 3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 3 3 3 0 0 0 0 0 0 0 0 0 0 0 3 3 3 0 3 0 0 0 0 3 0 0 0 0 0 0 0 3 0 3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 3 3 0 3 0 3 3 0 0 3 0 0 0 0 0 0 0 3 3 0 3 3 0 3 3 3 0 3 3 3 0 3 3 0 0 3 0 3 0 0 0 3 3 0 3 3 3 3 3 0 0 0 0 0 3 0 3 3 3 3 3 0 0 0 3 3 3 3 0 3 0 0 0 0 0 0 3 0 0 3 0 3 0 0 3 0 0 3 0 0 0 3 3 3 0 0 3 0 0 0 0 0 0 3 0 3 3 3 0 3 3 3 0 0 3 3 0 3 0 0 0 0 0 0 0 0 0 3 0 3 0 0 3 0 0 0 0 3 0 3 3 0 3 0 3 0 0 0 0 0 0 0 3 0 3 0 0 3 0 0 0 0 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 2 0 0 0 0 2 2 0 0 2 2 0 0 0 0 0 2 2 0 0 0 0 2 0 2 0 2 2 2 2 2 2 2 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 0 0 2 2 2 2 0 2 0 0 0 0 0 0 0 2 2 2 2 2 0 2 2 2 0 2 2 0 2 0 2 2 2 2 0 0 2 2 2 2 0 0 2 0 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 2 2 2 2 0 0 0 0 2 0 0 0 0 2 0 2 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 2 2 0 2 0 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 2 0 2 0 2 2 2 0 2 2 2 0 2 2 0 2 0 0 2 0 2 2 0 0 0 0 0 2 0 2 2 0 2 2 0 0 0 2 2 0 2 0 0 0 2 2 2 2 0 2 2 0 0 2 0 2 2 0 0 2 0 0 2 2 2 0 0 2 2 0 2 0 0 0 0 0 0 0 2 2 2 0 2 2 0 0 0 0 0 2 2 2 0 0 0 0 0 0 2 2 2 2 0 2 2 2 2 2 2 2 0 0 2 2 2 2 2 0 2 2 2 0 2 0 2 0 0 2 2 2 0 0 0 2 0 2 2 0 0 2 2 0 0 0 0 0 2 2 0 2 2 0 0 2 0 2 0 0 0 0 2 2 0 2 2 0 0 2 0 0 2 0 0 2 0 0 0 2 2 2 2 2 0 2 0 0 0 2 0 2 2 0 2 0 0 0 0 2 0 2 0 0 2 2 0 0 0 0 0 0 0 0 2 0 0 0 2 2 0 2 0 0 0 2 0 0 0 0 0 2 2 2 2 2 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 2 0 0 0 0 0 0 2 0 2 0 2 2 2 2 0 0 0 0 2 0 2 0 2 0 0 0 0 2 0 0 0 0 0 2 0 2 2 2 0 2 0 2 2 2 2 2 0 2 0 0 0 0 0 2 2 2 0 2 0 2 2 0 0 2 0 0 2 2 0 0 0 0 0 0 2 2 2 2 2 0 2 2 0 0 0 0 0 2 0 0 2 0 2 0 2 2 2 2 0 0 0 0 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 2 2 2 0 2 2 0 2 0 0 0 0 0 0 0 0 2 0 2 0 0 0 2 2 2 0 0 2 2 0 2 0 0 0 0 0 0 0 0 2 2 0 0 2 0 0 2 2 0 0 0 0 0 0 2 0 0 0 2 2 2 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 2 2 0 0 2 2 2 2 0 2 0 2 2 2 2 0 2 2 2 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 2 0 0 0 0 0 0 2 0 0 0 0 2 2 0 0 0 0 0 0 2 0 2 2 2 0 2 0 0 2 2 2 0 0 0 2 0 0 2 2 2 2 0 0 0 0 2 2 2 2 2 2 2 0 0 0 0 0 2 0 0 0 0 2 2 2 0 0 2 0 0 0 0 0 2 2 0 2 0 0 0 0 0 2 0 0 2 0 0 2 0 0 2 0 0 2 0 0 0 0 0 0 0 2 0 0 2 0 2 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 2 2 0 0 0 0 0 0 2 0 0 2 2 2 2 2 0 0 2 0 0 2 0 2 0 0 0 0 0 0 2 2 2 2 2 0 0 0 2 2 0 2 0 2 0 2 0 0 2 2 0 0 0 2 0 0 2 0 2 2 0 0 0 0 2 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 2 0 2 0 0 0 0 2 2 2 0 2 0 2 2 2 0 2 2 2 0 2 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 2 2 2 2 0 2 0 0 2 2 0 2 2 2 0 2 2 2 2 2 2 2 0 2 2 2 2 0 0 0 0 0 2 0 2 0 2 2 2 2 0 0 2 0 0 0 2 0 0 2 2 0 2 2 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 2 0 0 2 2 0 0 2 2 2 2 2 2 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 2 0 2 0 2 2 0 2 2 2 2 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 2 0 0 0 2 2 2 0 0 0 0 0 2 2 2 0 2 2 2 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 1 1 0 0 1 1 0 1 0 1 1 1 0 0 1 0 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 1 1 1 0 1 0 0 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 1 0 0 0 0 1 1 1 1 0 0 0 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 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 1 0 0 0 1 1 0 0 0 0 1 1 0 1 1 0 0 0 1 1 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 1 1 1 1 0 0 1 1 1 0 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 1 1 0 0 0 1 0 0 0 1 1 1 0 1 0 1 0 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 1 1 0 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 0 1 1 1 0 1 1 0 0 1 0 1 1 1 1 0 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 1 1 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 1 1 1 0 1 0 0 1 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 1 0 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 1 1 0 0 0 0 1 0 0 1 1 1 0 1 1 0 1 0 1 1 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 1 1 1 0 1 1 0 1 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 1 0 1 1 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 1 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
2519.82/2520.01	v </instantiation>

Verifier Data 

OK	4433

Watcher Data 

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 (1111 MiB free)
  memory of node 1: 16384 MiB (2763 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304067-1534002296/watcher-4304067-1534002296 -o /tmp/evaluation-result-4304067-1534002296/solver-4304067-1534002296 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1533992207-26951 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 653783281 HOME/instance-4304067-1534002296.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=27920, runsolver pid=27917
Current StackSize limit: 8192 KiB


[startup+0.100153 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 27921
/proc/meminfo: memFree=3955280/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=44344 memory=19008 CPUtime=0.1 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 5121 0 0 0 10 0 0 0 20 0 1 0 217792766 45408256 4752 33554432000 4194304 7499544 140730996670176 140730996667176 140018536124155 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 11086 4752 701 807 0 4077 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44344 KiB
Current children cumulated memory: 19008 KiB

[startup+0.20972 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 27921
/proc/meminfo: memFree=3950816/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=45844 memory=20324 CPUtime=0.21 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 5465 0 0 0 21 0 0 0 20 0 1 0 217792766 46944256 5081 33554432000 4194304 7499544 140730996670176 140730996667176 140018529930213 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 11461 5081 702 807 0 4452 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 45844 KiB
Current children cumulated memory: 20324 KiB

[startup+0.309382 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 27921
/proc/meminfo: memFree=3948288/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=48236 memory=22700 CPUtime=0.31 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 6062 0 0 0 31 0 0 0 20 0 1 0 217792766 49393664 5675 33554432000 4194304 7499544 140730996670176 140730996667176 140018529930213 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 12059 5675 717 807 0 5050 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 48236 KiB
Current children cumulated memory: 22700 KiB

[startup+0.700291 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27921
/proc/meminfo: memFree=3941592/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=61060 memory=35372 CPUtime=0.69 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 9262 0 0 0 69 0 0 0 20 0 1 0 217792766 62525440 8843 33554432000 4194304 7499544 140730996670176 140730996660984 140018536721689 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 15265 8843 717 807 0 8256 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 61060 KiB
Current children cumulated memory: 35372 KiB

[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27921
/proc/meminfo: memFree=3924824/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=87616 memory=61988 CPUtime=1.49 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 15944 0 0 0 148 1 0 0 20 0 1 0 217792766 89718784 15497 33554432000 4194304 7499544 140730996670176 140730996661176 140018529922660 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 21904 15497 717 807 0 14895 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 87616 KiB
Current children cumulated memory: 61988 KiB

[startup+3.10939 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27921
/proc/meminfo: memFree=3862452/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=143580 memory=118064 CPUtime=3.1 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 39796 0 0 0 307 3 0 0 20 0 1 0 217792766 147025920 29516 33554432000 4194304 7499544 140730996670176 140730996660568 140018536721698 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 35895 29516 717 807 0 28886 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 143580 KiB
Current children cumulated memory: 118064 KiB

[startup+6.30036 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27921
/proc/meminfo: memFree=3770004/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=226876 memory=201432 CPUtime=6.29 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 88829 0 0 0 621 8 0 0 20 0 1 0 217792766 232321024 50358 33554432000 4194304 7499544 140730996670176 140730996664504 4249962 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 56719 50358 762 807 0 49710 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 226876 KiB
Current children cumulated memory: 201432 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27921
/proc/meminfo: memFree=3735664/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=260016 memory=234752 CPUtime=12.69 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 143505 0 0 0 1258 11 0 0 20 0 1 0 217792766 266256384 58688 33554432000 4194304 7499544 140730996670176 140730996664504 140018533365460 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 65004 58688 765 807 0 57995 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 260016 KiB
Current children cumulated memory: 234752 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27921
/proc/meminfo: memFree=3734672/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=260808 memory=235620 CPUtime=25.48 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 230249 0 0 0 2534 14 0 0 20 0 1 0 217792766 267067392 58905 33554432000 4194304 7499544 140730996670176 140730996665192 5576304 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 65202 58905 765 807 0 58193 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 260808 KiB
Current children cumulated memory: 235620 KiB

[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27921
/proc/meminfo: memFree=3734552/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=261204 memory=236016 CPUtime=51.1 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 278396 0 0 0 5093 17 0 0 20 0 1 0 217792766 267472896 59004 33554432000 4194304 7499544 140730996670176 140730996664728 5606514 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 65301 59004 765 807 0 58292 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 261204 KiB
Current children cumulated memory: 236016 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27922
/proc/meminfo: memFree=3732468/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=262260 memory=237064 CPUtime=102.25 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 322144 0 0 0 10206 19 0 0 20 0 1 0 217792766 268554240 59266 33554432000 4194304 7499544 140730996670176 140730996664440 5771719 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 65565 59266 765 807 0 58556 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 262260 KiB
Current children cumulated memory: 237064 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27923
/proc/meminfo: memFree=3732280/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=262524 memory=237256 CPUtime=162.22 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 348801 0 0 0 16201 21 0 0 20 0 1 0 217792766 268824576 59314 33554432000 4194304 7499544 140730996670176 140730996665192 4249922 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 65631 59314 765 807 0 58622 0
Current children cumulated CPU time: 162.22 s
Current children cumulated vsize: 262524 KiB
Current children cumulated memory: 237256 KiB

[startup+222.3 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 28046
/proc/meminfo: memFree=3560824/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=262960 memory=237720 CPUtime=222.2 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 357082 0 0 0 22199 21 0 0 20 0 1 0 217792766 269271040 59430 33554432000 4194304 7499544 140730996670176 140730996664440 140018533365431 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 65740 59430 765 807 0 58731 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 262960 KiB
Current children cumulated memory: 237720 KiB

[startup+282.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/187 28047
/proc/meminfo: memFree=3557068/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=264212 memory=239084 CPUtime=282.19 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 358244 0 0 0 28198 21 0 0 20 0 1 0 217792766 270553088 59771 33554432000 4194304 7499544 140730996670176 140730996665192 5648699 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 66053 59771 765 807 0 59044 0
Current children cumulated CPU time: 282.19 s
Current children cumulated vsize: 264212 KiB
Current children cumulated memory: 239084 KiB

[startup+342.3 s]
/proc/loadavg: 2.05 2.01 2.05 3/187 28055
/proc/meminfo: memFree=3554648/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=265532 memory=240276 CPUtime=342.2 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 359609 0 0 0 34198 22 0 0 20 0 1 0 217792766 271904768 60069 33554432000 4194304 7499544 140730996670176 140730996664504 5838144 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 66383 60069 765 807 0 59374 0
Current children cumulated CPU time: 342.2 s
Current children cumulated vsize: 265532 KiB
Current children cumulated memory: 240276 KiB

[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/187 28056
/proc/meminfo: memFree=3554100/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=265796 memory=240588 CPUtime=402.2 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 360824 0 0 0 40198 22 0 0 20 0 1 0 217792766 272175104 60147 33554432000 4194304 7499544 140730996670176 140730996664504 4404999 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 66449 60147 765 807 0 59440 0
Current children cumulated CPU time: 402.2 s
Current children cumulated vsize: 265796 KiB
Current children cumulated memory: 240588 KiB

[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 28057
/proc/meminfo: memFree=3553992/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=265928 memory=240756 CPUtime=462.19 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 361682 0 0 0 46197 22 0 0 20 0 1 0 217792766 272310272 60189 33554432000 4194304 7499544 140730996670176 140730996664712 4249922 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 66482 60189 765 807 0 59473 0
Current children cumulated CPU time: 462.19 s
Current children cumulated vsize: 265928 KiB
Current children cumulated memory: 240756 KiB


################
# More data... #
################

/proc/27920/statm: 66818 60544 765 807 0 59809 0
Current children cumulated CPU time: 1722.14 s
Current children cumulated vsize: 267272 KiB
Current children cumulated memory: 242176 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28119
/proc/meminfo: memFree=3552248/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=267272 memory=242192 CPUtime=1782.14 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 378198 0 0 0 178191 23 0 0 20 0 1 0 217792766 273686528 60548 33554432000 4194304 7499544 140730996670176 140730996664504 4404999 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 66818 60548 765 807 0 59809 0
Current children cumulated CPU time: 1782.14 s
Current children cumulated vsize: 267272 KiB
Current children cumulated memory: 242192 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28120
/proc/meminfo: memFree=3552900/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=267272 memory=242212 CPUtime=1842.13 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 378858 0 0 0 184190 23 0 0 20 0 1 0 217792766 273686528 60553 33554432000 4194304 7499544 140730996670176 140730996664504 4264832 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 66818 60553 765 807 0 59809 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 267272 KiB
Current children cumulated memory: 242212 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 28121
/proc/meminfo: memFree=3554396/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=267404 memory=242240 CPUtime=1902.13 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 379556 0 0 0 190190 23 0 0 20 0 1 0 217792766 273821696 60560 33554432000 4194304 7499544 140730996670176 140730996664504 4405034 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 66851 60560 765 807 0 59842 0
Current children cumulated CPU time: 1902.13 s
Current children cumulated vsize: 267404 KiB
Current children cumulated memory: 242240 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28123
/proc/meminfo: memFree=3553008/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=267404 memory=242288 CPUtime=1962.12 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 380243 0 0 0 196189 23 0 0 20 0 1 0 217792766 273821696 60572 33554432000 4194304 7499544 140730996670176 140730996664504 4405007 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 66851 60572 765 807 0 59842 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 267404 KiB
Current children cumulated memory: 242288 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28124
/proc/meminfo: memFree=3552408/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=267404 memory=242288 CPUtime=2022.13 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 380928 0 0 0 202189 24 0 0 20 0 1 0 217792766 273821696 60572 33554432000 4194304 7499544 140730996670176 140730996664504 4405034 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 66851 60572 765 807 0 59842 0
Current children cumulated CPU time: 2022.13 s
Current children cumulated vsize: 267404 KiB
Current children cumulated memory: 242288 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28125
/proc/meminfo: memFree=3551668/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=268592 memory=243300 CPUtime=2082.13 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 381908 0 0 0 208189 24 0 0 20 0 1 0 217792766 275038208 60825 33554432000 4194304 7499544 140730996670176 140730996664504 4405034 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 67148 60825 765 807 0 60139 0
Current children cumulated CPU time: 2082.13 s
Current children cumulated vsize: 268592 KiB
Current children cumulated memory: 243300 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28133
/proc/meminfo: memFree=3550984/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=268592 memory=243448 CPUtime=2142.13 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 382896 0 0 0 214189 24 0 0 20 0 1 0 217792766 275038208 60862 33554432000 4194304 7499544 140730996670176 140730996664504 4257879 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 67148 60862 765 807 0 60139 0
Current children cumulated CPU time: 2142.13 s
Current children cumulated vsize: 268592 KiB
Current children cumulated memory: 243448 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28134
/proc/meminfo: memFree=3551444/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=268592 memory=243512 CPUtime=2202.12 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 383914 0 0 0 220188 24 0 0 20 0 1 0 217792766 275038208 60878 33554432000 4194304 7499544 140730996670176 140730996664504 5574843 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 67148 60878 765 807 0 60139 0
Current children cumulated CPU time: 2202.12 s
Current children cumulated vsize: 268592 KiB
Current children cumulated memory: 243512 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28135
/proc/meminfo: memFree=3550716/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=268592 memory=243512 CPUtime=2262.12 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 384909 0 0 0 226188 24 0 0 20 0 1 0 217792766 275038208 60878 33554432000 4194304 7499544 140730996670176 140730996664504 4398000 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 67148 60878 765 807 0 60139 0
Current children cumulated CPU time: 2262.12 s
Current children cumulated vsize: 268592 KiB
Current children cumulated memory: 243512 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28136
/proc/meminfo: memFree=3551028/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=268724 memory=243544 CPUtime=2322.12 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 385418 0 0 0 232188 24 0 0 20 0 1 0 217792766 275173376 60886 33554432000 4194304 7499544 140730996670176 140730996664504 4540482 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 67181 60886 765 807 0 60172 0
Current children cumulated CPU time: 2322.12 s
Current children cumulated vsize: 268724 KiB
Current children cumulated memory: 243544 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28137
/proc/meminfo: memFree=3550784/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=268724 memory=243564 CPUtime=2382.11 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 385921 0 0 0 238187 24 0 0 20 0 1 0 217792766 275173376 60891 33554432000 4194304 7499544 140730996670176 140730996664504 4405811 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 67181 60891 765 807 0 60172 0
Current children cumulated CPU time: 2382.11 s
Current children cumulated vsize: 268724 KiB
Current children cumulated memory: 243564 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28139
/proc/meminfo: memFree=3551176/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=268724 memory=243576 CPUtime=2442.11 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 386419 0 0 0 244187 24 0 0 20 0 1 0 217792766 275173376 60894 33554432000 4194304 7499544 140730996670176 140730996664504 4249664 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 67181 60894 765 807 0 60172 0
Current children cumulated CPU time: 2442.11 s
Current children cumulated vsize: 268724 KiB
Current children cumulated memory: 243576 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28140
/proc/meminfo: memFree=3551396/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=268724 memory=243576 CPUtime=2502.11 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 386923 0 0 0 250187 24 0 0 20 0 1 0 217792766 275173376 60894 33554432000 4194304 7499544 140730996670176 140730996664504 5619186 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 67181 60894 765 807 0 60172 0
Current children cumulated CPU time: 2502.11 s
Current children cumulated vsize: 268724 KiB
Current children cumulated memory: 243576 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 28140
/proc/meminfo: memFree=3551396/32770624 swapFree=67108860/67108860
[pid=27920] ppid=27917 vsize=268724 memory=243580 CPUtime=2519.82 cores=1,3,5,7
/proc/27920/stat : 27920 (MistralXCSP) R 27917 27920 26919 0 -1 4202496 387422 0 0 0 251958 24 0 0 20 0 1 0 217792766 275173376 60895 33554432000 4194304 7499544 140730996670176 140730996664504 4579688 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 9617408 140730996675694 140730996675843 140730996675843 140730996678601 0
/proc/27920/statm: 67181 60895 765 807 0 60172 0
Current children cumulated CPU time: 2519.82 s
Current children cumulated vsize: 268724 KiB
Current children cumulated memory: 243580 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.01 s]
# the end of solver process 27920 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.58 s, system=0.244989 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 2520.01
CPU time (s): 2519.83
CPU user time (s): 2519.58
CPU system time (s): 0.244989
CPU usage (%): 99.9927
Max. virtual memory (cumulated for all children) (KiB): 268724
Max. memory (cumulated for all children) (KiB): 243580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.58
system time used= 0.244989
maximum resident set size= 243600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 387458
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= 116
involuntary context switches= 793


# summary of solver processes directly reported to runsolver:
#   pid: 27920
#   total CPU time (s): 2519.83
#   total CPU user time (s): 2519.58
#   total CPU system time (s): 0.244989

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.68248 second user time and 19.1019 second system time

The end

Launcher Data 

Begin job on node151 at 2018-08-11 17:44:56
IDJOB=4304067
IDBENCH=141189
IDSOLVER=2779
FILE ID=node151/4304067-1534002296
RUNJOBID= node151-1533992207-26951
PBS_JOBID= 21036947
Free space on /tmp= 40852 MiB

SOLVER NAME= Mistral-2.0 2018-08-01
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-08-opt_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-4304067-1534002296/watcher-4304067-1534002296 -o /tmp/evaluation-result-4304067-1534002296/solver-4304067-1534002296 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1533992207-26951 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 653783281 HOME/instance-4304067-1534002296.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 9be5bd0a86f9e024d7fdf548556c4b89
RANDOM SEED=653783281

node151.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.87
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.87
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.87
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.87
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:         3968000 kB
MemAvailable:   31882072 kB
Buffers:          250092 kB
Cached:         27543680 kB
SwapCached:            0 kB
Active:         10787608 kB
Inactive:       17083296 kB
Active(anon):      26336 kB
Inactive(anon):   103256 kB
Active(file):   10761272 kB
Inactive(file): 16980040 kB
Unevictable:        7836 kB
Mlocked:            7836 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              6208 kB
Writeback:             0 kB
AnonPages:         89216 kB
Mapped:            61140 kB
Shmem:             49800 kB
Slab:             629352 kB
SReclaimable:     601220 kB
SUnreclaim:        28132 kB
KernelStack:        3360 kB
PageTables:         5120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     398992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 40848 MiB
End job on node151 at 2018-08-11 18:26:56