Trace number 4304121

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)533394466 2519.79 2520.02

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-05-0350_c18.xml
MD5SUM51c3d091a7e4b0716a15e9a29832b849
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark524813477
Best CPU time to get the best result obtained on this benchmark2527.64
Satisfiable
(Un)Satisfiability was proved
Number of variables7232
Number of constraints4665
Number of domains18
Minimum domain size1
Maximum domain size135
Distribution of domain sizes[{"size":1,"count":3},{"size":2,"count":2524},{"size":11,"count":2177},{"size":12,"count":1},{"size":25,"count":55},{"size":33,"count":45},{"size":44,"count":26},{"size":48,"count":22},{"size":51,"count":17},{"size":55,"count":31},{"size":91,"count":204},{"size":102,"count":203},{"size":106,"count":126},{"size":135,"count":1798}]
Minimum variable degree2
Maximum variable degree2178
Distribution of variable degrees[{"degree":2,"count":6532},{"degree":3,"count":5},{"degree":4,"count":7},{"degree":5,"count":11},{"degree":6,"count":11},{"degree":7,"count":19},{"degree":8,"count":26},{"degree":9,"count":28},{"degree":10,"count":31},{"degree":11,"count":40},{"degree":12,"count":48},{"degree":13,"count":50},{"degree":14,"count":80},{"degree":15,"count":109},{"degree":16,"count":148},{"degree":17,"count":81},{"degree":18,"count":2},{"degree":19,"count":2},{"degree":21,"count":1},{"degree":2178,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":311},{"arity":3,"count":2177},{"arity":6,"count":2177}]
Number of extensional constraints2177
Number of intensional constraints2488
Distribution of constraint types[{"type":"extension","count":2177},{"type":"intension","count":2488}]
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
86.55/86.60	o 533982479
86.55/86.60	o 533982477
86.55/86.61	o 533960701
86.55/86.62	o 533960698
86.55/86.62	o 533938920
86.55/86.64	o 533917158
86.55/86.67	o 533917149
86.65/86.71	o 533917142
86.75/86.88	o 533917141
86.75/86.88	o 533917135
87.15/87.27	o 533873581
87.35/87.44	o 533851804
87.35/87.44	o 533851796
89.75/89.87	o 533830026
91.96/92.05	o 533830021
92.85/92.94	o 533830006
93.85/93.95	o 533830003
94.96/95.03	o 533786462
96.96/97.06	o 533764694
98.45/98.53	o 533764683
99.25/99.33	o 533742914
101.45/101.55	o 533742907
475.58/475.77	o 533742906
475.58/475.78	o 533721136
475.58/475.79	o 533699366
475.68/475.81	o 533677596
475.68/475.83	o 533677595
475.68/475.84	o 533655826
475.68/475.85	o 533655825
475.89/476.08	o 533655817
475.89/476.09	o 533634047
476.08/476.23	o 533634046
476.38/476.52	o 533634045
520.28/520.43	o 533634035
520.28/520.44	o 533612258
520.28/520.47	o 533590486
520.38/520.53	o 533590485
520.38/520.54	o 533590484
522.89/523.01	o 533568714
528.38/528.57	o 533568713
697.46/697.68	o 533568711
722.06/722.24	o 533568710
722.06/722.29	o 533568709
879.04/879.22	o 533568707
880.04/880.20	o 533546937
890.24/890.44	o 533546934
901.86/902.04	o 533525168
901.86/902.04	o 533525165
901.86/902.06	o 533525158
901.96/902.12	o 533525150
902.05/902.28	o 533525146
902.15/902.34	o 533503366
902.25/902.45	o 533481587
903.15/903.35	o 533459808
904.85/905.06	o 533438038
916.65/916.81	o 533416276
927.54/927.78	o 533394507
934.95/935.17	o 533394502
988.84/989.01	o 533394501
999.02/999.26	o 533394495
1157.91/1158.12	o 533394494
1157.91/1158.14	o 533394492
1157.91/1158.15	o 533394490
1157.91/1158.16	o 533394488
1157.91/1158.17	o 533394481
1158.00/1158.21	o 533394480
1162.20/1162.44	o 533394479
1262.90/1263.15	o 533394475
1263.09/1263.38	o 533394470
1264.39/1264.68	o 533394466
2519.77/2520.01	s SATISFIABLE
2519.77/2520.01	v <instantiation type="solution">
2519.77/2520.01	v   <list> f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] v1[1839] v1[1840] v1[1841] v1[1842] v1[1843] v1[1844] v1[1845] v1[1846] v1[1847] v1[1848] v1[1849] v1[1850] v1[1851] v1[1852] v1[1853] v1[1854] v1[1855] v1[1856] v1[1857] v1[1858] v1[1859] v1[1860] v1[1861] v1[1862] v1[1863] v1[1864] v1[1865] v1[1866] v1[1867] v1[1868] v1[1869] v1[1870] v1[1871] v1[1872] v1[1873] v1[1874] v1[1875] v1[1876] v1[1877] v1[1878] v1[1879] v1[1880] v1[1881] v1[1882] v1[1883] v1[1884] v1[1885] v1[1886] v1[1887] v1[1888] v1[1889] v1[1890] v1[1891] v1[1892] v1[1893] v1[1894] v1[1895] v1[1896] v1[1897] v1[1898] v1[1899] v1[1900] v1[1901] v1[1902] v1[1903] v1[1904] v1[1905] v1[1906] v1[1907] v1[1908] v1[1909] v1[1910] v1[1911] v1[1912] v1[1913] v1[1914] v1[1915] v1[1916] v1[1917] v1[1918] v1[1919] v1[1920] v1[1921] v1[1922] v1[1923] v1[1924] v1[1925] v1[1926] v1[1927] v1[1928] v1[1929] v1[1930] v1[1931] v1[1932] v1[1933] v1[1934] v1[1935] v1[1936] v1[1937] v1[1938] v1[1939] v1[1940] v1[1941] v1[1942] v1[1943] v1[1944] v1[1945] v1[1946] v1[1947] v1[1948] v1[1949] v1[1950] v1[1951] v1[1952] v1[1953] v1[1954] v1[1955] v1[1956] v1[1957] v1[1958] v1[1959] v1[1960] v1[1961] v1[1962] v1[1963] v1[1964] v1[1965] v1[1966] v1[1967] v1[1968] v1[1969] v1[1970] v1[1971] v1[1972] v1[1973] v1[1974] v1[1975] v1[1976] v1[1977] v1[1978] v1[1979] v1[1980] v1[1981] v1[1982] v1[1983] v1[1984] v1[1985] v1[1986] v1[1987] v1[1988] v1[1989] v1[1990] v1[1991] v1[1992] v1[1993] v1[1994] v1[1995] v1[1996] v1[1997] v1[1998] v1[1999] v1[2000] v1[2001] v1[2002] v1[2003] v1[2004] v1[2005] v1[2006] v1[2007] v1[2008] v1[2009] v1[2010] v1[2011] v1[2012] v1[2013] v1[2014] v1[2015] v1[2016] v1[2017] v1[2018] v1[2019] v1[2020] v1[2021] v1[2022] v1[2023] v1[2024] v1[2025] v1[2026] v1[2027] v1[2028] v1[2029] v1[2030] v1[2031] v1[2032] v1[2033] v1[2034] v1[2035] v1[2036] v1[2037] v1[2038] v1[2039] v1[2040] v1[2041] v1[2042] v1[2043] v1[2044] v1[2045] v1[2046] v1[2047] v1[2048] v1[2049] v1[2050] v1[2051] v1[2052] v1[2053] v1[2054] v1[2055] v1[2056] v1[2057] v1[2058] v1[2059] v1[2060] v1[2061] v1[2062] v1[2063] v1[2064] v1[2065] v1[2066] v1[2067] v1[2068] v1[2069] v1[2070] v1[2071] v1[2072] v1[2073] v1[2074] v1[2075] v1[2076] v1[2077] v1[2078] v1[2079] v1[2080] v1[2081] v1[2082] v1[2083] v1[2084] v1[2085] v1[2086] v1[2087] v1[2088] v1[2089] v1[2090] v1[2091] v1[2092] v1[2093] v1[2094] v1[2095] v1[2096] v1[2097] v1[2098] v1[2099] v1[2100] v1[2101] v1[2102] v1[2103] v1[2104] v1[2105] v1[2106] v1[2107] v1[2108] v1[2109] v1[2110] v1[2111] v1[2112] v1[2113] v1[2114] v1[2115] v1[2116] v1[2117] v1[2118] v1[2119] v1[2120] v1[2121] v1[2122] v1[2123] v1[2124] v1[2125] v1[2126] v1[2127] v1[2128] v1[2129] v1[2130] v1[2131] v1[2132] v1[2133] v1[2134] v1[2135] v1[2136] v1[2137] v1[2138] v1[2139] v1[2140] v1[2141] v1[2142] v1[2143] v1[2144] v1[2145] v1[2146] v1[2147] v1[2148] v1[2149] v1[2150] v1[2151] v1[2152] v1[2153] v1[2154] v1[2155] v1[2156] v1[2157] v1[2158] v1[2159] v1[2160] v1[2161] v1[2162] v1[2163] v1[2164] v1[2165] v1[2166] v1[2167] v1[2168] v1[2169] v1[2170] v1[2171] v1[2172] v1[2173] v1[2174] v1[2175] v1[2176] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[1809] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] v2[1839] v2[1840] v2[1841] v2[1842] v2[1843] v2[1844] v2[1845] v2[1846] v2[1847] v2[1848] v2[1849] v2[1850] v2[1851] v2[1852] v2[1853] v2[1854] v2[1855] v2[1856] v2[1857] v2[1858] v2[1859] v2[1860] v2[1861] v2[1862] v2[1863] v2[1864] v2[1865] v2[1866] v2[1867] v2[1868] v2[1869] v2[1870] v2[1871] v2[1872] v2[1873] v2[1874] v2[1875] v2[1876] v2[1877] v2[1878] v2[1879] v2[1880] v2[1881] v2[1882] v2[1883] v2[1884] v2[1885] v2[1886] v2[1887] v2[1888] v2[1889] v2[1890] v2[1891] v2[1892] v2[1893] v2[1894] v2[1895] v2[1896] v2[1897] v2[1898] v2[1899] v2[1900] v2[1901] v2[1902] v2[1903] v2[1904] v2[1905] v2[1906] v2[1907] v2[1908] v2[1909] v2[1910] v2[1911] v2[1912] v2[1913] v2[1914] v2[1915] v2[1916] v2[1917] v2[1918] v2[1919] v2[1920] v2[1921] v2[1922] v2[1923] v2[1924] v2[1925] v2[1926] v2[1927] v2[1928] v2[1929] v2[1930] v2[1931] v2[1932] v2[1933] v2[1934] v2[1935] v2[1936] v2[1937] v2[1938] v2[1939] v2[1940] v2[1941] v2[1942] v2[1943] v2[1944] v2[1945] v2[1946] v2[1947] v2[1948] v2[1949] v2[1950] v2[1951] v2[1952] v2[1953] v2[1954] v2[1955] v2[1956] v2[1957] v2[1958] v2[1959] v2[1960] v2[1961] v2[1962] v2[1963] v2[1964] v2[1965] v2[1966] v2[1967] v2[1968] v2[1969] v2[1970] v2[1971] v2[1972] v2[1973] v2[1974] v2[1975] v2[1976] v2[1977] v2[1978] v2[1979] v2[1980] v2[1981] v2[1982] v2[1983] v2[1984] v2[1985] v2[1986] v2[1987] v2[1988] v2[1989] v2[1990] v2[1991] v2[1992] v2[1993] v2[1994] v2[1995] v2[1996] v2[1997] v2[1998] v2[1999] v2[2000] v2[2001] v2[2002] v2[2003] v2[2004] v2[2005] v2[2006] v2[2007] v2[2008] v2[2009] v2[2010] v2[2011] v2[2012] v2[2013] v2[2014] v2[2015] v2[2016] v2[2017] v2[2018] v2[2019] v2[2020] v2[2021] v2[2022] v2[2023] v2[2024] v2[2025] v2[2026] v2[2027] v2[2028] v2[2029] v2[2030] v2[2031] v2[2032] v2[2033] v2[2034] v2[2035] v2[2036] v2[2037] v2[2038] v2[2039] v2[2040] v2[2041] v2[2042] v2[2043] v2[2044] v2[2045] v2[2046] v2[2047] v2[2048] v2[2049] v2[2050] v2[2051] v2[2052] v2[2053] v2[2054] v2[2055] v2[2056] v2[2057] v2[2058] v2[2059] v2[2060] v2[2061] v2[2062] v2[2063] v2[2064] v2[2065] v2[2066] v2[2067] v2[2068] v2[2069] v2[2070] v2[2071] v2[2072] v2[2073] v2[2074] v2[2075] v2[2076] v2[2077] v2[2078] v2[2079] v2[2080] v2[2081] v2[2082] v2[2083] v2[2084] v2[2085] v2[2086] v2[2087] v2[2088] v2[2089] v2[2090] v2[2091] v2[2092] v2[2093] v2[2094] v2[2095] v2[2096] v2[2097] v2[2098] v2[2099] v2[2100] v2[2101] v2[2102] v2[2103] v2[2104] v2[2105] v2[2106] v2[2107] v2[2108] v2[2109] v2[2110] v2[2111] v2[2112] v2[2113] v2[2114] v2[2115] v2[2116] v2[2117] v2[2118] v2[2119] v2[2120] v2[2121] v2[2122] v2[2123] v2[2124] v2[2125] v2[2126] v2[2127] v2[2128] v2[2129] v2[2130] v2[2131] v2[2132] v2[2133] v2[2134] v2[2135] v2[2136] v2[2137] v2[2138] v2[2139] v2[2140] v2[2141] v2[2142] v2[2143] v2[2144] v2[2145] v2[2146] v2[2147] v2[2148] v2[2149] v2[2150] v2[2151] v2[2152] v2[2153] v2[2154] v2[2155] v2[2156] v2[2157] v2[2158] v2[2159] v2[2160] v2[2161] v2[2162] v2[2163] v2[2164] v2[2165] v2[2166] v2[2167] v2[2168] v2[2169] v2[2170] v2[2171] v2[2172] v2[2173] v2[2174] v2[2175] v2[2176] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[1809] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838] d[1839] d[1840] d[1841] d[1842] d[1843] d[1844] d[1845] d[1846] d[1847] d[1848] d[1849] d[1850] d[1851] d[1852] d[1853] d[1854] d[1855] d[1856] d[1857] d[1858] d[1859] d[1860] d[1861] d[1862] d[1863] d[1864] d[1865] d[1866] d[1867] d[1868] d[1869] d[1870] d[1871] d[1872] d[1873] d[1874] d[1875] d[1876] d[1877] d[1878] d[1879] d[1880] d[1881] d[1882] d[1883] d[1884] d[1885] d[1886] d[1887] d[1888] d[1889] d[1890] d[1891] d[1892] d[1893] d[1894] d[1895] d[1896] d[1897] d[1898] d[1899] d[1900] d[1901] d[1902] d[1903] d[1904] d[1905] d[1906] d[1907] d[1908] d[1909] d[1910] d[1911] d[1912] d[1913] d[1914] d[1915] d[1916] d[1917] d[1918] d[1919] d[1920] d[1921] d[1922] d[1923] d[1924] d[1925] d[1926] d[1927] d[1928] d[1929] d[1930] d[1931] d[1932] d[1933] d[1934] d[1935] d[1936] d[1937] d[1938] d[1939] d[1940] d[1941] d[1942] d[1943] d[1944] d[1945] d[1946] d[1947] d[1948] d[1949] d[1950] d[1951] d[1952] d[1953] d[1954] d[1955] d[1956] d[1957] d[1958] d[1959] d[1960] d[1961] d[1962] d[1963] d[1964] d[1965] d[1966] d[1967] d[1968] d[1969] d[1970] d[1971] d[1972] d[1973] d[1974] d[1975] d[1976] d[1977] d[1978] d[1979] d[1980] d[1981] d[1982] d[1983] d[1984] d[1985] d[1986] d[1987] d[1988] d[1989] d[1990] d[1991] d[1992] d[1993] d[1994] d[1995] d[1996] d[1997] d[1998] d[1999] d[2000] d[2001] d[2002] d[2003] d[2004] d[2005] d[2006] d[2007] d[2008] d[2009] d[2010] d[2011] d[2012] d[2013] d[2014] d[2015] d[2016] d[2017] d[2018] d[2019] d[2020] d[2021] d[2022] d[2023] d[2024] d[2025] d[2026] d[2027] d[2028] d[2029] d[2030] d[2031] d[2032] d[2033] d[2034] d[2035] d[2036] d[2037] d[2038] d[2039] d[2040] d[2041] d[2042] d[2043] d[2044] d[2045] d[2046] d[2047] d[2048] d[2049] d[2050] d[2051] d[2052] d[2053] d[2054] d[2055] d[2056] d[2057] d[2058] d[2059] d[2060] d[2061] d[2062] d[2063] d[2064] d[2065] d[2066] d[2067] d[2068] d[2069] d[2070] d[2071] d[2072] d[2073] d[2074] d[2075] d[2076] d[2077] d[2078] d[2079] d[2080] d[2081] d[2082] d[2083] d[2084] d[2085] d[2086] d[2087] d[2088] d[2089] d[2090] d[2091] d[2092] d[2093] d[2094] d[2095] d[2096] d[2097] d[2098] d[2099] d[2100] d[2101] d[2102] d[2103] d[2104] d[2105] d[2106] d[2107] d[2108] d[2109] d[2110] d[2111] d[2112] d[2113] d[2114] d[2115] d[2116] d[2117] d[2118] d[2119] d[2120] d[2121] d[2122] d[2123] d[2124] d[2125] d[2126] d[2127] d[2128] d[2129] d[2130] d[2131] d[2132] d[2133] d[2134] d[2135] d[2136] d[2137] d[2138] d[2139] d[2140] d[2141] d[2142] d[2143] d[2144] d[2145] d[2146] d[2147] d[2148] d[2149] d[2150] d[2151] d[2152] d[2153] d[2154] d[2155] d[2156] d[2157] d[2158] d[2159] d[2160] d[2161] d[2162] d[2163] d[2164] d[2165] d[2166] d[2167] d[2168] d[2169] d[2170] d[2171] d[2172] d[2173] d[2174] d[2175] d[2176] </list>
2519.77/2520.01	v   <values> 2424 2180 2220 2220 2572 2404 2540 2180 2288 2488 2180 2424 2220 2220 2180 2364 2180 2452 2220 2248 2180 2220 2180 2708 2220 2220 2268 2296 2220 2180 2180 2440 2260 2220 2424 2264 2384 2452 2220 2412 2220 2304 2528 2684 2512 2180 2296 2232 2228 2452 2220 2528 2496 2220 2180 2384 2372 2220 2384 2180 2452 2668 2452 2180 2488 2244 2180 2180 2220 2180 2180 2384 2324 2412 2180 2452 2288 2180 2220 2220 2220 2456 2180 2328 2180 2604 2356 2180 2472 2448 2180 2220 2220 2412 2220 2528 2628 2392 2616 2384 2252 2208 2444 2220 2220 2632 2228 2412 2220 2376 2224 2220 2336 2540 2452 2256 2220 2692 2664 2308 2288 2480 2180 2212 2268 2412 2668 2220 2252 2180 2480 2408 2220 2180 2220 2412 2612 2644 2180 2220 2220 2560 2528 2220 2220 2524 2220 2344 2180 2304 2488 2328 2384 2412 2528 2664 2484 2220 2488 2488 2452 2376 2676 2180 2336 2364 2188 2600 2644 2180 2220 2228 2440 2368 2716 2564 2180 2180 2612 2180 2220 2220 2220 2528 2652 2424 2424 2188 2220 2188 2452 2424 2248 2452 2220 2244 2384 2180 2616 2604 2540 2376 2220 2432 2224 2180 2584 2492 2432 2488 2220 2676 2220 2220 2180 2256 2404 2424 2220 2624 2708 2228 2424 2180 2180 2268 2180 2532 2180 2204 2536 2492 2412 2204 2180 2344 2488 2188 2228 2500 2488 2220 2180 2180 2416 2220 2528 2580 2452 2540 2180 2220 2444 2220 2180 2668 2424 2624 2412 2392 2180 2180 2228 2220 2364 2180 2384 2180 2716 2212 2412 2488 2220 2220 2412 2464 2180 2220 2488 2220 2180 2528 2512 2180 2180 2384 2344 2192 2448 2284 2416 2260 2448 2324 2220 2304 2408 2580 2180 2180 2484 2180 2288 2564 2452 2220 2184 2528 2228 2624 2656 2672 2220 2412 2612 2220 2220 2260 2244 2188 2220 2552 2528 2260 2580 2488 2568 2452 2180 2572 2180 2424 2180 2220 2184 2180 2528 2572 2248 2220 2220 2180 2656 2396 2248 2384 2220 2524 2180 2412 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 1 1 0 1 1 1 0 1 1 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 1 1 1 0 0 0 0 1 1 0 1 1 0 1 1 1 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 1 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 1 1 1 1 0 0 1 1 0 0 0 1 0 0 1 1 0 1 1 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 1 1 0 1 1 1 0 0 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 1 0 0 1 0 1 1 0 0 0 1 1 1 1 0 0 1 1 0 1 11 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 1 0 0 1 1 0 0 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 10 0 0 3 10 0 8 0 0 0 0 10 10 0 10 0 0 8 0 1 0 10 0 1 10 10 7 0 0 1 0 10 0 10 1 1 10 0 0 0 0 4 10 10 10 0 0 10 0 0 0 10 0 0 10 0 10 0 0 8 0 8 10 0 10 10 1 0 10 0 0 10 0 0 0 10 0 2 0 10 0 6 0 0 0 0 8 0 1 0 0 0 10 0 0 10 0 0 0 0 10 1 10 0 10 0 1 10 10 10 2 0 10 10 10 0 1 0 1 0 10 3 0 0 0 3 7 0 0 0 0 0 0 0 0 0 1 10 10 10 8 10 0 0 9 0 9 0 0 0 0 0 0 3 10 0 10 0 0 0 10 10 0 3 0 0 10 0 0 0 0 0 0 8 0 0 0 10 10 10 10 7 0 0 9 10 0 10 0 0 9 0 1 0 0 0 10 0 0 6 0 10 10 10 0 10 0 1 0 1 10 0 10 0 10 0 10 0 6 0 0 2 0 0 1 0 0 0 10 8 0 1 1 10 0 10 0 0 0 0 10 3 10 0 10 0 5 10 0 6 10 10 0 0 0 10 0 10 7 1 0 0 0 10 0 5 10 10 10 0 0 0 10 10 0 4 0 0 10 10 0 0 10 0 10 0 0 0 8 0 0 10 0 10 10 0 0 10 10 9 10 0 0 9 0 0 0 10 0 0 0 0 0 0 0 0 0 8 0 0 0 10 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 0 0 0 2 10 0 0 1 0 0 0 0 0 10 0 0 0 0 1 2 0 10 10 0 0 0 0 10 0 0 0 10 1 8 0 10 0 10 0 1 0 10 0 0 1 0 0 7 10 0 9 0 0 0 0 0 0 0 0 0 0 10 1 0 0 0 10 10 10 10 10 0 0 0 10 10 10 0 0 0 0 0 0 0 10 0 0 7 0 1 0 10 4 10 0 0 0 0 0 10 0 7 0 0 0 4 0 0 0 0 10 10 0 10 0 10 10 10 0 10 10 10 0 0 0 1 0 0 10 0 0 0 10 9 0 0 0 10 4 0 1 10 0 0 10 2 10 0 1 10 10 10 0 3 10 0 0 0 0 10 0 0 10 0 0 1 0 0 0 0 10 10 0 0 0 0 4 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 10 0 0 0 10 10 0 0 10 0 7 0 0 0 10 1 10 10 3 5 0 0 0 6 0 0 10 0 0 10 10 0 3 10 10 10 0 10 10 10 0 1 0 10 0 0 0 10 10 0 1 10 0 0 1 10 8 10 0 10 0 0 7 0 1 10 10 10 0 0 0 1 0 8 0 0 0 0 0 9 10 0 0 10 10 10 0 10 1 0 0 10 0 10 0 0 0 0 10 0 0 3 0 0 0 0 0 9 0 0 0 10 1 6 10 0 0 10 3 0 0 3 0 5 10 0 0 0 0 10 10 10 10 0 0 9 0 10 10 10 0 10 1 0 10 0 10 0 0 10 3 1 0 10 10 1 0 1 0 0 0 0 0 9 10 2 0 0 0 10 0 0 0 10 0 10 0 7 0 0 0 0 10 0 0 0 10 7 0 0 0 10 10 10 0 6 0 0 0 0 1 0 1 0 0 0 10 10 7 10 10 9 10 1 10 10 10 10 0 0 0 7 0 10 0 0 0 0 0 1 0 0 10 8 10 7 10 1 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 10 0 0 0 0 0 5 0 0 0 10 10 10 10 0 0 10 0 10 10 0 10 10 0 10 0 0 0 0 0 0 10 10 0 10 0 10 0 10 0 0 4 0 10 10 0 1 10 0 10 0 10 0 0 0 0 0 10 0 9 8 10 0 0 0 10 0 10 0 0 10 0 0 0 0 0 0 10 10 0 10 10 10 0 10 10 1 0 1 0 1 0 0 0 10 0 0 0 0 5 3 0 10 5 10 10 0 0 10 4 0 0 0 0 10 0 0 9 10 7 10 0 10 0 0 0 0 10 0 10 7 10 10 0 0 1 10 1 9 0 1 10 10 0 10 8 10 3 0 0 0 0 10 1 0 0 10 0 10 3 0 10 10 10 10 10 0 10 1 0 0 0 0 0 10 1 2 10 0 0 0 0 0 0 0 0 0 10 7 0 0 10 10 0 0 1 0 0 0 0 0 1 10 10 0 0 0 0 7 0 10 0 10 1 4 10 0 0 0 0 10 0 0 3 0 0 1 10 0 0 0 0 0 0 10 10 0 1 1 0 10 9 0 10 10 8 0 0 1 0 10 10 0 0 1 0 10 10 2 0 10 10 10 0 0 0 10 0 0 10 0 10 10 1 0 0 6 0 3 10 10 0 0 9 10 10 7 0 1 0 10 10 0 4 10 1 0 1 10 0 1 0 0 0 10 10 0 0 9 0 10 0 0 0 10 6 10 0 0 0 0 0 0 0 0 10 0 0 4 0 10 0 0 1 10 8 1 0 10 10 10 0 0 10 10 0 0 10 0 10 0 0 10 0 10 0 0 0 0 0 0 10 3 0 10 10 0 0 0 0 10 10 10 1 0 10 10 1 0 0 10 10 8 0 10 0 9 0 10 1 10 10 0 0 8 10 10 0 0 10 10 10 10 10 0 10 0 1 0 10 10 0 0 1 10 0 0 0 8 0 0 0 0 10 1 0 1 0 10 0 1 0 1 10 0 0 0 10 0 10 0 10 1 0 0 10 10 10 10 0 10 3 0 1 1 0 0 10 10 0 0 8 9 0 10 0 0 0 0 0 0 0 0 0 8 7 0 8 0 0 0 7 0 6 0 0 10 10 0 10 10 6 10 0 0 9 0 8 0 0 2 10 0 0 0 0 0 0 1 10 0 0 0 10 0 0 7 0 0 10 0 0 10 10 0 1 10 10 0 8 0 10 10 10 0 0 0 8 0 0 7 0 0 0 10 10 0 0 0 0 10 10 0 0 10 0 0 0 0 0 0 0 6 0 0 6 0 10 10 10 4 10 0 0 0 0 10 10 3 1 0 10 0 4 10 0 0 0 10 9 0 0 0 0 10 0 0 10 0 0 0 1 0 0 10 10 0 0 10 10 0 10 0 10 10 0 6 0 0 10 10 0 0 10 8 10 0 0 0 10 10 3 0 0 0 0 0 8 1 1 10 0 7 1 10 10 10 0 5 5 1 0 0 0 0 0 0 10 0 0 0 7 0 10 10 0 0 6 0 0 0 0 0 1 2 0 0 0 10 3 0 0 0 0 0 1 10 10 0 10 0 0 0 0 10 0 0 0 10 10 0 1 1 0 0 0 0 0 0 0 0 0 10 8 0 0 0 0 0 0 0 0 0 8 10 10 0 3 10 7 0 1 8 10 10 0 0 9 0 1 6 0 0 0 1 0 10 0 0 0 0 10 10 9 10 0 0 10 10 0 0 0 10 10 10 0 10 0 1 10 0 10 10 10 0 10 10 10 0 0 0 0 10 0 0 7 0 5 10 0 0 10 0 0 0 0 0 0 9 0 0 10 0 2 0 6 0 0 10 0 10 0 10 10 3 0 10 1 0 0 10 10 0 0 0 0 0 10 0 10 0 9 0 0 1 10 0 0 10 0 10 0 0 0 9 0 0 2 0 0 0 0 8 0 0 0 10 0 5 0 1 0 0 0 0 10 0 8 9 0 0 8 10 0 8 10 0 0 10 0 10 0 0 0 10 0 10 0 0 0 0 0 1 0 0 0 0 0 0 0 10 10 0 10 0 10 0 9 0 1 0 0 0 0 0 10 10 8 0 10 10 0 9 0 0 10 4 0 10 0 1 0 6 0 0 0 0 10 9 10 1 10 10 0 0 1 10 0 10 10 10 1 10 0 0 0 10 0 0 10 10 1 10 0 0 1 0 0 0 10 10 10 0 0 10 0 0 10 10 9 10 1 0 0 0 10 0 8 10 10 0 10 0 0 0 6 10 10 8 0 0 10 0 0 10 0 10 1 0 0 10 10 0 0 0 0 3 0 10 0 0 8 0 2 0 0 10 10 0 0 9 0 10 0 10 0 7 10 0 0 0 10 4 0 0 0 0 0 10 10 10 9 10 0 0 10 1 0 1 10 0 0 0 10 0 10 5 5 10 10 1 10 0 10 0 0 0 0 10 0 1 0 0 9 10 10 10 10 0 0 1 0 0 0 0 10 0 0 0 0 0 1 0 0 0 0 0 10 0 10 0 0 0 0 10 10 10 0 0 10 7 10 10 0 0 10 0 3 10 10 0 0 10 10 10 0 0 10 1 0 0 10 10 0 0 0 0 0 7 1 10 0 0 10 1 0 1 0 0 10 0 10 0 0 0 10 8 10 0 10 0 0 0 3 7 10 10 6 0 0 0 0 0 0 0 10 10 0 0 1 10 0 0 0 1 10 0 0 10 1 10 0 0 1 0 7 10 10 0 10 1 1 0 0 10 10 0 10 10 0 0 0 10 10 10 0 0 10 0 8 10 0 1 0 10 0 0 10 0 1 10 10 1 3 0 0 10 0 0 6 0 0 10 0 0 0 0 0 1 0 8 7 0 10 0 4 10 6 0 0 0 9 0 10 0 10 0 0 10 0 10 0 2 5 0 0 0 0 1 0 0 0 10 0 0 0 0 10 0 1 7 10 0 0 0 0 0 0 0 10 1 10 0 10 0 0 4 0 0 0 0 7 10 1 10 6 0 10 0 0 10 1 0 0 10 0 0 0 0 0 10 10 10 10 6 5 0 0 0 10 10 0 1 0 0 0 0 0 0 1 1 0 10 0 10 0 0 0 0 8 10 10 0 0 0 0 0 0 0 0 0 10 0 0 1 10 10 0 0 204 204 0 244 208 88 204 204 244 64 88 244 116 32 244 0 116 348 40 0 432 488 40 0 308 48 40 0 4 84 0 36 232 452 0 28 76 40 276 0 0 36 188 40 432 0 496 192 0 196 0 392 268 352 392 352 392 44 264 320 324 188 140 104 344 392 312 40 224 20 160 224 224 216 224 224 224 8 184 12 8 320 116 128 528 148 156 420 40 40 8 496 312 164 0 392 68 60 200 68 356 356 104 108 68 60 108 236 76 40 164 268 268 268 180 8 268 124 308 64 0 260 308 0 316 0 0 360 232 8 48 40 0 272 308 204 100 204 116 244 0 20 156 244 28 196 164 240 244 28 488 0 40 224 260 308 8 156 0 244 40 0 40 40 0 40 40 116 0 8 212 8 8 232 124 40 40 436 128 72 308 304 0 68 64 204 496 8 80 184 184 268 184 136 144 144 144 124 144 40 504 0 0 0 0 0 40 40 40 392 232 176 212 28 264 20 36 272 68 232 108 192 0 308 148 40 232 488 308 40 0 244 84 0 0 0 68 312 116 396 192 120 0 240 56 204 0 292 512 308 40 0 356 0 232 0 0 216 48 448 104 192 12 40 40 108 0 0 32 0 292 24 40 0 0 0 292 40 48 44 232 196 308 308 444 0 348 204 196 528 488 268 340 488 176 528 324 528 528 180 0 40 40 412 0 40 0 268 40 0 40 36 184 40 0 40 40 76 40 0 228 0 0 304 0 268 0 40 40 244 40 360 48 116 400 184 56 60 344 60 48 48 156 48 48 244 48 200 76 76 60 76 116 368 144 240 76 204 44 40 0 268 116 40 432 0 36 40 40 272 196 360 344 40 196 40 0 536 204 400 40 80 0 0 156 40 0 40 308 156 40 0 0 40 384 0 260 40 176 60 8 116 88 80 80 268 40 40 56 80 80 204 80 304 76 0 384 448 0 0 308 232 384 204 196 40 172 264 0 40 28 104 244 228 20 244 0 244 12 164 156 204 188 108 184 216 148 452 44 44 148 80 224 308 0 96 28 156 196 196 164 0 0 0 80 272 76 264 192 272 0 308 48 448 0 0 204 124 40 496 64 8 192 392 192 144 0 28 232 192 232 192 108 232 116 40 244 164 0 0 8 192 40 104 36 0 32 148 84 140 84 180 56 60 128 128 372 124 84 284 48 84 304 300 308 0 184 240 280 464 300 504 32 504 456 464 504 156 500 156 464 300 332 60 332 260 292 16 328 16 264 0 40 176 268 196 0 472 40 48 284 0 492 40 0 116 60 76 76 76 76 80 76 76 116 192 168 116 192 216 292 220 52 4 12 308 292 244 0 140 4 48 136 48 8 48 48 36 48 48 0 232 40 60 196 200 28 88 44 272 104 68 260 40 268 0 272 0 292 0 0 40 0 240 120 104 348 276 124 316 276 116 156 88 316 128 176 316 276 232 0 84 40 192 0 352 40 436 264 72 464 384 472 68 64 40 0 232 80 140 28 28 228 0 204 196 200 28 180 104 0 196 204 204 80 152 192 68 4 116 44 188 188 192 236 0 396 224 264 344 28 24 164 212 456 488 40 32 40 164 28 8 140 16 164 164 204 100 140 164 164 204 188 272 0 292 232 40 48 352 0 0 108 0 344 232 40 232 272 272 200 68 224 248 264 232 116 68 40 344 460 448 448 488 464 156 488 40 68 88 28 152 68 232 116 0 268 56 88 380 148 0 420 252 444 268 0 0 68 268 308 128 268 264 176 268 40 0 232 260 76 308 184 268 384 24 168 472 24 24 12 168 168 336 60 180 40 72 40 232 348 304 0 68 252 44 8 0 212 124 0 148 40 40 360 0 360 232 244 40 268 348 392 0 308 0 424 124 64 264 8 24 40 304 452 40 0 308 0 40 0 76 224 0 0 384 424 40 0 76 0 32 268 384 0 280 204 196 48 180 144 104 4 104 204 104 188 20 104 144 84 192 192 252 304 224 192 12 208 0 8 272 0 48 40 372 392 40 40 180 272 232 264 12 228 172 256 124 164 204 72 272 344 308 40 0 492 372 108 0 260 432 40 196 164 252 192 192 40 8 0 144 40 40 40 40 40 28 228 156 68 0 156 0 40 224 40 40 244 452 236 148 28 108 276 208 212 24 220 252 196 124 272 44 148 264 432 40 436 76 488 80 68 108 108 380 108 148 100 108 184 0 232 512 32 232 196 40 356 40 236 0 0 12 0 336 384 384 260 212 112 392 320 120 376 8 52 80 128 84 248 128 512 232 196 88 308 0 0 248 252 252 60 292 88 292 292 292 228 72 228 72 136 228 268 80 268 0 308 8 0 48 40 40 0 68 0 192 0 0 444 344 280 32 264 344 24 456 40 32 404 164 40 68 0 224 128 208 192 0 140 28 164 40 424 144 424 40 40 40 164 104 232 0 320 116 104 28 308 308 348 240 308 344 448 408 448 448 408 172 212 148 172 308 132 436 372 184 428 356 104 40 204 156 164 228 164 196 160 72 392 64 236 72 372 132 72 8 28 12 12 12 500 4 416 304 12 12 28 40 264 200 12 232 264 256 32 0 164 40 224 40 40 304 8 40 424 40 164 40 40 0 0 32 348 452 412 144 452 452 376 412 412 404 452 436 48 260 416 48 384 8 96 8 352 156 188 156 192 192 224 128 208 192 192 152 156 472 0 156 0 40 224 244 40 232 156 36 156 0 196 68 196 136 196 296 112 184 4 20 4 44 232 40 496 196 308 0 116 156 116 116 156 156 116 156 228 156 116 132 360 40 128 360 252 12 280 272 68 232 36 436 88 120 36 52 76 232 152 4 316 380 8 272 360 224 308 0 280 316 260 472 252 176 132 60 64 76 124 368 120 48 100 164 164 108 68 40 0 260 8 260 292 232 40 204 40 8 40 360 40 164 348 40 272 348 132 92 320 412 32 8 8 32 48 48 184 48 156 76 88 88 216 48 48 192 76 76 116 168 0 220 116 232 448 448 180 276 48 456 384 488 380 448 56 408 0 204 196 172 496 8 264 8 392 436 72 4 8 132 424 64 8 464 432 44 496 0 40 348 260 56 96 256 56 300 268 68 92 228 120 228 4 188 392 0 124 40 40 0 40 444 40 444 0 536 40 0 0 0 0 268 8 40 332 156 192 0 232 232 232 432 432 388 124 76 56 432 392 276 424 456 320 20 232 348 0 40 40 12 0 392 124 40 496 64 264 0 436 380 364 0 144 340 380 148 112 104 308 4 40 0 244 444 156 156 0 40 224 404 268 40 40 192 8 0 40 192 348 304 304 100 344 60 344 148 264 56 40 268 116 40 184 40 40 40 124 140 116 164 40 308 156 40 0 224 0 4 120 124 84 208 84 84 164 36 124 268 308 64 108 108 108 164 108 184 88 344 108 148 216 332 204 144 0 192 28 116 192 156 40 192 348 96 40 52 116 80 436 444 484 212 420 236 192 224 292 184 40 316 0 192 344 40 64 232 64 308 268 76 268 268 40 232 232 224 88 272 32 120 120 232 64 196 156 48 156 160 196 156 264 352 96 148 104 456 64 40 156 156 80 156 156 116 112 228 280 184 248 252 160 184 184 144 88 292 236 260 56 196 176 168 176 396 64 420 152 464 32 464 424 320 384 424 196 352 0 320 204 0 0 308 0 216 156 212 308 40 308 164 8 304 272 156 48 260 0 48 260 148 140 16 188 188 188 120 92 216 268 228 496 384 316 344 180 384 144 152 344 304 344 68 252 444 40 432 348 252 0 0 444 40 8 392 84 432 392 200 124 288 392 424 392 364 348 40 0 0 0 8 0 224 268 244 228 452 0 272 192 0 124 0 232 28 0 164 124 40 40 348 40 0 432 0 80 8 244 292 140 244 60 204 100 48 204 140 28 104 8 16 40 228 8 32 8 32 272 204 0 124 36 236 8 304 156 8 168 172 160 200 64 40 4 136 184 68 60 12 228 132 184 40 192 0 272 308 292 268 40 188 64 168 56 44 48 324 204 196 124 48 0 40 40 40 232 168 292 432 128 424 52 88 172 68 196 196 40 36 184 40 0 40 244 172 44 100 44 44 0 0 364 140 324 272 264 252 68 0 104 308 308 72 308 40 308 76 0 40 244 40 452 52 416 48 312 40 192 40 40 0 40 284 0 148 36 308 224 184 160 224 8 204 240 40 316 232 404 192 28 344 404 24 84 240 412 96 52 444 84 448 52 308 300 168 64 104 204 12 0 40 444 0 40 384 24 308 80 400 0 220 48 388 404 344 80 312 220 300 384 0 352 328 208 44 284 0 0 0 244 392 68 24 24 208 40 364 356 120 356 272 20 108 148 272 312 244 116 52 76 36 192 296 56 232 0 308 104 8 40 164 72 132 108 124 116 268 92 300 32 8 8 48 300 12 84 320 108 320 80 156 280 40 296 268 0 40 40 40 8 80 40 0 32 40 432 40 0 204 32 68 196 188 196 112 72 240 344 308 40 28 344 360 400 68 40 40 40 228 308 264 20 264 224 228 212 268 352 352 28 284 0 492 344 204 136 200 44 336 0 180 212 164 132 40 392 0 108 0 8 0 40 184 184 84 180 144 184 116 0 204 204 0 204 136 0 0 268 0 232 432 496 488 60 276 272 32 24 444 312 0 168 40 104 36 268 0 36 104 40 0 0 0 0 28 348 308 0 192 232 124 228 192 28 0 0 0 308 228 124 0 0 272 388 348 348 60 332 100 272 68 204 28 164 164 28 236 164 180 228 104 120 124 200 328 240 4 80 84 104 84 40 0 0 0 44 148 188 332 304 108 432 476 392 40 196 128 8 28 368 384 172 8 392 32 304 268 0 212 4 308 340 52 384 48 244 0 192 192 0 88 40 348 80 136 124 284 328 232 372 400 308 240 384 68 352 324 28 </values>
2519.77/2520.01	v </instantiation>

