diff options
Diffstat (limited to 'testsuites/smptests/smplock01/smplock01.scn')
| -rw-r--r-- | testsuites/smptests/smplock01/smplock01.scn | 2811 |
1 files changed, 237 insertions, 2574 deletions
diff --git a/testsuites/smptests/smplock01/smplock01.scn b/testsuites/smptests/smplock01/smplock01.scn index 3d4b90f507..1d2e3c98e1 100644 --- a/testsuites/smptests/smplock01/smplock01.scn +++ b/testsuites/smptests/smplock01/smplock01.scn @@ -1,2576 +1,239 @@ + + SIS - SPARC/RISCV instruction simulator 2.30, copyright Jiri Gaisler 2020 + Bug-reports to jiri@gaisler.se + + GR740/LEON4 emulation enabled, 4 cpus online, delta 50 clocks + + Loaded build/sparc/gr740/testsuites/smptests/smplock01.exe, entry 0x00000000 + + *** BEGIN OF TEST SMPLOCK 1 *** -<SMPLock01> - <GlobalTicketLockWithLocalCounter activeWorker="1"> - <LocalCounter worker="0">18357037</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>18357037</SumOfLocalCounter> - </GlobalTicketLockWithLocalCounter> - <GlobalTicketLockWithLocalCounter activeWorker="2"> - <LocalCounter worker="0">10121166</LocalCounter> - <LocalCounter worker="1">10121320</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>20242486</SumOfLocalCounter> - </GlobalTicketLockWithLocalCounter> - <GlobalTicketLockWithLocalCounter activeWorker="3"> - <LocalCounter worker="0">5707325</LocalCounter> - <LocalCounter worker="1">5707356</LocalCounter> - <LocalCounter worker="2">5707357</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>17122038</SumOfLocalCounter> - </GlobalTicketLockWithLocalCounter> - <GlobalTicketLockWithLocalCounter activeWorker="4"> - <LocalCounter worker="0">4194779</LocalCounter> - <LocalCounter worker="1">4194794</LocalCounter> - <LocalCounter worker="2">4194790</LocalCounter> - <LocalCounter worker="3">4194794</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>16779157</SumOfLocalCounter> - </GlobalTicketLockWithLocalCounter> - <GlobalTicketLockWithLocalCounter activeWorker="5"> - <LocalCounter worker="0">3328106</LocalCounter> - <LocalCounter worker="1">3328112</LocalCounter> - <LocalCounter worker="2">3328107</LocalCounter> - <LocalCounter worker="3">3328109</LocalCounter> - <LocalCounter worker="4">3328114</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>16640548</SumOfLocalCounter> - </GlobalTicketLockWithLocalCounter> - <GlobalTicketLockWithLocalCounter activeWorker="6"> - <LocalCounter worker="0">2719456</LocalCounter> - <LocalCounter worker="1">2719464</LocalCounter> - <LocalCounter worker="2">2719465</LocalCounter> - <LocalCounter worker="3">2719465</LocalCounter> - <LocalCounter worker="4">2719465</LocalCounter> - <LocalCounter worker="5">2719464</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>16316779</SumOfLocalCounter> - </GlobalTicketLockWithLocalCounter> - <GlobalTicketLockWithLocalCounter activeWorker="7"> - <LocalCounter worker="0">2281694</LocalCounter> - <LocalCounter worker="1">2281698</LocalCounter> - <LocalCounter worker="2">2281695</LocalCounter> - <LocalCounter worker="3">2281700</LocalCounter> - <LocalCounter worker="4">2281700</LocalCounter> - <LocalCounter worker="5">2281697</LocalCounter> - <LocalCounter worker="6">2281699</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>15971883</SumOfLocalCounter> - </GlobalTicketLockWithLocalCounter> - <GlobalTicketLockWithLocalCounter activeWorker="8"> - <LocalCounter worker="0">1973749</LocalCounter> - <LocalCounter worker="1">1973751</LocalCounter> - <LocalCounter worker="2">1973749</LocalCounter> - <LocalCounter worker="3">1973754</LocalCounter> - <LocalCounter worker="4">1973753</LocalCounter> - <LocalCounter worker="5">1973751</LocalCounter> - <LocalCounter worker="6">1973749</LocalCounter> - <LocalCounter worker="7">1973749</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>15790005</SumOfLocalCounter> - </GlobalTicketLockWithLocalCounter> - <GlobalTicketLockWithLocalCounter activeWorker="9"> - <LocalCounter worker="0">531562</LocalCounter> - <LocalCounter worker="1">531561</LocalCounter> - <LocalCounter worker="2">531558</LocalCounter> - <LocalCounter worker="3">531556</LocalCounter> - <LocalCounter worker="4">531562</LocalCounter> - <LocalCounter worker="5">531566</LocalCounter> - <LocalCounter worker="6">531561</LocalCounter> - <LocalCounter worker="7">531560</LocalCounter> - <LocalCounter worker="8">531589</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>4784075</SumOfLocalCounter> - </GlobalTicketLockWithLocalCounter> - <GlobalTicketLockWithLocalCounter activeWorker="10"> - <LocalCounter worker="0">467120</LocalCounter> - <LocalCounter worker="1">467127</LocalCounter> - <LocalCounter worker="2">467117</LocalCounter> - <LocalCounter worker="3">467120</LocalCounter> - <LocalCounter worker="4">467123</LocalCounter> - <LocalCounter worker="5">467116</LocalCounter> - <LocalCounter worker="6">467122</LocalCounter> - <LocalCounter worker="7">467116</LocalCounter> - <LocalCounter worker="8">467180</LocalCounter> - <LocalCounter worker="9">467179</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>4671320</SumOfLocalCounter> - </GlobalTicketLockWithLocalCounter> - <GlobalTicketLockWithLocalCounter activeWorker="11"> - <LocalCounter worker="0">426740</LocalCounter> - <LocalCounter worker="1">426739</LocalCounter> - <LocalCounter worker="2">426742</LocalCounter> - <LocalCounter worker="3">426737</LocalCounter> - <LocalCounter worker="4">426740</LocalCounter> - <LocalCounter worker="5">426741</LocalCounter> - <LocalCounter worker="6">426747</LocalCounter> - <LocalCounter worker="7">426735</LocalCounter> - <LocalCounter worker="8">426768</LocalCounter> - <LocalCounter worker="9">426765</LocalCounter> - <LocalCounter worker="10">426767</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>4694221</SumOfLocalCounter> - </GlobalTicketLockWithLocalCounter> - <GlobalTicketLockWithLocalCounter activeWorker="12"> - <LocalCounter worker="0">388705</LocalCounter> - <LocalCounter worker="1">388703</LocalCounter> - <LocalCounter worker="2">388710</LocalCounter> - <LocalCounter worker="3">388706</LocalCounter> - <LocalCounter worker="4">388701</LocalCounter> - <LocalCounter worker="5">388702</LocalCounter> - <LocalCounter worker="6">388702</LocalCounter> - <LocalCounter worker="7">388705</LocalCounter> - <LocalCounter worker="8">388740</LocalCounter> - <LocalCounter worker="9">388739</LocalCounter> - <LocalCounter worker="10">388740</LocalCounter> - <LocalCounter worker="11">388739</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>4664592</SumOfLocalCounter> - </GlobalTicketLockWithLocalCounter> - <GlobalTicketLockWithLocalCounter activeWorker="13"> - <LocalCounter worker="0">356920</LocalCounter> - <LocalCounter worker="1">356917</LocalCounter> - <LocalCounter worker="2">356916</LocalCounter> - <LocalCounter worker="3">356917</LocalCounter> - <LocalCounter worker="4">356920</LocalCounter> - <LocalCounter worker="5">356919</LocalCounter> - <LocalCounter worker="6">356920</LocalCounter> - <LocalCounter worker="7">356917</LocalCounter> - <LocalCounter worker="8">356948</LocalCounter> - <LocalCounter worker="9">356947</LocalCounter> - <LocalCounter worker="10">356948</LocalCounter> - <LocalCounter worker="11">356947</LocalCounter> - <LocalCounter worker="12">356953</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>4640089</SumOfLocalCounter> - </GlobalTicketLockWithLocalCounter> - <GlobalTicketLockWithLocalCounter activeWorker="14"> - <LocalCounter worker="0">330192</LocalCounter> - <LocalCounter worker="1">330192</LocalCounter> - <LocalCounter worker="2">330186</LocalCounter> - <LocalCounter worker="3">330185</LocalCounter> - <LocalCounter worker="4">330190</LocalCounter> - <LocalCounter worker="5">330183</LocalCounter> - <LocalCounter worker="6">330187</LocalCounter> - <LocalCounter worker="7">330187</LocalCounter> - <LocalCounter worker="8">330226</LocalCounter> - <LocalCounter worker="9">330225</LocalCounter> - <LocalCounter worker="10">330225</LocalCounter> - <LocalCounter worker="11">330228</LocalCounter> - <LocalCounter worker="12">330225</LocalCounter> - <LocalCounter worker="13">330226</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>4622857</SumOfLocalCounter> - </GlobalTicketLockWithLocalCounter> - <GlobalTicketLockWithLocalCounter activeWorker="15"> - <LocalCounter worker="0">303180</LocalCounter> - <LocalCounter worker="1">303186</LocalCounter> - <LocalCounter worker="2">303190</LocalCounter> - <LocalCounter worker="3">303180</LocalCounter> - <LocalCounter worker="4">303188</LocalCounter> - <LocalCounter worker="5">303181</LocalCounter> - <LocalCounter worker="6">303183</LocalCounter> - <LocalCounter worker="7">303191</LocalCounter> - <LocalCounter worker="8">303199</LocalCounter> - <LocalCounter worker="9">303204</LocalCounter> - <LocalCounter worker="10">303209</LocalCounter> - <LocalCounter worker="11">303207</LocalCounter> - <LocalCounter worker="12">303212</LocalCounter> - <LocalCounter worker="13">303215</LocalCounter> - <LocalCounter worker="14">303217</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>4547942</SumOfLocalCounter> - </GlobalTicketLockWithLocalCounter> - <GlobalTicketLockWithLocalCounter activeWorker="16"> - <LocalCounter worker="0">274980</LocalCounter> - <LocalCounter worker="1">274975</LocalCounter> - <LocalCounter worker="2">274979</LocalCounter> - <LocalCounter worker="3">274983</LocalCounter> - <LocalCounter worker="4">274979</LocalCounter> - <LocalCounter worker="5">274977</LocalCounter> - <LocalCounter worker="6">274974</LocalCounter> - <LocalCounter worker="7">274980</LocalCounter> - <LocalCounter worker="8">274977</LocalCounter> - <LocalCounter worker="9">274984</LocalCounter> - <LocalCounter worker="10">274983</LocalCounter> - <LocalCounter worker="11">274981</LocalCounter> - <LocalCounter worker="12">274982</LocalCounter> - <LocalCounter worker="13">274978</LocalCounter> - <LocalCounter worker="14">274980</LocalCounter> - <LocalCounter worker="15">274977</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>4399669</SumOfLocalCounter> - </GlobalTicketLockWithLocalCounter> - <GlobalTicketLockWithLocalCounter activeWorker="17"> - <LocalCounter worker="0">261695</LocalCounter> - <LocalCounter worker="1">261697</LocalCounter> - <LocalCounter worker="2">261696</LocalCounter> - <LocalCounter worker="3">261696</LocalCounter> - <LocalCounter worker="4">261694</LocalCounter> - <LocalCounter worker="5">261695</LocalCounter> - <LocalCounter worker="6">261697</LocalCounter> - <LocalCounter worker="7">261692</LocalCounter> - <LocalCounter worker="8">261696</LocalCounter> - <LocalCounter worker="9">261692</LocalCounter> - <LocalCounter worker="10">261696</LocalCounter> - <LocalCounter worker="11">261697</LocalCounter> - <LocalCounter worker="12">261697</LocalCounter> - <LocalCounter worker="13">261695</LocalCounter> - <LocalCounter worker="14">261692</LocalCounter> - <LocalCounter worker="15">261691</LocalCounter> - <LocalCounter worker="16">261708</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>4448826</SumOfLocalCounter> - </GlobalTicketLockWithLocalCounter> - <GlobalTicketLockWithLocalCounter activeWorker="18"> - <LocalCounter worker="0">240007</LocalCounter> - <LocalCounter worker="1">240008</LocalCounter> - <LocalCounter worker="2">240007</LocalCounter> - <LocalCounter worker="3">240008</LocalCounter> - <LocalCounter worker="4">240010</LocalCounter> - <LocalCounter worker="5">240007</LocalCounter> - <LocalCounter worker="6">240006</LocalCounter> - <LocalCounter worker="7">240008</LocalCounter> - <LocalCounter worker="8">240008</LocalCounter> - <LocalCounter worker="9">240007</LocalCounter> - <LocalCounter worker="10">240010</LocalCounter> - <LocalCounter worker="11">240007</LocalCounter> - <LocalCounter worker="12">240010</LocalCounter> - <LocalCounter worker="13">240007</LocalCounter> - <LocalCounter worker="14">240007</LocalCounter> - <LocalCounter worker="15">240010</LocalCounter> - <LocalCounter worker="16">240020</LocalCounter> - <LocalCounter worker="17">240017</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>4320164</SumOfLocalCounter> - </GlobalTicketLockWithLocalCounter> - <GlobalTicketLockWithLocalCounter activeWorker="19"> - <LocalCounter worker="0">225896</LocalCounter> - <LocalCounter worker="1">225897</LocalCounter> - <LocalCounter worker="2">225897</LocalCounter> - <LocalCounter worker="3">225898</LocalCounter> - <LocalCounter worker="4">225899</LocalCounter> - <LocalCounter worker="5">225898</LocalCounter> - <LocalCounter worker="6">225898</LocalCounter> - <LocalCounter worker="7">225896</LocalCounter> - <LocalCounter worker="8">225896</LocalCounter> - <LocalCounter worker="9">225896</LocalCounter> - <LocalCounter worker="10">225897</LocalCounter> - <LocalCounter worker="11">225898</LocalCounter> - <LocalCounter worker="12">225900</LocalCounter> - <LocalCounter worker="13">225899</LocalCounter> - <LocalCounter worker="14">225895</LocalCounter> - <LocalCounter worker="15">225894</LocalCounter> - <LocalCounter worker="16">225906</LocalCounter> - <LocalCounter worker="17">225905</LocalCounter> - <LocalCounter worker="18">225907</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>4292072</SumOfLocalCounter> - </GlobalTicketLockWithLocalCounter> - <GlobalTicketLockWithLocalCounter activeWorker="20"> - <LocalCounter worker="0">214338</LocalCounter> - <LocalCounter worker="1">214338</LocalCounter> - <LocalCounter worker="2">214338</LocalCounter> - <LocalCounter worker="3">214336</LocalCounter> - <LocalCounter worker="4">214338</LocalCounter> - <LocalCounter worker="5">214337</LocalCounter> - <LocalCounter worker="6">214335</LocalCounter> - <LocalCounter worker="7">214337</LocalCounter> - <LocalCounter worker="8">214338</LocalCounter> - <LocalCounter worker="9">214337</LocalCounter> - <LocalCounter worker="10">214337</LocalCounter> - <LocalCounter worker="11">214338</LocalCounter> - <LocalCounter worker="12">214337</LocalCounter> - <LocalCounter worker="13">214337</LocalCounter> - <LocalCounter worker="14">214339</LocalCounter> - <LocalCounter worker="15">214338</LocalCounter> - <LocalCounter worker="16">214343</LocalCounter> - <LocalCounter worker="17">214343</LocalCounter> - <LocalCounter worker="18">214345</LocalCounter> - <LocalCounter worker="19">214345</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>4286774</SumOfLocalCounter> - </GlobalTicketLockWithLocalCounter> - <GlobalTicketLockWithLocalCounter activeWorker="21"> - <LocalCounter worker="0">198227</LocalCounter> - <LocalCounter worker="1">198229</LocalCounter> - <LocalCounter worker="2">198227</LocalCounter> - <LocalCounter worker="3">198228</LocalCounter> - <LocalCounter worker="4">198228</LocalCounter> - <LocalCounter worker="5">198229</LocalCounter> - <LocalCounter worker="6">198229</LocalCounter> - <LocalCounter worker="7">198228</LocalCounter> - <LocalCounter worker="8">198227</LocalCounter> - <LocalCounter worker="9">198230</LocalCounter> - <LocalCounter worker="10">198227</LocalCounter> - <LocalCounter worker="11">198228</LocalCounter> - <LocalCounter worker="12">198229</LocalCounter> - <LocalCounter worker="13">198230</LocalCounter> - <LocalCounter worker="14">198228</LocalCounter> - <LocalCounter worker="15">198230</LocalCounter> - <LocalCounter worker="16">198231</LocalCounter> - <LocalCounter worker="17">198232</LocalCounter> - <LocalCounter worker="18">198233</LocalCounter> - <LocalCounter worker="19">198233</LocalCounter> - <LocalCounter worker="20">198232</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>4162815</SumOfLocalCounter> - </GlobalTicketLockWithLocalCounter> - <GlobalTicketLockWithLocalCounter activeWorker="22"> - <LocalCounter worker="0">192321</LocalCounter> - <LocalCounter worker="1">192322</LocalCounter> - <LocalCounter worker="2">192322</LocalCounter> - <LocalCounter worker="3">192323</LocalCounter> - <LocalCounter worker="4">192325</LocalCounter> - <LocalCounter worker="5">192324</LocalCounter> - <LocalCounter worker="6">192323</LocalCounter> - <LocalCounter worker="7">192324</LocalCounter> - <LocalCounter worker="8">192325</LocalCounter> - <LocalCounter worker="9">192325</LocalCounter> - <LocalCounter worker="10">192323</LocalCounter> - <LocalCounter worker="11">192323</LocalCounter> - <LocalCounter worker="12">192323</LocalCounter> - <LocalCounter worker="13">192323</LocalCounter> - <LocalCounter worker="14">192324</LocalCounter> - <LocalCounter worker="15">192324</LocalCounter> - <LocalCounter worker="16">192329</LocalCounter> - <LocalCounter worker="17">192326</LocalCounter> - <LocalCounter worker="18">192325</LocalCounter> - <LocalCounter worker="19">192329</LocalCounter> - <LocalCounter worker="20">192326</LocalCounter> - <LocalCounter worker="21">192327</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>4231136</SumOfLocalCounter> - </GlobalTicketLockWithLocalCounter> - <GlobalTicketLockWithLocalCounter activeWorker="23"> - <LocalCounter worker="0">177893</LocalCounter> - <LocalCounter worker="1">177892</LocalCounter> - <LocalCounter worker="2">177895</LocalCounter> - <LocalCounter worker="3">177894</LocalCounter> - <LocalCounter worker="4">177892</LocalCounter> - <LocalCounter worker="5">177891</LocalCounter> - <LocalCounter worker="6">177893</LocalCounter> - <LocalCounter worker="7">177893</LocalCounter> - <LocalCounter worker="8">177893</LocalCounter> - <LocalCounter worker="9">177893</LocalCounter> - <LocalCounter worker="10">177894</LocalCounter> - <LocalCounter worker="11">177894</LocalCounter> - <LocalCounter worker="12">177893</LocalCounter> - <LocalCounter worker="13">177893</LocalCounter> - <LocalCounter worker="14">177894</LocalCounter> - <LocalCounter worker="15">177894</LocalCounter> - <LocalCounter worker="16">177895</LocalCounter> - <LocalCounter worker="17">177895</LocalCounter> - <LocalCounter worker="18">177896</LocalCounter> - <LocalCounter worker="19">177897</LocalCounter> - <LocalCounter worker="20">177894</LocalCounter> - <LocalCounter worker="21">177896</LocalCounter> - <LocalCounter worker="22">177894</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>4091558</SumOfLocalCounter> - </GlobalTicketLockWithLocalCounter> - <GlobalTicketLockWithLocalCounter activeWorker="24"> - <LocalCounter worker="0">168726</LocalCounter> - <LocalCounter worker="1">168726</LocalCounter> - <LocalCounter worker="2">168726</LocalCounter> - <LocalCounter worker="3">168726</LocalCounter> - <LocalCounter worker="4">168726</LocalCounter> - <LocalCounter worker="5">168725</LocalCounter> - <LocalCounter worker="6">168726</LocalCounter> - <LocalCounter worker="7">168726</LocalCounter> - <LocalCounter worker="8">168726</LocalCounter> - <LocalCounter worker="9">168726</LocalCounter> - <LocalCounter worker="10">168728</LocalCounter> - <LocalCounter worker="11">168727</LocalCounter> - <LocalCounter worker="12">168727</LocalCounter> - <LocalCounter worker="13">168726</LocalCounter> - <LocalCounter worker="14">168726</LocalCounter> - <LocalCounter worker="15">168728</LocalCounter> - <LocalCounter worker="16">168727</LocalCounter> - <LocalCounter worker="17">168729</LocalCounter> - <LocalCounter worker="18">168726</LocalCounter> - <LocalCounter worker="19">168725</LocalCounter> - <LocalCounter worker="20">168728</LocalCounter> - <LocalCounter worker="21">168727</LocalCounter> - <LocalCounter worker="22">168726</LocalCounter> - <LocalCounter worker="23">168726</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>4049435</SumOfLocalCounter> - </GlobalTicketLockWithLocalCounter> - <GlobalMCSLockWithLocalCounter activeWorker="1"> - <LocalCounter worker="0">13090449</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>13090449</SumOfLocalCounter> - </GlobalMCSLockWithLocalCounter> - <GlobalMCSLockWithLocalCounter activeWorker="2"> - <LocalCounter worker="0">6384726</LocalCounter> - <LocalCounter worker="1">6384887</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>12769613</SumOfLocalCounter> - </GlobalMCSLockWithLocalCounter> - <GlobalMCSLockWithLocalCounter activeWorker="3"> - <LocalCounter worker="0">2955420</LocalCounter> - <LocalCounter worker="1">2955434</LocalCounter> - <LocalCounter worker="2">2955434</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>8866288</SumOfLocalCounter> - </GlobalMCSLockWithLocalCounter> - <GlobalMCSLockWithLocalCounter activeWorker="4"> - <LocalCounter worker="0">2866696</LocalCounter> - <LocalCounter worker="1">2866710</LocalCounter> - <LocalCounter worker="2">2866711</LocalCounter> - <LocalCounter worker="3">2866708</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>11466825</SumOfLocalCounter> - </GlobalMCSLockWithLocalCounter> - <GlobalMCSLockWithLocalCounter activeWorker="5"> - <LocalCounter worker="0">2996690</LocalCounter> - <LocalCounter worker="1">2996699</LocalCounter> - <LocalCounter worker="2">2996701</LocalCounter> - <LocalCounter worker="3">2996698</LocalCounter> - <LocalCounter worker="4">2996701</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>14983489</SumOfLocalCounter> - </GlobalMCSLockWithLocalCounter> - <GlobalMCSLockWithLocalCounter activeWorker="6"> - <LocalCounter worker="0">2540852</LocalCounter> - <LocalCounter worker="1">2540864</LocalCounter> - <LocalCounter worker="2">2540864</LocalCounter> - <LocalCounter worker="3">2540862</LocalCounter> - <LocalCounter worker="4">2540861</LocalCounter> - <LocalCounter worker="5">2540863</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>15245166</SumOfLocalCounter> - </GlobalMCSLockWithLocalCounter> - <GlobalMCSLockWithLocalCounter activeWorker="7"> - <LocalCounter worker="0">2182035</LocalCounter> - <LocalCounter worker="1">2182054</LocalCounter> - <LocalCounter worker="2">2182053</LocalCounter> - <LocalCounter worker="3">2182053</LocalCounter> - <LocalCounter worker="4">2182053</LocalCounter> - <LocalCounter worker="5">2182055</LocalCounter> - <LocalCounter worker="6">2182055</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>15274358</SumOfLocalCounter> - </GlobalMCSLockWithLocalCounter> - <GlobalMCSLockWithLocalCounter activeWorker="8"> - <LocalCounter worker="0">1920366</LocalCounter> - <LocalCounter worker="1">1920373</LocalCounter> - <LocalCounter worker="2">1920374</LocalCounter> - <LocalCounter worker="3">1920373</LocalCounter> - <LocalCounter worker="4">1920371</LocalCounter> - <LocalCounter worker="5">1920374</LocalCounter> - <LocalCounter worker="6">1920373</LocalCounter> - <LocalCounter worker="7">1920372</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>15362976</SumOfLocalCounter> - </GlobalMCSLockWithLocalCounter> - <GlobalMCSLockWithLocalCounter activeWorker="9"> - <LocalCounter worker="0">1216597</LocalCounter> - <LocalCounter worker="1">1216602</LocalCounter> - <LocalCounter worker="2">1216602</LocalCounter> - <LocalCounter worker="3">1216602</LocalCounter> - <LocalCounter worker="4">1216601</LocalCounter> - <LocalCounter worker="5">1216602</LocalCounter> - <LocalCounter worker="6">1216603</LocalCounter> - <LocalCounter worker="7">1216601</LocalCounter> - <LocalCounter worker="8">1216600</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>10949410</SumOfLocalCounter> - </GlobalMCSLockWithLocalCounter> - <GlobalMCSLockWithLocalCounter activeWorker="10"> - <LocalCounter worker="0">1007168</LocalCounter> - <LocalCounter worker="1">1007170</LocalCounter> - <LocalCounter worker="2">1007171</LocalCounter> - <LocalCounter worker="3">1007170</LocalCounter> - <LocalCounter worker="4">1007170</LocalCounter> - <LocalCounter worker="5">1007170</LocalCounter> - <LocalCounter worker="6">1007171</LocalCounter> - <LocalCounter worker="7">1007170</LocalCounter> - <LocalCounter worker="8">1007170</LocalCounter> - <LocalCounter worker="9">1007171</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>10071701</SumOfLocalCounter> - </GlobalMCSLockWithLocalCounter> - <GlobalMCSLockWithLocalCounter activeWorker="11"> - <LocalCounter worker="0">772281</LocalCounter> - <LocalCounter worker="1">772283</LocalCounter> - <LocalCounter worker="2">772283</LocalCounter> - <LocalCounter worker="3">772284</LocalCounter> - <LocalCounter worker="4">772281</LocalCounter> - <LocalCounter worker="5">772283</LocalCounter> - <LocalCounter worker="6">772283</LocalCounter> - <LocalCounter worker="7">772282</LocalCounter> - <LocalCounter worker="8">772281</LocalCounter> - <LocalCounter worker="9">772282</LocalCounter> - <LocalCounter worker="10">772282</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>8495105</SumOfLocalCounter> - </GlobalMCSLockWithLocalCounter> - <GlobalMCSLockWithLocalCounter activeWorker="12"> - <LocalCounter worker="0">672837</LocalCounter> - <LocalCounter worker="1">672841</LocalCounter> - <LocalCounter worker="2">672841</LocalCounter> - <LocalCounter worker="3">672841</LocalCounter> - <LocalCounter worker="4">672841</LocalCounter> - <LocalCounter worker="5">672842</LocalCounter> - <LocalCounter worker="6">672841</LocalCounter> - <LocalCounter worker="7">672841</LocalCounter> - <LocalCounter worker="8">672842</LocalCounter> - <LocalCounter worker="9">672841</LocalCounter> - <LocalCounter worker="10">672841</LocalCounter> - <LocalCounter worker="11">672841</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>8074090</SumOfLocalCounter> - </GlobalMCSLockWithLocalCounter> - <GlobalMCSLockWithLocalCounter activeWorker="13"> - <LocalCounter worker="0">595160</LocalCounter> - <LocalCounter worker="1">595163</LocalCounter> - <LocalCounter worker="2">595162</LocalCounter> - <LocalCounter worker="3">595163</LocalCounter> - <LocalCounter worker="4">595161</LocalCounter> - <LocalCounter worker="5">595162</LocalCounter> - <LocalCounter worker="6">595162</LocalCounter> - <LocalCounter worker="7">595163</LocalCounter> - <LocalCounter worker="8">595162</LocalCounter> - <LocalCounter worker="9">595162</LocalCounter> - <LocalCounter worker="10">595162</LocalCounter> - <LocalCounter worker="11">595162</LocalCounter> - <LocalCounter worker="12">595162</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>7737106</SumOfLocalCounter> - </GlobalMCSLockWithLocalCounter> - <GlobalMCSLockWithLocalCounter activeWorker="14"> - <LocalCounter worker="0">581536</LocalCounter> - <LocalCounter worker="1">581540</LocalCounter> - <LocalCounter worker="2">581539</LocalCounter> - <LocalCounter worker="3">581539</LocalCounter> - <LocalCounter worker="4">581539</LocalCounter> - <LocalCounter worker="5">581539</LocalCounter> - <LocalCounter worker="6">581539</LocalCounter> - <LocalCounter worker="7">581538</LocalCounter> - <LocalCounter worker="8">581540</LocalCounter> - <LocalCounter worker="9">581539</LocalCounter> - <LocalCounter worker="10">581538</LocalCounter> - <LocalCounter worker="11">581539</LocalCounter> - <LocalCounter worker="12">581539</LocalCounter> - <LocalCounter worker="13">581540</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>8141544</SumOfLocalCounter> - </GlobalMCSLockWithLocalCounter> - <GlobalMCSLockWithLocalCounter activeWorker="15"> - <LocalCounter worker="0">578439</LocalCounter> - <LocalCounter worker="1">578441</LocalCounter> - <LocalCounter worker="2">578442</LocalCounter> - <LocalCounter worker="3">578441</LocalCounter> - <LocalCounter worker="4">578442</LocalCounter> - <LocalCounter worker="5">578441</LocalCounter> - <LocalCounter worker="6">578442</LocalCounter> - <LocalCounter worker="7">578444</LocalCounter> - <LocalCounter worker="8">578441</LocalCounter> - <LocalCounter worker="9">578442</LocalCounter> - <LocalCounter worker="10">578441</LocalCounter> - <LocalCounter worker="11">578440</LocalCounter> - <LocalCounter worker="12">578441</LocalCounter> - <LocalCounter worker="13">578441</LocalCounter> - <LocalCounter worker="14">578442</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>8676620</SumOfLocalCounter> - </GlobalMCSLockWithLocalCounter> - <GlobalMCSLockWithLocalCounter activeWorker="16"> - <LocalCounter worker="0">527784</LocalCounter> - <LocalCounter worker="1">527783</LocalCounter> - <LocalCounter worker="2">527785</LocalCounter> - <LocalCounter worker="3">527784</LocalCounter> - <LocalCounter worker="4">527784</LocalCounter> - <LocalCounter worker="5">527783</LocalCounter> - <LocalCounter worker="6">527782</LocalCounter> - <LocalCounter worker="7">527784</LocalCounter> - <LocalCounter worker="8">527782</LocalCounter> - <LocalCounter worker="9">527782</LocalCounter> - <LocalCounter worker="10">527784</LocalCounter> - <LocalCounter worker="11">527783</LocalCounter> - <LocalCounter worker="12">527783</LocalCounter> - <LocalCounter worker="13">527783</LocalCounter> - <LocalCounter worker="14">527783</LocalCounter> - <LocalCounter worker="15">527783</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>8444532</SumOfLocalCounter> - </GlobalMCSLockWithLocalCounter> - <GlobalMCSLockWithLocalCounter activeWorker="17"> - <LocalCounter worker="0">468012</LocalCounter> - <LocalCounter worker="1">468009</LocalCounter> - <LocalCounter worker="2">468009</LocalCounter> - <LocalCounter worker="3">468010</LocalCounter> - <LocalCounter worker="4">468011</LocalCounter> - <LocalCounter worker="5">468010</LocalCounter> - <LocalCounter worker="6">468011</LocalCounter> - <LocalCounter worker="7">468009</LocalCounter> - <LocalCounter worker="8">468009</LocalCounter> - <LocalCounter worker="9">468010</LocalCounter> - <LocalCounter worker="10">468011</LocalCounter> - <LocalCounter worker="11">468012</LocalCounter> - <LocalCounter worker="12">468009</LocalCounter> - <LocalCounter worker="13">468011</LocalCounter> - <LocalCounter worker="14">468011</LocalCounter> - <LocalCounter worker="15">468011</LocalCounter> - <LocalCounter worker="16">468012</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>7956177</SumOfLocalCounter> - </GlobalMCSLockWithLocalCounter> - <GlobalMCSLockWithLocalCounter activeWorker="18"> - <LocalCounter worker="0">439238</LocalCounter> - <LocalCounter worker="1">439222</LocalCounter> - <LocalCounter worker="2">439228</LocalCounter> - <LocalCounter worker="3">439225</LocalCounter> - <LocalCounter worker="4">439226</LocalCounter> - <LocalCounter worker="5">439228</LocalCounter> - <LocalCounter worker="6">439226</LocalCounter> - <LocalCounter worker="7">439219</LocalCounter> - <LocalCounter worker="8">439231</LocalCounter> - <LocalCounter worker="9">439213</LocalCounter> - <LocalCounter worker="10">439226</LocalCounter> - <LocalCounter worker="11">439215</LocalCounter> - <LocalCounter worker="12">439215</LocalCounter> - <LocalCounter worker="13">439222</LocalCounter> - <LocalCounter worker="14">439224</LocalCounter> - <LocalCounter worker="15">439217</LocalCounter> - <LocalCounter worker="16">439226</LocalCounter> - <LocalCounter worker="17">439230</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>7906031</SumOfLocalCounter> - </GlobalMCSLockWithLocalCounter> - <GlobalMCSLockWithLocalCounter activeWorker="19"> - <LocalCounter worker="0">392577</LocalCounter> - <LocalCounter worker="1">392658</LocalCounter> - <LocalCounter worker="2">392677</LocalCounter> - <LocalCounter worker="3">392625</LocalCounter> - <LocalCounter worker="4">392645</LocalCounter> - <LocalCounter worker="5">392611</LocalCounter> - <LocalCounter worker="6">392643</LocalCounter> - <LocalCounter worker="7">392617</LocalCounter> - <LocalCounter worker="8">392519</LocalCounter> - <LocalCounter worker="9">392507</LocalCounter> - <LocalCounter worker="10">392525</LocalCounter> - <LocalCounter worker="11">392515</LocalCounter> - <LocalCounter worker="12">392513</LocalCounter> - <LocalCounter worker="13">392488</LocalCounter> - <LocalCounter worker="14">392567</LocalCounter> - <LocalCounter worker="15">392567</LocalCounter> - <LocalCounter worker="16">392175</LocalCounter> - <LocalCounter worker="17">392148</LocalCounter> - <LocalCounter worker="18">392153</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>7457730</SumOfLocalCounter> - </GlobalMCSLockWithLocalCounter> - <GlobalMCSLockWithLocalCounter activeWorker="20"> - <LocalCounter worker="0">393189</LocalCounter> - <LocalCounter worker="1">393145</LocalCounter> - <LocalCounter worker="2">393365</LocalCounter> - <LocalCounter worker="3">393284</LocalCounter> - <LocalCounter worker="4">393215</LocalCounter> - <LocalCounter worker="5">393191</LocalCounter> - <LocalCounter worker="6">393247</LocalCounter> - <LocalCounter worker="7">393229</LocalCounter> - <LocalCounter worker="8">392255</LocalCounter> - <LocalCounter worker="9">392239</LocalCounter> - <LocalCounter worker="10">392268</LocalCounter> - <LocalCounter worker="11">392259</LocalCounter> - <LocalCounter worker="12">392312</LocalCounter> - <LocalCounter worker="13">392395</LocalCounter> - <LocalCounter worker="14">392318</LocalCounter> - <LocalCounter worker="15">392431</LocalCounter> - <LocalCounter worker="16">389204</LocalCounter> - <LocalCounter worker="17">389161</LocalCounter> - <LocalCounter worker="18">389146</LocalCounter> - <LocalCounter worker="19">389191</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>7841044</SumOfLocalCounter> - </GlobalMCSLockWithLocalCounter> - <GlobalMCSLockWithLocalCounter activeWorker="21"> - <LocalCounter worker="0">333867</LocalCounter> - <LocalCounter worker="1">333818</LocalCounter> - <LocalCounter worker="2">333796</LocalCounter> - <LocalCounter worker="3">333998</LocalCounter> - <LocalCounter worker="4">333786</LocalCounter> - <LocalCounter worker="5">333970</LocalCounter> - <LocalCounter worker="6">333966</LocalCounter> - <LocalCounter worker="7">333946</LocalCounter> - <LocalCounter worker="8">331691</LocalCounter> - <LocalCounter worker="9">331644</LocalCounter> - <LocalCounter worker="10">331574</LocalCounter> - <LocalCounter worker="11">331570</LocalCounter> - <LocalCounter worker="12">331815</LocalCounter> - <LocalCounter worker="13">331757</LocalCounter> - <LocalCounter worker="14">331873</LocalCounter> - <LocalCounter worker="15">331902</LocalCounter> - <LocalCounter worker="16">321858</LocalCounter> - <LocalCounter worker="17">321819</LocalCounter> - <LocalCounter worker="18">321778</LocalCounter> - <LocalCounter worker="19">321915</LocalCounter> - <LocalCounter worker="20">322036</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>6934379</SumOfLocalCounter> - </GlobalMCSLockWithLocalCounter> - <GlobalMCSLockWithLocalCounter activeWorker="22"> - <LocalCounter worker="0">336076</LocalCounter> - <LocalCounter worker="1">336030</LocalCounter> - <LocalCounter worker="2">335863</LocalCounter> - <LocalCounter worker="3">335861</LocalCounter> - <LocalCounter worker="4">335954</LocalCounter> - <LocalCounter worker="5">336069</LocalCounter> - <LocalCounter worker="6">335963</LocalCounter> - <LocalCounter worker="7">335891</LocalCounter> - <LocalCounter worker="8">336178</LocalCounter> - <LocalCounter worker="9">335697</LocalCounter> - <LocalCounter worker="10">335574</LocalCounter> - <LocalCounter worker="11">335581</LocalCounter> - <LocalCounter worker="12">335586</LocalCounter> - <LocalCounter worker="13">336068</LocalCounter> - <LocalCounter worker="14">336138</LocalCounter> - <LocalCounter worker="15">336049</LocalCounter> - <LocalCounter worker="16">330987</LocalCounter> - <LocalCounter worker="17">330865</LocalCounter> - <LocalCounter worker="18">331086</LocalCounter> - <LocalCounter worker="19">330937</LocalCounter> - <LocalCounter worker="20">331150</LocalCounter> - <LocalCounter worker="21">330937</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>7360540</SumOfLocalCounter> - </GlobalMCSLockWithLocalCounter> - <GlobalMCSLockWithLocalCounter activeWorker="23"> - <LocalCounter worker="0">317093</LocalCounter> - <LocalCounter worker="1">317207</LocalCounter> - <LocalCounter worker="2">317153</LocalCounter> - <LocalCounter worker="3">317177</LocalCounter> - <LocalCounter worker="4">317207</LocalCounter> - <LocalCounter worker="5">317164</LocalCounter> - <LocalCounter worker="6">317198</LocalCounter> - <LocalCounter worker="7">317132</LocalCounter> - <LocalCounter worker="8">317445</LocalCounter> - <LocalCounter worker="9">317166</LocalCounter> - <LocalCounter worker="10">317044</LocalCounter> - <LocalCounter worker="11">317000</LocalCounter> - <LocalCounter worker="12">317012</LocalCounter> - <LocalCounter worker="13">317587</LocalCounter> - <LocalCounter worker="14">317522</LocalCounter> - <LocalCounter worker="15">317568</LocalCounter> - <LocalCounter worker="16">315579</LocalCounter> - <LocalCounter worker="17">315563</LocalCounter> - <LocalCounter worker="18">315657</LocalCounter> - <LocalCounter worker="19">315582</LocalCounter> - <LocalCounter worker="20">315453</LocalCounter> - <LocalCounter worker="21">315445</LocalCounter> - <LocalCounter worker="22">315774</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>7284728</SumOfLocalCounter> - </GlobalMCSLockWithLocalCounter> - <GlobalMCSLockWithLocalCounter activeWorker="24"> - <LocalCounter worker="0">312519</LocalCounter> - <LocalCounter worker="1">312750</LocalCounter> - <LocalCounter worker="2">312612</LocalCounter> - <LocalCounter worker="3">312671</LocalCounter> - <LocalCounter worker="4">312685</LocalCounter> - <LocalCounter worker="5">312707</LocalCounter> - <LocalCounter worker="6">312543</LocalCounter> - <LocalCounter worker="7">312680</LocalCounter> - <LocalCounter worker="8">313250</LocalCounter> - <LocalCounter worker="9">312566</LocalCounter> - <LocalCounter worker="10">312775</LocalCounter> - <LocalCounter worker="11">312827</LocalCounter> - <LocalCounter worker="12">312652</LocalCounter> - <LocalCounter worker="13">313141</LocalCounter> - <LocalCounter worker="14">313261</LocalCounter> - <LocalCounter worker="15">313270</LocalCounter> - <LocalCounter worker="16">312883</LocalCounter> - <LocalCounter worker="17">312649</LocalCounter> - <LocalCounter worker="18">312529</LocalCounter> - <LocalCounter worker="19">312615</LocalCounter> - <LocalCounter worker="20">312755</LocalCounter> - <LocalCounter worker="21">312833</LocalCounter> - <LocalCounter worker="22">312673</LocalCounter> - <LocalCounter worker="23">312728</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>7506574</SumOfLocalCounter> - </GlobalMCSLockWithLocalCounter> - <GlobalTicketLockWithGlobalCounter activeWorker="24"> - <LocalCounter worker="0">149325</LocalCounter> - <LocalCounter worker="1">149327</LocalCounter> - <LocalCounter worker="2">149325</LocalCounter> - <LocalCounter worker="3">149325</LocalCounter> - <LocalCounter worker="4">149325</LocalCounter> - <LocalCounter worker="5">149327</LocalCounter> - <LocalCounter worker="6">149325</LocalCounter> - <LocalCounter worker="7">149324</LocalCounter> - <LocalCounter worker="8">149326</LocalCounter> - <LocalCounter worker="9">149325</LocalCounter> - <LocalCounter worker="10">149326</LocalCounter> - <LocalCounter worker="11">149326</LocalCounter> - <LocalCounter worker="12">149326</LocalCounter> - <LocalCounter worker="13">149325</LocalCounter> - <LocalCounter worker="14">149325</LocalCounter> - <LocalCounter worker="15">149325</LocalCounter> - <LocalCounter worker="16">149325</LocalCounter> - <LocalCounter worker="17">149325</LocalCounter> - <LocalCounter worker="18">149325</LocalCounter> - <LocalCounter worker="19">149326</LocalCounter> - <LocalCounter worker="20">149325</LocalCounter> - <LocalCounter worker="21">149326</LocalCounter> - <LocalCounter worker="22">149325</LocalCounter> - <LocalCounter worker="23">149325</LocalCounter> - <GlobalCounter>3583809</GlobalCounter> - <SumOfLocalCounter>3583809</SumOfLocalCounter> - </GlobalTicketLockWithGlobalCounter> - <GlobalMCSLockWithGlobalCounter activeWorker="24"> - <LocalCounter worker="0">219612</LocalCounter> - <LocalCounter worker="1">219612</LocalCounter> - <LocalCounter worker="2">219612</LocalCounter> - <LocalCounter worker="3">219612</LocalCounter> - <LocalCounter worker="4">219612</LocalCounter> - <LocalCounter worker="5">219612</LocalCounter> - <LocalCounter worker="6">219613</LocalCounter> - <LocalCounter worker="7">219612</LocalCounter> - <LocalCounter worker="8">219612</LocalCounter> - <LocalCounter worker="9">219614</LocalCounter> - <LocalCounter worker="10">219612</LocalCounter> - <LocalCounter worker="11">219611</LocalCounter> - <LocalCounter worker="12">219613</LocalCounter> - <LocalCounter worker="13">219614</LocalCounter> - <LocalCounter worker="14">219612</LocalCounter> - <LocalCounter worker="15">219612</LocalCounter> - <LocalCounter worker="16">219613</LocalCounter> - <LocalCounter worker="17">219613</LocalCounter> - <LocalCounter worker="18">219611</LocalCounter> - <LocalCounter worker="19">219612</LocalCounter> - <LocalCounter worker="20">219611</LocalCounter> - <LocalCounter worker="21">219612</LocalCounter> - <LocalCounter worker="22">219612</LocalCounter> - <LocalCounter worker="23">219613</LocalCounter> - <GlobalCounter>5270694</GlobalCounter> - <SumOfLocalCounter>5270694</SumOfLocalCounter> - </GlobalMCSLockWithGlobalCounter> - <LocalTicketLockWithLocalCounter activeWorker="1"> - <LocalCounter worker="0">17976591</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>17976591</SumOfLocalCounter> - </LocalTicketLockWithLocalCounter> - <LocalTicketLockWithLocalCounter activeWorker="2"> - <LocalCounter worker="0">17093434</LocalCounter> - <LocalCounter worker="1">17094750</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>34188184</SumOfLocalCounter> - </LocalTicketLockWithLocalCounter> - <LocalTicketLockWithLocalCounter activeWorker="3"> - <LocalCounter worker="0">16126005</LocalCounter> - <LocalCounter worker="1">16127191</LocalCounter> - <LocalCounter worker="2">16875254</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>49128450</SumOfLocalCounter> - </LocalTicketLockWithLocalCounter> - <LocalTicketLockWithLocalCounter activeWorker="4"> - <LocalCounter worker="0">15412620</LocalCounter> - <LocalCounter worker="1">15413887</LocalCounter> - <LocalCounter worker="2">15366643</LocalCounter> - <LocalCounter worker="3">15366578</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>61559728</SumOfLocalCounter> - </LocalTicketLockWithLocalCounter> - <LocalTicketLockWithLocalCounter activeWorker="5"> - <LocalCounter worker="0">16308721</LocalCounter> - <LocalCounter worker="1">16310021</LocalCounter> - <LocalCounter worker="2">16318960</LocalCounter> - <LocalCounter worker="3">16318983</LocalCounter> - <LocalCounter worker="4">16426938</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>81683623</SumOfLocalCounter> - </LocalTicketLockWithLocalCounter> - <LocalTicketLockWithLocalCounter activeWorker="6"> - <LocalCounter worker="0">15193884</LocalCounter> - <LocalCounter worker="1">15195117</LocalCounter> - <LocalCounter worker="2">15113407</LocalCounter> - <LocalCounter worker="3">15121476</LocalCounter> - <LocalCounter worker="4">15104027</LocalCounter> - <LocalCounter worker="5">15104373</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>90832284</SumOfLocalCounter> - </LocalTicketLockWithLocalCounter> - <LocalTicketLockWithLocalCounter activeWorker="7"> - <LocalCounter worker="0">15794728</LocalCounter> - <LocalCounter worker="1">15792858</LocalCounter> - <LocalCounter worker="2">15790710</LocalCounter> - <LocalCounter worker="3">15798703</LocalCounter> - <LocalCounter worker="4">15746011</LocalCounter> - <LocalCounter worker="5">15746393</LocalCounter> - <LocalCounter worker="6">15839713</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>110509116</SumOfLocalCounter> - </LocalTicketLockWithLocalCounter> - <LocalTicketLockWithLocalCounter activeWorker="8"> - <LocalCounter worker="0">14538979</LocalCounter> - <LocalCounter worker="1">14540011</LocalCounter> - <LocalCounter worker="2">14540067</LocalCounter> - <LocalCounter worker="3">14543590</LocalCounter> - <LocalCounter worker="4">14523331</LocalCounter> - <LocalCounter worker="5">14523800</LocalCounter> - <LocalCounter worker="6">14541196</LocalCounter> - <LocalCounter worker="7">14543759</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>116294733</SumOfLocalCounter> - </LocalTicketLockWithLocalCounter> - <LocalTicketLockWithLocalCounter activeWorker="9"> - <LocalCounter worker="0">14597172</LocalCounter> - <LocalCounter worker="1">14598178</LocalCounter> - <LocalCounter worker="2">14594621</LocalCounter> - <LocalCounter worker="3">14598190</LocalCounter> - <LocalCounter worker="4">14558148</LocalCounter> - <LocalCounter worker="5">14558565</LocalCounter> - <LocalCounter worker="6">14603981</LocalCounter> - <LocalCounter worker="7">14614317</LocalCounter> - <LocalCounter worker="8">18013252</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>134736424</SumOfLocalCounter> - </LocalTicketLockWithLocalCounter> - <LocalTicketLockWithLocalCounter activeWorker="10"> - <LocalCounter worker="0">14529346</LocalCounter> - <LocalCounter worker="1">14530425</LocalCounter> - <LocalCounter worker="2">14525274</LocalCounter> - <LocalCounter worker="3">14530395</LocalCounter> - <LocalCounter worker="4">14501600</LocalCounter> - <LocalCounter worker="5">14501959</LocalCounter> - <LocalCounter worker="6">14539379</LocalCounter> - <LocalCounter worker="7">14546701</LocalCounter> - <LocalCounter worker="8">16764576</LocalCounter> - <LocalCounter worker="9">16764953</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>149734608</SumOfLocalCounter> - </LocalTicketLockWithLocalCounter> - <LocalTicketLockWithLocalCounter activeWorker="11"> - <LocalCounter worker="0">14552313</LocalCounter> - <LocalCounter worker="1">14545774</LocalCounter> - <LocalCounter worker="2">14543859</LocalCounter> - <LocalCounter worker="3">14545590</LocalCounter> - <LocalCounter worker="4">14521699</LocalCounter> - <LocalCounter worker="5">14522178</LocalCounter> - <LocalCounter worker="6">14548350</LocalCounter> - <LocalCounter worker="7">14554882</LocalCounter> - <LocalCounter worker="8">15834293</LocalCounter> - <LocalCounter worker="9">15834734</LocalCounter> - <LocalCounter worker="10">16861946</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>164865618</SumOfLocalCounter> - </LocalTicketLockWithLocalCounter> - <LocalTicketLockWithLocalCounter activeWorker="12"> - <LocalCounter worker="0">14544735</LocalCounter> - <LocalCounter worker="1">14545749</LocalCounter> - <LocalCounter worker="2">14545348</LocalCounter> - <LocalCounter worker="3">14545729</LocalCounter> - <LocalCounter worker="4">14531175</LocalCounter> - <LocalCounter worker="5">14531582</LocalCounter> - <LocalCounter worker="6">14545221</LocalCounter> - <LocalCounter worker="7">14552316</LocalCounter> - <LocalCounter worker="8">15709806</LocalCounter> - <LocalCounter worker="9">15710183</LocalCounter> - <LocalCounter worker="10">15613298</LocalCounter> - <LocalCounter worker="11">15613336</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>178988478</SumOfLocalCounter> - </LocalTicketLockWithLocalCounter> - <LocalTicketLockWithLocalCounter activeWorker="13"> - <LocalCounter worker="0">14631943</LocalCounter> - <LocalCounter worker="1">14629081</LocalCounter> - <LocalCounter worker="2">14626428</LocalCounter> - <LocalCounter worker="3">14629173</LocalCounter> - <LocalCounter worker="4">14592751</LocalCounter> - <LocalCounter worker="5">14593171</LocalCounter> - <LocalCounter worker="6">14633428</LocalCounter> - <LocalCounter worker="7">14642988</LocalCounter> - <LocalCounter worker="8">16103014</LocalCounter> - <LocalCounter worker="9">16103498</LocalCounter> - <LocalCounter worker="10">16121344</LocalCounter> - <LocalCounter worker="11">16121522</LocalCounter> - <LocalCounter worker="12">16592935</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>198021276</SumOfLocalCounter> - </LocalTicketLockWithLocalCounter> - <LocalTicketLockWithLocalCounter activeWorker="14"> - <LocalCounter worker="0">14663977</LocalCounter> - <LocalCounter worker="1">14657392</LocalCounter> - <LocalCounter worker="2">14653868</LocalCounter> - <LocalCounter worker="3">14657385</LocalCounter> - <LocalCounter worker="4">14618995</LocalCounter> - <LocalCounter worker="5">14619260</LocalCounter> - <LocalCounter worker="6">14663280</LocalCounter> - <LocalCounter worker="7">14669006</LocalCounter> - <LocalCounter worker="8">14932649</LocalCounter> - <LocalCounter worker="9">14933133</LocalCounter> - <LocalCounter worker="10">14914884</LocalCounter> - <LocalCounter worker="11">14922839</LocalCounter> - <LocalCounter worker="12">14912239</LocalCounter> - <LocalCounter worker="13">14912618</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>206731525</SumOfLocalCounter> - </LocalTicketLockWithLocalCounter> - <LocalTicketLockWithLocalCounter activeWorker="15"> - <LocalCounter worker="0">14574685</LocalCounter> - <LocalCounter worker="1">14571820</LocalCounter> - <LocalCounter worker="2">14569180</LocalCounter> - <LocalCounter worker="3">14571882</LocalCounter> - <LocalCounter worker="4">14535038</LocalCounter> - <LocalCounter worker="5">14535448</LocalCounter> - <LocalCounter worker="6">14576273</LocalCounter> - <LocalCounter worker="7">14588007</LocalCounter> - <LocalCounter worker="8">15847051</LocalCounter> - <LocalCounter worker="9">15847907</LocalCounter> - <LocalCounter worker="10">15842926</LocalCounter> - <LocalCounter worker="11">15845292</LocalCounter> - <LocalCounter worker="12">15844741</LocalCounter> - <LocalCounter worker="13">15845144</LocalCounter> - <LocalCounter worker="14">15858663</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>227454057</SumOfLocalCounter> - </LocalTicketLockWithLocalCounter> - <LocalTicketLockWithLocalCounter activeWorker="16"> - <LocalCounter worker="0">14565742</LocalCounter> - <LocalCounter worker="1">14566794</LocalCounter> - <LocalCounter worker="2">14563059</LocalCounter> - <LocalCounter worker="3">14566698</LocalCounter> - <LocalCounter worker="4">14539138</LocalCounter> - <LocalCounter worker="5">14539550</LocalCounter> - <LocalCounter worker="6">14572545</LocalCounter> - <LocalCounter worker="7">14582815</LocalCounter> - <LocalCounter worker="8">14708684</LocalCounter> - <LocalCounter worker="9">14709444</LocalCounter> - <LocalCounter worker="10">14704986</LocalCounter> - <LocalCounter worker="11">14705363</LocalCounter> - <LocalCounter worker="12">14739299</LocalCounter> - <LocalCounter worker="13">14739959</LocalCounter> - <LocalCounter worker="14">14685047</LocalCounter> - <LocalCounter worker="15">14684929</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>234174052</SumOfLocalCounter> - </LocalTicketLockWithLocalCounter> - <LocalTicketLockWithLocalCounter activeWorker="17"> - <LocalCounter worker="0">14578846</LocalCounter> - <LocalCounter worker="1">14579881</LocalCounter> - <LocalCounter worker="2">14577981</LocalCounter> - <LocalCounter worker="3">14579886</LocalCounter> - <LocalCounter worker="4">14572709</LocalCounter> - <LocalCounter worker="5">14573049</LocalCounter> - <LocalCounter worker="6">14582536</LocalCounter> - <LocalCounter worker="7">14584350</LocalCounter> - <LocalCounter worker="8">15007742</LocalCounter> - <LocalCounter worker="9">15008395</LocalCounter> - <LocalCounter worker="10">15007420</LocalCounter> - <LocalCounter worker="11">15007658</LocalCounter> - <LocalCounter worker="12">15014167</LocalCounter> - <LocalCounter worker="13">15014785</LocalCounter> - <LocalCounter worker="14">15005244</LocalCounter> - <LocalCounter worker="15">15005419</LocalCounter> - <LocalCounter worker="16">18174844</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>254874912</SumOfLocalCounter> - </LocalTicketLockWithLocalCounter> - <LocalTicketLockWithLocalCounter activeWorker="18"> - <LocalCounter worker="0">14520800</LocalCounter> - <LocalCounter worker="1">14521760</LocalCounter> - <LocalCounter worker="2">14516500</LocalCounter> - <LocalCounter worker="3">14519179</LocalCounter> - <LocalCounter worker="4">14488245</LocalCounter> - <LocalCounter worker="5">14488682</LocalCounter> - <LocalCounter worker="6">14533956</LocalCounter> - <LocalCounter worker="7">14545682</LocalCounter> - <LocalCounter worker="8">14854184</LocalCounter> - <LocalCounter worker="9">14854859</LocalCounter> - <LocalCounter worker="10">14853940</LocalCounter> - <LocalCounter worker="11">14854226</LocalCounter> - <LocalCounter worker="12">14853922</LocalCounter> - <LocalCounter worker="13">14854597</LocalCounter> - <LocalCounter worker="14">14853928</LocalCounter> - <LocalCounter worker="15">14854269</LocalCounter> - <LocalCounter worker="16">16695502</LocalCounter> - <LocalCounter worker="17">16695771</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>268360002</SumOfLocalCounter> - </LocalTicketLockWithLocalCounter> - <LocalTicketLockWithLocalCounter activeWorker="19"> - <LocalCounter worker="0">14767102</LocalCounter> - <LocalCounter worker="1">14756811</LocalCounter> - <LocalCounter worker="2">14754774</LocalCounter> - <LocalCounter worker="3">14756725</LocalCounter> - <LocalCounter worker="4">14720166</LocalCounter> - <LocalCounter worker="5">14720526</LocalCounter> - <LocalCounter worker="6">14759446</LocalCounter> - <LocalCounter worker="7">14768164</LocalCounter> - <LocalCounter worker="8">15010901</LocalCounter> - <LocalCounter worker="9">15011570</LocalCounter> - <LocalCounter worker="10">15010636</LocalCounter> - <LocalCounter worker="11">15010954</LocalCounter> - <LocalCounter worker="12">15010667</LocalCounter> - <LocalCounter worker="13">15011279</LocalCounter> - <LocalCounter worker="14">15010747</LocalCounter> - <LocalCounter worker="15">15011090</LocalCounter> - <LocalCounter worker="16">16740850</LocalCounter> - <LocalCounter worker="17">16741140</LocalCounter> - <LocalCounter worker="18">16740556</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>288314104</SumOfLocalCounter> - </LocalTicketLockWithLocalCounter> - <LocalTicketLockWithLocalCounter activeWorker="20"> - <LocalCounter worker="0">14503694</LocalCounter> - <LocalCounter worker="1">14504695</LocalCounter> - <LocalCounter worker="2">14504309</LocalCounter> - <LocalCounter worker="3">14504656</LocalCounter> - <LocalCounter worker="4">14481517</LocalCounter> - <LocalCounter worker="5">14481930</LocalCounter> - <LocalCounter worker="6">14504225</LocalCounter> - <LocalCounter worker="7">14511441</LocalCounter> - <LocalCounter worker="8">14881230</LocalCounter> - <LocalCounter worker="9">14881959</LocalCounter> - <LocalCounter worker="10">14880910</LocalCounter> - <LocalCounter worker="11">14881278</LocalCounter> - <LocalCounter worker="12">14881048</LocalCounter> - <LocalCounter worker="13">14881629</LocalCounter> - <LocalCounter worker="14">14881078</LocalCounter> - <LocalCounter worker="15">14881274</LocalCounter> - <LocalCounter worker="16">15921487</LocalCounter> - <LocalCounter worker="17">15921957</LocalCounter> - <LocalCounter worker="18">15772241</LocalCounter> - <LocalCounter worker="19">15772141</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>298434699</SumOfLocalCounter> - </LocalTicketLockWithLocalCounter> - <LocalTicketLockWithLocalCounter activeWorker="21"> - <LocalCounter worker="0">14585345</LocalCounter> - <LocalCounter worker="1">14586417</LocalCounter> - <LocalCounter worker="2">14584462</LocalCounter> - <LocalCounter worker="3">14586324</LocalCounter> - <LocalCounter worker="4">14561834</LocalCounter> - <LocalCounter worker="5">14562194</LocalCounter> - <LocalCounter worker="6">14589003</LocalCounter> - <LocalCounter worker="7">14593127</LocalCounter> - <LocalCounter worker="8">14651792</LocalCounter> - <LocalCounter worker="9">14652414</LocalCounter> - <LocalCounter worker="10">14651588</LocalCounter> - <LocalCounter worker="11">14651811</LocalCounter> - <LocalCounter worker="12">14651560</LocalCounter> - <LocalCounter worker="13">14652081</LocalCounter> - <LocalCounter worker="14">14651657</LocalCounter> - <LocalCounter worker="15">14651849</LocalCounter> - <LocalCounter worker="16">15956242</LocalCounter> - <LocalCounter worker="17">15956591</LocalCounter> - <LocalCounter worker="18">15917381</LocalCounter> - <LocalCounter worker="19">15917342</LocalCounter> - <LocalCounter worker="20">16692459</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>314303473</SumOfLocalCounter> - </LocalTicketLockWithLocalCounter> - <LocalTicketLockWithLocalCounter activeWorker="22"> - <LocalCounter worker="0">14567398</LocalCounter> - <LocalCounter worker="1">14564632</LocalCounter> - <LocalCounter worker="2">14561858</LocalCounter> - <LocalCounter worker="3">14564593</LocalCounter> - <LocalCounter worker="4">14537808</LocalCounter> - <LocalCounter worker="5">14538183</LocalCounter> - <LocalCounter worker="6">14568901</LocalCounter> - <LocalCounter worker="7">14571570</LocalCounter> - <LocalCounter worker="8">14824939</LocalCounter> - <LocalCounter worker="9">14825595</LocalCounter> - <LocalCounter worker="10">14824563</LocalCounter> - <LocalCounter worker="11">14824936</LocalCounter> - <LocalCounter worker="12">14824664</LocalCounter> - <LocalCounter worker="13">14825180</LocalCounter> - <LocalCounter worker="14">14824622</LocalCounter> - <LocalCounter worker="15">14824869</LocalCounter> - <LocalCounter worker="16">15000394</LocalCounter> - <LocalCounter worker="17">15000816</LocalCounter> - <LocalCounter worker="18">15132415</LocalCounter> - <LocalCounter worker="19">15132390</LocalCounter> - <LocalCounter worker="20">14957113</LocalCounter> - <LocalCounter worker="21">14957467</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>325254906</SumOfLocalCounter> - </LocalTicketLockWithLocalCounter> - <LocalTicketLockWithLocalCounter activeWorker="23"> - <LocalCounter worker="0">14533130</LocalCounter> - <LocalCounter worker="1">14526680</LocalCounter> - <LocalCounter worker="2">14523900</LocalCounter> - <LocalCounter worker="3">14526694</LocalCounter> - <LocalCounter worker="4">14473827</LocalCounter> - <LocalCounter worker="5">14474177</LocalCounter> - <LocalCounter worker="6">14530917</LocalCounter> - <LocalCounter worker="7">14540399</LocalCounter> - <LocalCounter worker="8">14689348</LocalCounter> - <LocalCounter worker="9">14690045</LocalCounter> - <LocalCounter worker="10">14689080</LocalCounter> - <LocalCounter worker="11">14689352</LocalCounter> - <LocalCounter worker="12">14689191</LocalCounter> - <LocalCounter worker="13">14689822</LocalCounter> - <LocalCounter worker="14">14689153</LocalCounter> - <LocalCounter worker="15">14689383</LocalCounter> - <LocalCounter worker="16">15149225</LocalCounter> - <LocalCounter worker="17">15149721</LocalCounter> - <LocalCounter worker="18">15149099</LocalCounter> - <LocalCounter worker="19">15149020</LocalCounter> - <LocalCounter worker="20">15149087</LocalCounter> - <LocalCounter worker="21">15149374</LocalCounter> - <LocalCounter worker="22">15723066</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>340263690</SumOfLocalCounter> - </LocalTicketLockWithLocalCounter> - <LocalTicketLockWithLocalCounter activeWorker="24"> - <LocalCounter worker="0">14520191</LocalCounter> - <LocalCounter worker="1">14521316</LocalCounter> - <LocalCounter worker="2">14520064</LocalCounter> - <LocalCounter worker="3">14521273</LocalCounter> - <LocalCounter worker="4">14508861</LocalCounter> - <LocalCounter worker="5">14509277</LocalCounter> - <LocalCounter worker="6">14522439</LocalCounter> - <LocalCounter worker="7">14523376</LocalCounter> - <LocalCounter worker="8">14971139</LocalCounter> - <LocalCounter worker="9">14971788</LocalCounter> - <LocalCounter worker="10">14970834</LocalCounter> - <LocalCounter worker="11">14971145</LocalCounter> - <LocalCounter worker="12">14970850</LocalCounter> - <LocalCounter worker="13">14971356</LocalCounter> - <LocalCounter worker="14">14970773</LocalCounter> - <LocalCounter worker="15">14971212</LocalCounter> - <LocalCounter worker="16">14302288</LocalCounter> - <LocalCounter worker="17">14302674</LocalCounter> - <LocalCounter worker="18">14292318</LocalCounter> - <LocalCounter worker="19">14292258</LocalCounter> - <LocalCounter worker="20">14327757</LocalCounter> - <LocalCounter worker="21">14328109</LocalCounter> - <LocalCounter worker="22">14203917</LocalCounter> - <LocalCounter worker="23">14204596</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>350169811</SumOfLocalCounter> - </LocalTicketLockWithLocalCounter> - <LocalMCSLockWithLocalCounter activeWorker="1"> - <LocalCounter worker="0">12082070</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>12082070</SumOfLocalCounter> - </LocalMCSLockWithLocalCounter> - <LocalMCSLockWithLocalCounter activeWorker="2"> - <LocalCounter worker="0">11860565</LocalCounter> - <LocalCounter worker="1">11861524</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>23722089</SumOfLocalCounter> - </LocalMCSLockWithLocalCounter> - <LocalMCSLockWithLocalCounter activeWorker="3"> - <LocalCounter worker="0">10937185</LocalCounter> - <LocalCounter worker="1">11666176</LocalCounter> - <LocalCounter worker="2">11377885</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>33981246</SumOfLocalCounter> - </LocalMCSLockWithLocalCounter> - <LocalMCSLockWithLocalCounter activeWorker="4"> - <LocalCounter worker="0">10711169</LocalCounter> - <LocalCounter worker="1">11044642</LocalCounter> - <LocalCounter worker="2">10712186</LocalCounter> - <LocalCounter worker="3">10711772</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>43179769</SumOfLocalCounter> - </LocalMCSLockWithLocalCounter> - <LocalMCSLockWithLocalCounter activeWorker="5"> - <LocalCounter worker="0">10681736</LocalCounter> - <LocalCounter worker="1">10803241</LocalCounter> - <LocalCounter worker="2">10697774</LocalCounter> - <LocalCounter worker="3">10697365</LocalCounter> - <LocalCounter worker="4">10786731</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>53666847</SumOfLocalCounter> - </LocalMCSLockWithLocalCounter> - <LocalMCSLockWithLocalCounter activeWorker="6"> - <LocalCounter worker="0">10202899</LocalCounter> - <LocalCounter worker="1">10453899</LocalCounter> - <LocalCounter worker="2">10236078</LocalCounter> - <LocalCounter worker="3">10235641</LocalCounter> - <LocalCounter worker="4">10203405</LocalCounter> - <LocalCounter worker="5">10435466</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>61767388</SumOfLocalCounter> - </LocalMCSLockWithLocalCounter> - <LocalMCSLockWithLocalCounter activeWorker="7"> - <LocalCounter worker="0">10057432</LocalCounter> - <LocalCounter worker="1">10126310</LocalCounter> - <LocalCounter worker="2">10062880</LocalCounter> - <LocalCounter worker="3">10062441</LocalCounter> - <LocalCounter worker="4">10056560</LocalCounter> - <LocalCounter worker="5">10117801</LocalCounter> - <LocalCounter worker="6">10136814</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>70620238</SumOfLocalCounter> - </LocalMCSLockWithLocalCounter> - <LocalMCSLockWithLocalCounter activeWorker="8"> - <LocalCounter worker="0">9534620</LocalCounter> - <LocalCounter worker="1">9563972</LocalCounter> - <LocalCounter worker="2">9529566</LocalCounter> - <LocalCounter worker="3">9529136</LocalCounter> - <LocalCounter worker="4">9534974</LocalCounter> - <LocalCounter worker="5">9559121</LocalCounter> - <LocalCounter worker="6">9532504</LocalCounter> - <LocalCounter worker="7">9532098</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>76315991</SumOfLocalCounter> - </LocalMCSLockWithLocalCounter> - <LocalMCSLockWithLocalCounter activeWorker="9"> - <LocalCounter worker="0">9588196</LocalCounter> - <LocalCounter worker="1">9644812</LocalCounter> - <LocalCounter worker="2">9569541</LocalCounter> - <LocalCounter worker="3">9569144</LocalCounter> - <LocalCounter worker="4">9588269</LocalCounter> - <LocalCounter worker="5">9635446</LocalCounter> - <LocalCounter worker="6">9587520</LocalCounter> - <LocalCounter worker="7">9587124</LocalCounter> - <LocalCounter worker="8">12171038</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>88941090</SumOfLocalCounter> - </LocalMCSLockWithLocalCounter> - <LocalMCSLockWithLocalCounter activeWorker="10"> - <LocalCounter worker="0">9494406</LocalCounter> - <LocalCounter worker="1">9569092</LocalCounter> - <LocalCounter worker="2">9483166</LocalCounter> - <LocalCounter worker="3">9482828</LocalCounter> - <LocalCounter worker="4">9494096</LocalCounter> - <LocalCounter worker="5">9549855</LocalCounter> - <LocalCounter worker="6">9493566</LocalCounter> - <LocalCounter worker="7">9493228</LocalCounter> - <LocalCounter worker="8">11870461</LocalCounter> - <LocalCounter worker="9">11870751</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>99801449</SumOfLocalCounter> - </LocalMCSLockWithLocalCounter> - <LocalMCSLockWithLocalCounter activeWorker="11"> - <LocalCounter worker="0">9547513</LocalCounter> - <LocalCounter worker="1">9618639</LocalCounter> - <LocalCounter worker="2">9531079</LocalCounter> - <LocalCounter worker="3">9530708</LocalCounter> - <LocalCounter worker="4">9544013</LocalCounter> - <LocalCounter worker="5">9582528</LocalCounter> - <LocalCounter worker="6">9546188</LocalCounter> - <LocalCounter worker="7">9545855</LocalCounter> - <LocalCounter worker="8">10981480</LocalCounter> - <LocalCounter worker="9">11695200</LocalCounter> - <LocalCounter worker="10">11417956</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>110541159</SumOfLocalCounter> - </LocalMCSLockWithLocalCounter> - <LocalMCSLockWithLocalCounter activeWorker="12"> - <LocalCounter worker="0">9480940</LocalCounter> - <LocalCounter worker="1">9534711</LocalCounter> - <LocalCounter worker="2">9471781</LocalCounter> - <LocalCounter worker="3">9471472</LocalCounter> - <LocalCounter worker="4">9481875</LocalCounter> - <LocalCounter worker="5">9525995</LocalCounter> - <LocalCounter worker="6">9478339</LocalCounter> - <LocalCounter worker="7">9478029</LocalCounter> - <LocalCounter worker="8">10711265</LocalCounter> - <LocalCounter worker="9">11114755</LocalCounter> - <LocalCounter worker="10">10711627</LocalCounter> - <LocalCounter worker="11">10711294</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>119172083</SumOfLocalCounter> - </LocalMCSLockWithLocalCounter> - <LocalMCSLockWithLocalCounter activeWorker="13"> - <LocalCounter worker="0">9546022</LocalCounter> - <LocalCounter worker="1">9587726</LocalCounter> - <LocalCounter worker="2">9539512</LocalCounter> - <LocalCounter worker="3">9539112</LocalCounter> - <LocalCounter worker="4">9546798</LocalCounter> - <LocalCounter worker="5">9572802</LocalCounter> - <LocalCounter worker="6">9547437</LocalCounter> - <LocalCounter worker="7">9547014</LocalCounter> - <LocalCounter worker="8">10700918</LocalCounter> - <LocalCounter worker="9">10778357</LocalCounter> - <LocalCounter worker="10">10711682</LocalCounter> - <LocalCounter worker="11">10711355</LocalCounter> - <LocalCounter worker="12">10766560</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>130095295</SumOfLocalCounter> - </LocalMCSLockWithLocalCounter> - <LocalMCSLockWithLocalCounter activeWorker="14"> - <LocalCounter worker="0">9529110</LocalCounter> - <LocalCounter worker="1">9587899</LocalCounter> - <LocalCounter worker="2">9523029</LocalCounter> - <LocalCounter worker="3">9522600</LocalCounter> - <LocalCounter worker="4">9529393</LocalCounter> - <LocalCounter worker="5">9562307</LocalCounter> - <LocalCounter worker="6">9531767</LocalCounter> - <LocalCounter worker="7">9531364</LocalCounter> - <LocalCounter worker="8">10124795</LocalCounter> - <LocalCounter worker="9">10538492</LocalCounter> - <LocalCounter worker="10">10167869</LocalCounter> - <LocalCounter worker="11">10167494</LocalCounter> - <LocalCounter worker="12">10101866</LocalCounter> - <LocalCounter worker="13">10500389</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>137918374</SumOfLocalCounter> - </LocalMCSLockWithLocalCounter> - <LocalMCSLockWithLocalCounter activeWorker="15"> - <LocalCounter worker="0">9566449</LocalCounter> - <LocalCounter worker="1">9604833</LocalCounter> - <LocalCounter worker="2">9559288</LocalCounter> - <LocalCounter worker="3">9558898</LocalCounter> - <LocalCounter worker="4">9567098</LocalCounter> - <LocalCounter worker="5">9599387</LocalCounter> - <LocalCounter worker="6">9566496</LocalCounter> - <LocalCounter worker="7">9566147</LocalCounter> - <LocalCounter worker="8">10075047</LocalCounter> - <LocalCounter worker="9">10164135</LocalCounter> - <LocalCounter worker="10">10082703</LocalCounter> - <LocalCounter worker="11">10082326</LocalCounter> - <LocalCounter worker="12">10075244</LocalCounter> - <LocalCounter worker="13">10155140</LocalCounter> - <LocalCounter worker="14">10178314</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>147401505</SumOfLocalCounter> - </LocalMCSLockWithLocalCounter> - <LocalMCSLockWithLocalCounter activeWorker="16"> - <LocalCounter worker="0">9508977</LocalCounter> - <LocalCounter worker="1">9585956</LocalCounter> - <LocalCounter worker="2">9501428</LocalCounter> - <LocalCounter worker="3">9501014</LocalCounter> - <LocalCounter worker="4">9508465</LocalCounter> - <LocalCounter worker="5">9556360</LocalCounter> - <LocalCounter worker="6">9512315</LocalCounter> - <LocalCounter worker="7">9511916</LocalCounter> - <LocalCounter worker="8">9534416</LocalCounter> - <LocalCounter worker="9">9549972</LocalCounter> - <LocalCounter worker="10">9531251</LocalCounter> - <LocalCounter worker="11">9530849</LocalCounter> - <LocalCounter worker="12">9535299</LocalCounter> - <LocalCounter worker="13">9547690</LocalCounter> - <LocalCounter worker="14">9533669</LocalCounter> - <LocalCounter worker="15">9533330</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>152482907</SumOfLocalCounter> - </LocalMCSLockWithLocalCounter> - <LocalMCSLockWithLocalCounter activeWorker="17"> - <LocalCounter worker="0">9456577</LocalCounter> - <LocalCounter worker="1">9518572</LocalCounter> - <LocalCounter worker="2">9448329</LocalCounter> - <LocalCounter worker="3">9447904</LocalCounter> - <LocalCounter worker="4">9456755</LocalCounter> - <LocalCounter worker="5">9492156</LocalCounter> - <LocalCounter worker="6">9456619</LocalCounter> - <LocalCounter worker="7">9456290</LocalCounter> - <LocalCounter worker="8">9469695</LocalCounter> - <LocalCounter worker="9">9504090</LocalCounter> - <LocalCounter worker="10">9467165</LocalCounter> - <LocalCounter worker="11">9466779</LocalCounter> - <LocalCounter worker="12">9469736</LocalCounter> - <LocalCounter worker="13">9490753</LocalCounter> - <LocalCounter worker="14">9470460</LocalCounter> - <LocalCounter worker="15">9470100</LocalCounter> - <LocalCounter worker="16">12081737</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>163623717</SumOfLocalCounter> - </LocalMCSLockWithLocalCounter> - <LocalMCSLockWithLocalCounter activeWorker="18"> - <LocalCounter worker="0">9528572</LocalCounter> - <LocalCounter worker="1">9578324</LocalCounter> - <LocalCounter worker="2">9512159</LocalCounter> - <LocalCounter worker="3">9511743</LocalCounter> - <LocalCounter worker="4">9526173</LocalCounter> - <LocalCounter worker="5">9569951</LocalCounter> - <LocalCounter worker="6">9534866</LocalCounter> - <LocalCounter worker="7">9534526</LocalCounter> - <LocalCounter worker="8">9544758</LocalCounter> - <LocalCounter worker="9">9593215</LocalCounter> - <LocalCounter worker="10">9539533</LocalCounter> - <LocalCounter worker="11">9539119</LocalCounter> - <LocalCounter worker="12">9545198</LocalCounter> - <LocalCounter worker="13">9585695</LocalCounter> - <LocalCounter worker="14">9543578</LocalCounter> - <LocalCounter worker="15">9543186</LocalCounter> - <LocalCounter worker="16">11927396</LocalCounter> - <LocalCounter worker="17">11927804</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>176585796</SumOfLocalCounter> - </LocalMCSLockWithLocalCounter> - <LocalMCSLockWithLocalCounter activeWorker="19"> - <LocalCounter worker="0">9477447</LocalCounter> - <LocalCounter worker="1">9564597</LocalCounter> - <LocalCounter worker="2">9452396</LocalCounter> - <LocalCounter worker="3">9451981</LocalCounter> - <LocalCounter worker="4">9473225</LocalCounter> - <LocalCounter worker="5">9533594</LocalCounter> - <LocalCounter worker="6">9478730</LocalCounter> - <LocalCounter worker="7">9478355</LocalCounter> - <LocalCounter worker="8">9491282</LocalCounter> - <LocalCounter worker="9">9542542</LocalCounter> - <LocalCounter worker="10">9469974</LocalCounter> - <LocalCounter worker="11">9469570</LocalCounter> - <LocalCounter worker="12">9488649</LocalCounter> - <LocalCounter worker="13">9533937</LocalCounter> - <LocalCounter worker="14">9493941</LocalCounter> - <LocalCounter worker="15">9493595</LocalCounter> - <LocalCounter worker="16">10869069</LocalCounter> - <LocalCounter worker="17">11610326</LocalCounter> - <LocalCounter worker="18">11333158</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>185706368</SumOfLocalCounter> - </LocalMCSLockWithLocalCounter> - <LocalMCSLockWithLocalCounter activeWorker="20"> - <LocalCounter worker="0">9513336</LocalCounter> - <LocalCounter worker="1">9581580</LocalCounter> - <LocalCounter worker="2">9502256</LocalCounter> - <LocalCounter worker="3">9501888</LocalCounter> - <LocalCounter worker="4">9514403</LocalCounter> - <LocalCounter worker="5">9561923</LocalCounter> - <LocalCounter worker="6">9510586</LocalCounter> - <LocalCounter worker="7">9510218</LocalCounter> - <LocalCounter worker="8">9577756</LocalCounter> - <LocalCounter worker="9">9601845</LocalCounter> - <LocalCounter worker="10">9576720</LocalCounter> - <LocalCounter worker="11">9576333</LocalCounter> - <LocalCounter worker="12">9576562</LocalCounter> - <LocalCounter worker="13">9591627</LocalCounter> - <LocalCounter worker="14">9575875</LocalCounter> - <LocalCounter worker="15">9575454</LocalCounter> - <LocalCounter worker="16">10774344</LocalCounter> - <LocalCounter worker="17">11131500</LocalCounter> - <LocalCounter worker="18">10795173</LocalCounter> - <LocalCounter worker="19">10794817</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>196344196</SumOfLocalCounter> - </LocalMCSLockWithLocalCounter> - <LocalMCSLockWithLocalCounter activeWorker="21"> - <LocalCounter worker="0">9489784</LocalCounter> - <LocalCounter worker="1">9553505</LocalCounter> - <LocalCounter worker="2">9480407</LocalCounter> - <LocalCounter worker="3">9480031</LocalCounter> - <LocalCounter worker="4">9487187</LocalCounter> - <LocalCounter worker="5">9517609</LocalCounter> - <LocalCounter worker="6">9490215</LocalCounter> - <LocalCounter worker="7">9489795</LocalCounter> - <LocalCounter worker="8">9480100</LocalCounter> - <LocalCounter worker="9">9512956</LocalCounter> - <LocalCounter worker="10">9469789</LocalCounter> - <LocalCounter worker="11">9469408</LocalCounter> - <LocalCounter worker="12">9478224</LocalCounter> - <LocalCounter worker="13">9507407</LocalCounter> - <LocalCounter worker="14">9480884</LocalCounter> - <LocalCounter worker="15">9480522</LocalCounter> - <LocalCounter worker="16">10558463</LocalCounter> - <LocalCounter worker="17">10781768</LocalCounter> - <LocalCounter worker="18">10586536</LocalCounter> - <LocalCounter worker="19">10586157</LocalCounter> - <LocalCounter worker="20">10751665</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>205132412</SumOfLocalCounter> - </LocalMCSLockWithLocalCounter> - <LocalMCSLockWithLocalCounter activeWorker="22"> - <LocalCounter worker="0">9529280</LocalCounter> - <LocalCounter worker="1">9596479</LocalCounter> - <LocalCounter worker="2">9526225</LocalCounter> - <LocalCounter worker="3">9525841</LocalCounter> - <LocalCounter worker="4">9530068</LocalCounter> - <LocalCounter worker="5">9560604</LocalCounter> - <LocalCounter worker="6">9526967</LocalCounter> - <LocalCounter worker="7">9526692</LocalCounter> - <LocalCounter worker="8">9535973</LocalCounter> - <LocalCounter worker="9">9579641</LocalCounter> - <LocalCounter worker="10">9521811</LocalCounter> - <LocalCounter worker="11">9521452</LocalCounter> - <LocalCounter worker="12">9533157</LocalCounter> - <LocalCounter worker="13">9572320</LocalCounter> - <LocalCounter worker="14">9537636</LocalCounter> - <LocalCounter worker="15">9537265</LocalCounter> - <LocalCounter worker="16">10282870</LocalCounter> - <LocalCounter worker="17">10460861</LocalCounter> - <LocalCounter worker="18">10307364</LocalCounter> - <LocalCounter worker="19">10307036</LocalCounter> - <LocalCounter worker="20">10284193</LocalCounter> - <LocalCounter worker="21">10447335</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>214751070</SumOfLocalCounter> - </LocalMCSLockWithLocalCounter> - <LocalMCSLockWithLocalCounter activeWorker="23"> - <LocalCounter worker="0">9474195</LocalCounter> - <LocalCounter worker="1">9526351</LocalCounter> - <LocalCounter worker="2">9466045</LocalCounter> - <LocalCounter worker="3">9465650</LocalCounter> - <LocalCounter worker="4">9474273</LocalCounter> - <LocalCounter worker="5">9509635</LocalCounter> - <LocalCounter worker="6">9475163</LocalCounter> - <LocalCounter worker="7">9474803</LocalCounter> - <LocalCounter worker="8">9527687</LocalCounter> - <LocalCounter worker="9">9582242</LocalCounter> - <LocalCounter worker="10">9516774</LocalCounter> - <LocalCounter worker="11">9516407</LocalCounter> - <LocalCounter worker="12">9526734</LocalCounter> - <LocalCounter worker="13">9556254</LocalCounter> - <LocalCounter worker="14">9528842</LocalCounter> - <LocalCounter worker="15">9528456</LocalCounter> - <LocalCounter worker="16">9971596</LocalCounter> - <LocalCounter worker="17">10094615</LocalCounter> - <LocalCounter worker="18">9984885</LocalCounter> - <LocalCounter worker="19">9984498</LocalCounter> - <LocalCounter worker="20">9969546</LocalCounter> - <LocalCounter worker="21">10080306</LocalCounter> - <LocalCounter worker="22">10113352</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>222348309</SumOfLocalCounter> - </LocalMCSLockWithLocalCounter> - <LocalMCSLockWithLocalCounter activeWorker="24"> - <LocalCounter worker="0">9570183</LocalCounter> - <LocalCounter worker="1">9596856</LocalCounter> - <LocalCounter worker="2">9566396</LocalCounter> - <LocalCounter worker="3">9565955</LocalCounter> - <LocalCounter worker="4">9570347</LocalCounter> - <LocalCounter worker="5">9592890</LocalCounter> - <LocalCounter worker="6">9571708</LocalCounter> - <LocalCounter worker="7">9571344</LocalCounter> - <LocalCounter worker="8">9568931</LocalCounter> - <LocalCounter worker="9">9609557</LocalCounter> - <LocalCounter worker="10">9562498</LocalCounter> - <LocalCounter worker="11">9562127</LocalCounter> - <LocalCounter worker="12">9567335</LocalCounter> - <LocalCounter worker="13">9602518</LocalCounter> - <LocalCounter worker="14">9566096</LocalCounter> - <LocalCounter worker="15">9565736</LocalCounter> - <LocalCounter worker="16">9608409</LocalCounter> - <LocalCounter worker="17">9631716</LocalCounter> - <LocalCounter worker="18">9604886</LocalCounter> - <LocalCounter worker="19">9604505</LocalCounter> - <LocalCounter worker="20">9607807</LocalCounter> - <LocalCounter worker="21">9629640</LocalCounter> - <LocalCounter worker="22">9603907</LocalCounter> - <LocalCounter worker="23">9629626</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>230130973</SumOfLocalCounter> - </LocalMCSLockWithLocalCounter> - <LocalTicketLockWithGlobalCounter activeWorker="24"> - <LocalCounter worker="0">903446</LocalCounter> - <LocalCounter worker="1">903762</LocalCounter> - <LocalCounter worker="2">903658</LocalCounter> - <LocalCounter worker="3">903679</LocalCounter> - <LocalCounter worker="4">903658</LocalCounter> - <LocalCounter worker="5">903690</LocalCounter> - <LocalCounter worker="6">903665</LocalCounter> - <LocalCounter worker="7">903667</LocalCounter> - <LocalCounter worker="8">905432</LocalCounter> - <LocalCounter worker="9">905463</LocalCounter> - <LocalCounter worker="10">905415</LocalCounter> - <LocalCounter worker="11">905426</LocalCounter> - <LocalCounter worker="12">905442</LocalCounter> - <LocalCounter worker="13">905442</LocalCounter> - <LocalCounter worker="14">905434</LocalCounter> - <LocalCounter worker="15">905417</LocalCounter> - <LocalCounter worker="16">902746</LocalCounter> - <LocalCounter worker="17">902734</LocalCounter> - <LocalCounter worker="18">902731</LocalCounter> - <LocalCounter worker="19">902719</LocalCounter> - <LocalCounter worker="20">902734</LocalCounter> - <LocalCounter worker="21">902750</LocalCounter> - <LocalCounter worker="22">902746</LocalCounter> - <LocalCounter worker="23">902708</LocalCounter> - <GlobalCounter>2057722</GlobalCounter> - <SumOfLocalCounter>21694564</SumOfLocalCounter> - </LocalTicketLockWithGlobalCounter> - <LocalMCSLockWithGlobalCounter activeWorker="24"> - <LocalCounter worker="0">859801</LocalCounter> - <LocalCounter worker="1">967785</LocalCounter> - <LocalCounter worker="2">883645</LocalCounter> - <LocalCounter worker="3">883619</LocalCounter> - <LocalCounter worker="4">860037</LocalCounter> - <LocalCounter worker="5">968025</LocalCounter> - <LocalCounter worker="6">883058</LocalCounter> - <LocalCounter worker="7">883016</LocalCounter> - <LocalCounter worker="8">865337</LocalCounter> - <LocalCounter worker="9">974824</LocalCounter> - <LocalCounter worker="10">882369</LocalCounter> - <LocalCounter worker="11">882341</LocalCounter> - <LocalCounter worker="12">863544</LocalCounter> - <LocalCounter worker="13">972159</LocalCounter> - <LocalCounter worker="14">892721</LocalCounter> - <LocalCounter worker="15">892715</LocalCounter> - <LocalCounter worker="16">857049</LocalCounter> - <LocalCounter worker="17">963725</LocalCounter> - <LocalCounter worker="18">880627</LocalCounter> - <LocalCounter worker="19">880584</LocalCounter> - <LocalCounter worker="20">856853</LocalCounter> - <LocalCounter worker="21">963380</LocalCounter> - <LocalCounter worker="22">854026</LocalCounter> - <LocalCounter worker="23">952345</LocalCounter> - <GlobalCounter>1763851</GlobalCounter> - <SumOfLocalCounter>21623585</SumOfLocalCounter> - </LocalMCSLockWithGlobalCounter> - <GlobalTicketLockWithBusySection activeWorker="24"> - <LocalCounter worker="0">122500</LocalCounter> - <LocalCounter worker="1">122500</LocalCounter> - <LocalCounter worker="2">122500</LocalCounter> - <LocalCounter worker="3">122500</LocalCounter> - <LocalCounter worker="4">122499</LocalCounter> - <LocalCounter worker="5">122500</LocalCounter> - <LocalCounter worker="6">122500</LocalCounter> - <LocalCounter worker="7">122500</LocalCounter> - <LocalCounter worker="8">122500</LocalCounter> - <LocalCounter worker="9">122500</LocalCounter> - <LocalCounter worker="10">122500</LocalCounter> - <LocalCounter worker="11">122500</LocalCounter> - <LocalCounter worker="12">122500</LocalCounter> - <LocalCounter worker="13">122500</LocalCounter> - <LocalCounter worker="14">122500</LocalCounter> - <LocalCounter worker="15">122500</LocalCounter> - <LocalCounter worker="16">122499</LocalCounter> - <LocalCounter worker="17">122501</LocalCounter> - <LocalCounter worker="18">122500</LocalCounter> - <LocalCounter worker="19">122500</LocalCounter> - <LocalCounter worker="20">122501</LocalCounter> - <LocalCounter worker="21">122501</LocalCounter> - <LocalCounter worker="22">122501</LocalCounter> - <LocalCounter worker="23">122501</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>2940003</SumOfLocalCounter> - </GlobalTicketLockWithBusySection> - <GlobalMCSLockWithBusySection activeWorker="24"> - <LocalCounter worker="0">109856</LocalCounter> - <LocalCounter worker="1">109857</LocalCounter> - <LocalCounter worker="2">109857</LocalCounter> - <LocalCounter worker="3">109856</LocalCounter> - <LocalCounter worker="4">109857</LocalCounter> - <LocalCounter worker="5">109856</LocalCounter> - <LocalCounter worker="6">109857</LocalCounter> - <LocalCounter worker="7">109857</LocalCounter> - <LocalCounter worker="8">109856</LocalCounter> - <LocalCounter worker="9">109856</LocalCounter> - <LocalCounter worker="10">109857</LocalCounter> - <LocalCounter worker="11">109858</LocalCounter> - <LocalCounter worker="12">109858</LocalCounter> - <LocalCounter worker="13">109857</LocalCounter> - <LocalCounter worker="14">109856</LocalCounter> - <LocalCounter worker="15">109856</LocalCounter> - <LocalCounter worker="16">109858</LocalCounter> - <LocalCounter worker="17">109857</LocalCounter> - <LocalCounter worker="18">109857</LocalCounter> - <LocalCounter worker="19">109857</LocalCounter> - <LocalCounter worker="20">109856</LocalCounter> - <LocalCounter worker="21">109857</LocalCounter> - <LocalCounter worker="22">109856</LocalCounter> - <LocalCounter worker="23">109857</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>2636562</SumOfLocalCounter> - </GlobalMCSLockWithBusySection> - <SequenceLock activeWorker="24"> - <LocalCounter worker="0">2443697</LocalCounter> - <LocalCounter worker="1">1</LocalCounter> - <LocalCounter worker="2">11</LocalCounter> - <LocalCounter worker="3">19</LocalCounter> - <LocalCounter worker="4">34</LocalCounter> - <LocalCounter worker="5">4</LocalCounter> - <LocalCounter worker="6">11</LocalCounter> - <LocalCounter worker="7">27</LocalCounter> - <LocalCounter worker="8">738</LocalCounter> - <LocalCounter worker="9">715</LocalCounter> - <LocalCounter worker="10">708</LocalCounter> - <LocalCounter worker="11">710</LocalCounter> - <LocalCounter worker="12">716</LocalCounter> - <LocalCounter worker="13">722</LocalCounter> - <LocalCounter worker="14">663</LocalCounter> - <LocalCounter worker="15">680</LocalCounter> - <LocalCounter worker="16">818</LocalCounter> - <LocalCounter worker="17">816</LocalCounter> - <LocalCounter worker="18">798</LocalCounter> - <LocalCounter worker="19">793</LocalCounter> - <LocalCounter worker="20">749</LocalCounter> - <LocalCounter worker="21">737</LocalCounter> - <LocalCounter worker="22">681</LocalCounter> - <LocalCounter worker="23">713</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>2455561</SumOfLocalCounter> - </SequenceLock> - <GlobalTASLockWithLocalCounter activeWorker="1"> - <LocalCounter worker="0">19899718</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>19899718</SumOfLocalCounter> - </GlobalTASLockWithLocalCounter> - <GlobalTASLockWithLocalCounter activeWorker="2"> - <LocalCounter worker="0">11323121</LocalCounter> - <LocalCounter worker="1">8390566</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>19713687</SumOfLocalCounter> - </GlobalTASLockWithLocalCounter> - <GlobalTASLockWithLocalCounter activeWorker="3"> - <LocalCounter worker="0">3505442</LocalCounter> - <LocalCounter worker="1">3505599</LocalCounter> - <LocalCounter worker="2">12137521</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>19148562</SumOfLocalCounter> - </GlobalTASLockWithLocalCounter> - <GlobalTASLockWithLocalCounter activeWorker="4"> - <LocalCounter worker="0">3973366</LocalCounter> - <LocalCounter worker="1">3973543</LocalCounter> - <LocalCounter worker="2">5643661</LocalCounter> - <LocalCounter worker="3">5644098</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>19234668</SumOfLocalCounter> - </GlobalTASLockWithLocalCounter> - <GlobalTASLockWithLocalCounter activeWorker="5"> - <LocalCounter worker="0">3605358</LocalCounter> - <LocalCounter worker="1">3605432</LocalCounter> - <LocalCounter worker="2">5184535</LocalCounter> - <LocalCounter worker="3">5184801</LocalCounter> - <LocalCounter worker="4">1514959</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>19095085</SumOfLocalCounter> - </GlobalTASLockWithLocalCounter> - <GlobalTASLockWithLocalCounter activeWorker="6"> - <LocalCounter worker="0">3062204</LocalCounter> - <LocalCounter worker="1">3061638</LocalCounter> - <LocalCounter worker="2">2657329</LocalCounter> - <LocalCounter worker="3">2657997</LocalCounter> - <LocalCounter worker="4">3694149</LocalCounter> - <LocalCounter worker="5">3693569</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>18826886</SumOfLocalCounter> - </GlobalTASLockWithLocalCounter> - <GlobalTASLockWithLocalCounter activeWorker="7"> - <LocalCounter worker="0">1413952</LocalCounter> - <LocalCounter worker="1">1413322</LocalCounter> - <LocalCounter worker="2">5634774</LocalCounter> - <LocalCounter worker="3">5634907</LocalCounter> - <LocalCounter worker="4">807079</LocalCounter> - <LocalCounter worker="5">806823</LocalCounter> - <LocalCounter worker="6">2780299</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>18491156</SumOfLocalCounter> - </GlobalTASLockWithLocalCounter> - <GlobalTASLockWithLocalCounter activeWorker="8"> - <LocalCounter worker="0">2266504</LocalCounter> - <LocalCounter worker="1">2264023</LocalCounter> - <LocalCounter worker="2">2150464</LocalCounter> - <LocalCounter worker="3">2152501</LocalCounter> - <LocalCounter worker="4">2234184</LocalCounter> - <LocalCounter worker="5">2235885</LocalCounter> - <LocalCounter worker="6">2045159</LocalCounter> - <LocalCounter worker="7">2042094</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>17390814</SumOfLocalCounter> - </GlobalTASLockWithLocalCounter> - <GlobalTASLockWithLocalCounter activeWorker="9"> - <LocalCounter worker="0">378978</LocalCounter> - <LocalCounter worker="1">493897</LocalCounter> - <LocalCounter worker="2">540956</LocalCounter> - <LocalCounter worker="3">307717</LocalCounter> - <LocalCounter worker="4">559266</LocalCounter> - <LocalCounter worker="5">435771</LocalCounter> - <LocalCounter worker="6">289002</LocalCounter> - <LocalCounter worker="7">524768</LocalCounter> - <LocalCounter worker="8">904</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>3531259</SumOfLocalCounter> - </GlobalTASLockWithLocalCounter> - <GlobalTASLockWithLocalCounter activeWorker="10"> - <LocalCounter worker="0">315240</LocalCounter> - <LocalCounter worker="1">314639</LocalCounter> - <LocalCounter worker="2">343225</LocalCounter> - <LocalCounter worker="3">343430</LocalCounter> - <LocalCounter worker="4">330617</LocalCounter> - <LocalCounter worker="5">273430</LocalCounter> - <LocalCounter worker="6">114457</LocalCounter> - <LocalCounter worker="7">400594</LocalCounter> - <LocalCounter worker="8">199708</LocalCounter> - <LocalCounter worker="9">398954</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>3034294</SumOfLocalCounter> - </GlobalTASLockWithLocalCounter> - <GlobalTASLockWithLocalCounter activeWorker="11"> - <LocalCounter worker="0">398649</LocalCounter> - <LocalCounter worker="1">243725</LocalCounter> - <LocalCounter worker="2">313197</LocalCounter> - <LocalCounter worker="3">341559</LocalCounter> - <LocalCounter worker="4">400879</LocalCounter> - <LocalCounter worker="5">485957</LocalCounter> - <LocalCounter worker="6">256149</LocalCounter> - <LocalCounter worker="7">312463</LocalCounter> - <LocalCounter worker="8">79929</LocalCounter> - <LocalCounter worker="9">79959</LocalCounter> - <LocalCounter worker="10">61</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>2912527</SumOfLocalCounter> - </GlobalTASLockWithLocalCounter> - <GlobalTASLockWithLocalCounter activeWorker="12"> - <LocalCounter worker="0">200097</LocalCounter> - <LocalCounter worker="1">314280</LocalCounter> - <LocalCounter worker="2">484541</LocalCounter> - <LocalCounter worker="3">400413</LocalCounter> - <LocalCounter worker="4">187776</LocalCounter> - <LocalCounter worker="5">244998</LocalCounter> - <LocalCounter worker="6">244859</LocalCounter> - <LocalCounter worker="7">330577</LocalCounter> - <LocalCounter worker="8">159931</LocalCounter> - <LocalCounter worker="9">122121</LocalCounter> - <LocalCounter worker="10">159973</LocalCounter> - <LocalCounter worker="11">199451</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>3049017</SumOfLocalCounter> - </GlobalTASLockWithLocalCounter> - <GlobalTASLockWithLocalCounter activeWorker="13"> - <LocalCounter worker="0">104</LocalCounter> - <LocalCounter worker="1">145</LocalCounter> - <LocalCounter worker="2">209</LocalCounter> - <LocalCounter worker="3">169</LocalCounter> - <LocalCounter worker="4">206</LocalCounter> - <LocalCounter worker="5">120</LocalCounter> - <LocalCounter worker="6">166</LocalCounter> - <LocalCounter worker="7">188</LocalCounter> - <LocalCounter worker="8">798353</LocalCounter> - <LocalCounter worker="9">639101</LocalCounter> - <LocalCounter worker="10">1237960</LocalCounter> - <LocalCounter worker="11">840661</LocalCounter> - <LocalCounter worker="12">439274</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>3956656</SumOfLocalCounter> - </GlobalTASLockWithLocalCounter> - <GlobalTASLockWithLocalCounter activeWorker="14"> - <LocalCounter worker="0">80</LocalCounter> - <LocalCounter worker="1">111</LocalCounter> - <LocalCounter worker="2">119</LocalCounter> - <LocalCounter worker="3">149</LocalCounter> - <LocalCounter worker="4">169</LocalCounter> - <LocalCounter worker="5">117</LocalCounter> - <LocalCounter worker="6">126</LocalCounter> - <LocalCounter worker="7">139</LocalCounter> - <LocalCounter worker="8">574829</LocalCounter> - <LocalCounter worker="9">803988</LocalCounter> - <LocalCounter worker="10">370549</LocalCounter> - <LocalCounter worker="11">846318</LocalCounter> - <LocalCounter worker="12">608269</LocalCounter> - <LocalCounter worker="13">608119</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>3813082</SumOfLocalCounter> - </GlobalTASLockWithLocalCounter> - <GlobalTASLockWithLocalCounter activeWorker="15"> - <LocalCounter worker="0">8</LocalCounter> - <LocalCounter worker="1">20</LocalCounter> - <LocalCounter worker="2">34</LocalCounter> - <LocalCounter worker="3">65</LocalCounter> - <LocalCounter worker="4">84</LocalCounter> - <LocalCounter worker="5">38</LocalCounter> - <LocalCounter worker="6">60</LocalCounter> - <LocalCounter worker="7">95</LocalCounter> - <LocalCounter worker="8">482715</LocalCounter> - <LocalCounter worker="9">607538</LocalCounter> - <LocalCounter worker="10">482392</LocalCounter> - <LocalCounter worker="11">667855</LocalCounter> - <LocalCounter worker="12">409336</LocalCounter> - <LocalCounter worker="13">630426</LocalCounter> - <LocalCounter worker="14">408163</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>3688829</SumOfLocalCounter> - </GlobalTASLockWithLocalCounter> - <GlobalTASLockWithLocalCounter activeWorker="16"> - <LocalCounter worker="0">117285</LocalCounter> - <LocalCounter worker="1">117670</LocalCounter> - <LocalCounter worker="2">117122</LocalCounter> - <LocalCounter worker="3">116813</LocalCounter> - <LocalCounter worker="4">117713</LocalCounter> - <LocalCounter worker="5">117774</LocalCounter> - <LocalCounter worker="6">117459</LocalCounter> - <LocalCounter worker="7">117328</LocalCounter> - <LocalCounter worker="8">303833</LocalCounter> - <LocalCounter worker="9">326784</LocalCounter> - <LocalCounter worker="10">277325</LocalCounter> - <LocalCounter worker="11">373516</LocalCounter> - <LocalCounter worker="12">263215</LocalCounter> - <LocalCounter worker="13">390871</LocalCounter> - <LocalCounter worker="14">446935</LocalCounter> - <LocalCounter worker="15">301501</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>3623144</SumOfLocalCounter> - </GlobalTASLockWithLocalCounter> - <GlobalTASLockWithLocalCounter activeWorker="17"> - <LocalCounter worker="0">341558</LocalCounter> - <LocalCounter worker="1">231787</LocalCounter> - <LocalCounter worker="2">347677</LocalCounter> - <LocalCounter worker="3">218478</LocalCounter> - <LocalCounter worker="4">303719</LocalCounter> - <LocalCounter worker="5">154437</LocalCounter> - <LocalCounter worker="6">229631</LocalCounter> - <LocalCounter worker="7">216461</LocalCounter> - <LocalCounter worker="8">123537</LocalCounter> - <LocalCounter worker="9">103366</LocalCounter> - <LocalCounter worker="10">55161</LocalCounter> - <LocalCounter worker="11">90025</LocalCounter> - <LocalCounter worker="12">84691</LocalCounter> - <LocalCounter worker="13">68924</LocalCounter> - <LocalCounter worker="14">53786</LocalCounter> - <LocalCounter worker="15">190767</LocalCounter> - <LocalCounter worker="16">986</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>2814991</SumOfLocalCounter> - </GlobalTASLockWithLocalCounter> - <GlobalTASLockWithLocalCounter activeWorker="18"> - <LocalCounter worker="0">200069</LocalCounter> - <LocalCounter worker="1">264598</LocalCounter> - <LocalCounter worker="2">170182</LocalCounter> - <LocalCounter worker="3">138554</LocalCounter> - <LocalCounter worker="4">102824</LocalCounter> - <LocalCounter worker="5">175867</LocalCounter> - <LocalCounter worker="6">284187</LocalCounter> - <LocalCounter worker="7">164345</LocalCounter> - <LocalCounter worker="8">233732</LocalCounter> - <LocalCounter worker="9">178177</LocalCounter> - <LocalCounter worker="10">140189</LocalCounter> - <LocalCounter worker="11">153958</LocalCounter> - <LocalCounter worker="12">123252</LocalCounter> - <LocalCounter worker="13">227322</LocalCounter> - <LocalCounter worker="14">194095</LocalCounter> - <LocalCounter worker="15">54981</LocalCounter> - <LocalCounter worker="16">1079</LocalCounter> - <LocalCounter worker="17">1026</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>2808437</SumOfLocalCounter> - </GlobalTASLockWithLocalCounter> - <GlobalTASLockWithLocalCounter activeWorker="19"> - <LocalCounter worker="0">321115</LocalCounter> - <LocalCounter worker="1">371397</LocalCounter> - <LocalCounter worker="2">225899</LocalCounter> - <LocalCounter worker="3">354262</LocalCounter> - <LocalCounter worker="4">361476</LocalCounter> - <LocalCounter worker="5">350114</LocalCounter> - <LocalCounter worker="6">291933</LocalCounter> - <LocalCounter worker="7">196999</LocalCounter> - <LocalCounter worker="8">22397</LocalCounter> - <LocalCounter worker="9">25153</LocalCounter> - <LocalCounter worker="10">102182</LocalCounter> - <LocalCounter worker="11">21372</LocalCounter> - <LocalCounter worker="12">70582</LocalCounter> - <LocalCounter worker="13">29948</LocalCounter> - <LocalCounter worker="14">18969</LocalCounter> - <LocalCounter worker="15">57177</LocalCounter> - <LocalCounter worker="16">477</LocalCounter> - <LocalCounter worker="17">391</LocalCounter> - <LocalCounter worker="18">916</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>2822759</SumOfLocalCounter> - </GlobalTASLockWithLocalCounter> - <GlobalTASLockWithLocalCounter activeWorker="20"> - <LocalCounter worker="0">393436</LocalCounter> - <LocalCounter worker="1">309283</LocalCounter> - <LocalCounter worker="2">168529</LocalCounter> - <LocalCounter worker="3">224983</LocalCounter> - <LocalCounter worker="4">196844</LocalCounter> - <LocalCounter worker="5">140974</LocalCounter> - <LocalCounter worker="6">197196</LocalCounter> - <LocalCounter worker="7">84830</LocalCounter> - <LocalCounter worker="8">111946</LocalCounter> - <LocalCounter worker="9">111914</LocalCounter> - <LocalCounter worker="10">112325</LocalCounter> - <LocalCounter worker="11">112014</LocalCounter> - <LocalCounter worker="12">168007</LocalCounter> - <LocalCounter worker="13">111972</LocalCounter> - <LocalCounter worker="14">112201</LocalCounter> - <LocalCounter worker="15">252562</LocalCounter> - <LocalCounter worker="16">49</LocalCounter> - <LocalCounter worker="17">41</LocalCounter> - <LocalCounter worker="18">37</LocalCounter> - <LocalCounter worker="19">44</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>2809187</SumOfLocalCounter> - </GlobalTASLockWithLocalCounter> - <GlobalTASLockWithLocalCounter activeWorker="21"> - <LocalCounter worker="0">183153</LocalCounter> - <LocalCounter worker="1">263091</LocalCounter> - <LocalCounter worker="2">196238</LocalCounter> - <LocalCounter worker="3">56135</LocalCounter> - <LocalCounter worker="4">252253</LocalCounter> - <LocalCounter worker="5">112377</LocalCounter> - <LocalCounter worker="6">168624</LocalCounter> - <LocalCounter worker="7">252596</LocalCounter> - <LocalCounter worker="8">195948</LocalCounter> - <LocalCounter worker="9">43703</LocalCounter> - <LocalCounter worker="10">140073</LocalCounter> - <LocalCounter worker="11">223721</LocalCounter> - <LocalCounter worker="12">251924</LocalCounter> - <LocalCounter worker="13">169611</LocalCounter> - <LocalCounter worker="14">112360</LocalCounter> - <LocalCounter worker="15">168176</LocalCounter> - <LocalCounter worker="16">41</LocalCounter> - <LocalCounter worker="17">14</LocalCounter> - <LocalCounter worker="18">29</LocalCounter> - <LocalCounter worker="19">41</LocalCounter> - <LocalCounter worker="20">41</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>2790149</SumOfLocalCounter> - </GlobalTASLockWithLocalCounter> - <GlobalTASLockWithLocalCounter activeWorker="22"> - <LocalCounter worker="0">84315</LocalCounter> - <LocalCounter worker="1">168428</LocalCounter> - <LocalCounter worker="2">56084</LocalCounter> - <LocalCounter worker="3">280784</LocalCounter> - <LocalCounter worker="4">160642</LocalCounter> - <LocalCounter worker="5">195812</LocalCounter> - <LocalCounter worker="6">224182</LocalCounter> - <LocalCounter worker="7">112335</LocalCounter> - <LocalCounter worker="8">223416</LocalCounter> - <LocalCounter worker="9">279221</LocalCounter> - <LocalCounter worker="10">223306</LocalCounter> - <LocalCounter worker="11">195550</LocalCounter> - <LocalCounter worker="12">83826</LocalCounter> - <LocalCounter worker="13">83644</LocalCounter> - <LocalCounter worker="14">153478</LocalCounter> - <LocalCounter worker="15">251574</LocalCounter> - <LocalCounter worker="16">31</LocalCounter> - <LocalCounter worker="17">17</LocalCounter> - <LocalCounter worker="18">26</LocalCounter> - <LocalCounter worker="19">27</LocalCounter> - <LocalCounter worker="20">31</LocalCounter> - <LocalCounter worker="21">22</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>2776751</SumOfLocalCounter> - </GlobalTASLockWithLocalCounter> - <GlobalTASLockWithLocalCounter activeWorker="23"> - <LocalCounter worker="0">251094</LocalCounter> - <LocalCounter worker="1">111612</LocalCounter> - <LocalCounter worker="2">111946</LocalCounter> - <LocalCounter worker="3">250878</LocalCounter> - <LocalCounter worker="4">270360</LocalCounter> - <LocalCounter worker="5">83918</LocalCounter> - <LocalCounter worker="6">167667</LocalCounter> - <LocalCounter worker="7">251032</LocalCounter> - <LocalCounter worker="8">201670</LocalCounter> - <LocalCounter worker="9">195227</LocalCounter> - <LocalCounter worker="10">167446</LocalCounter> - <LocalCounter worker="11">194880</LocalCounter> - <LocalCounter worker="12">194852</LocalCounter> - <LocalCounter worker="13">83768</LocalCounter> - <LocalCounter worker="14">160169</LocalCounter> - <LocalCounter worker="15">83658</LocalCounter> - <LocalCounter worker="16">141</LocalCounter> - <LocalCounter worker="17">133</LocalCounter> - <LocalCounter worker="18">122</LocalCounter> - <LocalCounter worker="19">117</LocalCounter> - <LocalCounter worker="20">136</LocalCounter> - <LocalCounter worker="21">115</LocalCounter> - <LocalCounter worker="22">104</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>2781045</SumOfLocalCounter> - </GlobalTASLockWithLocalCounter> - <GlobalTASLockWithLocalCounter activeWorker="24"> - <LocalCounter worker="0">132034</LocalCounter> - <LocalCounter worker="1">131676</LocalCounter> - <LocalCounter worker="2">132311</LocalCounter> - <LocalCounter worker="3">131443</LocalCounter> - <LocalCounter worker="4">132250</LocalCounter> - <LocalCounter worker="5">131733</LocalCounter> - <LocalCounter worker="6">131193</LocalCounter> - <LocalCounter worker="7">131281</LocalCounter> - <LocalCounter worker="8">122650</LocalCounter> - <LocalCounter worker="9">123113</LocalCounter> - <LocalCounter worker="10">123745</LocalCounter> - <LocalCounter worker="11">123264</LocalCounter> - <LocalCounter worker="12">123158</LocalCounter> - <LocalCounter worker="13">122764</LocalCounter> - <LocalCounter worker="14">123050</LocalCounter> - <LocalCounter worker="15">123616</LocalCounter> - <LocalCounter worker="16">122054</LocalCounter> - <LocalCounter worker="17">122876</LocalCounter> - <LocalCounter worker="18">122080</LocalCounter> - <LocalCounter worker="19">121904</LocalCounter> - <LocalCounter worker="20">122223</LocalCounter> - <LocalCounter worker="21">122088</LocalCounter> - <LocalCounter worker="22">121899</LocalCounter> - <LocalCounter worker="23">122670</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>3017075</SumOfLocalCounter> - </GlobalTASLockWithLocalCounter> - <GlobalTTASLockWithLocalCounter activeWorker="1"> - <LocalCounter worker="0">19645977</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>19645977</SumOfLocalCounter> - </GlobalTTASLockWithLocalCounter> - <GlobalTTASLockWithLocalCounter activeWorker="2"> - <LocalCounter worker="0">4310217</LocalCounter> - <LocalCounter worker="1">15293675</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>19603892</SumOfLocalCounter> - </GlobalTTASLockWithLocalCounter> - <GlobalTTASLockWithLocalCounter activeWorker="3"> - <LocalCounter worker="0">9402863</LocalCounter> - <LocalCounter worker="1">9226207</LocalCounter> - <LocalCounter worker="2">437594</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>19066664</SumOfLocalCounter> - </GlobalTTASLockWithLocalCounter> - <GlobalTTASLockWithLocalCounter activeWorker="4"> - <LocalCounter worker="0">3386951</LocalCounter> - <LocalCounter worker="1">3201931</LocalCounter> - <LocalCounter worker="2">6304744</LocalCounter> - <LocalCounter worker="3">6305238</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>19198864</SumOfLocalCounter> - </GlobalTTASLockWithLocalCounter> - <GlobalTTASLockWithLocalCounter activeWorker="5"> - <LocalCounter worker="0">4092852</LocalCounter> - <LocalCounter worker="1">3899527</LocalCounter> - <LocalCounter worker="2">2520768</LocalCounter> - <LocalCounter worker="3">2175848</LocalCounter> - <LocalCounter worker="4">5948549</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>18637544</SumOfLocalCounter> - </GlobalTTASLockWithLocalCounter> - <GlobalTTASLockWithLocalCounter activeWorker="6"> - <LocalCounter worker="0">2597841</LocalCounter> - <LocalCounter worker="1">2443137</LocalCounter> - <LocalCounter worker="2">3331024</LocalCounter> - <LocalCounter worker="3">2708000</LocalCounter> - <LocalCounter worker="4">4093981</LocalCounter> - <LocalCounter worker="5">3080494</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>18254477</SumOfLocalCounter> - </GlobalTTASLockWithLocalCounter> - <GlobalTTASLockWithLocalCounter activeWorker="7"> - <LocalCounter worker="0">1216614</LocalCounter> - <LocalCounter worker="1">2258952</LocalCounter> - <LocalCounter worker="2">1291063</LocalCounter> - <LocalCounter worker="3">1114575</LocalCounter> - <LocalCounter worker="4">5532606</LocalCounter> - <LocalCounter worker="5">5466345</LocalCounter> - <LocalCounter worker="6">1405693</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>18285848</SumOfLocalCounter> - </GlobalTTASLockWithLocalCounter> - <GlobalTTASLockWithLocalCounter activeWorker="8"> - <LocalCounter worker="0">2086492</LocalCounter> - <LocalCounter worker="1">2244683</LocalCounter> - <LocalCounter worker="2">2112130</LocalCounter> - <LocalCounter worker="3">2067114</LocalCounter> - <LocalCounter worker="4">2081711</LocalCounter> - <LocalCounter worker="5">2090180</LocalCounter> - <LocalCounter worker="6">2168032</LocalCounter> - <LocalCounter worker="7">2534478</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>17384820</SumOfLocalCounter> - </GlobalTTASLockWithLocalCounter> - <GlobalTTASLockWithLocalCounter activeWorker="9"> - <LocalCounter worker="0">634132</LocalCounter> - <LocalCounter worker="1">601192</LocalCounter> - <LocalCounter worker="2">480382</LocalCounter> - <LocalCounter worker="3">657643</LocalCounter> - <LocalCounter worker="4">592079</LocalCounter> - <LocalCounter worker="5">740174</LocalCounter> - <LocalCounter worker="6">465043</LocalCounter> - <LocalCounter worker="7">642726</LocalCounter> - <LocalCounter worker="8">3226</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>4816597</SumOfLocalCounter> - </GlobalTTASLockWithLocalCounter> - <GlobalTTASLockWithLocalCounter activeWorker="10"> - <LocalCounter worker="0">142972</LocalCounter> - <LocalCounter worker="1">387723</LocalCounter> - <LocalCounter worker="2">457567</LocalCounter> - <LocalCounter worker="3">302196</LocalCounter> - <LocalCounter worker="4">314638</LocalCounter> - <LocalCounter worker="5">457645</LocalCounter> - <LocalCounter worker="6">371900</LocalCounter> - <LocalCounter worker="7">428999</LocalCounter> - <LocalCounter worker="8">691</LocalCounter> - <LocalCounter worker="9">362</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>2864693</SumOfLocalCounter> - </GlobalTTASLockWithLocalCounter> - <GlobalTTASLockWithLocalCounter activeWorker="11"> - <LocalCounter worker="0">355770</LocalCounter> - <LocalCounter worker="1">383778</LocalCounter> - <LocalCounter worker="2">369646</LocalCounter> - <LocalCounter worker="3">256341</LocalCounter> - <LocalCounter worker="4">327558</LocalCounter> - <LocalCounter worker="5">242178</LocalCounter> - <LocalCounter worker="6">398681</LocalCounter> - <LocalCounter worker="7">483955</LocalCounter> - <LocalCounter worker="8">176</LocalCounter> - <LocalCounter worker="9">201</LocalCounter> - <LocalCounter worker="10">67</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>2818351</SumOfLocalCounter> - </GlobalTTASLockWithLocalCounter> - <GlobalTTASLockWithLocalCounter activeWorker="12"> - <LocalCounter worker="0">457238</LocalCounter> - <LocalCounter worker="1">142885</LocalCounter> - <LocalCounter worker="2">416308</LocalCounter> - <LocalCounter worker="3">318737</LocalCounter> - <LocalCounter worker="4">371610</LocalCounter> - <LocalCounter worker="5">228382</LocalCounter> - <LocalCounter worker="6">429095</LocalCounter> - <LocalCounter worker="7">502040</LocalCounter> - <LocalCounter worker="8">160</LocalCounter> - <LocalCounter worker="9">115</LocalCounter> - <LocalCounter worker="10">191</LocalCounter> - <LocalCounter worker="11">108</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>2866869</SumOfLocalCounter> - </GlobalTTASLockWithLocalCounter> - <GlobalTTASLockWithLocalCounter activeWorker="13"> - <LocalCounter worker="0">155562</LocalCounter> - <LocalCounter worker="1">155271</LocalCounter> - <LocalCounter worker="2">154524</LocalCounter> - <LocalCounter worker="3">155620</LocalCounter> - <LocalCounter worker="4">155737</LocalCounter> - <LocalCounter worker="5">155945</LocalCounter> - <LocalCounter worker="6">156319</LocalCounter> - <LocalCounter worker="7">155596</LocalCounter> - <LocalCounter worker="8">526245</LocalCounter> - <LocalCounter worker="9">524881</LocalCounter> - <LocalCounter worker="10">495452</LocalCounter> - <LocalCounter worker="11">497374</LocalCounter> - <LocalCounter worker="12">586585</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>3875111</SumOfLocalCounter> - </GlobalTTASLockWithLocalCounter> - <GlobalTTASLockWithLocalCounter activeWorker="14"> - <LocalCounter worker="0">862</LocalCounter> - <LocalCounter worker="1">739</LocalCounter> - <LocalCounter worker="2">902</LocalCounter> - <LocalCounter worker="3">876</LocalCounter> - <LocalCounter worker="4">922</LocalCounter> - <LocalCounter worker="5">881</LocalCounter> - <LocalCounter worker="6">877</LocalCounter> - <LocalCounter worker="7">945</LocalCounter> - <LocalCounter worker="8">798225</LocalCounter> - <LocalCounter worker="9">545250</LocalCounter> - <LocalCounter worker="10">758729</LocalCounter> - <LocalCounter worker="11">466001</LocalCounter> - <LocalCounter worker="12">638255</LocalCounter> - <LocalCounter worker="13">660193</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>3873657</SumOfLocalCounter> - </GlobalTTASLockWithLocalCounter> - <GlobalTTASLockWithLocalCounter activeWorker="15"> - <LocalCounter worker="0">198289</LocalCounter> - <LocalCounter worker="1">203179</LocalCounter> - <LocalCounter worker="2">199945</LocalCounter> - <LocalCounter worker="3">199124</LocalCounter> - <LocalCounter worker="4">201799</LocalCounter> - <LocalCounter worker="5">199812</LocalCounter> - <LocalCounter worker="6">199839</LocalCounter> - <LocalCounter worker="7">199732</LocalCounter> - <LocalCounter worker="8">314842</LocalCounter> - <LocalCounter worker="9">291197</LocalCounter> - <LocalCounter worker="10">294608</LocalCounter> - <LocalCounter worker="11">286440</LocalCounter> - <LocalCounter worker="12">375388</LocalCounter> - <LocalCounter worker="13">316600</LocalCounter> - <LocalCounter worker="14">354856</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>3835650</SumOfLocalCounter> - </GlobalTTASLockWithLocalCounter> - <GlobalTTASLockWithLocalCounter activeWorker="16"> - <LocalCounter worker="0">104577</LocalCounter> - <LocalCounter worker="1">489911</LocalCounter> - <LocalCounter worker="2">466186</LocalCounter> - <LocalCounter worker="3">366690</LocalCounter> - <LocalCounter worker="4">252721</LocalCounter> - <LocalCounter worker="5">460887</LocalCounter> - <LocalCounter worker="6">253823</LocalCounter> - <LocalCounter worker="7">113506</LocalCounter> - <LocalCounter worker="8">120249</LocalCounter> - <LocalCounter worker="9">46275</LocalCounter> - <LocalCounter worker="10">159071</LocalCounter> - <LocalCounter worker="11">83449</LocalCounter> - <LocalCounter worker="12">177618</LocalCounter> - <LocalCounter worker="13">120903</LocalCounter> - <LocalCounter worker="14">191314</LocalCounter> - <LocalCounter worker="15">263287</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>3670467</SumOfLocalCounter> - </GlobalTTASLockWithLocalCounter> - <GlobalTTASLockWithLocalCounter activeWorker="17"> - <LocalCounter worker="0">234559</LocalCounter> - <LocalCounter worker="1">118245</LocalCounter> - <LocalCounter worker="2">219127</LocalCounter> - <LocalCounter worker="3">295109</LocalCounter> - <LocalCounter worker="4">248960</LocalCounter> - <LocalCounter worker="5">181934</LocalCounter> - <LocalCounter worker="6">297815</LocalCounter> - <LocalCounter worker="7">322059</LocalCounter> - <LocalCounter worker="8">163004</LocalCounter> - <LocalCounter worker="9">174212</LocalCounter> - <LocalCounter worker="10">26569</LocalCounter> - <LocalCounter worker="11">77433</LocalCounter> - <LocalCounter worker="12">133062</LocalCounter> - <LocalCounter worker="13">232843</LocalCounter> - <LocalCounter worker="14">33886</LocalCounter> - <LocalCounter worker="15">82456</LocalCounter> - <LocalCounter worker="16">4914</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>2846187</SumOfLocalCounter> - </GlobalTTASLockWithLocalCounter> - <GlobalTTASLockWithLocalCounter activeWorker="18"> - <LocalCounter worker="0">271262</LocalCounter> - <LocalCounter worker="1">355312</LocalCounter> - <LocalCounter worker="2">50921</LocalCounter> - <LocalCounter worker="3">148825</LocalCounter> - <LocalCounter worker="4">245230</LocalCounter> - <LocalCounter worker="5">182256</LocalCounter> - <LocalCounter worker="6">187273</LocalCounter> - <LocalCounter worker="7">255451</LocalCounter> - <LocalCounter worker="8">185514</LocalCounter> - <LocalCounter worker="9">44729</LocalCounter> - <LocalCounter worker="10">112757</LocalCounter> - <LocalCounter worker="11">98411</LocalCounter> - <LocalCounter worker="12">207969</LocalCounter> - <LocalCounter worker="13">185668</LocalCounter> - <LocalCounter worker="14">172032</LocalCounter> - <LocalCounter worker="15">109135</LocalCounter> - <LocalCounter worker="16">2423</LocalCounter> - <LocalCounter worker="17">2380</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>2817548</SumOfLocalCounter> - </GlobalTTASLockWithLocalCounter> - <GlobalTTASLockWithLocalCounter activeWorker="19"> - <LocalCounter worker="0">261804</LocalCounter> - <LocalCounter worker="1">234937</LocalCounter> - <LocalCounter worker="2">211116</LocalCounter> - <LocalCounter worker="3">198275</LocalCounter> - <LocalCounter worker="4">153636</LocalCounter> - <LocalCounter worker="5">353607</LocalCounter> - <LocalCounter worker="6">368351</LocalCounter> - <LocalCounter worker="7">369817</LocalCounter> - <LocalCounter worker="8">117702</LocalCounter> - <LocalCounter worker="9">41853</LocalCounter> - <LocalCounter worker="10">75374</LocalCounter> - <LocalCounter worker="11">125194</LocalCounter> - <LocalCounter worker="12">87239</LocalCounter> - <LocalCounter worker="13">58610</LocalCounter> - <LocalCounter worker="14">63622</LocalCounter> - <LocalCounter worker="15">96700</LocalCounter> - <LocalCounter worker="16">1021</LocalCounter> - <LocalCounter worker="17">966</LocalCounter> - <LocalCounter worker="18">985</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>2820809</SumOfLocalCounter> - </GlobalTTASLockWithLocalCounter> - <GlobalTTASLockWithLocalCounter activeWorker="20"> - <LocalCounter worker="0">251976</LocalCounter> - <LocalCounter worker="1">118001</LocalCounter> - <LocalCounter worker="2">84641</LocalCounter> - <LocalCounter worker="3">140476</LocalCounter> - <LocalCounter worker="4">77669</LocalCounter> - <LocalCounter worker="5">274047</LocalCounter> - <LocalCounter worker="6">318570</LocalCounter> - <LocalCounter worker="7">170363</LocalCounter> - <LocalCounter worker="8">252676</LocalCounter> - <LocalCounter worker="9">140874</LocalCounter> - <LocalCounter worker="10">189186</LocalCounter> - <LocalCounter worker="11">121034</LocalCounter> - <LocalCounter worker="12">161358</LocalCounter> - <LocalCounter worker="13">165381</LocalCounter> - <LocalCounter worker="14">141826</LocalCounter> - <LocalCounter worker="15">205937</LocalCounter> - <LocalCounter worker="16">118</LocalCounter> - <LocalCounter worker="17">77</LocalCounter> - <LocalCounter worker="18">70</LocalCounter> - <LocalCounter worker="19">94</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>2814374</SumOfLocalCounter> - </GlobalTTASLockWithLocalCounter> - <GlobalTTASLockWithLocalCounter activeWorker="21"> - <LocalCounter worker="0">84213</LocalCounter> - <LocalCounter worker="1">196158</LocalCounter> - <LocalCounter worker="2">196680</LocalCounter> - <LocalCounter worker="3">112159</LocalCounter> - <LocalCounter worker="4">224637</LocalCounter> - <LocalCounter worker="5">252342</LocalCounter> - <LocalCounter worker="6">140314</LocalCounter> - <LocalCounter worker="7">84179</LocalCounter> - <LocalCounter worker="8">223626</LocalCounter> - <LocalCounter worker="9">196078</LocalCounter> - <LocalCounter worker="10">111882</LocalCounter> - <LocalCounter worker="11">238331</LocalCounter> - <LocalCounter worker="12">252259</LocalCounter> - <LocalCounter worker="13">195491</LocalCounter> - <LocalCounter worker="14">83883</LocalCounter> - <LocalCounter worker="15">195126</LocalCounter> - <LocalCounter worker="16">52</LocalCounter> - <LocalCounter worker="17">26</LocalCounter> - <LocalCounter worker="18">35</LocalCounter> - <LocalCounter worker="19">44</LocalCounter> - <LocalCounter worker="20">41</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>2787556</SumOfLocalCounter> - </GlobalTTASLockWithLocalCounter> - <GlobalTTASLockWithLocalCounter activeWorker="22"> - <LocalCounter worker="0">31503</LocalCounter> - <LocalCounter worker="1">252623</LocalCounter> - <LocalCounter worker="2">196406</LocalCounter> - <LocalCounter worker="3">168591</LocalCounter> - <LocalCounter worker="4">140544</LocalCounter> - <LocalCounter worker="5">168154</LocalCounter> - <LocalCounter worker="6">280249</LocalCounter> - <LocalCounter worker="7">168483</LocalCounter> - <LocalCounter worker="8">195559</LocalCounter> - <LocalCounter worker="9">55718</LocalCounter> - <LocalCounter worker="10">139401</LocalCounter> - <LocalCounter worker="11">251481</LocalCounter> - <LocalCounter worker="12">222605</LocalCounter> - <LocalCounter worker="13">111214</LocalCounter> - <LocalCounter worker="14">139519</LocalCounter> - <LocalCounter worker="15">251258</LocalCounter> - <LocalCounter worker="16">46</LocalCounter> - <LocalCounter worker="17">26</LocalCounter> - <LocalCounter worker="18">31</LocalCounter> - <LocalCounter worker="19">39</LocalCounter> - <LocalCounter worker="20">39</LocalCounter> - <LocalCounter worker="21">41</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>2773530</SumOfLocalCounter> - </GlobalTTASLockWithLocalCounter> - <GlobalTTASLockWithLocalCounter activeWorker="23"> - <LocalCounter worker="0">139311</LocalCounter> - <LocalCounter worker="1">167336</LocalCounter> - <LocalCounter worker="2">278426</LocalCounter> - <LocalCounter worker="3">55951</LocalCounter> - <LocalCounter worker="4">139626</LocalCounter> - <LocalCounter worker="5">250691</LocalCounter> - <LocalCounter worker="6">223121</LocalCounter> - <LocalCounter worker="7">83809</LocalCounter> - <LocalCounter worker="8">194537</LocalCounter> - <LocalCounter worker="9">278533</LocalCounter> - <LocalCounter worker="10">139061</LocalCounter> - <LocalCounter worker="11">223216</LocalCounter> - <LocalCounter worker="12">194994</LocalCounter> - <LocalCounter worker="13">111343</LocalCounter> - <LocalCounter worker="14">186244</LocalCounter> - <LocalCounter worker="15">111364</LocalCounter> - <LocalCounter worker="16">142</LocalCounter> - <LocalCounter worker="17">126</LocalCounter> - <LocalCounter worker="18">121</LocalCounter> - <LocalCounter worker="19">122</LocalCounter> - <LocalCounter worker="20">124</LocalCounter> - <LocalCounter worker="21">125</LocalCounter> - <LocalCounter worker="22">124</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>2778447</SumOfLocalCounter> - </GlobalTTASLockWithLocalCounter> - <GlobalTTASLockWithLocalCounter activeWorker="24"> - <LocalCounter worker="0">127539</LocalCounter> - <LocalCounter worker="1">128004</LocalCounter> - <LocalCounter worker="2">127243</LocalCounter> - <LocalCounter worker="3">128231</LocalCounter> - <LocalCounter worker="4">128122</LocalCounter> - <LocalCounter worker="5">127956</LocalCounter> - <LocalCounter worker="6">128394</LocalCounter> - <LocalCounter worker="7">128093</LocalCounter> - <LocalCounter worker="8">121225</LocalCounter> - <LocalCounter worker="9">120770</LocalCounter> - <LocalCounter worker="10">120549</LocalCounter> - <LocalCounter worker="11">120785</LocalCounter> - <LocalCounter worker="12">120461</LocalCounter> - <LocalCounter worker="13">120591</LocalCounter> - <LocalCounter worker="14">121214</LocalCounter> - <LocalCounter worker="15">120733</LocalCounter> - <LocalCounter worker="16">120387</LocalCounter> - <LocalCounter worker="17">121153</LocalCounter> - <LocalCounter worker="18">121255</LocalCounter> - <LocalCounter worker="19">120737</LocalCounter> - <LocalCounter worker="20">120859</LocalCounter> - <LocalCounter worker="21">121071</LocalCounter> - <LocalCounter worker="22">121031</LocalCounter> - <LocalCounter worker="23">121163</LocalCounter> - <GlobalCounter>0</GlobalCounter> - <SumOfLocalCounter>2957566</SumOfLocalCounter> - </GlobalTTASLockWithLocalCounter> -</SMPLock01> +*** TEST VERSION: 6.0.0.90c8934179f2ba4c042caa95b3473d37835bed80 +*** TEST STATE: EXPECTED_PASS +*** TEST BUILD: RTEMS_SMP +*** TEST TOOLS: 13.2.0 20230727 (RTEMS 6, RSB d3d738c35a71ca05f675b188539225099401ac79, Newlib a021448) +*** BEGIN OF JSON DATA *** +[ + { + "lock-type": "Ticket Lock", + "lock-object": "global", + "section-type": "local counter", + "results": [ + { + "counter": [1385097], + "global-counter": 0, + "sum-of-local-counter": 1385097 + }, { + "counter": [997876, 997974], + "global-counter": 0, + "sum-of-local-counter": 1995850 + }, { + "counter": [998024, 998123, 998123], + "global-counter": 0, + "sum-of-local-counter": 2994270 + }, { + "counter": [997988, 998086, 998086, 998086], + "global-counter": 0, + "sum-of-local-counter": 3992246 + } + ] + }, { + "lock-type": "MCS Lock", + "lock-object": "global", + "section-type": "local counter", + "results": [ + { + "counter": [1512045], + "global-counter": 0, + "sum-of-local-counter": 1512045 + }, { + "counter": [997877, 997878], + "global-counter": 0, + "sum-of-local-counter": 1995755 + }, { + "counter": [998023, 998122, 998122], + "global-counter": 0, + "sum-of-local-counter": 2994267 + }, { + "counter": [997987, 998086, 998086, 998086], + "global-counter": 0, + "sum-of-local-counter": 3992245 + } + ] + }, { + "lock-type": "Ticket Lock", + "lock-object": "global", + "section-type": "global counter", + "results": [ + { + "counter": [997921, 997945, 997945, 997945], + "global-counter": 3991756, + "sum-of-local-counter": 3991756 + } + ] + }, { + "lock-type": "MCS Lock", + "lock-object": "global", + "section-type": "global counter", + "results": [ + { + "counter": [527090, 527096, 527096, 527096], + "global-counter": 2108378, + "sum-of-local-counter": 2108378 + } + ] + }, { + "lock-type": "Ticket Lock", + "lock-object": "local", + "section-type": "local counter", + "results": [ + { + "counter": [1385769], + "global-counter": 0, + "sum-of-local-counter": 1385769 + }, { + "counter": [1385995, 1387328], + "global-counter": 0, + "sum-of-local-counter": 2773323 + }, { + "counter": [1386191, 1387525, 1387526], + "global-counter": 0, + "sum-of-local-counter": 4161242 + }, { + "counter": [1386136, 1387468, 1387470, 1387407], + "global-counter": 0, + "sum-of-local-counter": 5548481 + } + ] + }, { + "lock-type": "MCS Lock", + "lock-object": "local", + "section-type": "local counter", + "results": [ + { + "counter": [1512021], + "global-counter": 0, + "sum-of-local-counter": 1512021 + }, { + "counter": [1511993, 1513445], + "global-counter": 0, + "sum-of-local-counter": 3025438 + }, { + "counter": [1512208, 1513656, 1513656], + "global-counter": 0, + "sum-of-local-counter": 4539520 + }, { + "counter": [1512149, 1513595, 1513595, 1513533], + "global-counter": 0, + "sum-of-local-counter": 6052872 + } + ] + }, { + "lock-type": "Ticket Lock", + "lock-object": "local", + "section-type": "global counter", + "results": [ + { + "counter": [1160403, 1161527, 1161527, 1161469], + "global-counter": 3727827, + "sum-of-local-counter": 4644926 + } + ] + }, { + "lock-type": "MCS Lock", + "lock-object": "local", + "section-type": "global counter", + "results": [ + { + "counter": [1247164, 1248373, 1248373, 1248313], + "global-counter": 3876384, + "sum-of-local-counter": 4992223 + } + ] + }, { + "lock-type": "Ticket Lock", + "lock-object": "global", + "section-type": "busy loop", + "results": [ + { + "counter": [39932, 39932, 39932, 39932], + "global-counter": 0, + "sum-of-local-counter": 159728 + } + ] + }, { + "lock-type": "MCS Lock", + "lock-object": "global", + "section-type": "busy loop", + "results": [ + { + "counter": [39934, 39935, 39934, 39934], + "global-counter": 0, + "sum-of-local-counter": 159737 + } + ] + }, { + "lock-type": "Sequence Lock", + "lock-object": "global", + "section-type": "two global counter", + "results": [ + { + "counter": [1847772, 666526, 666526, 666488], + "global-counter": 0, + "sum-of-local-counter": 3847312 + } + ] + }, { + "lock-type": "TAS Lock", + "lock-object": "global", + "section-type": "local counter", + "results": [ + { + "counter": [2934600], + "global-counter": 0, + "sum-of-local-counter": 2934600 + }, { + "counter": [2217444, 2219107], + "global-counter": 0, + "sum-of-local-counter": 4436551 + }, { + "counter": [1833240, 1836467, 1835261], + "global-counter": 0, + "sum-of-local-counter": 5504968 + }, { + "counter": [1652247, 1652937, 1653163, 1652725], + "global-counter": 0, + "sum-of-local-counter": 6611072 + } + ] + }, { + "lock-type": "TTAS Lock", + "lock-object": "global", + "section-type": "local counter", + "results": [ + { + "counter": [2935135], + "global-counter": 0, + "sum-of-local-counter": 2935135 + }, { + "counter": [1732426, 1758193], + "global-counter": 0, + "sum-of-local-counter": 3490619 + }, { + "counter": [1202763, 1204087, 1203894], + "global-counter": 0, + "sum-of-local-counter": 3610744 + }, { + "counter": [845721, 846759, 848543, 838946], + "global-counter": 0, + "sum-of-local-counter": 3379969 + } + ] + } +] +*** END OF JSON DATA *** + *** END OF TEST SMPLOCK 1 *** + +cpu 0 in error mode (tt = 0x80) + 1550147550 000091c0: 91d02000 ta 0x0 |