Trace number 4292032

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-06-15SAT (TO)533394466 2400.08 2400.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 16062018
87.00/87.02	o 533982479
87.00/87.02	o 533982477
87.00/87.03	o 533960701
87.00/87.04	o 533960698
87.00/87.04	o 533938920
87.00/87.06	o 533917158
87.00/87.09	o 533917149
87.10/87.13	o 533917142
87.29/87.30	o 533917141
87.29/87.30	o 533917135
87.69/87.70	o 533873581
87.79/87.87	o 533851804
87.79/87.87	o 533851796
90.30/90.32	o 533830026
92.50/92.52	o 533830021
93.40/93.42	o 533830006
94.40/94.44	o 533830003
95.50/95.54	o 533786462
97.50/97.58	o 533764694
99.01/99.07	o 533764683
99.80/99.88	o 533742914
102.11/102.12	o 533742907
480.80/480.89	o 533742906
480.80/480.89	o 533721136
480.90/480.90	o 533699366
480.90/480.92	o 533677596
480.90/480.95	o 533677595
480.90/480.96	o 533655826
480.90/480.96	o 533655825
481.20/481.20	o 533655817
481.20/481.21	o 533634047
481.30/481.35	o 533634046
481.60/481.64	o 533634045
524.60/524.68	o 533634035
524.60/524.69	o 533612258
524.70/524.72	o 533590486
524.70/524.78	o 533590485
524.70/524.79	o 533590484
527.19/527.27	o 533568714
532.79/532.87	o 533568713
695.78/695.86	o 533568711
719.28/719.39	o 533568710
719.38/719.43	o 533568709
873.68/873.78	o 533568707
874.68/874.77	o 533546937
885.09/885.16	o 533546934
896.88/896.94	o 533525168
896.88/896.95	o 533525165
896.88/896.96	o 533525158
896.99/897.03	o 533525150
897.09/897.18	o 533525146
897.18/897.25	o 533503366
897.28/897.36	o 533481587
898.18/898.27	o 533459808
899.88/899.99	o 533438038
911.78/911.85	o 533416276
922.88/922.93	o 533394507
930.28/930.39	o 533394502
984.78/984.83	o 533394501
995.09/995.19	o 533394495
1157.18/1157.29	o 533394494
1157.28/1157.31	o 533394492
1157.28/1157.33	o 533394490
1157.28/1157.33	o 533394488
1157.28/1157.34	o 533394481
1157.28/1157.38	o 533394480
1161.69/1161.70	o 533394479
1264.58/1264.62	o 533394475
1264.78/1264.85	o 533394470
1266.09/1266.17	o 533394466
2400.06/2400.01	s SATISFIABLE
2400.06/2400.01	v <instantiation type="solution">
2400.06/2400.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>
2400.06/2400.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>
2400.06/2400.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 (3917 MiB free)
  memory of node 1: 16384 MiB (11123 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292032-1532265341/watcher-4292032-1532265341 -o /tmp/evaluation-result-4292032-1532265341/solver-4292032-1532265341 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532260533-31107 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 550915186 HOME/instance-4292032-1532265341.xml 

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

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

solver pid=32187, runsolver pid=32184

[startup+0.100207 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 32188
/proc/meminfo: memFree=15386400/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=44184 memory=18620 CPUtime=0.1 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 5079 0 0 0 10 0 0 0 20 0 1 0 44097337 45244416 4655 33554432000 4194304 7498468 140732327324448 140732327321448 139966812482533 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 11046 4655 703 807 0 4037 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44184 KiB
Current children cumulated memory: 18620 KiB

[startup+0.209871 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 32188
/proc/meminfo: memFree=15384044/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=46768 memory=21260 CPUtime=0.21 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 5700 0 0 0 21 0 0 0 20 0 1 0 44097337 47890432 5315 33554432000 4194304 7498468 140732327324448 140732327321448 139966812482533 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 11692 5315 704 807 0 4683 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 46768 KiB
Current children cumulated memory: 21260 KiB

[startup+0.309294 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 32188
/proc/meminfo: memFree=15380696/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=50088 memory=24692 CPUtime=0.31 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 6555 0 0 0 31 0 0 0 20 0 1 0 44097337 51290112 6173 33554432000 4194304 7498468 140732327324448 140732327321448 139966815969440 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 12522 6173 704 807 0 5513 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 50088 KiB
Current children cumulated memory: 24692 KiB

[startup+0.700355 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32188
/proc/meminfo: memFree=15373812/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=63072 memory=37628 CPUtime=0.69 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 9779 0 0 0 68 1 0 0 20 0 1 0 44097337 64585728 9407 33554432000 4194304 7498468 140732327324448 140732327315208 4564424 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 15768 9407 704 807 0 8759 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 63072 KiB
Current children cumulated memory: 37628 KiB

[startup+1.50037 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32188
/proc/meminfo: memFree=15358808/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=84000 memory=58484 CPUtime=1.49 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 15018 0 0 0 147 2 0 0 20 0 1 0 44097337 86016000 14621 33554432000 4194304 7498468 140732327324448 140732327315208 5877439 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 21000 14621 717 807 0 13991 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 84000 KiB
Current children cumulated memory: 58484 KiB

[startup+3.10969 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32188
/proc/meminfo: memFree=15308960/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=123708 memory=98180 CPUtime=3.1 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 26129 0 0 0 306 4 0 0 20 0 1 0 44097337 126676992 24545 33554432000 4194304 7498468 140732327324448 140732327315752 5881872 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 30927 24545 718 807 0 23918 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 123708 KiB
Current children cumulated memory: 98180 KiB

[startup+6.3004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32188
/proc/meminfo: memFree=15219596/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=202152 memory=176500 CPUtime=6.29 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 47777 0 0 0 623 6 0 0 20 0 1 0 44097337 207003648 44125 33554432000 4194304 7498468 140732327324448 140732327315752 6016825 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 50538 44125 718 807 0 43529 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 202152 KiB
Current children cumulated memory: 176500 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32188
/proc/meminfo: memFree=15085332/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=360848 memory=335384 CPUtime=12.69 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 89874 0 0 0 1258 11 0 0 20 0 1 0 44097337 369508352 83846 33554432000 4194304 7498468 140732327324448 140732327317688 5881231 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 90212 83846 719 807 0 83203 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 360848 KiB
Current children cumulated memory: 335384 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32188
/proc/meminfo: memFree=14764172/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=677664 memory=652032 CPUtime=25.5 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 173240 0 0 0 2528 22 0 0 20 0 1 0 44097337 693927936 163008 33554432000 4194304 7498468 140732327324448 140732327317688 5881875 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 169416 163008 719 807 0 162407 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 677664 KiB
Current children cumulated memory: 652032 KiB

[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32188
/proc/meminfo: memFree=14119372/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=1311728 memory=1286244 CPUtime=51.11 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 334791 0 0 0 5070 41 0 0 20 0 1 0 44097337 1343209472 321561 33554432000 4194304 7498468 140732327324448 140732327317688 5882226 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 327932 321561 719 807 0 320923 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 1311728 KiB
Current children cumulated memory: 1286244 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32189
/proc/meminfo: memFree=13758828/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=1668264 memory=1643156 CPUtime=102.3 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 673600 0 0 0 10166 64 0 0 20 0 1 0 44097337 1708302336 410789 33554432000 4194304 7498468 140732327324448 140732327319464 5773631 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 417066 410789 761 807 0 410057 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 1668264 KiB
Current children cumulated memory: 1643156 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32190
/proc/meminfo: memFree=13754116/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=1673140 memory=1647924 CPUtime=162.3 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 802968 0 0 0 16160 70 0 0 20 0 1 0 44097337 1713295360 411981 33554432000 4194304 7498468 140732327324448 140732327318984 5791513 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 418285 411981 761 807 0 411276 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 1673140 KiB
Current children cumulated memory: 1647924 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32191
/proc/meminfo: memFree=13753000/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=1674064 memory=1648908 CPUtime=222.31 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 929914 0 0 0 22154 77 0 0 20 0 1 0 44097337 1714241536 412227 33554432000 4194304 7498468 140732327324448 140732327318984 5574588 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 418516 412227 761 807 0 411507 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 1674064 KiB
Current children cumulated memory: 1648908 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32200
/proc/meminfo: memFree=13751284/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=1674856 memory=1649772 CPUtime=282.31 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 1059039 0 0 0 28148 83 0 0 20 0 1 0 44097337 1715052544 412443 33554432000 4194304 7498468 140732327324448 140732327318984 4406235 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 418714 412443 761 807 0 411705 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 1674856 KiB
Current children cumulated memory: 1649772 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32201
/proc/meminfo: memFree=13751160/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=1675120 memory=1649980 CPUtime=342.32 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 1189041 0 0 0 34143 89 0 0 20 0 1 0 44097337 1715322880 412495 33554432000 4194304 7498468 140732327324448 140732327318904 4253243 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 418780 412495 761 807 0 411771 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 1675120 KiB
Current children cumulated memory: 1649980 KiB

[startup+402.3 s]
/proc/loadavg: 1.93 2.00 2.04 3/188 32266
/proc/meminfo: memFree=13864040/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=1675252 memory=1650112 CPUtime=402.3 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 1316852 0 0 0 40133 97 0 0 20 0 1 0 44097337 1715458048 412528 33554432000 4194304 7498468 140732327324448 140732327318984 4249936 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 418813 412528 761 807 0 411804 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 1675252 KiB
Current children cumulated memory: 1650112 KiB

[startup+462.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/188 32267
/proc/meminfo: memFree=12335524/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=1675384 memory=1650300 CPUtime=462.3 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 1435209 0 0 0 46128 102 0 0 20 0 1 0 44097337 1715593216 412575 33554432000 4194304 7498468 140732327324448 140732327318984 4249991 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 418846 412575 761 807 0 411837 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 1675384 KiB
Current children cumulated memory: 1650300 KiB


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

/proc/32187/statm: 421889 415625 761 807 0 414880 0
Current children cumulated CPU time: 1602.29 s
Current children cumulated vsize: 1687556 KiB
Current children cumulated memory: 1662500 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/188 32304
/proc/meminfo: memFree=11679916/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=1687952 memory=1662896 CPUtime=1662.3 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 2408193 0 0 0 166078 152 0 0 20 0 1 0 44097337 1728462848 415724 33554432000 4194304 7498468 140732327324448 140732327318984 5773650 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 421988 415724 761 807 0 414979 0
Current children cumulated CPU time: 1662.3 s
Current children cumulated vsize: 1687952 KiB
Current children cumulated memory: 1662896 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 32305
/proc/meminfo: memFree=11679776/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=1688480 memory=1663348 CPUtime=1722.3 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 2412316 0 0 0 172078 152 0 0 20 0 1 0 44097337 1729003520 415837 33554432000 4194304 7498468 140732327324448 140732327318984 5791376 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 422120 415837 761 807 0 415111 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 1688480 KiB
Current children cumulated memory: 1663348 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 32306
/proc/meminfo: memFree=11679416/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=1688612 memory=1663520 CPUtime=1782.3 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 2416020 0 0 0 178078 152 0 0 20 0 1 0 44097337 1729138688 415880 33554432000 4194304 7498468 140732327324448 140732327318984 4222944 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 422153 415880 761 807 0 415144 0
Current children cumulated CPU time: 1782.3 s
Current children cumulated vsize: 1688612 KiB
Current children cumulated memory: 1663520 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32307
/proc/meminfo: memFree=11679436/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=1688744 memory=1663556 CPUtime=1842.31 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 2419961 0 0 0 184079 152 0 0 20 0 1 0 44097337 1729273856 415889 33554432000 4194304 7498468 140732327324448 140732327318984 4386197 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 422186 415889 761 807 0 415177 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 1688744 KiB
Current children cumulated memory: 1663556 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32308
/proc/meminfo: memFree=11680168/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=1688744 memory=1663688 CPUtime=1902.32 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 2424144 0 0 0 190079 153 0 0 20 0 1 0 44097337 1729273856 415922 33554432000 4194304 7498468 140732327324448 140732327318984 4258077 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 422186 415922 761 807 0 415177 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 1688744 KiB
Current children cumulated memory: 1663688 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32309
/proc/meminfo: memFree=11680344/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=1688876 memory=1663696 CPUtime=1962.32 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 2427541 0 0 0 196079 153 0 0 20 0 1 0 44097337 1729409024 415924 33554432000 4194304 7498468 140732327324448 140732327318872 4246879 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 422219 415924 761 807 0 415210 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 1688876 KiB
Current children cumulated memory: 1663696 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32310
/proc/meminfo: memFree=11679996/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=1688876 memory=1663728 CPUtime=2022.32 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 2431536 0 0 0 202079 153 0 0 20 0 1 0 44097337 1729409024 415932 33554432000 4194304 7498468 140732327324448 140732327318872 5791403 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 422219 415932 761 807 0 415210 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 1688876 KiB
Current children cumulated memory: 1663728 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32318
/proc/meminfo: memFree=11679680/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=1688876 memory=1663772 CPUtime=2082.32 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 2434643 0 0 0 208079 153 0 0 20 0 1 0 44097337 1729409024 415943 33554432000 4194304 7498468 140732327324448 140732327318872 4406223 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 422219 415943 761 807 0 415210 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 1688876 KiB
Current children cumulated memory: 1663772 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32319
/proc/meminfo: memFree=11679336/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=1688876 memory=1663820 CPUtime=2142.33 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 2438109 0 0 0 214080 153 0 0 20 0 1 0 44097337 1729409024 415955 33554432000 4194304 7498468 140732327324448 140732327318872 5791352 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 422219 415955 761 807 0 415210 0
Current children cumulated CPU time: 2142.33 s
Current children cumulated vsize: 1688876 KiB
Current children cumulated memory: 1663820 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32320
/proc/meminfo: memFree=11675828/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=1688876 memory=1663820 CPUtime=2202.34 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 2442747 0 0 0 220080 154 0 0 20 0 1 0 44097337 1729409024 415955 33554432000 4194304 7498468 140732327324448 140732327318872 5791406 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 422219 415955 761 807 0 415210 0
Current children cumulated CPU time: 2202.34 s
Current children cumulated vsize: 1688876 KiB
Current children cumulated memory: 1663820 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32321
/proc/meminfo: memFree=11674200/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=1689008 memory=1663876 CPUtime=2262.34 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 2447304 0 0 0 226080 154 0 0 20 0 1 0 44097337 1729544192 415969 33554432000 4194304 7498468 140732327324448 140732327318984 5791403 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 422252 415969 761 807 0 415243 0
Current children cumulated CPU time: 2262.34 s
Current children cumulated vsize: 1689008 KiB
Current children cumulated memory: 1663876 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32322
/proc/meminfo: memFree=11673548/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=1689008 memory=1663928 CPUtime=2322.35 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 2451627 0 0 0 232080 155 0 0 20 0 1 0 44097337 1729544192 415982 33554432000 4194304 7498468 140732327324448 140732327318984 5791403 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 422252 415982 761 807 0 415243 0
Current children cumulated CPU time: 2322.35 s
Current children cumulated vsize: 1689008 KiB
Current children cumulated memory: 1663928 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32324
/proc/meminfo: memFree=11671928/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=1689272 memory=1664208 CPUtime=2382.35 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 2455621 0 0 0 238080 155 0 0 20 0 1 0 44097337 1729814528 416052 33554432000 4194304 7498468 140732327324448 140732327318984 5838464 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 422318 416052 761 807 0 415309 0
Current children cumulated CPU time: 2382.35 s
Current children cumulated vsize: 1689272 KiB
Current children cumulated memory: 1664208 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 32324
/proc/meminfo: memFree=11671276/32770624 swapFree=67108860/67108860
[pid=32187] ppid=32184 vsize=1689272 memory=1664216 CPUtime=2400.06 cores=0,2,4,6
/proc/32187/stat : 32187 (MistralXCSP) R 32184 32187 31076 0 -1 4202496 2456257 0 0 0 239851 155 0 0 20 0 1 0 44097337 1729814528 416054 33554432000 4194304 7498468 140732327324448 140732327318984 4406223 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 26161152 140732327326830 140732327326979 140732327326979 140732327329737 0
/proc/32187/statm: 422318 416054 761 807 0 415309 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 1689272 KiB
Current children cumulated memory: 1664216 KiB

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

[startup+2400.02 s]
# the end of solver process 32187 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.51 s, system=1.5631 s

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

Child status: 0
Real time (s): 2400.02
CPU time (s): 2400.08
CPU user time (s): 2398.51
CPU system time (s): 1.5631
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1689272
Max. memory (cumulated for all children) (KiB): 1664216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.51
system time used= 1.5631
maximum resident set size= 1664236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2456289
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= 251
involuntary context switches= 1048


# summary of solver processes directly reported to runsolver:
#   pid: 32187
#   total CPU time (s): 2400.08
#   total CPU user time (s): 2398.51
#   total CPU system time (s): 1.5631

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.89618 second user time and 20.9562 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-22 15:15:42
IDJOB=4292032
IDBENCH=141270
IDSOLVER=2741
FILE ID=node105/4292032-1532265341
RUNJOBID= node105-1532260533-31107
PBS_JOBID= 21018967
Free space on /tmp= 44724 MiB

SOLVER NAME= Mistral-2.0 2018-06-15
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-4292032-1532265341/watcher-4292032-1532265341 -o /tmp/evaluation-result-4292032-1532265341/solver-4292032-1532265341 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532260533-31107 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 550915186 HOME/instance-4292032-1532265341.xml

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

MD5SUM BENCH= 51c3d091a7e4b0716a15e9a29832b849
RANDOM SEED=550915186

node105.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.32
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.32
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.32
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.32
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:        15402780 kB
MemAvailable:   31421228 kB
Buffers:          157848 kB
Cached:         15829524 kB
SwapCached:            0 kB
Active:          1958712 kB
Inactive:       14599484 kB
Active(anon):     525440 kB
Inactive(anon):    65084 kB
Active(file):    1433272 kB
Inactive(file): 14534400 kB
Unevictable:        7308 kB
Mlocked:            7308 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            157164 kB
Writeback:             0 kB
AnonPages:        578220 kB
Mapped:            37440 kB
Shmem:             17036 kB
Slab:             506312 kB
SReclaimable:     479236 kB
SUnreclaim:        27076 kB
KernelStack:        3344 kB
PageTables:         6152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     862696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    518144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44552 MiB
End job on node105 at 2018-07-22 15:55:42