Verifier Data 

OK	533394466

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304121-1534011160/watcher-4304121-1534011160 -o /tmp/evaluation-result-4304121-1534011160/solver-4304121-1534011160 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1533990732-21541 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1189761332 HOME/instance-4304121-1534011160.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.100119 s]*
/proc/loadavg: 1.92 2.00 2.04 3/192 24214
/proc/meminfo: memFree=5648604/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=44184 memory=18624 CPUtime=0.1 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 5087 0 0 0 10 0 0 0 20 0 1 0 218679227 45244416 4656 33554432000 4194304 7499544 140729473563456 140729473560456 140229235764197 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 11046 4656 703 807 0 4037 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44184 KiB
Current children cumulated memory: 18624 KiB

[startup+0.209789 s]*
/proc/loadavg: 1.92 2.00 2.04 3/192 24214
/proc/meminfo: memFree=5646000/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=46768 memory=21264 CPUtime=0.2 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 5707 0 0 0 20 0 0 0 20 0 1 0 218679227 47890432 5316 33554432000 4194304 7499544 140729473563456 140729473560456 140229235764197 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 11692 5316 704 807 0 4683 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46768 KiB
Current children cumulated memory: 21264 KiB

[startup+0.309272 s]*
/proc/loadavg: 1.92 2.00 2.04 3/192 24214
/proc/meminfo: memFree=5642528/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=50224 memory=24696 CPUtime=0.31 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 6572 0 0 0 30 1 0 0 20 0 1 0 218679227 51429376 6174 33554432000 4194304 7499544 140729473563456 140729473560456 140229239249309 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 12556 6174 704 807 0 5547 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 50224 KiB
Current children cumulated memory: 24696 KiB

[startup+0.700243 s]
/proc/loadavg: 1.92 2.00 2.04 3/192 24214
/proc/meminfo: memFree=5635956/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=63216 memory=37632 CPUtime=0.69 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 9808 0 0 0 68 1 0 0 20 0 1 0 218679227 64733184 9408 33554432000 4194304 7499544 140729473563456 140729473554136 4563984 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 15804 9408 704 807 0 8795 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 63216 KiB
Current children cumulated memory: 37632 KiB

[startup+1.50025 s]
/proc/loadavg: 1.92 2.00 2.04 3/192 24214
/proc/meminfo: memFree=5620952/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=84000 memory=58488 CPUtime=1.48 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 15021 0 0 0 147 1 0 0 20 0 1 0 218679227 86016000 14622 33554432000 4194304 7499544 140729473563456 140729473556696 5881454 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 21000 14622 720 807 0 13991 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 84000 KiB
Current children cumulated memory: 58488 KiB

[startup+3.10959 s]
/proc/loadavg: 1.92 2.00 2.04 3/192 24214
/proc/meminfo: memFree=5524252/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=123288 memory=97660 CPUtime=3.1 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 25995 0 0 0 305 5 0 0 20 0 1 0 218679227 126246912 24415 33554432000 4194304 7499544 140729473563456 140729473556696 5879081 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 30822 24415 721 807 0 23813 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 123288 KiB
Current children cumulated memory: 97660 KiB

[startup+6.30023 s]
/proc/loadavg: 1.93 2.00 2.04 3/192 24214
/proc/meminfo: memFree=5497540/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=200428 memory=175092 CPUtime=6.29 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 47407 0 0 0 615 14 0 0 20 0 1 0 218679227 205238272 43773 33554432000 4194304 7499544 140729473563456 140729473556696 5882051 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 50107 43773 721 807 0 43098 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 200428 KiB
Current children cumulated memory: 175092 KiB

[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 2.04 3/192 24214
/proc/meminfo: memFree=5347488/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=358872 memory=333392 CPUtime=12.68 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 88222 0 0 0 1247 21 0 0 20 0 1 0 218679227 367484928 83348 33554432000 4194304 7499544 140729473563456 140729473556696 5879025 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 89718 83348 722 807 0 82709 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 358872 KiB
Current children cumulated memory: 333392 KiB

[startup+25.5002 s]
/proc/loadavg: 1.95 2.00 2.04 3/192 24214
/proc/meminfo: memFree=5027304/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=674744 memory=649096 CPUtime=25.48 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 169625 0 0 0 2516 32 0 0 20 0 1 0 218679227 690937856 162274 33554432000 4194304 7499544 140729473563456 140729473556696 5882062 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 168686 162274 722 807 0 161677 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 674744 KiB
Current children cumulated memory: 649096 KiB

[startup+51.1096 s]
/proc/loadavg: 2.36 2.10 2.07 3/192 24214
/proc/meminfo: memFree=4381300/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=1308412 memory=1282956 CPUtime=51.07 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 328773 0 0 0 5052 55 0 0 20 0 1 0 218679227 1339813888 320739 33554432000 4194304 7499544 140729473563456 140729473556696 5879589 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 327103 320739 722 807 0 320094 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 1308412 KiB
Current children cumulated memory: 1282956 KiB

[startup+102.3 s]
/proc/loadavg: 2.28 2.12 2.08 3/192 24216
/proc/meminfo: memFree=4019380/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=1668264 memory=1643176 CPUtime=102.25 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 653880 0 0 0 10146 79 0 0 20 0 1 0 218679227 1708302336 410794 33554432000 4194304 7499544 140729473563456 140729473558472 5790971 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 417066 410794 766 807 0 410057 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 1668264 KiB
Current children cumulated memory: 1643176 KiB

[startup+162.3 s]
/proc/loadavg: 2.10 2.10 2.08 3/191 24217
/proc/meminfo: memFree=4015276/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=1673140 memory=1648076 CPUtime=162.23 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 763380 0 0 0 16137 86 0 0 20 0 1 0 218679227 1713295360 412019 33554432000 4194304 7499544 140729473563456 140729473557992 4253264 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 418285 412019 766 807 0 411276 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 1673140 KiB
Current children cumulated memory: 1648076 KiB

[startup+222.3 s]
/proc/loadavg: 2.04 2.08 2.07 3/191 24218
/proc/meminfo: memFree=4014020/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=1674064 memory=1648932 CPUtime=222.22 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 865307 0 0 0 22131 91 0 0 20 0 1 0 218679227 1714241536 412233 33554432000 4194304 7499544 140729473563456 140729473557992 5790987 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 418516 412233 766 807 0 411507 0
Current children cumulated CPU time: 222.22 s
Current children cumulated vsize: 1674064 KiB
Current children cumulated memory: 1648932 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 2.07 2.06 3/191 24219
/proc/meminfo: memFree=4014432/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=1674856 memory=1649792 CPUtime=282.21 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 962203 0 0 0 28124 97 0 0 20 0 1 0 218679227 1715052544 412448 33554432000 4194304 7499544 140729473563456 140729473557992 5770120 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 418714 412448 766 807 0 411705 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 1674856 KiB
Current children cumulated memory: 1649792 KiB

[startup+342.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/191 24220
/proc/meminfo: memFree=4013884/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=1675120 memory=1650016 CPUtime=342.2 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1052451 0 0 0 34118 102 0 0 20 0 1 0 218679227 1715322880 412504 33554432000 4194304 7499544 140729473563456 140729473557992 4258061 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 418780 412504 766 807 0 411771 0
Current children cumulated CPU time: 342.2 s
Current children cumulated vsize: 1675120 KiB
Current children cumulated memory: 1650016 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/190 24221
/proc/meminfo: memFree=4013940/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=1675252 memory=1650148 CPUtime=402.19 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1133082 0 0 0 40112 107 0 0 20 0 1 0 218679227 1715458048 412537 33554432000 4194304 7499544 140729473563456 140729473557992 5573412 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 418813 412537 766 807 0 411804 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 1675252 KiB
Current children cumulated memory: 1650148 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/191 24230
/proc/meminfo: memFree=4012260/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=1675516 memory=1650324 CPUtime=462.18 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1208441 0 0 0 46106 112 0 0 20 0 1 0 218679227 1715728384 412581 33554432000 4194304 7499544 140729473563456 140729473557992 5574156 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 418879 412581 766 807 0 411870 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 1675516 KiB
Current children cumulated memory: 1650324 KiB


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

/proc/24213/statm: 422120 415846 766 807 0 415111 0
Current children cumulated CPU time: 1722.08 s
Current children cumulated vsize: 1688480 KiB
Current children cumulated memory: 1663384 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/191 25134
/proc/meminfo: memFree=16084724/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=1688612 memory=1663552 CPUtime=1782.08 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1725877 0 0 0 178044 164 0 0 20 0 1 0 218679227 1729138688 415888 33554432000 4194304 7499544 140729473563456 140729473557992 4249975 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 422153 415888 766 807 0 415144 0
Current children cumulated CPU time: 1782.08 s
Current children cumulated vsize: 1688612 KiB
Current children cumulated memory: 1663552 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/191 25135
/proc/meminfo: memFree=16084968/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=1688744 memory=1663616 CPUtime=1842.08 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1730097 0 0 0 184043 165 0 0 20 0 1 0 218679227 1729273856 415904 33554432000 4194304 7499544 140729473563456 140729473557992 4579850 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 422186 415904 766 807 0 415177 0
Current children cumulated CPU time: 1842.08 s
Current children cumulated vsize: 1688744 KiB
Current children cumulated memory: 1663616 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/191 25136
/proc/meminfo: memFree=16084440/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=1688744 memory=1663708 CPUtime=1902.08 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1732070 0 0 0 190043 165 0 0 20 0 1 0 218679227 1729273856 415927 33554432000 4194304 7499544 140729473563456 140729473557992 5648658 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 422186 415927 766 807 0 415177 0
Current children cumulated CPU time: 1902.08 s
Current children cumulated vsize: 1688744 KiB
Current children cumulated memory: 1663708 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/191 25137
/proc/meminfo: memFree=16084772/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=1688876 memory=1663720 CPUtime=1962.08 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1736896 0 0 0 196042 166 0 0 20 0 1 0 218679227 1729409024 415930 33554432000 4194304 7499544 140729473563456 140729473557880 4404884 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 422219 415930 766 807 0 415210 0
Current children cumulated CPU time: 1962.08 s
Current children cumulated vsize: 1688876 KiB
Current children cumulated memory: 1663720 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/191 25138
/proc/meminfo: memFree=16084604/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=1688876 memory=1663764 CPUtime=2022.08 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1741469 0 0 0 202042 166 0 0 20 0 1 0 218679227 1729409024 415941 33554432000 4194304 7499544 140729473563456 140729473557880 5790974 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 422219 415941 766 807 0 415210 0
Current children cumulated CPU time: 2022.08 s
Current children cumulated vsize: 1688876 KiB
Current children cumulated memory: 1663764 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/191 25139
/proc/meminfo: memFree=16084564/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=1688876 memory=1663792 CPUtime=2082.07 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1744562 0 0 0 208041 166 0 0 20 0 1 0 218679227 1729409024 415948 33554432000 4194304 7499544 140729473563456 140729473557880 5773328 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 422219 415948 766 807 0 415210 0
Current children cumulated CPU time: 2082.07 s
Current children cumulated vsize: 1688876 KiB
Current children cumulated memory: 1663792 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/191 25140
/proc/meminfo: memFree=16084272/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=1688876 memory=1663840 CPUtime=2142.07 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1748036 0 0 0 214041 166 0 0 20 0 1 0 218679227 1729409024 415960 33554432000 4194304 7499544 140729473563456 140729473557880 5773199 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 422219 415960 766 807 0 415210 0
Current children cumulated CPU time: 2142.07 s
Current children cumulated vsize: 1688876 KiB
Current children cumulated memory: 1663840 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/190 25141
/proc/meminfo: memFree=16084328/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=1688876 memory=1663840 CPUtime=2202.07 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1750066 0 0 0 220041 166 0 0 20 0 1 0 218679227 1729409024 415960 33554432000 4194304 7499544 140729473563456 140729473557880 5790974 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 422219 415960 766 807 0 415210 0
Current children cumulated CPU time: 2202.07 s
Current children cumulated vsize: 1688876 KiB
Current children cumulated memory: 1663840 KiB

[startup+2262.3 s]
/proc/loadavg: 2.36 2.08 2.06 3/191 25150
/proc/meminfo: memFree=16084028/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=1689008 memory=1663900 CPUtime=2262.07 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1751682 0 0 0 226040 167 0 0 20 0 1 0 218679227 1729544192 415975 33554432000 4194304 7499544 140729473563456 140729473557992 4579850 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 422252 415975 766 807 0 415243 0
Current children cumulated CPU time: 2262.07 s
Current children cumulated vsize: 1689008 KiB
Current children cumulated memory: 1663900 KiB

[startup+2322.3 s]
/proc/loadavg: 2.13 2.07 2.05 3/191 25151
/proc/meminfo: memFree=16084528/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=1689140 memory=1664084 CPUtime=2322.07 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1753297 0 0 0 232040 167 0 0 20 0 1 0 218679227 1729679360 416021 33554432000 4194304 7499544 140729473563456 140729473557992 4253104 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 422285 416021 766 807 0 415276 0
Current children cumulated CPU time: 2322.07 s
Current children cumulated vsize: 1689140 KiB
Current children cumulated memory: 1664084 KiB

[startup+2382.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/191 25152
/proc/meminfo: memFree=16084228/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=1689272 memory=1664236 CPUtime=2382.07 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1754889 0 0 0 238040 167 0 0 20 0 1 0 218679227 1729814528 416059 33554432000 4194304 7499544 140729473563456 140729473557992 4404999 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 422318 416059 766 807 0 415309 0
Current children cumulated CPU time: 2382.07 s
Current children cumulated vsize: 1689272 KiB
Current children cumulated memory: 1664236 KiB

[startup+2442.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/191 25153
/proc/meminfo: memFree=16084300/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=1689404 memory=1664368 CPUtime=2442.06 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1756502 0 0 0 244039 167 0 0 20 0 1 0 218679227 1729949696 416092 33554432000 4194304 7499544 140729473563456 140729473557992 4258023 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 422351 416092 766 807 0 415342 0
Current children cumulated CPU time: 2442.06 s
Current children cumulated vsize: 1689404 KiB
Current children cumulated memory: 1664368 KiB

[startup+2502.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/192 25155
/proc/meminfo: memFree=16083296/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=1689536 memory=1664500 CPUtime=2502.06 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1757942 0 0 0 250039 167 0 0 20 0 1 0 218679227 1730084864 416125 33554432000 4194304 7499544 140729473563456 140729473557992 5790971 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 422384 416125 766 807 0 415375 0
Current children cumulated CPU time: 2502.06 s
Current children cumulated vsize: 1689536 KiB
Current children cumulated memory: 1664500 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.01 2.04 2.05 3/192 25155
/proc/meminfo: memFree=16083688/32770624 swapFree=67108860/67108860
[pid=24213] ppid=24210 vsize=1689536 memory=1664500 CPUtime=2519.77 cores=0,2,4,6
/proc/24213/stat : 24213 (MistralXCSP) R 24210 24213 21509 0 -1 4202496 1758393 0 0 0 251810 167 0 0 20 0 1 0 218679227 1730084864 416125 33554432000 4194304 7499544 140729473563456 140729473557992 5791018 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 12210176 140729473565805 140729473565955 140729473565955 140729473568713 0
/proc/24213/statm: 422384 416125 766 807 0 415375 0
Current children cumulated CPU time: 2519.77 s
Current children cumulated vsize: 1689536 KiB
Current children cumulated memory: 1664500 KiB

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

[startup+2520.02 s]
# the end of solver process 24213 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.11 s, system=1.68493 s

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

Child status: 0
Real time (s): 2520.02
CPU time (s): 2519.79
CPU user time (s): 2518.11
CPU system time (s): 1.68493
CPU usage (%): 99.991
Max. virtual memory (cumulated for all children) (KiB): 1689536
Max. memory (cumulated for all children) (KiB): 1664500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.11
system time used= 1.68493
maximum resident set size= 1664520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1758425
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 263
involuntary context switches= 1627


# summary of solver processes directly reported to runsolver:
#   pid: 24213
#   total CPU time (s): 2519.79
#   total CPU user time (s): 2518.11
#   total CPU system time (s): 1.68493

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3061 second user time and 18.7747 second system time

The end

Launcher Data 

Begin job on node132 at 2018-08-11 20:12:41
IDJOB=4304121
IDBENCH=141270
IDSOLVER=2779
FILE ID=node132/4304121-1534011160
RUNJOBID= node132-1533990732-21541
PBS_JOBID= 21036940
Free space on /tmp= 37840 MiB

SOLVER NAME= Mistral-2.0 2018-08-01
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-05-0350_c18.xml
COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304121-1534011160/watcher-4304121-1534011160 -o /tmp/evaluation-result-4304121-1534011160/solver-4304121-1534011160 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1533990732-21541 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1189761332 HOME/instance-4304121-1534011160.xml

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

MD5SUM BENCH= 51c3d091a7e4b0716a15e9a29832b849
RANDOM SEED=1189761332

node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         5664120 kB
MemAvailable:   31883524 kB
Buffers:          244032 kB
Cached:         25874640 kB
SwapCached:            0 kB
Active:          9273592 kB
Inactive:       16920800 kB
Active(anon):      23688 kB
Inactive(anon):   104652 kB
Active(file):    9249904 kB
Inactive(file): 16816148 kB
Unevictable:        7020 kB
Mlocked:            7020 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            154216 kB
Writeback:             0 kB
AnonPages:         82852 kB
Mapped:            54732 kB
Shmem:             49824 kB
Slab:             609728 kB
SReclaimable:     581812 kB
SUnreclaim:        27916 kB
KernelStack:        3376 kB
PageTables:         5336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     397592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 37836 MiB
End job on node132 at 2018-08-11 20:54:41