diff options
-rw-r--r-- | testsuites/smptests/smplock01/init.c | 622 | ||||
-rw-r--r-- | testsuites/smptests/smplock01/smplock01.py | 32 | ||||
-rw-r--r-- | testsuites/smptests/smplock01/smplock01.scn | 2068 |
3 files changed, 2189 insertions, 533 deletions
diff --git a/testsuites/smptests/smplock01/init.c b/testsuites/smptests/smplock01/init.c index 62397a3b27..046fce6493 100644 --- a/testsuites/smptests/smplock01/init.c +++ b/testsuites/smptests/smplock01/init.c @@ -19,10 +19,10 @@ #include <rtems/score/smplock.h> #include <rtems/score/smplockmcs.h> #include <rtems/score/smplockseq.h> -#include <rtems/score/smpbarrier.h> -#include <rtems/score/atomic.h> +#include <rtems/test.h> #include <rtems.h> +#define TESTS_USE_PRINTK #include "tmacros.h" const char rtems_test_name[] = "SMPLOCK 1"; @@ -33,34 +33,21 @@ const char rtems_test_name[] = "SMPLOCK 1"; #define TEST_COUNT 11 -typedef enum { - INITIAL, - START_TEST, - STOP_TEST -} states; - typedef struct { - Atomic_Uint state; - SMP_barrier_Control barrier; - rtems_id timer_id; - rtems_interval timeout; + rtems_test_parallel_context base; unsigned long counter[TEST_COUNT]; - unsigned long test_counter[TEST_COUNT][CPU_COUNT]; + unsigned long local_counter[CPU_COUNT][TEST_COUNT][CPU_COUNT]; SMP_lock_Control lock; #if defined(RTEMS_PROFILING) SMP_lock_Stats mcs_stats; #endif SMP_MCS_lock_Control mcs_lock; SMP_sequence_lock_Control seq_lock; - char unused_space_for_cache_line_separation_0[128]; - int a; - char unused_space_for_cache_line_separation_1[128]; - int b; -} global_context; - -static global_context context = { - .state = ATOMIC_INITIALIZER_UINT(INITIAL), - .barrier = SMP_BARRIER_CONTROL_INITIALIZER, + int a RTEMS_ALIGNED(CPU_CACHE_LINE_BYTES); + int b RTEMS_ALIGNED(CPU_CACHE_LINE_BYTES); +} test_context RTEMS_ALIGNED(CPU_CACHE_LINE_BYTES); + +static test_context test_instance = { .lock = SMP_LOCK_INITIALIZER("global ticket"), #if defined(RTEMS_PROFILING) .mcs_stats = SMP_LOCK_STATS_INITIALIZER("global MCS"), @@ -69,146 +56,222 @@ static global_context context = { .seq_lock = SMP_SEQUENCE_LOCK_INITIALIZER }; -static const char * const test_names[TEST_COUNT] = { - "global ticket lock with local counter", - "global MCS lock with local counter", - "global ticket lock with global counter", - "global MCS lock with global counter", - "local ticket lock with local counter", - "local MCS lock with local counter", - "local ticket lock with global counter", - "local MCS lock with global counter", - "global ticket lock with busy section", - "global MCS lock with busy section", - "sequence lock" -}; - -static void stop_test_timer(rtems_id timer_id, void *arg) +static rtems_interval test_duration(void) { - global_context *ctx = arg; - - _Atomic_Store_uint(&ctx->state, STOP_TEST, ATOMIC_ORDER_RELEASE); + return rtems_clock_get_ticks_per_second(); } -static void wait_for_state(global_context *ctx, int desired_state) +static rtems_interval test_init( + rtems_test_parallel_context *base, + void *arg, + size_t active_workers +) { - while ( - _Atomic_Load_uint(&ctx->state, ATOMIC_ORDER_ACQUIRE) != desired_state - ) { - /* Wait */ - } + return test_duration(); } -static bool assert_state(global_context *ctx, int desired_state) +static void test_fini( + test_context *ctx, + const char *name, + size_t test, + size_t active_workers +) { - return _Atomic_Load_uint(&ctx->state, ATOMIC_ORDER_RELAXED) == desired_state; -} + unsigned long sum = 0; + unsigned long n = active_workers; + unsigned long i; + + printf(" <%s activeWorker=\"%lu\">\n", name, n); + + for (i = 0; i < n; ++i) { + unsigned long local_counter = + ctx->local_counter[active_workers - 1][test][i]; -typedef void (*test_body)( - int test, - global_context *ctx, - SMP_barrier_State *bs, - unsigned int cpu_count, - unsigned int cpu_self -); + sum += local_counter; + + printf( + " <LocalCounter worker=\"%lu\">%lu</LocalCounter>\n", + i, + local_counter + ); + } + + printf( + " <GlobalCounter>%lu</GlobalCounter>\n" + " <SumOfLocalCounter>%lu</SumOfLocalCounter>\n" + " </%s>\n", + ctx->counter[test], + sum, + name + ); +} static void test_0_body( - int test, - global_context *ctx, - SMP_barrier_State *bs, - unsigned int cpu_count, - unsigned int cpu_self + rtems_test_parallel_context *base, + void *arg, + size_t active_workers, + size_t worker_index ) { + test_context *ctx = (test_context *) base; + size_t test = 0; unsigned long counter = 0; SMP_lock_Context lock_context; - while (assert_state(ctx, START_TEST)) { + while (!rtems_test_parallel_stop_job(&ctx->base)) { _SMP_lock_Acquire(&ctx->lock, &lock_context); _SMP_lock_Release(&ctx->lock, &lock_context); ++counter; } - ctx->test_counter[test][cpu_self] = counter; + ctx->local_counter[active_workers - 1][test][worker_index] = counter; +} + +static void test_0_fini( + rtems_test_parallel_context *base, + void *arg, + size_t active_workers +) +{ + test_context *ctx = (test_context *) base; + + test_fini( + ctx, + "GlobalTicketLockWithLocalCounter", + 0, + active_workers + ); } static void test_1_body( - int test, - global_context *ctx, - SMP_barrier_State *bs, - unsigned int cpu_count, - unsigned int cpu_self + rtems_test_parallel_context *base, + void *arg, + size_t active_workers, + size_t worker_index ) { + test_context *ctx = (test_context *) base; + size_t test = 1; unsigned long counter = 0; SMP_MCS_lock_Context lock_context; - while (assert_state(ctx, START_TEST)) { + while (!rtems_test_parallel_stop_job(&ctx->base)) { _SMP_MCS_lock_Acquire(&ctx->mcs_lock, &lock_context, &ctx->mcs_stats); _SMP_MCS_lock_Release(&ctx->mcs_lock, &lock_context); ++counter; } - ctx->test_counter[test][cpu_self] = counter; + ctx->local_counter[active_workers - 1][test][worker_index] = counter; +} + +static void test_1_fini( + rtems_test_parallel_context *base, + void *arg, + size_t active_workers +) +{ + test_context *ctx = (test_context *) base; + + test_fini( + ctx, + "GlobalMCSLockWithLocalCounter", + 1, + active_workers + ); } static void test_2_body( - int test, - global_context *ctx, - SMP_barrier_State *bs, - unsigned int cpu_count, - unsigned int cpu_self + rtems_test_parallel_context *base, + void *arg, + size_t active_workers, + size_t worker_index ) { + test_context *ctx = (test_context *) base; + size_t test = 2; unsigned long counter = 0; SMP_lock_Context lock_context; - while (assert_state(ctx, START_TEST)) { + while (!rtems_test_parallel_stop_job(&ctx->base)) { _SMP_lock_Acquire(&ctx->lock, &lock_context); ++ctx->counter[test]; _SMP_lock_Release(&ctx->lock, &lock_context); ++counter; } - ctx->test_counter[test][cpu_self] = counter; + ctx->local_counter[active_workers - 1][test][worker_index] = counter; +} + +static void test_2_fini( + rtems_test_parallel_context *base, + void *arg, + size_t active_workers +) +{ + test_context *ctx = (test_context *) base; + + test_fini( + ctx, + "GlobalTicketLockWithGlobalCounter", + 2, + active_workers + ); } static void test_3_body( - int test, - global_context *ctx, - SMP_barrier_State *bs, - unsigned int cpu_count, - unsigned int cpu_self + rtems_test_parallel_context *base, + void *arg, + size_t active_workers, + size_t worker_index ) { + test_context *ctx = (test_context *) base; + size_t test = 3; unsigned long counter = 0; SMP_MCS_lock_Context lock_context; - while (assert_state(ctx, START_TEST)) { + while (!rtems_test_parallel_stop_job(&ctx->base)) { _SMP_MCS_lock_Acquire(&ctx->mcs_lock, &lock_context, &ctx->mcs_stats); ++ctx->counter[test]; _SMP_MCS_lock_Release(&ctx->mcs_lock, &lock_context); ++counter; } - ctx->test_counter[test][cpu_self] = counter; + ctx->local_counter[active_workers - 1][test][worker_index] = counter; +} + +static void test_3_fini( + rtems_test_parallel_context *base, + void *arg, + size_t active_workers +) +{ + test_context *ctx = (test_context *) base; + + test_fini( + ctx, + "GlobalMCSLockWithGlobalCounter", + 3, + active_workers + ); } static void test_4_body( - int test, - global_context *ctx, - SMP_barrier_State *bs, - unsigned int cpu_count, - unsigned int cpu_self + rtems_test_parallel_context *base, + void *arg, + size_t active_workers, + size_t worker_index ) { + test_context *ctx = (test_context *) base; + size_t test = 4; unsigned long counter = 0; SMP_lock_Control lock; SMP_lock_Context lock_context; _SMP_lock_Initialize(&lock, "local"); - while (assert_state(ctx, START_TEST)) { + while (!rtems_test_parallel_stop_job(&ctx->base)) { _SMP_lock_Acquire(&lock, &lock_context); _SMP_lock_Release(&lock, &lock_context); ++counter; @@ -216,17 +279,34 @@ static void test_4_body( _SMP_lock_Destroy(&lock); - ctx->test_counter[test][cpu_self] = counter; + ctx->local_counter[active_workers - 1][test][worker_index] = counter; +} + +static void test_4_fini( + rtems_test_parallel_context *base, + void *arg, + size_t active_workers +) +{ + test_context *ctx = (test_context *) base; + + test_fini( + ctx, + "LocalTicketLockWithLocalCounter", + 4, + active_workers + ); } static void test_5_body( - int test, - global_context *ctx, - SMP_barrier_State *bs, - unsigned int cpu_count, - unsigned int cpu_self + rtems_test_parallel_context *base, + void *arg, + size_t active_workers, + size_t worker_index ) { + test_context *ctx = (test_context *) base; + size_t test = 5; unsigned long counter = 0; #if defined(RTEMS_PROFILING) SMP_lock_Stats stats; @@ -237,7 +317,7 @@ static void test_5_body( _SMP_lock_Stats_initialize(&stats, "local"); _SMP_MCS_lock_Initialize(&lock); - while (assert_state(ctx, START_TEST)) { + while (!rtems_test_parallel_stop_job(&ctx->base)) { _SMP_MCS_lock_Acquire(&lock, &lock_context, &stats); _SMP_MCS_lock_Release(&lock, &lock_context); ++counter; @@ -246,24 +326,41 @@ static void test_5_body( _SMP_MCS_lock_Destroy(&lock); _SMP_lock_Stats_destroy(&stats); - ctx->test_counter[test][cpu_self] = counter; + ctx->local_counter[active_workers - 1][test][worker_index] = counter; +} + +static void test_5_fini( + rtems_test_parallel_context *base, + void *arg, + size_t active_workers +) +{ + test_context *ctx = (test_context *) base; + + test_fini( + ctx, + "LocalMCSLockWithLocalCounter", + 5, + active_workers + ); } static void test_6_body( - int test, - global_context *ctx, - SMP_barrier_State *bs, - unsigned int cpu_count, - unsigned int cpu_self + rtems_test_parallel_context *base, + void *arg, + size_t active_workers, + size_t worker_index ) { + test_context *ctx = (test_context *) base; + size_t test = 6; unsigned long counter = 0; SMP_lock_Control lock; SMP_lock_Context lock_context; _SMP_lock_Initialize(&lock, "local"); - while (assert_state(ctx, START_TEST)) { + while (!rtems_test_parallel_stop_job(&ctx->base)) { _SMP_lock_Acquire(&lock, &lock_context); /* The counter value is not interesting, only the access to it */ @@ -275,17 +372,34 @@ static void test_6_body( _SMP_lock_Destroy(&lock); - ctx->test_counter[test][cpu_self] = counter; + ctx->local_counter[active_workers - 1][test][worker_index] = counter; +} + +static void test_6_fini( + rtems_test_parallel_context *base, + void *arg, + size_t active_workers +) +{ + test_context *ctx = (test_context *) base; + + test_fini( + ctx, + "LocalTicketLockWithGlobalCounter", + 6, + active_workers + ); } static void test_7_body( - int test, - global_context *ctx, - SMP_barrier_State *bs, - unsigned int cpu_count, - unsigned int cpu_self + rtems_test_parallel_context *base, + void *arg, + size_t active_workers, + size_t worker_index ) { + test_context *ctx = (test_context *) base; + size_t test = 7; unsigned long counter = 0; #if defined(RTEMS_PROFILING) SMP_lock_Stats stats; @@ -296,7 +410,7 @@ static void test_7_body( _SMP_lock_Stats_initialize(&stats, "local"); _SMP_MCS_lock_Initialize(&lock); - while (assert_state(ctx, START_TEST)) { + while (!rtems_test_parallel_stop_job(&ctx->base)) { _SMP_MCS_lock_Acquire(&lock, &lock_context, &stats); /* The counter value is not interesting, only the access to it */ @@ -309,7 +423,23 @@ static void test_7_body( _SMP_MCS_lock_Destroy(&lock); _SMP_lock_Stats_destroy(&stats); - ctx->test_counter[test][cpu_self] = counter; + ctx->local_counter[active_workers - 1][test][worker_index] = counter; +} + +static void test_7_fini( + rtems_test_parallel_context *base, + void *arg, + size_t active_workers +) +{ + test_context *ctx = (test_context *) base; + + test_fini( + ctx, + "LocalMCSLockWithGlobalCounter", + 7, + active_workers + ); } static void busy_section(void) @@ -322,60 +452,95 @@ static void busy_section(void) } static void test_8_body( - int test, - global_context *ctx, - SMP_barrier_State *bs, - unsigned int cpu_count, - unsigned int cpu_self + rtems_test_parallel_context *base, + void *arg, + size_t active_workers, + size_t worker_index ) { + test_context *ctx = (test_context *) base; + size_t test = 8; unsigned long counter = 0; SMP_lock_Context lock_context; - while (assert_state(ctx, START_TEST)) { + while (!rtems_test_parallel_stop_job(&ctx->base)) { _SMP_lock_Acquire(&ctx->lock, &lock_context); busy_section(); _SMP_lock_Release(&ctx->lock, &lock_context); ++counter; } - ctx->test_counter[test][cpu_self] = counter; + ctx->local_counter[active_workers - 1][test][worker_index] = counter; +} + +static void test_8_fini( + rtems_test_parallel_context *base, + void *arg, + size_t active_workers +) +{ + test_context *ctx = (test_context *) base; + + test_fini( + ctx, + "GlobalTicketLockWithBusySection", + 8, + active_workers + ); } static void test_9_body( - int test, - global_context *ctx, - SMP_barrier_State *bs, - unsigned int cpu_count, - unsigned int cpu_self + rtems_test_parallel_context *base, + void *arg, + size_t active_workers, + size_t worker_index ) { + test_context *ctx = (test_context *) base; + size_t test = 9; unsigned long counter = 0; SMP_MCS_lock_Context lock_context; - while (assert_state(ctx, START_TEST)) { + while (!rtems_test_parallel_stop_job(&ctx->base)) { _SMP_MCS_lock_Acquire(&ctx->mcs_lock, &lock_context, &ctx->mcs_stats); busy_section(); _SMP_MCS_lock_Release(&ctx->mcs_lock, &lock_context); ++counter; } - ctx->test_counter[test][cpu_self] = counter; + ctx->local_counter[active_workers - 1][test][worker_index] = counter; +} + +static void test_9_fini( + rtems_test_parallel_context *base, + void *arg, + size_t active_workers +) +{ + test_context *ctx = (test_context *) base; + + test_fini( + ctx, + "GlobalMCSLockWithBusySection", + 9, + active_workers + ); } static void test_10_body( - int test, - global_context *ctx, - SMP_barrier_State *bs, - unsigned int cpu_count, - unsigned int cpu_self + rtems_test_parallel_context *base, + void *arg, + size_t active_workers, + size_t worker_index ) { + test_context *ctx = (test_context *) base; + size_t test = 10; unsigned long counter = 0; unsigned long seq; - if (cpu_self == 0) { - while (assert_state(ctx, START_TEST)) { + if (rtems_test_parallel_is_master_worker(worker_index)) { + while (!rtems_test_parallel_stop_job(&ctx->base)) { seq = _SMP_sequence_lock_Write_begin(&ctx->seq_lock); ctx->a = counter; @@ -386,7 +551,7 @@ static void test_10_body( ++counter; } } else { - while (assert_state(ctx, START_TEST)) { + while (!rtems_test_parallel_stop_job(&ctx->base)) { unsigned long a; unsigned long b; @@ -403,129 +568,92 @@ static void test_10_body( } } - ctx->test_counter[test][cpu_self] = counter; + ctx->local_counter[active_workers - 1][test][worker_index] = counter; } -static const test_body test_bodies[TEST_COUNT] = { - test_0_body, - test_1_body, - test_2_body, - test_3_body, - test_4_body, - test_5_body, - test_6_body, - test_7_body, - test_8_body, - test_9_body, - test_10_body -}; - -static void run_tests( - global_context *ctx, - SMP_barrier_State *bs, - unsigned int cpu_count, - unsigned int cpu_self, - bool master +static void test_10_fini( + rtems_test_parallel_context *base, + void *arg, + size_t active_workers ) { - int test; - - for (test = 0; test < TEST_COUNT; ++test) { - _SMP_barrier_Wait(&ctx->barrier, bs, cpu_count); - - if (master) { - rtems_status_code sc = rtems_timer_fire_after( - ctx->timer_id, - ctx->timeout, - stop_test_timer, - ctx - ); - rtems_test_assert(sc == RTEMS_SUCCESSFUL); - - _Atomic_Store_uint(&ctx->state, START_TEST, ATOMIC_ORDER_RELEASE); - } - - wait_for_state(ctx, START_TEST); - - (*test_bodies[test])(test, ctx, bs, cpu_count, cpu_self); - } - - _SMP_barrier_Wait(&ctx->barrier, bs, cpu_count); + test_context *ctx = (test_context *) base; + + test_fini( + ctx, + "SequenceLock", + 10, + active_workers + ); } -static void task(rtems_task_argument arg) -{ - global_context *ctx = (global_context *) arg; - uint32_t cpu_count = rtems_get_processor_count(); - uint32_t cpu_self = rtems_get_current_processor(); - rtems_status_code sc; - SMP_barrier_State bs = SMP_BARRIER_STATE_INITIALIZER; - - run_tests(ctx, &bs, cpu_count, cpu_self, false); - - sc = rtems_task_suspend(RTEMS_SELF); - rtems_test_assert(sc == RTEMS_SUCCESSFUL); -} +static const rtems_test_parallel_job test_jobs[TEST_COUNT] = { + { + .init = test_init, + .body = test_0_body, + .fini = test_0_fini, + .cascade = true + }, { + .init = test_init, + .body = test_1_body, + .fini = test_1_fini, + .cascade = true + }, { + .init = test_init, + .body = test_2_body, + .fini = test_2_fini, + .cascade = false + }, { + .init = test_init, + .body = test_3_body, + .fini = test_3_fini, + .cascade = false + }, { + .init = test_init, + .body = test_4_body, + .fini = test_4_fini, + .cascade = true + }, { + .init = test_init, + .body = test_5_body, + .fini = test_5_fini, + .cascade = true + }, { + .init = test_init, + .body = test_6_body, + .fini = test_6_fini, + .cascade = false + }, { + .init = test_init, + .body = test_7_body, + .fini = test_7_fini, + .cascade = false + }, { + .init = test_init, + .body = test_8_body, + .fini = test_8_fini, + .cascade = false + }, { + .init = test_init, + .body = test_9_body, + .fini = test_9_fini, + .cascade = false + }, { + .init = test_init, + .body = test_10_body, + .fini = test_10_fini, + .cascade = false + } +}; static void test(void) { - global_context *ctx = &context; - uint32_t cpu_count = rtems_get_processor_count(); - uint32_t cpu_self = rtems_get_current_processor(); - uint32_t cpu; - int test; - rtems_status_code sc; - SMP_barrier_State bs = SMP_BARRIER_STATE_INITIALIZER; - - for (cpu = 0; cpu < cpu_count; ++cpu) { - if (cpu != cpu_self) { - rtems_id task_id; - - sc = rtems_task_create( - rtems_build_name('T', 'A', 'S', 'K'), - TASK_PRIORITY, - RTEMS_MINIMUM_STACK_SIZE, - RTEMS_DEFAULT_MODES, - RTEMS_DEFAULT_ATTRIBUTES, - &task_id - ); - rtems_test_assert(sc == RTEMS_SUCCESSFUL); - - sc = rtems_task_start(task_id, task, (rtems_task_argument) ctx); - rtems_test_assert(sc == RTEMS_SUCCESSFUL); - } - } - - ctx->timeout = 5 * rtems_clock_get_ticks_per_second(); - - sc = rtems_timer_create(rtems_build_name('T', 'I', 'M', 'R'), &ctx->timer_id); - rtems_test_assert(sc == RTEMS_SUCCESSFUL); + test_context *ctx = &test_instance; + const char *test = "SMPLock01"; - run_tests(ctx, &bs, cpu_count, cpu_self, true); - - for (test = 0; test < TEST_COUNT; ++test) { - unsigned long sum = 0; - - printf("%s\n", test_names[test]); - - for (cpu = 0; cpu < cpu_count; ++cpu) { - unsigned long local_counter = ctx->test_counter[test][cpu]; - - sum += local_counter; - - printf( - "\tprocessor %" PRIu32 ", local counter %lu\n", - cpu, - local_counter - ); - } - - printf( - "\tglobal counter %lu, sum of local counter %lu\n", - ctx->counter[test], - sum - ); - } + printf("<%s>\n", test); + rtems_test_parallel(&ctx->base, NULL, &test_jobs[0], TEST_COUNT); + printf("</%s>\n", test); } static void Init(rtems_task_argument arg) diff --git a/testsuites/smptests/smplock01/smplock01.py b/testsuites/smptests/smplock01/smplock01.py new file mode 100644 index 0000000000..f8189f32ff --- /dev/null +++ b/testsuites/smptests/smplock01/smplock01.py @@ -0,0 +1,32 @@ +#!/usr/bin/env python + +# +# Copyright (c) 2016 embedded brains GmbH. All rights reserved. +# +# The license and distribution terms for this file may be +# found in the file LICENSE in this distribution or at +# http://www.rtems.org/license/LICENSE. +# + +import re +import libxml2 +from libxml2 import xmlNode +import matplotlib.pyplot as plt +data = open('smplock01.scn').read() +data = re.sub(r'\*\*\*.*\*\*\*', '', data) +doc = libxml2.parseDoc(data) +ctx = doc.xpathNewContext() + +plt.title('SMP Lock Performance') +plt.xlabel('Active Workers') +plt.ylabel('Operation Count') + +y = map(xmlNode.getContent, ctx.xpathEval('/SMPLock01/GlobalTicketLockWithLocalCounter/SumOfLocalCounter')) +x = range(1, len(y) + 1) +plt.plot(x, y, label = 'Global Ticket Lock') + +y = map(xmlNode.getContent, ctx.xpathEval('/SMPLock01/GlobalMCSLockWithLocalCounter/SumOfLocalCounter')) +plt.plot(x, y, label = 'Global MCS Lock') + +plt.legend(loc = 'best') +plt.show() diff --git a/testsuites/smptests/smplock01/smplock01.scn b/testsuites/smptests/smplock01/smplock01.scn index b13bab0e45..03b2af32af 100644 --- a/testsuites/smptests/smplock01/smplock01.scn +++ b/testsuites/smptests/smplock01/smplock01.scn @@ -1,288 +1,1784 @@ *** BEGIN OF TEST SMPLOCK 1 *** -global ticket lock with local counter - processor 0, local counter 830091 - processor 1, local counter 830090 - processor 2, local counter 830091 - processor 3, local counter 830091 - processor 4, local counter 830091 - processor 5, local counter 830091 - processor 6, local counter 830091 - processor 7, local counter 830091 - processor 8, local counter 830089 - processor 9, local counter 830088 - processor 10, local counter 830090 - processor 11, local counter 830090 - processor 12, local counter 830090 - processor 13, local counter 830092 - processor 14, local counter 830093 - processor 15, local counter 830092 - processor 16, local counter 830092 - processor 17, local counter 830092 - processor 18, local counter 830089 - processor 19, local counter 830092 - processor 20, local counter 830090 - processor 21, local counter 830090 - processor 22, local counter 830090 - processor 23, local counter 830092 - global counter 0, sum of local counter 19922178 -global MCS lock with local counter - processor 0, local counter 1579723 - processor 1, local counter 1580054 - processor 2, local counter 1579890 - processor 3, local counter 1579777 - processor 4, local counter 1579884 - processor 5, local counter 1580005 - processor 6, local counter 1578632 - processor 7, local counter 1578637 - processor 8, local counter 1578774 - processor 9, local counter 1578759 - processor 10, local counter 1580282 - processor 11, local counter 1579885 - processor 12, local counter 1580378 - processor 13, local counter 1580043 - processor 14, local counter 1580115 - processor 15, local counter 1580113 - processor 16, local counter 1579911 - processor 17, local counter 1579993 - processor 18, local counter 1580032 - processor 19, local counter 1579588 - processor 20, local counter 1580049 - processor 21, local counter 1580048 - processor 22, local counter 1578484 - processor 23, local counter 1580013 - global counter 0, sum of local counter 37913069 -global ticket lock with global counter - processor 0, local counter 784729 - processor 1, local counter 784730 - processor 2, local counter 784730 - processor 3, local counter 784730 - processor 4, local counter 784731 - processor 5, local counter 784730 - processor 6, local counter 784731 - processor 7, local counter 784730 - processor 8, local counter 784731 - processor 9, local counter 784729 - processor 10, local counter 784729 - processor 11, local counter 784730 - processor 12, local counter 784731 - processor 13, local counter 784729 - processor 14, local counter 784728 - processor 15, local counter 784730 - processor 16, local counter 784729 - processor 17, local counter 784730 - processor 18, local counter 784730 - processor 19, local counter 784729 - processor 20, local counter 784729 - processor 21, local counter 784729 - processor 22, local counter 784729 - processor 23, local counter 784731 - global counter 18833514, sum of local counter 18833514 -global MCS lock with global counter - processor 0, local counter 947856 - processor 1, local counter 947857 - processor 2, local counter 947857 - processor 3, local counter 947855 - processor 4, local counter 947858 - processor 5, local counter 947857 - processor 6, local counter 947856 - processor 7, local counter 947856 - processor 8, local counter 947856 - processor 9, local counter 947856 - processor 10, local counter 947857 - processor 11, local counter 947856 - processor 12, local counter 947855 - processor 13, local counter 947857 - processor 14, local counter 947857 - processor 15, local counter 947855 - processor 16, local counter 947856 - processor 17, local counter 947855 - processor 18, local counter 947858 - processor 19, local counter 947857 - processor 20, local counter 947858 - processor 21, local counter 947857 - processor 22, local counter 947857 - processor 23, local counter 947857 - global counter 22748556, sum of local counter 22748556 -local ticket lock with local counter - processor 0, local counter 77155869 - processor 1, local counter 77158831 - processor 2, local counter 77081105 - processor 3, local counter 77082737 - processor 4, local counter 77075777 - processor 5, local counter 77076154 - processor 6, local counter 77065268 - processor 7, local counter 77066500 - processor 8, local counter 77106686 - processor 9, local counter 77107321 - processor 10, local counter 77060207 - processor 11, local counter 77062079 - processor 12, local counter 77059638 - processor 13, local counter 77059931 - processor 14, local counter 77056750 - processor 15, local counter 77057813 - processor 16, local counter 76659137 - processor 17, local counter 76659205 - processor 18, local counter 76669140 - processor 19, local counter 76670415 - processor 20, local counter 76674221 - processor 21, local counter 76674630 - processor 22, local counter 76434805 - processor 23, local counter 76434361 - global counter 0, sum of local counter 1846208580 -local MCS lock with local counter - processor 0, local counter 44963740 - processor 1, local counter 45045357 - processor 2, local counter 45023035 - processor 3, local counter 45021994 - processor 4, local counter 44912701 - processor 5, local counter 44951749 - processor 6, local counter 45090697 - processor 7, local counter 45089463 - processor 8, local counter 45015619 - processor 9, local counter 45088716 - processor 10, local counter 45064955 - processor 11, local counter 45063568 - processor 12, local counter 44966963 - processor 13, local counter 45002743 - processor 14, local counter 45127830 - processor 15, local counter 45126512 - processor 16, local counter 44947194 - processor 17, local counter 44992882 - processor 18, local counter 45006760 - processor 19, local counter 45005553 - processor 20, local counter 44880447 - processor 21, local counter 44889042 - processor 22, local counter 45036454 - processor 23, local counter 45036288 - global counter 0, sum of local counter 1080350262 -local ticket lock with global counter - processor 0, local counter 3962116 - processor 1, local counter 3963441 - processor 2, local counter 3963482 - processor 3, local counter 3963367 - processor 4, local counter 3962978 - processor 5, local counter 3963102 - processor 6, local counter 3962979 - processor 7, local counter 3962911 - processor 8, local counter 3962974 - processor 9, local counter 3963125 - processor 10, local counter 3963056 - processor 11, local counter 3963093 - processor 12, local counter 3962996 - processor 13, local counter 3963100 - processor 14, local counter 3963096 - processor 15, local counter 3963028 - processor 16, local counter 3967076 - processor 17, local counter 3967251 - processor 18, local counter 3967222 - processor 19, local counter 3967093 - processor 20, local counter 3972862 - processor 21, local counter 3972917 - processor 22, local counter 3967217 - processor 23, local counter 3967220 - global counter 7095791, sum of local counter 95157702 -local MCS lock with global counter - processor 0, local counter 3849478 - processor 1, local counter 3860113 - processor 2, local counter 3966891 - processor 3, local counter 3966750 - processor 4, local counter 3973618 - processor 5, local counter 4014013 - processor 6, local counter 3914674 - processor 7, local counter 3914601 - processor 8, local counter 3910536 - processor 9, local counter 3924908 - processor 10, local counter 3995362 - processor 11, local counter 3995130 - processor 12, local counter 3909912 - processor 13, local counter 3923977 - processor 14, local counter 3995941 - processor 15, local counter 3995667 - processor 16, local counter 3842753 - processor 17, local counter 3852728 - processor 18, local counter 3956029 - processor 19, local counter 3955977 - processor 20, local counter 3961870 - processor 21, local counter 4001067 - processor 22, local counter 3911767 - processor 23, local counter 3911724 - global counter 8503087, sum of local counter 94505486 -global ticket lock with busy section - processor 0, local counter 614377 - processor 1, local counter 614376 - processor 2, local counter 614377 - processor 3, local counter 614377 - processor 4, local counter 614377 - processor 5, local counter 614378 - processor 6, local counter 614377 - processor 7, local counter 614377 - processor 8, local counter 614377 - processor 9, local counter 614376 - processor 10, local counter 614378 - processor 11, local counter 614377 - processor 12, local counter 614377 - processor 13, local counter 614377 - processor 14, local counter 614377 - processor 15, local counter 614376 - processor 16, local counter 614377 - processor 17, local counter 614377 - processor 18, local counter 614377 - processor 19, local counter 614378 - processor 20, local counter 614378 - processor 21, local counter 614377 - processor 22, local counter 614377 - processor 23, local counter 614377 - global counter 0, sum of local counter 14745049 -global MCS lock with busy section - processor 0, local counter 552660 - processor 1, local counter 552661 - processor 2, local counter 552659 - processor 3, local counter 552659 - processor 4, local counter 552660 - processor 5, local counter 552659 - processor 6, local counter 552659 - processor 7, local counter 552660 - processor 8, local counter 552660 - processor 9, local counter 552660 - processor 10, local counter 552660 - processor 11, local counter 552659 - processor 12, local counter 552660 - processor 13, local counter 552659 - processor 14, local counter 552660 - processor 15, local counter 552661 - processor 16, local counter 552660 - processor 17, local counter 552659 - processor 18, local counter 552660 - processor 19, local counter 552661 - processor 20, local counter 552660 - processor 21, local counter 552661 - processor 22, local counter 552660 - processor 23, local counter 552661 - global counter 0, sum of local counter 13263838 -sequence lock - processor 0, local counter 12138641 - processor 1, local counter 8 - processor 2, local counter 64 - processor 3, local counter 89 - processor 4, local counter 208 - processor 5, local counter 227 - processor 6, local counter 69 - processor 7, local counter 82 - processor 8, local counter 2019 - processor 9, local counter 2017 - processor 10, local counter 1914 - processor 11, local counter 2008 - processor 12, local counter 1890 - processor 13, local counter 1902 - processor 14, local counter 1734 - processor 15, local counter 1701 - processor 16, local counter 2198 - processor 17, local counter 2176 - processor 18, local counter 2011 - processor 19, local counter 2047 - processor 20, local counter 2072 - processor 21, local counter 2084 - processor 22, local counter 1866 - processor 23, local counter 1849 - global counter 0, sum of local counter 12170876 +<SMPLock01> + <GlobalTicketLockWithLocalCounter activeWorker="1"> + <LocalCounter worker="0">18398214</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>18398214</SumOfLocalCounter> + </GlobalTicketLockWithLocalCounter> + <GlobalTicketLockWithLocalCounter activeWorker="2"> + <LocalCounter worker="0">3818444</LocalCounter> + <LocalCounter worker="1">3818595</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>7637039</SumOfLocalCounter> + </GlobalTicketLockWithLocalCounter> + <GlobalTicketLockWithLocalCounter activeWorker="3"> + <LocalCounter worker="0">1919976</LocalCounter> + <LocalCounter worker="1">1919985</LocalCounter> + <LocalCounter worker="2">1919953</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>5759914</SumOfLocalCounter> + </GlobalTicketLockWithLocalCounter> + <GlobalTicketLockWithLocalCounter activeWorker="4"> + <LocalCounter worker="0">1487437</LocalCounter> + <LocalCounter worker="1">1487431</LocalCounter> + <LocalCounter worker="2">1487432</LocalCounter> + <LocalCounter worker="3">1487421</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>5949721</SumOfLocalCounter> + </GlobalTicketLockWithLocalCounter> + <GlobalTicketLockWithLocalCounter activeWorker="5"> + <LocalCounter worker="0">1148919</LocalCounter> + <LocalCounter worker="1">1148898</LocalCounter> + <LocalCounter worker="2">1148900</LocalCounter> + <LocalCounter worker="3">1148852</LocalCounter> + <LocalCounter worker="4">1148909</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>5744478</SumOfLocalCounter> + </GlobalTicketLockWithLocalCounter> + <GlobalTicketLockWithLocalCounter activeWorker="6"> + <LocalCounter worker="0">930242</LocalCounter> + <LocalCounter worker="1">930202</LocalCounter> + <LocalCounter worker="2">930199</LocalCounter> + <LocalCounter worker="3">930184</LocalCounter> + <LocalCounter worker="4">930181</LocalCounter> + <LocalCounter worker="5">930230</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>5581238</SumOfLocalCounter> + </GlobalTicketLockWithLocalCounter> + <GlobalTicketLockWithLocalCounter activeWorker="7"> + <LocalCounter worker="0">779079</LocalCounter> + <LocalCounter worker="1">778991</LocalCounter> + <LocalCounter worker="2">778995</LocalCounter> + <LocalCounter worker="3">778990</LocalCounter> + <LocalCounter worker="4">778981</LocalCounter> + <LocalCounter worker="5">778985</LocalCounter> + <LocalCounter worker="6">778987</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>5453008</SumOfLocalCounter> + </GlobalTicketLockWithLocalCounter> + <GlobalTicketLockWithLocalCounter activeWorker="8"> + <LocalCounter worker="0">654604</LocalCounter> + <LocalCounter worker="1">651632</LocalCounter> + <LocalCounter worker="2">651569</LocalCounter> + <LocalCounter worker="3">651546</LocalCounter> + <LocalCounter worker="4">651563</LocalCounter> + <LocalCounter worker="5">651567</LocalCounter> + <LocalCounter worker="6">651596</LocalCounter> + <LocalCounter worker="7">653615</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>5217692</SumOfLocalCounter> + </GlobalTicketLockWithLocalCounter> + <GlobalTicketLockWithLocalCounter activeWorker="9"> + <LocalCounter worker="0">534418</LocalCounter> + <LocalCounter worker="1">534312</LocalCounter> + <LocalCounter worker="2">534314</LocalCounter> + <LocalCounter worker="3">534304</LocalCounter> + <LocalCounter worker="4">534309</LocalCounter> + <LocalCounter worker="5">534304</LocalCounter> + <LocalCounter worker="6">534311</LocalCounter> + <LocalCounter worker="7">534303</LocalCounter> + <LocalCounter worker="8">534309</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>4808884</SumOfLocalCounter> + </GlobalTicketLockWithLocalCounter> + <GlobalTicketLockWithLocalCounter activeWorker="10"> + <LocalCounter worker="0">472000</LocalCounter> + <LocalCounter worker="1">470376</LocalCounter> + <LocalCounter worker="2">470345</LocalCounter> + <LocalCounter worker="3">470334</LocalCounter> + <LocalCounter worker="4">470373</LocalCounter> + <LocalCounter worker="5">470401</LocalCounter> + <LocalCounter worker="6">470374</LocalCounter> + <LocalCounter worker="7">470391</LocalCounter> + <LocalCounter worker="8">470370</LocalCounter> + <LocalCounter worker="9">472016</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>4706980</SumOfLocalCounter> + </GlobalTicketLockWithLocalCounter> + <GlobalTicketLockWithLocalCounter activeWorker="11"> + <LocalCounter worker="0">429615</LocalCounter> + <LocalCounter worker="1">428935</LocalCounter> + <LocalCounter worker="2">428953</LocalCounter> + <LocalCounter worker="3">428926</LocalCounter> + <LocalCounter worker="4">428906</LocalCounter> + <LocalCounter worker="5">428880</LocalCounter> + <LocalCounter worker="6">428914</LocalCounter> + <LocalCounter worker="7">428898</LocalCounter> + <LocalCounter worker="8">428907</LocalCounter> + <LocalCounter worker="9">429584</LocalCounter> + <LocalCounter worker="10">429584</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>4720102</SumOfLocalCounter> + </GlobalTicketLockWithLocalCounter> + <GlobalTicketLockWithLocalCounter activeWorker="12"> + <LocalCounter worker="0">386115</LocalCounter> + <LocalCounter worker="1">385629</LocalCounter> + <LocalCounter worker="2">385643</LocalCounter> + <LocalCounter worker="3">385644</LocalCounter> + <LocalCounter worker="4">385621</LocalCounter> + <LocalCounter worker="5">385630</LocalCounter> + <LocalCounter worker="6">385638</LocalCounter> + <LocalCounter worker="7">385615</LocalCounter> + <LocalCounter worker="8">385627</LocalCounter> + <LocalCounter worker="9">386087</LocalCounter> + <LocalCounter worker="10">386088</LocalCounter> + <LocalCounter worker="11">386095</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>4629432</SumOfLocalCounter> + </GlobalTicketLockWithLocalCounter> + <GlobalTicketLockWithLocalCounter activeWorker="13"> + <LocalCounter worker="0">352696</LocalCounter> + <LocalCounter worker="1">352413</LocalCounter> + <LocalCounter worker="2">352429</LocalCounter> + <LocalCounter worker="3">352421</LocalCounter> + <LocalCounter worker="4">352419</LocalCounter> + <LocalCounter worker="5">352411</LocalCounter> + <LocalCounter worker="6">352423</LocalCounter> + <LocalCounter worker="7">352409</LocalCounter> + <LocalCounter worker="8">352415</LocalCounter> + <LocalCounter worker="9">352661</LocalCounter> + <LocalCounter worker="10">352666</LocalCounter> + <LocalCounter worker="11">352666</LocalCounter> + <LocalCounter worker="12">352660</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>4582689</SumOfLocalCounter> + </GlobalTicketLockWithLocalCounter> + <GlobalTicketLockWithLocalCounter activeWorker="14"> + <LocalCounter worker="0">324515</LocalCounter> + <LocalCounter worker="1">324378</LocalCounter> + <LocalCounter worker="2">324389</LocalCounter> + <LocalCounter worker="3">324381</LocalCounter> + <LocalCounter worker="4">324382</LocalCounter> + <LocalCounter worker="5">324372</LocalCounter> + <LocalCounter worker="6">324380</LocalCounter> + <LocalCounter worker="7">324380</LocalCounter> + <LocalCounter worker="8">324370</LocalCounter> + <LocalCounter worker="9">324483</LocalCounter> + <LocalCounter worker="10">324482</LocalCounter> + <LocalCounter worker="11">324482</LocalCounter> + <LocalCounter worker="12">324479</LocalCounter> + <LocalCounter worker="13">324509</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>4541982</SumOfLocalCounter> + </GlobalTicketLockWithLocalCounter> + <GlobalTicketLockWithLocalCounter activeWorker="15"> + <LocalCounter worker="0">301306</LocalCounter> + <LocalCounter worker="1">301217</LocalCounter> + <LocalCounter worker="2">301212</LocalCounter> + <LocalCounter worker="3">301217</LocalCounter> + <LocalCounter worker="4">301219</LocalCounter> + <LocalCounter worker="5">301218</LocalCounter> + <LocalCounter worker="6">301213</LocalCounter> + <LocalCounter worker="7">301212</LocalCounter> + <LocalCounter worker="8">301215</LocalCounter> + <LocalCounter worker="9">301273</LocalCounter> + <LocalCounter worker="10">301271</LocalCounter> + <LocalCounter worker="11">301274</LocalCounter> + <LocalCounter worker="12">301273</LocalCounter> + <LocalCounter worker="13">301270</LocalCounter> + <LocalCounter worker="14">301270</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>4518660</SumOfLocalCounter> + </GlobalTicketLockWithLocalCounter> + <GlobalTicketLockWithLocalCounter activeWorker="16"> + <LocalCounter worker="0">282744</LocalCounter> + <LocalCounter worker="1">282629</LocalCounter> + <LocalCounter worker="2">282622</LocalCounter> + <LocalCounter worker="3">282627</LocalCounter> + <LocalCounter worker="4">282620</LocalCounter> + <LocalCounter worker="5">282617</LocalCounter> + <LocalCounter worker="6">282616</LocalCounter> + <LocalCounter worker="7">282618</LocalCounter> + <LocalCounter worker="8">282624</LocalCounter> + <LocalCounter worker="9">282662</LocalCounter> + <LocalCounter worker="10">282664</LocalCounter> + <LocalCounter worker="11">282663</LocalCounter> + <LocalCounter worker="12">282662</LocalCounter> + <LocalCounter worker="13">282658</LocalCounter> + <LocalCounter worker="14">282662</LocalCounter> + <LocalCounter worker="15">282693</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>4522381</SumOfLocalCounter> + </GlobalTicketLockWithLocalCounter> + <GlobalTicketLockWithLocalCounter activeWorker="17"> + <LocalCounter worker="0">259579</LocalCounter> + <LocalCounter worker="1">259524</LocalCounter> + <LocalCounter worker="2">259529</LocalCounter> + <LocalCounter worker="3">259530</LocalCounter> + <LocalCounter worker="4">259529</LocalCounter> + <LocalCounter worker="5">259532</LocalCounter> + <LocalCounter worker="6">259530</LocalCounter> + <LocalCounter worker="7">259536</LocalCounter> + <LocalCounter worker="8">259529</LocalCounter> + <LocalCounter worker="9">259533</LocalCounter> + <LocalCounter worker="10">259527</LocalCounter> + <LocalCounter worker="11">259529</LocalCounter> + <LocalCounter worker="12">259533</LocalCounter> + <LocalCounter worker="13">259527</LocalCounter> + <LocalCounter worker="14">259528</LocalCounter> + <LocalCounter worker="15">259524</LocalCounter> + <LocalCounter worker="16">259536</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>4412055</SumOfLocalCounter> + </GlobalTicketLockWithLocalCounter> + <GlobalTicketLockWithLocalCounter activeWorker="18"> + <LocalCounter worker="0">239835</LocalCounter> + <LocalCounter worker="1">239813</LocalCounter> + <LocalCounter worker="2">239814</LocalCounter> + <LocalCounter worker="3">239810</LocalCounter> + <LocalCounter worker="4">239811</LocalCounter> + <LocalCounter worker="5">239817</LocalCounter> + <LocalCounter worker="6">239813</LocalCounter> + <LocalCounter worker="7">239814</LocalCounter> + <LocalCounter worker="8">239815</LocalCounter> + <LocalCounter worker="9">239816</LocalCounter> + <LocalCounter worker="10">239815</LocalCounter> + <LocalCounter worker="11">239813</LocalCounter> + <LocalCounter worker="12">239813</LocalCounter> + <LocalCounter worker="13">239817</LocalCounter> + <LocalCounter worker="14">239813</LocalCounter> + <LocalCounter worker="15">239812</LocalCounter> + <LocalCounter worker="16">239811</LocalCounter> + <LocalCounter worker="17">239834</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>4316686</SumOfLocalCounter> + </GlobalTicketLockWithLocalCounter> + <GlobalTicketLockWithLocalCounter activeWorker="19"> + <LocalCounter worker="0">223254</LocalCounter> + <LocalCounter worker="1">223225</LocalCounter> + <LocalCounter worker="2">223227</LocalCounter> + <LocalCounter worker="3">223222</LocalCounter> + <LocalCounter worker="4">223224</LocalCounter> + <LocalCounter worker="5">223223</LocalCounter> + <LocalCounter worker="6">223220</LocalCounter> + <LocalCounter worker="7">223216</LocalCounter> + <LocalCounter worker="8">223217</LocalCounter> + <LocalCounter worker="9">223222</LocalCounter> + <LocalCounter worker="10">223219</LocalCounter> + <LocalCounter worker="11">223221</LocalCounter> + <LocalCounter worker="12">223223</LocalCounter> + <LocalCounter worker="13">223225</LocalCounter> + <LocalCounter worker="14">223219</LocalCounter> + <LocalCounter worker="15">223222</LocalCounter> + <LocalCounter worker="16">223223</LocalCounter> + <LocalCounter worker="17">223249</LocalCounter> + <LocalCounter worker="18">223251</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>4241302</SumOfLocalCounter> + </GlobalTicketLockWithLocalCounter> + <GlobalTicketLockWithLocalCounter activeWorker="20"> + <LocalCounter worker="0">213739</LocalCounter> + <LocalCounter worker="1">213709</LocalCounter> + <LocalCounter worker="2">213708</LocalCounter> + <LocalCounter worker="3">213708</LocalCounter> + <LocalCounter worker="4">213707</LocalCounter> + <LocalCounter worker="5">213710</LocalCounter> + <LocalCounter worker="6">213708</LocalCounter> + <LocalCounter worker="7">213710</LocalCounter> + <LocalCounter worker="8">213708</LocalCounter> + <LocalCounter worker="9">213710</LocalCounter> + <LocalCounter worker="10">213710</LocalCounter> + <LocalCounter worker="11">213710</LocalCounter> + <LocalCounter worker="12">213711</LocalCounter> + <LocalCounter worker="13">213714</LocalCounter> + <LocalCounter worker="14">213714</LocalCounter> + <LocalCounter worker="15">213708</LocalCounter> + <LocalCounter worker="16">213710</LocalCounter> + <LocalCounter worker="17">213732</LocalCounter> + <LocalCounter worker="18">213734</LocalCounter> + <LocalCounter worker="19">213735</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>4274295</SumOfLocalCounter> + </GlobalTicketLockWithLocalCounter> + <GlobalTicketLockWithLocalCounter activeWorker="21"> + <LocalCounter worker="0">198998</LocalCounter> + <LocalCounter worker="1">198980</LocalCounter> + <LocalCounter worker="2">198986</LocalCounter> + <LocalCounter worker="3">198983</LocalCounter> + <LocalCounter worker="4">198981</LocalCounter> + <LocalCounter worker="5">198983</LocalCounter> + <LocalCounter worker="6">198983</LocalCounter> + <LocalCounter worker="7">198981</LocalCounter> + <LocalCounter worker="8">198981</LocalCounter> + <LocalCounter worker="9">198983</LocalCounter> + <LocalCounter worker="10">198982</LocalCounter> + <LocalCounter worker="11">198981</LocalCounter> + <LocalCounter worker="12">198982</LocalCounter> + <LocalCounter worker="13">198983</LocalCounter> + <LocalCounter worker="14">198984</LocalCounter> + <LocalCounter worker="15">198984</LocalCounter> + <LocalCounter worker="16">198982</LocalCounter> + <LocalCounter worker="17">198992</LocalCounter> + <LocalCounter worker="18">198994</LocalCounter> + <LocalCounter worker="19">198993</LocalCounter> + <LocalCounter worker="20">198995</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>4178691</SumOfLocalCounter> + </GlobalTicketLockWithLocalCounter> + <GlobalTicketLockWithLocalCounter activeWorker="22"> + <LocalCounter worker="0">192361</LocalCounter> + <LocalCounter worker="1">192346</LocalCounter> + <LocalCounter worker="2">192349</LocalCounter> + <LocalCounter worker="3">192348</LocalCounter> + <LocalCounter worker="4">192348</LocalCounter> + <LocalCounter worker="5">192350</LocalCounter> + <LocalCounter worker="6">192346</LocalCounter> + <LocalCounter worker="7">192349</LocalCounter> + <LocalCounter worker="8">192348</LocalCounter> + <LocalCounter worker="9">192346</LocalCounter> + <LocalCounter worker="10">192346</LocalCounter> + <LocalCounter worker="11">192345</LocalCounter> + <LocalCounter worker="12">192346</LocalCounter> + <LocalCounter worker="13">192348</LocalCounter> + <LocalCounter worker="14">192346</LocalCounter> + <LocalCounter worker="15">192347</LocalCounter> + <LocalCounter worker="16">192350</LocalCounter> + <LocalCounter worker="17">192356</LocalCounter> + <LocalCounter worker="18">192355</LocalCounter> + <LocalCounter worker="19">192357</LocalCounter> + <LocalCounter worker="20">192356</LocalCounter> + <LocalCounter worker="21">192358</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>4231701</SumOfLocalCounter> + </GlobalTicketLockWithLocalCounter> + <GlobalTicketLockWithLocalCounter activeWorker="23"> + <LocalCounter worker="0">176769</LocalCounter> + <LocalCounter worker="1">176761</LocalCounter> + <LocalCounter worker="2">176760</LocalCounter> + <LocalCounter worker="3">176759</LocalCounter> + <LocalCounter worker="4">176760</LocalCounter> + <LocalCounter worker="5">176757</LocalCounter> + <LocalCounter worker="6">176759</LocalCounter> + <LocalCounter worker="7">176758</LocalCounter> + <LocalCounter worker="8">176759</LocalCounter> + <LocalCounter worker="9">176759</LocalCounter> + <LocalCounter worker="10">176759</LocalCounter> + <LocalCounter worker="11">176760</LocalCounter> + <LocalCounter worker="12">176758</LocalCounter> + <LocalCounter worker="13">176758</LocalCounter> + <LocalCounter worker="14">176760</LocalCounter> + <LocalCounter worker="15">176759</LocalCounter> + <LocalCounter worker="16">176757</LocalCounter> + <LocalCounter worker="17">176761</LocalCounter> + <LocalCounter worker="18">176763</LocalCounter> + <LocalCounter worker="19">176760</LocalCounter> + <LocalCounter worker="20">176762</LocalCounter> + <LocalCounter worker="21">176763</LocalCounter> + <LocalCounter worker="22">176762</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>4065483</SumOfLocalCounter> + </GlobalTicketLockWithLocalCounter> + <GlobalTicketLockWithLocalCounter activeWorker="24"> + <LocalCounter worker="0">164847</LocalCounter> + <LocalCounter worker="1">164844</LocalCounter> + <LocalCounter worker="2">164845</LocalCounter> + <LocalCounter worker="3">164845</LocalCounter> + <LocalCounter worker="4">164846</LocalCounter> + <LocalCounter worker="5">164844</LocalCounter> + <LocalCounter worker="6">164846</LocalCounter> + <LocalCounter worker="7">164845</LocalCounter> + <LocalCounter worker="8">164845</LocalCounter> + <LocalCounter worker="9">164845</LocalCounter> + <LocalCounter worker="10">164846</LocalCounter> + <LocalCounter worker="11">164844</LocalCounter> + <LocalCounter worker="12">164846</LocalCounter> + <LocalCounter worker="13">164846</LocalCounter> + <LocalCounter worker="14">164846</LocalCounter> + <LocalCounter worker="15">164845</LocalCounter> + <LocalCounter worker="16">164846</LocalCounter> + <LocalCounter worker="17">164846</LocalCounter> + <LocalCounter worker="18">164847</LocalCounter> + <LocalCounter worker="19">164845</LocalCounter> + <LocalCounter worker="20">164845</LocalCounter> + <LocalCounter worker="21">164845</LocalCounter> + <LocalCounter worker="22">164846</LocalCounter> + <LocalCounter worker="23">164846</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>3956291</SumOfLocalCounter> + </GlobalTicketLockWithLocalCounter> + <GlobalMCSLockWithLocalCounter activeWorker="1"> + <LocalCounter worker="0">13057243</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>13057243</SumOfLocalCounter> + </GlobalMCSLockWithLocalCounter> + <GlobalMCSLockWithLocalCounter activeWorker="2"> + <LocalCounter worker="0">1266595</LocalCounter> + <LocalCounter worker="1">1266587</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>2533182</SumOfLocalCounter> + </GlobalMCSLockWithLocalCounter> + <GlobalMCSLockWithLocalCounter activeWorker="3"> + <LocalCounter worker="0">1806557</LocalCounter> + <LocalCounter worker="1">1806541</LocalCounter> + <LocalCounter worker="2">1806556</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>5419654</SumOfLocalCounter> + </GlobalMCSLockWithLocalCounter> + <GlobalMCSLockWithLocalCounter activeWorker="4"> + <LocalCounter worker="0">1799359</LocalCounter> + <LocalCounter worker="1">1799355</LocalCounter> + <LocalCounter worker="2">1799361</LocalCounter> + <LocalCounter worker="3">1799358</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>7197433</SumOfLocalCounter> + </GlobalMCSLockWithLocalCounter> + <GlobalMCSLockWithLocalCounter activeWorker="5"> + <LocalCounter worker="0">1809548</LocalCounter> + <LocalCounter worker="1">1809543</LocalCounter> + <LocalCounter worker="2">1809545</LocalCounter> + <LocalCounter worker="3">1809547</LocalCounter> + <LocalCounter worker="4">1809545</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>9047728</SumOfLocalCounter> + </GlobalMCSLockWithLocalCounter> + <GlobalMCSLockWithLocalCounter activeWorker="6"> + <LocalCounter worker="0">1572945</LocalCounter> + <LocalCounter worker="1">1572938</LocalCounter> + <LocalCounter worker="2">1572941</LocalCounter> + <LocalCounter worker="3">1572942</LocalCounter> + <LocalCounter worker="4">1572941</LocalCounter> + <LocalCounter worker="5">1572939</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>9437646</SumOfLocalCounter> + </GlobalMCSLockWithLocalCounter> + <GlobalMCSLockWithLocalCounter activeWorker="7"> + <LocalCounter worker="0">1488244</LocalCounter> + <LocalCounter worker="1">1488238</LocalCounter> + <LocalCounter worker="2">1488242</LocalCounter> + <LocalCounter worker="3">1488243</LocalCounter> + <LocalCounter worker="4">1488241</LocalCounter> + <LocalCounter worker="5">1488240</LocalCounter> + <LocalCounter worker="6">1488242</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>10417690</SumOfLocalCounter> + </GlobalMCSLockWithLocalCounter> + <GlobalMCSLockWithLocalCounter activeWorker="8"> + <LocalCounter worker="0">1326735</LocalCounter> + <LocalCounter worker="1">1326731</LocalCounter> + <LocalCounter worker="2">1326732</LocalCounter> + <LocalCounter worker="3">1326732</LocalCounter> + <LocalCounter worker="4">1326730</LocalCounter> + <LocalCounter worker="5">1326731</LocalCounter> + <LocalCounter worker="6">1326733</LocalCounter> + <LocalCounter worker="7">1326732</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>10613856</SumOfLocalCounter> + </GlobalMCSLockWithLocalCounter> + <GlobalMCSLockWithLocalCounter activeWorker="9"> + <LocalCounter worker="0">1227563</LocalCounter> + <LocalCounter worker="1">1227561</LocalCounter> + <LocalCounter worker="2">1227561</LocalCounter> + <LocalCounter worker="3">1227562</LocalCounter> + <LocalCounter worker="4">1227558</LocalCounter> + <LocalCounter worker="5">1227561</LocalCounter> + <LocalCounter worker="6">1227561</LocalCounter> + <LocalCounter worker="7">1227562</LocalCounter> + <LocalCounter worker="8">1227559</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>11048048</SumOfLocalCounter> + </GlobalMCSLockWithLocalCounter> + <GlobalMCSLockWithLocalCounter activeWorker="10"> + <LocalCounter worker="0">894577</LocalCounter> + <LocalCounter worker="1">894574</LocalCounter> + <LocalCounter worker="2">894575</LocalCounter> + <LocalCounter worker="3">894576</LocalCounter> + <LocalCounter worker="4">894575</LocalCounter> + <LocalCounter worker="5">894575</LocalCounter> + <LocalCounter worker="6">894576</LocalCounter> + <LocalCounter worker="7">894575</LocalCounter> + <LocalCounter worker="8">894575</LocalCounter> + <LocalCounter worker="9">894575</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>8945753</SumOfLocalCounter> + </GlobalMCSLockWithLocalCounter> + <GlobalMCSLockWithLocalCounter activeWorker="11"> + <LocalCounter worker="0">791584</LocalCounter> + <LocalCounter worker="1">791584</LocalCounter> + <LocalCounter worker="2">791583</LocalCounter> + <LocalCounter worker="3">791582</LocalCounter> + <LocalCounter worker="4">791584</LocalCounter> + <LocalCounter worker="5">791582</LocalCounter> + <LocalCounter worker="6">791584</LocalCounter> + <LocalCounter worker="7">791582</LocalCounter> + <LocalCounter worker="8">791583</LocalCounter> + <LocalCounter worker="9">791583</LocalCounter> + <LocalCounter worker="10">791584</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>8707415</SumOfLocalCounter> + </GlobalMCSLockWithLocalCounter> + <GlobalMCSLockWithLocalCounter activeWorker="12"> + <LocalCounter worker="0">700121</LocalCounter> + <LocalCounter worker="1">700119</LocalCounter> + <LocalCounter worker="2">700118</LocalCounter> + <LocalCounter worker="3">700118</LocalCounter> + <LocalCounter worker="4">700117</LocalCounter> + <LocalCounter worker="5">700117</LocalCounter> + <LocalCounter worker="6">700119</LocalCounter> + <LocalCounter worker="7">700119</LocalCounter> + <LocalCounter worker="8">700118</LocalCounter> + <LocalCounter worker="9">700118</LocalCounter> + <LocalCounter worker="10">700119</LocalCounter> + <LocalCounter worker="11">700118</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>8401421</SumOfLocalCounter> + </GlobalMCSLockWithLocalCounter> + <GlobalMCSLockWithLocalCounter activeWorker="13"> + <LocalCounter worker="0">612928</LocalCounter> + <LocalCounter worker="1">612926</LocalCounter> + <LocalCounter worker="2">612925</LocalCounter> + <LocalCounter worker="3">612927</LocalCounter> + <LocalCounter worker="4">612925</LocalCounter> + <LocalCounter worker="5">612925</LocalCounter> + <LocalCounter worker="6">612925</LocalCounter> + <LocalCounter worker="7">612925</LocalCounter> + <LocalCounter worker="8">612924</LocalCounter> + <LocalCounter worker="9">612925</LocalCounter> + <LocalCounter worker="10">612926</LocalCounter> + <LocalCounter worker="11">612926</LocalCounter> + <LocalCounter worker="12">612925</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>7968032</SumOfLocalCounter> + </GlobalMCSLockWithLocalCounter> + <GlobalMCSLockWithLocalCounter activeWorker="14"> + <LocalCounter worker="0">615640</LocalCounter> + <LocalCounter worker="1">615637</LocalCounter> + <LocalCounter worker="2">615638</LocalCounter> + <LocalCounter worker="3">615638</LocalCounter> + <LocalCounter worker="4">615637</LocalCounter> + <LocalCounter worker="5">615636</LocalCounter> + <LocalCounter worker="6">615637</LocalCounter> + <LocalCounter worker="7">615636</LocalCounter> + <LocalCounter worker="8">615633</LocalCounter> + <LocalCounter worker="9">615638</LocalCounter> + <LocalCounter worker="10">615638</LocalCounter> + <LocalCounter worker="11">615637</LocalCounter> + <LocalCounter worker="12">615637</LocalCounter> + <LocalCounter worker="13">615635</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>8618917</SumOfLocalCounter> + </GlobalMCSLockWithLocalCounter> + <GlobalMCSLockWithLocalCounter activeWorker="15"> + <LocalCounter worker="0">494010</LocalCounter> + <LocalCounter worker="1">494005</LocalCounter> + <LocalCounter worker="2">494007</LocalCounter> + <LocalCounter worker="3">494003</LocalCounter> + <LocalCounter worker="4">494006</LocalCounter> + <LocalCounter worker="5">494003</LocalCounter> + <LocalCounter worker="6">494003</LocalCounter> + <LocalCounter worker="7">494003</LocalCounter> + <LocalCounter worker="8">494005</LocalCounter> + <LocalCounter worker="9">494002</LocalCounter> + <LocalCounter worker="10">494006</LocalCounter> + <LocalCounter worker="11">494005</LocalCounter> + <LocalCounter worker="12">494004</LocalCounter> + <LocalCounter worker="13">494002</LocalCounter> + <LocalCounter worker="14">494003</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>7410067</SumOfLocalCounter> + </GlobalMCSLockWithLocalCounter> + <GlobalMCSLockWithLocalCounter activeWorker="16"> + <LocalCounter worker="0">452311</LocalCounter> + <LocalCounter worker="1">452308</LocalCounter> + <LocalCounter worker="2">452307</LocalCounter> + <LocalCounter worker="3">452304</LocalCounter> + <LocalCounter worker="4">452306</LocalCounter> + <LocalCounter worker="5">452306</LocalCounter> + <LocalCounter worker="6">452306</LocalCounter> + <LocalCounter worker="7">452305</LocalCounter> + <LocalCounter worker="8">452306</LocalCounter> + <LocalCounter worker="9">452305</LocalCounter> + <LocalCounter worker="10">452308</LocalCounter> + <LocalCounter worker="11">452302</LocalCounter> + <LocalCounter worker="12">452304</LocalCounter> + <LocalCounter worker="13">452307</LocalCounter> + <LocalCounter worker="14">452305</LocalCounter> + <LocalCounter worker="15">452307</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>7236897</SumOfLocalCounter> + </GlobalMCSLockWithLocalCounter> + <GlobalMCSLockWithLocalCounter activeWorker="17"> + <LocalCounter worker="0">411836</LocalCounter> + <LocalCounter worker="1">411832</LocalCounter> + <LocalCounter worker="2">411832</LocalCounter> + <LocalCounter worker="3">411831</LocalCounter> + <LocalCounter worker="4">411830</LocalCounter> + <LocalCounter worker="5">411830</LocalCounter> + <LocalCounter worker="6">411835</LocalCounter> + <LocalCounter worker="7">411833</LocalCounter> + <LocalCounter worker="8">411830</LocalCounter> + <LocalCounter worker="9">411832</LocalCounter> + <LocalCounter worker="10">411833</LocalCounter> + <LocalCounter worker="11">411829</LocalCounter> + <LocalCounter worker="12">411833</LocalCounter> + <LocalCounter worker="13">411833</LocalCounter> + <LocalCounter worker="14">411831</LocalCounter> + <LocalCounter worker="15">411833</LocalCounter> + <LocalCounter worker="16">411828</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>7001141</SumOfLocalCounter> + </GlobalMCSLockWithLocalCounter> + <GlobalMCSLockWithLocalCounter activeWorker="18"> + <LocalCounter worker="0">467016</LocalCounter> + <LocalCounter worker="1">466996</LocalCounter> + <LocalCounter worker="2">467001</LocalCounter> + <LocalCounter worker="3">466994</LocalCounter> + <LocalCounter worker="4">466989</LocalCounter> + <LocalCounter worker="5">466986</LocalCounter> + <LocalCounter worker="6">466991</LocalCounter> + <LocalCounter worker="7">466994</LocalCounter> + <LocalCounter worker="8">466973</LocalCounter> + <LocalCounter worker="9">466976</LocalCounter> + <LocalCounter worker="10">466993</LocalCounter> + <LocalCounter worker="11">466996</LocalCounter> + <LocalCounter worker="12">467008</LocalCounter> + <LocalCounter worker="13">467005</LocalCounter> + <LocalCounter worker="14">466998</LocalCounter> + <LocalCounter worker="15">467002</LocalCounter> + <LocalCounter worker="16">466990</LocalCounter> + <LocalCounter worker="17">467009</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>8405917</SumOfLocalCounter> + </GlobalMCSLockWithLocalCounter> + <GlobalMCSLockWithLocalCounter activeWorker="19"> + <LocalCounter worker="0">370400</LocalCounter> + <LocalCounter worker="1">370402</LocalCounter> + <LocalCounter worker="2">370401</LocalCounter> + <LocalCounter worker="3">370408</LocalCounter> + <LocalCounter worker="4">370401</LocalCounter> + <LocalCounter worker="5">370404</LocalCounter> + <LocalCounter worker="6">370404</LocalCounter> + <LocalCounter worker="7">370410</LocalCounter> + <LocalCounter worker="8">370410</LocalCounter> + <LocalCounter worker="9">370403</LocalCounter> + <LocalCounter worker="10">370399</LocalCounter> + <LocalCounter worker="11">370408</LocalCounter> + <LocalCounter worker="12">370401</LocalCounter> + <LocalCounter worker="13">370399</LocalCounter> + <LocalCounter worker="14">370401</LocalCounter> + <LocalCounter worker="15">370398</LocalCounter> + <LocalCounter worker="16">370401</LocalCounter> + <LocalCounter worker="17">370396</LocalCounter> + <LocalCounter worker="18">370396</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>7037642</SumOfLocalCounter> + </GlobalMCSLockWithLocalCounter> + <GlobalMCSLockWithLocalCounter activeWorker="20"> + <LocalCounter worker="0">391059</LocalCounter> + <LocalCounter worker="1">392308</LocalCounter> + <LocalCounter worker="2">392294</LocalCounter> + <LocalCounter worker="3">392312</LocalCounter> + <LocalCounter worker="4">392291</LocalCounter> + <LocalCounter worker="5">392348</LocalCounter> + <LocalCounter worker="6">392321</LocalCounter> + <LocalCounter worker="7">392268</LocalCounter> + <LocalCounter worker="8">392312</LocalCounter> + <LocalCounter worker="9">392486</LocalCounter> + <LocalCounter worker="10">392486</LocalCounter> + <LocalCounter worker="11">392471</LocalCounter> + <LocalCounter worker="12">392499</LocalCounter> + <LocalCounter worker="13">392452</LocalCounter> + <LocalCounter worker="14">392467</LocalCounter> + <LocalCounter worker="15">392478</LocalCounter> + <LocalCounter worker="16">392436</LocalCounter> + <LocalCounter worker="17">390882</LocalCounter> + <LocalCounter worker="18">390899</LocalCounter> + <LocalCounter worker="19">390972</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>7842041</SumOfLocalCounter> + </GlobalMCSLockWithLocalCounter> + <GlobalMCSLockWithLocalCounter activeWorker="21"> + <LocalCounter worker="0">318394</LocalCounter> + <LocalCounter worker="1">332823</LocalCounter> + <LocalCounter worker="2">332655</LocalCounter> + <LocalCounter worker="3">332725</LocalCounter> + <LocalCounter worker="4">332890</LocalCounter> + <LocalCounter worker="5">333114</LocalCounter> + <LocalCounter worker="6">332973</LocalCounter> + <LocalCounter worker="7">332994</LocalCounter> + <LocalCounter worker="8">332878</LocalCounter> + <LocalCounter worker="9">334457</LocalCounter> + <LocalCounter worker="10">334487</LocalCounter> + <LocalCounter worker="11">334425</LocalCounter> + <LocalCounter worker="12">334507</LocalCounter> + <LocalCounter worker="13">334550</LocalCounter> + <LocalCounter worker="14">334514</LocalCounter> + <LocalCounter worker="15">334366</LocalCounter> + <LocalCounter worker="16">334029</LocalCounter> + <LocalCounter worker="17">317461</LocalCounter> + <LocalCounter worker="18">317374</LocalCounter> + <LocalCounter worker="19">317671</LocalCounter> + <LocalCounter worker="20">318126</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>6927413</SumOfLocalCounter> + </GlobalMCSLockWithLocalCounter> + <GlobalMCSLockWithLocalCounter activeWorker="22"> + <LocalCounter worker="0">331955</LocalCounter> + <LocalCounter worker="1">341916</LocalCounter> + <LocalCounter worker="2">341888</LocalCounter> + <LocalCounter worker="3">342280</LocalCounter> + <LocalCounter worker="4">343635</LocalCounter> + <LocalCounter worker="5">343767</LocalCounter> + <LocalCounter worker="6">343948</LocalCounter> + <LocalCounter worker="7">343914</LocalCounter> + <LocalCounter worker="8">343375</LocalCounter> + <LocalCounter worker="9">343501</LocalCounter> + <LocalCounter worker="10">343454</LocalCounter> + <LocalCounter worker="11">343316</LocalCounter> + <LocalCounter worker="12">343271</LocalCounter> + <LocalCounter worker="13">343456</LocalCounter> + <LocalCounter worker="14">343351</LocalCounter> + <LocalCounter worker="15">343245</LocalCounter> + <LocalCounter worker="16">341111</LocalCounter> + <LocalCounter worker="17">329097</LocalCounter> + <LocalCounter worker="18">329162</LocalCounter> + <LocalCounter worker="19">329303</LocalCounter> + <LocalCounter worker="20">331236</LocalCounter> + <LocalCounter worker="21">332000</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>7472181</SumOfLocalCounter> + </GlobalMCSLockWithLocalCounter> + <GlobalMCSLockWithLocalCounter activeWorker="23"> + <LocalCounter worker="0">308389</LocalCounter> + <LocalCounter worker="1">309721</LocalCounter> + <LocalCounter worker="2">309624</LocalCounter> + <LocalCounter worker="3">309655</LocalCounter> + <LocalCounter worker="4">310504</LocalCounter> + <LocalCounter worker="5">310414</LocalCounter> + <LocalCounter worker="6">310534</LocalCounter> + <LocalCounter worker="7">310443</LocalCounter> + <LocalCounter worker="8">310415</LocalCounter> + <LocalCounter worker="9">310215</LocalCounter> + <LocalCounter worker="10">310278</LocalCounter> + <LocalCounter worker="11">310266</LocalCounter> + <LocalCounter worker="12">310079</LocalCounter> + <LocalCounter worker="13">310083</LocalCounter> + <LocalCounter worker="14">309887</LocalCounter> + <LocalCounter worker="15">310072</LocalCounter> + <LocalCounter worker="16">309153</LocalCounter> + <LocalCounter worker="17">307219</LocalCounter> + <LocalCounter worker="18">307158</LocalCounter> + <LocalCounter worker="19">307167</LocalCounter> + <LocalCounter worker="20">307747</LocalCounter> + <LocalCounter worker="21">307966</LocalCounter> + <LocalCounter worker="22">307630</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>7114619</SumOfLocalCounter> + </GlobalMCSLockWithLocalCounter> + <GlobalMCSLockWithLocalCounter activeWorker="24"> + <LocalCounter worker="0">294282</LocalCounter> + <LocalCounter worker="1">294274</LocalCounter> + <LocalCounter worker="2">294265</LocalCounter> + <LocalCounter worker="3">294275</LocalCounter> + <LocalCounter worker="4">294278</LocalCounter> + <LocalCounter worker="5">294265</LocalCounter> + <LocalCounter worker="6">294278</LocalCounter> + <LocalCounter worker="7">294277</LocalCounter> + <LocalCounter worker="8">294265</LocalCounter> + <LocalCounter worker="9">294270</LocalCounter> + <LocalCounter worker="10">294267</LocalCounter> + <LocalCounter worker="11">294273</LocalCounter> + <LocalCounter worker="12">294257</LocalCounter> + <LocalCounter worker="13">294271</LocalCounter> + <LocalCounter worker="14">294274</LocalCounter> + <LocalCounter worker="15">294277</LocalCounter> + <LocalCounter worker="16">294270</LocalCounter> + <LocalCounter worker="17">294269</LocalCounter> + <LocalCounter worker="18">294271</LocalCounter> + <LocalCounter worker="19">294268</LocalCounter> + <LocalCounter worker="20">294267</LocalCounter> + <LocalCounter worker="21">294276</LocalCounter> + <LocalCounter worker="22">294276</LocalCounter> + <LocalCounter worker="23">294269</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>7062514</SumOfLocalCounter> + </GlobalMCSLockWithLocalCounter> + <GlobalTicketLockWithGlobalCounter activeWorker="24"> + <LocalCounter worker="0">149135</LocalCounter> + <LocalCounter worker="1">149134</LocalCounter> + <LocalCounter worker="2">149134</LocalCounter> + <LocalCounter worker="3">149134</LocalCounter> + <LocalCounter worker="4">149135</LocalCounter> + <LocalCounter worker="5">149134</LocalCounter> + <LocalCounter worker="6">149134</LocalCounter> + <LocalCounter worker="7">149135</LocalCounter> + <LocalCounter worker="8">149134</LocalCounter> + <LocalCounter worker="9">149134</LocalCounter> + <LocalCounter worker="10">149134</LocalCounter> + <LocalCounter worker="11">149135</LocalCounter> + <LocalCounter worker="12">149134</LocalCounter> + <LocalCounter worker="13">149135</LocalCounter> + <LocalCounter worker="14">149135</LocalCounter> + <LocalCounter worker="15">149134</LocalCounter> + <LocalCounter worker="16">149134</LocalCounter> + <LocalCounter worker="17">149136</LocalCounter> + <LocalCounter worker="18">149135</LocalCounter> + <LocalCounter worker="19">149134</LocalCounter> + <LocalCounter worker="20">149135</LocalCounter> + <LocalCounter worker="21">149134</LocalCounter> + <LocalCounter worker="22">149134</LocalCounter> + <LocalCounter worker="23">149134</LocalCounter> + <GlobalCounter>3579226</GlobalCounter> + <SumOfLocalCounter>3579226</SumOfLocalCounter> + </GlobalTicketLockWithGlobalCounter> + <GlobalMCSLockWithGlobalCounter activeWorker="24"> + <LocalCounter worker="0">172181</LocalCounter> + <LocalCounter worker="1">172178</LocalCounter> + <LocalCounter worker="2">172178</LocalCounter> + <LocalCounter worker="3">172178</LocalCounter> + <LocalCounter worker="4">172180</LocalCounter> + <LocalCounter worker="5">172180</LocalCounter> + <LocalCounter worker="6">172179</LocalCounter> + <LocalCounter worker="7">172179</LocalCounter> + <LocalCounter worker="8">172180</LocalCounter> + <LocalCounter worker="9">172179</LocalCounter> + <LocalCounter worker="10">172179</LocalCounter> + <LocalCounter worker="11">172180</LocalCounter> + <LocalCounter worker="12">172180</LocalCounter> + <LocalCounter worker="13">172178</LocalCounter> + <LocalCounter worker="14">172179</LocalCounter> + <LocalCounter worker="15">172179</LocalCounter> + <LocalCounter worker="16">172179</LocalCounter> + <LocalCounter worker="17">172178</LocalCounter> + <LocalCounter worker="18">172179</LocalCounter> + <LocalCounter worker="19">172180</LocalCounter> + <LocalCounter worker="20">172178</LocalCounter> + <LocalCounter worker="21">172180</LocalCounter> + <LocalCounter worker="22">172179</LocalCounter> + <LocalCounter worker="23">172178</LocalCounter> + <GlobalCounter>4132298</GlobalCounter> + <SumOfLocalCounter>4132298</SumOfLocalCounter> + </GlobalMCSLockWithGlobalCounter> + <LocalTicketLockWithLocalCounter activeWorker="1"> + <LocalCounter worker="0">18652007</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>18652007</SumOfLocalCounter> + </LocalTicketLockWithLocalCounter> + <LocalTicketLockWithLocalCounter activeWorker="2"> + <LocalCounter worker="0">18740564</LocalCounter> + <LocalCounter worker="1">18739964</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>37480528</SumOfLocalCounter> + </LocalTicketLockWithLocalCounter> + <LocalTicketLockWithLocalCounter activeWorker="3"> + <LocalCounter worker="0">18653030</LocalCounter> + <LocalCounter worker="1">18122134</LocalCounter> + <LocalCounter worker="2">18122915</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>54898079</SumOfLocalCounter> + </LocalTicketLockWithLocalCounter> + <LocalTicketLockWithLocalCounter activeWorker="4"> + <LocalCounter worker="0">18565582</LocalCounter> + <LocalCounter worker="1">17190377</LocalCounter> + <LocalCounter worker="2">17191117</LocalCounter> + <LocalCounter worker="3">17190756</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>70137832</SumOfLocalCounter> + </LocalTicketLockWithLocalCounter> + <LocalTicketLockWithLocalCounter activeWorker="5"> + <LocalCounter worker="0">18665586</LocalCounter> + <LocalCounter worker="1">16212891</LocalCounter> + <LocalCounter worker="2">16213673</LocalCounter> + <LocalCounter worker="3">16081746</LocalCounter> + <LocalCounter worker="4">16081213</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>83255109</SumOfLocalCounter> + </LocalTicketLockWithLocalCounter> + <LocalTicketLockWithLocalCounter activeWorker="6"> + <LocalCounter worker="0">18578108</LocalCounter> + <LocalCounter worker="1">16296115</LocalCounter> + <LocalCounter worker="2">16296806</LocalCounter> + <LocalCounter worker="3">15747768</LocalCounter> + <LocalCounter worker="4">15747301</LocalCounter> + <LocalCounter worker="5">16956328</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>99622426</SumOfLocalCounter> + </LocalTicketLockWithLocalCounter> + <LocalTicketLockWithLocalCounter activeWorker="7"> + <LocalCounter worker="0">18678200</LocalCounter> + <LocalCounter worker="1">15992304</LocalCounter> + <LocalCounter worker="2">15993081</LocalCounter> + <LocalCounter worker="3">15841718</LocalCounter> + <LocalCounter worker="4">15841348</LocalCounter> + <LocalCounter worker="5">15959344</LocalCounter> + <LocalCounter worker="6">15960072</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>114266067</SumOfLocalCounter> + </LocalTicketLockWithLocalCounter> + <LocalTicketLockWithLocalCounter activeWorker="8"> + <LocalCounter worker="0">18589106</LocalCounter> + <LocalCounter worker="1">15875999</LocalCounter> + <LocalCounter worker="2">15876649</LocalCounter> + <LocalCounter worker="3">15818065</LocalCounter> + <LocalCounter worker="4">15815412</LocalCounter> + <LocalCounter worker="5">15846763</LocalCounter> + <LocalCounter worker="6">15847293</LocalCounter> + <LocalCounter worker="7">15916120</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>129585407</SumOfLocalCounter> + </LocalTicketLockWithLocalCounter> + <LocalTicketLockWithLocalCounter activeWorker="9"> + <LocalCounter worker="0">18689087</LocalCounter> + <LocalCounter worker="1">15546911</LocalCounter> + <LocalCounter worker="2">15547569</LocalCounter> + <LocalCounter worker="3">15455961</LocalCounter> + <LocalCounter worker="4">15455418</LocalCounter> + <LocalCounter worker="5">15496903</LocalCounter> + <LocalCounter worker="6">15497497</LocalCounter> + <LocalCounter worker="7">15447033</LocalCounter> + <LocalCounter worker="8">15446640</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>142583019</SumOfLocalCounter> + </LocalTicketLockWithLocalCounter> + <LocalTicketLockWithLocalCounter activeWorker="10"> + <LocalCounter worker="0">18601625</LocalCounter> + <LocalCounter worker="1">15394303</LocalCounter> + <LocalCounter worker="2">15394892</LocalCounter> + <LocalCounter worker="3">15291311</LocalCounter> + <LocalCounter worker="4">15290941</LocalCounter> + <LocalCounter worker="5">15381054</LocalCounter> + <LocalCounter worker="6">15381638</LocalCounter> + <LocalCounter worker="7">15323738</LocalCounter> + <LocalCounter worker="8">15323464</LocalCounter> + <LocalCounter worker="9">18600921</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>159983887</SumOfLocalCounter> + </LocalTicketLockWithLocalCounter> + <LocalTicketLockWithLocalCounter activeWorker="11"> + <LocalCounter worker="0">18700020</LocalCounter> + <LocalCounter worker="1">15533741</LocalCounter> + <LocalCounter worker="2">15534221</LocalCounter> + <LocalCounter worker="3">15404627</LocalCounter> + <LocalCounter worker="4">15404204</LocalCounter> + <LocalCounter worker="5">15487953</LocalCounter> + <LocalCounter worker="6">15488572</LocalCounter> + <LocalCounter worker="7">15400441</LocalCounter> + <LocalCounter worker="8">15399985</LocalCounter> + <LocalCounter worker="9">18154320</LocalCounter> + <LocalCounter worker="10">18155089</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>178663173</SumOfLocalCounter> + </LocalTicketLockWithLocalCounter> + <LocalTicketLockWithLocalCounter activeWorker="12"> + <LocalCounter worker="0">18610943</LocalCounter> + <LocalCounter worker="1">15473224</LocalCounter> + <LocalCounter worker="2">15473800</LocalCounter> + <LocalCounter worker="3">15368894</LocalCounter> + <LocalCounter worker="4">15368360</LocalCounter> + <LocalCounter worker="5">15480650</LocalCounter> + <LocalCounter worker="6">15481411</LocalCounter> + <LocalCounter worker="7">15336787</LocalCounter> + <LocalCounter worker="8">15336385</LocalCounter> + <LocalCounter worker="9">17196268</LocalCounter> + <LocalCounter worker="10">17197013</LocalCounter> + <LocalCounter worker="11">17196671</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>193520406</SumOfLocalCounter> + </LocalTicketLockWithLocalCounter> + <LocalTicketLockWithLocalCounter activeWorker="13"> + <LocalCounter worker="0">18709295</LocalCounter> + <LocalCounter worker="1">15557477</LocalCounter> + <LocalCounter worker="2">15558120</LocalCounter> + <LocalCounter worker="3">15469686</LocalCounter> + <LocalCounter worker="4">15469124</LocalCounter> + <LocalCounter worker="5">15504119</LocalCounter> + <LocalCounter worker="6">15504781</LocalCounter> + <LocalCounter worker="7">15472427</LocalCounter> + <LocalCounter worker="8">15472039</LocalCounter> + <LocalCounter worker="9">16307092</LocalCounter> + <LocalCounter worker="10">16307904</LocalCounter> + <LocalCounter worker="11">16131731</LocalCounter> + <LocalCounter worker="12">16131316</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>207595111</SumOfLocalCounter> + </LocalTicketLockWithLocalCounter> + <LocalTicketLockWithLocalCounter activeWorker="14"> + <LocalCounter worker="0">18620298</LocalCounter> + <LocalCounter worker="1">15450048</LocalCounter> + <LocalCounter worker="2">15450641</LocalCounter> + <LocalCounter worker="3">15348671</LocalCounter> + <LocalCounter worker="4">15348185</LocalCounter> + <LocalCounter worker="5">15447477</LocalCounter> + <LocalCounter worker="6">15448127</LocalCounter> + <LocalCounter worker="7">15373177</LocalCounter> + <LocalCounter worker="8">15372740</LocalCounter> + <LocalCounter worker="9">16256377</LocalCounter> + <LocalCounter worker="10">16257208</LocalCounter> + <LocalCounter worker="11">15596231</LocalCounter> + <LocalCounter worker="12">15595801</LocalCounter> + <LocalCounter worker="13">17067834</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>222632815</SumOfLocalCounter> + </LocalTicketLockWithLocalCounter> + <LocalTicketLockWithLocalCounter activeWorker="15"> + <LocalCounter worker="0">18718604</LocalCounter> + <LocalCounter worker="1">15566735</LocalCounter> + <LocalCounter worker="2">15567272</LocalCounter> + <LocalCounter worker="3">15480329</LocalCounter> + <LocalCounter worker="4">15479757</LocalCounter> + <LocalCounter worker="5">15546455</LocalCounter> + <LocalCounter worker="6">15547082</LocalCounter> + <LocalCounter worker="7">15465925</LocalCounter> + <LocalCounter worker="8">15465579</LocalCounter> + <LocalCounter worker="9">16056473</LocalCounter> + <LocalCounter worker="10">16057260</LocalCounter> + <LocalCounter worker="11">15873190</LocalCounter> + <LocalCounter worker="12">15872808</LocalCounter> + <LocalCounter worker="13">16031509</LocalCounter> + <LocalCounter worker="14">16032179</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>238761157</SumOfLocalCounter> + </LocalTicketLockWithLocalCounter> + <LocalTicketLockWithLocalCounter activeWorker="16"> + <LocalCounter worker="0">18629493</LocalCounter> + <LocalCounter worker="1">15433606</LocalCounter> + <LocalCounter worker="2">15434095</LocalCounter> + <LocalCounter worker="3">15364110</LocalCounter> + <LocalCounter worker="4">15363692</LocalCounter> + <LocalCounter worker="5">15423461</LocalCounter> + <LocalCounter worker="6">15424149</LocalCounter> + <LocalCounter worker="7">15354320</LocalCounter> + <LocalCounter worker="8">15353874</LocalCounter> + <LocalCounter worker="9">15878044</LocalCounter> + <LocalCounter worker="10">15878765</LocalCounter> + <LocalCounter worker="11">15833258</LocalCounter> + <LocalCounter worker="12">15832744</LocalCounter> + <LocalCounter worker="13">15862126</LocalCounter> + <LocalCounter worker="14">15862781</LocalCounter> + <LocalCounter worker="15">15931680</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>252860198</SumOfLocalCounter> + </LocalTicketLockWithLocalCounter> + <LocalTicketLockWithLocalCounter activeWorker="17"> + <LocalCounter worker="0">18727849</LocalCounter> + <LocalCounter worker="1">15496672</LocalCounter> + <LocalCounter worker="2">15497263</LocalCounter> + <LocalCounter worker="3">15410632</LocalCounter> + <LocalCounter worker="4">15410094</LocalCounter> + <LocalCounter worker="5">15474278</LocalCounter> + <LocalCounter worker="6">15474890</LocalCounter> + <LocalCounter worker="7">15414881</LocalCounter> + <LocalCounter worker="8">15414414</LocalCounter> + <LocalCounter worker="9">15540994</LocalCounter> + <LocalCounter worker="10">15541641</LocalCounter> + <LocalCounter worker="11">15473973</LocalCounter> + <LocalCounter worker="12">15473463</LocalCounter> + <LocalCounter worker="13">15532322</LocalCounter> + <LocalCounter worker="14">15532896</LocalCounter> + <LocalCounter worker="15">15445168</LocalCounter> + <LocalCounter worker="16">15444816</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>266306246</SumOfLocalCounter> + </LocalTicketLockWithLocalCounter> + <LocalTicketLockWithLocalCounter activeWorker="18"> + <LocalCounter worker="0">17928143</LocalCounter> + <LocalCounter worker="1">15385654</LocalCounter> + <LocalCounter worker="2">15386165</LocalCounter> + <LocalCounter worker="3">15317188</LocalCounter> + <LocalCounter worker="4">15316670</LocalCounter> + <LocalCounter worker="5">15362234</LocalCounter> + <LocalCounter worker="6">15362933</LocalCounter> + <LocalCounter worker="7">15274058</LocalCounter> + <LocalCounter worker="8">15273688</LocalCounter> + <LocalCounter worker="9">15520890</LocalCounter> + <LocalCounter worker="10">15521466</LocalCounter> + <LocalCounter worker="11">15415491</LocalCounter> + <LocalCounter worker="12">15414935</LocalCounter> + <LocalCounter worker="13">15485859</LocalCounter> + <LocalCounter worker="14">15486443</LocalCounter> + <LocalCounter worker="15">15398657</LocalCounter> + <LocalCounter worker="16">15398314</LocalCounter> + <LocalCounter worker="17">17927656</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>282176444</SumOfLocalCounter> + </LocalTicketLockWithLocalCounter> + <LocalTicketLockWithLocalCounter activeWorker="19"> + <LocalCounter worker="0">17613429</LocalCounter> + <LocalCounter worker="1">15606024</LocalCounter> + <LocalCounter worker="2">15606469</LocalCounter> + <LocalCounter worker="3">15506465</LocalCounter> + <LocalCounter worker="4">15505964</LocalCounter> + <LocalCounter worker="5">15570703</LocalCounter> + <LocalCounter worker="6">15571382</LocalCounter> + <LocalCounter worker="7">15514428</LocalCounter> + <LocalCounter worker="8">15514060</LocalCounter> + <LocalCounter worker="9">15578430</LocalCounter> + <LocalCounter worker="10">15578956</LocalCounter> + <LocalCounter worker="11">15476117</LocalCounter> + <LocalCounter worker="12">15475709</LocalCounter> + <LocalCounter worker="13">15518932</LocalCounter> + <LocalCounter worker="14">15519675</LocalCounter> + <LocalCounter worker="15">15469292</LocalCounter> + <LocalCounter worker="16">15468941</LocalCounter> + <LocalCounter worker="17">17612809</LocalCounter> + <LocalCounter worker="18">17613528</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>301321313</SumOfLocalCounter> + </LocalTicketLockWithLocalCounter> + <LocalTicketLockWithLocalCounter activeWorker="20"> + <LocalCounter worker="0">17132843</LocalCounter> + <LocalCounter worker="1">15467671</LocalCounter> + <LocalCounter worker="2">15468243</LocalCounter> + <LocalCounter worker="3">15355941</LocalCounter> + <LocalCounter worker="4">15355528</LocalCounter> + <LocalCounter worker="5">15430531</LocalCounter> + <LocalCounter worker="6">15431151</LocalCounter> + <LocalCounter worker="7">15388106</LocalCounter> + <LocalCounter worker="8">15387790</LocalCounter> + <LocalCounter worker="9">15532317</LocalCounter> + <LocalCounter worker="10">15532901</LocalCounter> + <LocalCounter worker="11">15419252</LocalCounter> + <LocalCounter worker="12">15418798</LocalCounter> + <LocalCounter worker="13">15488804</LocalCounter> + <LocalCounter worker="14">15489381</LocalCounter> + <LocalCounter worker="15">15448508</LocalCounter> + <LocalCounter worker="16">15448083</LocalCounter> + <LocalCounter worker="17">17110297</LocalCounter> + <LocalCounter worker="18">17110974</LocalCounter> + <LocalCounter worker="19">17132347</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>315549466</SumOfLocalCounter> + </LocalTicketLockWithLocalCounter> + <LocalTicketLockWithLocalCounter activeWorker="21"> + <LocalCounter worker="0">16916206</LocalCounter> + <LocalCounter worker="1">15348829</LocalCounter> + <LocalCounter worker="2">15349378</LocalCounter> + <LocalCounter worker="3">15301237</LocalCounter> + <LocalCounter worker="4">15300660</LocalCounter> + <LocalCounter worker="5">15352077</LocalCounter> + <LocalCounter worker="6">15352792</LocalCounter> + <LocalCounter worker="7">15295586</LocalCounter> + <LocalCounter worker="8">15295234</LocalCounter> + <LocalCounter worker="9">15406432</LocalCounter> + <LocalCounter worker="10">15407215</LocalCounter> + <LocalCounter worker="11">15288387</LocalCounter> + <LocalCounter worker="12">15287834</LocalCounter> + <LocalCounter worker="13">15387376</LocalCounter> + <LocalCounter worker="14">15388065</LocalCounter> + <LocalCounter worker="15">15288287</LocalCounter> + <LocalCounter worker="16">15287963</LocalCounter> + <LocalCounter worker="17">16326915</LocalCounter> + <LocalCounter worker="18">16327566</LocalCounter> + <LocalCounter worker="19">16106693</LocalCounter> + <LocalCounter worker="20">16106335</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>327121067</SumOfLocalCounter> + </LocalTicketLockWithLocalCounter> + <LocalTicketLockWithLocalCounter activeWorker="22"> + <LocalCounter worker="0">16836742</LocalCounter> + <LocalCounter worker="1">15449539</LocalCounter> + <LocalCounter worker="2">15450118</LocalCounter> + <LocalCounter worker="3">15316318</LocalCounter> + <LocalCounter worker="4">15315967</LocalCounter> + <LocalCounter worker="5">15414143</LocalCounter> + <LocalCounter worker="6">15414873</LocalCounter> + <LocalCounter worker="7">15315456</LocalCounter> + <LocalCounter worker="8">15315048</LocalCounter> + <LocalCounter worker="9">15419186</LocalCounter> + <LocalCounter worker="10">15419737</LocalCounter> + <LocalCounter worker="11">15374010</LocalCounter> + <LocalCounter worker="12">15373492</LocalCounter> + <LocalCounter worker="13">15396609</LocalCounter> + <LocalCounter worker="14">15397385</LocalCounter> + <LocalCounter worker="15">15336581</LocalCounter> + <LocalCounter worker="16">15336218</LocalCounter> + <LocalCounter worker="17">16132164</LocalCounter> + <LocalCounter worker="18">16132817</LocalCounter> + <LocalCounter worker="19">15836470</LocalCounter> + <LocalCounter worker="20">15835949</LocalCounter> + <LocalCounter worker="21">16836521</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>343655343</SumOfLocalCounter> + </LocalTicketLockWithLocalCounter> + <LocalTicketLockWithLocalCounter activeWorker="23"> + <LocalCounter worker="0">16291232</LocalCounter> + <LocalCounter worker="1">15428041</LocalCounter> + <LocalCounter worker="2">15428655</LocalCounter> + <LocalCounter worker="3">15361817</LocalCounter> + <LocalCounter worker="4">15361312</LocalCounter> + <LocalCounter worker="5">15423987</LocalCounter> + <LocalCounter worker="6">15424704</LocalCounter> + <LocalCounter worker="7">15320451</LocalCounter> + <LocalCounter worker="8">15320015</LocalCounter> + <LocalCounter worker="9">15335989</LocalCounter> + <LocalCounter worker="10">15336602</LocalCounter> + <LocalCounter worker="11">15238353</LocalCounter> + <LocalCounter worker="12">15237888</LocalCounter> + <LocalCounter worker="13">15288964</LocalCounter> + <LocalCounter worker="14">15289713</LocalCounter> + <LocalCounter worker="15">15247179</LocalCounter> + <LocalCounter worker="16">15246800</LocalCounter> + <LocalCounter worker="17">15845200</LocalCounter> + <LocalCounter worker="18">15845834</LocalCounter> + <LocalCounter worker="19">15532883</LocalCounter> + <LocalCounter worker="20">15532415</LocalCounter> + <LocalCounter worker="21">15837390</LocalCounter> + <LocalCounter worker="22">15838022</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>356013446</SumOfLocalCounter> + </LocalTicketLockWithLocalCounter> + <LocalTicketLockWithLocalCounter activeWorker="24"> + <LocalCounter worker="0">15397914</LocalCounter> + <LocalCounter worker="1">15566890</LocalCounter> + <LocalCounter worker="2">15567438</LocalCounter> + <LocalCounter worker="3">15477547</LocalCounter> + <LocalCounter worker="4">15477033</LocalCounter> + <LocalCounter worker="5">15534538</LocalCounter> + <LocalCounter worker="6">15535180</LocalCounter> + <LocalCounter worker="7">15491695</LocalCounter> + <LocalCounter worker="8">15491372</LocalCounter> + <LocalCounter worker="9">15542761</LocalCounter> + <LocalCounter worker="10">15543394</LocalCounter> + <LocalCounter worker="11">15406366</LocalCounter> + <LocalCounter worker="12">15405826</LocalCounter> + <LocalCounter worker="13">15490798</LocalCounter> + <LocalCounter worker="14">15491494</LocalCounter> + <LocalCounter worker="15">15357829</LocalCounter> + <LocalCounter worker="16">15357479</LocalCounter> + <LocalCounter worker="17">15492383</LocalCounter> + <LocalCounter worker="18">15493044</LocalCounter> + <LocalCounter worker="19">15370471</LocalCounter> + <LocalCounter worker="20">15369857</LocalCounter> + <LocalCounter worker="21">15493139</LocalCounter> + <LocalCounter worker="22">15493629</LocalCounter> + <LocalCounter worker="23">15396639</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>371244716</SumOfLocalCounter> + </LocalTicketLockWithLocalCounter> + <LocalMCSLockWithLocalCounter activeWorker="1"> + <LocalCounter worker="0">12082959</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>12082959</SumOfLocalCounter> + </LocalMCSLockWithLocalCounter> + <LocalMCSLockWithLocalCounter activeWorker="2"> + <LocalCounter worker="0">12073288</LocalCounter> + <LocalCounter worker="1">12072981</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>24146269</SumOfLocalCounter> + </LocalMCSLockWithLocalCounter> + <LocalMCSLockWithLocalCounter activeWorker="3"> + <LocalCounter worker="0">12138406</LocalCounter> + <LocalCounter worker="1">11387467</LocalCounter> + <LocalCounter worker="2">11387966</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>34913839</SumOfLocalCounter> + </LocalMCSLockWithLocalCounter> + <LocalMCSLockWithLocalCounter activeWorker="4"> + <LocalCounter worker="0">12081451</LocalCounter> + <LocalCounter worker="1">10664115</LocalCounter> + <LocalCounter worker="2">10664607</LocalCounter> + <LocalCounter worker="3">12243261</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>45653434</SumOfLocalCounter> + </LocalMCSLockWithLocalCounter> + <LocalMCSLockWithLocalCounter activeWorker="5"> + <LocalCounter worker="0">12146609</LocalCounter> + <LocalCounter worker="1">10837665</LocalCounter> + <LocalCounter worker="2">10838107</LocalCounter> + <LocalCounter worker="3">11075941</LocalCounter> + <LocalCounter worker="4">10837795</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>55736117</SumOfLocalCounter> + </LocalMCSLockWithLocalCounter> + <LocalMCSLockWithLocalCounter activeWorker="6"> + <LocalCounter worker="0">12089675</LocalCounter> + <LocalCounter worker="1">10559924</LocalCounter> + <LocalCounter worker="2">10560425</LocalCounter> + <LocalCounter worker="3">10776034</LocalCounter> + <LocalCounter worker="4">10525391</LocalCounter> + <LocalCounter worker="5">10774845</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>65286294</SumOfLocalCounter> + </LocalMCSLockWithLocalCounter> + <LocalMCSLockWithLocalCounter activeWorker="7"> + <LocalCounter worker="0">12154687</LocalCounter> + <LocalCounter worker="1">10116784</LocalCounter> + <LocalCounter worker="2">10117227</LocalCounter> + <LocalCounter worker="3">10572633</LocalCounter> + <LocalCounter worker="4">10106234</LocalCounter> + <LocalCounter worker="5">10107965</LocalCounter> + <LocalCounter worker="6">10108427</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>73283957</SumOfLocalCounter> + </LocalMCSLockWithLocalCounter> + <LocalMCSLockWithLocalCounter activeWorker="8"> + <LocalCounter worker="0">12097857</LocalCounter> + <LocalCounter worker="1">9685901</LocalCounter> + <LocalCounter worker="2">9686270</LocalCounter> + <LocalCounter worker="3">10157156</LocalCounter> + <LocalCounter worker="4">9521302</LocalCounter> + <LocalCounter worker="5">9656650</LocalCounter> + <LocalCounter worker="6">9657039</LocalCounter> + <LocalCounter worker="7">11582770</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>82044945</SumOfLocalCounter> + </LocalMCSLockWithLocalCounter> + <LocalMCSLockWithLocalCounter activeWorker="9"> + <LocalCounter worker="0">12168151</LocalCounter> + <LocalCounter worker="1">9531826</LocalCounter> + <LocalCounter worker="2">9532173</LocalCounter> + <LocalCounter worker="3">9548152</LocalCounter> + <LocalCounter worker="4">9528324</LocalCounter> + <LocalCounter worker="5">9524184</LocalCounter> + <LocalCounter worker="6">9524626</LocalCounter> + <LocalCounter worker="7">9552042</LocalCounter> + <LocalCounter worker="8">9531793</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>88441271</SumOfLocalCounter> + </LocalMCSLockWithLocalCounter> + <LocalMCSLockWithLocalCounter activeWorker="10"> + <LocalCounter worker="0">12114395</LocalCounter> + <LocalCounter worker="1">9496439</LocalCounter> + <LocalCounter worker="2">9496720</LocalCounter> + <LocalCounter worker="3">9518493</LocalCounter> + <LocalCounter worker="4">9502427</LocalCounter> + <LocalCounter worker="5">9494644</LocalCounter> + <LocalCounter worker="6">9495062</LocalCounter> + <LocalCounter worker="7">9519993</LocalCounter> + <LocalCounter worker="8">9499030</LocalCounter> + <LocalCounter worker="9">12114111</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>100251314</SumOfLocalCounter> + </LocalMCSLockWithLocalCounter> + <LocalMCSLockWithLocalCounter activeWorker="11"> + <LocalCounter worker="0">12177360</LocalCounter> + <LocalCounter worker="1">9564657</LocalCounter> + <LocalCounter worker="2">9564923</LocalCounter> + <LocalCounter worker="3">9581460</LocalCounter> + <LocalCounter worker="4">9566647</LocalCounter> + <LocalCounter worker="5">9562022</LocalCounter> + <LocalCounter worker="6">9562428</LocalCounter> + <LocalCounter worker="7">9582352</LocalCounter> + <LocalCounter worker="8">9568441</LocalCounter> + <LocalCounter worker="9">11402504</LocalCounter> + <LocalCounter worker="10">11402957</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>111535751</SumOfLocalCounter> + </LocalMCSLockWithLocalCounter> + <LocalMCSLockWithLocalCounter activeWorker="12"> + <LocalCounter worker="0">12119476</LocalCounter> + <LocalCounter worker="1">9491442</LocalCounter> + <LocalCounter worker="2">9491786</LocalCounter> + <LocalCounter worker="3">9531107</LocalCounter> + <LocalCounter worker="4">9493390</LocalCounter> + <LocalCounter worker="5">9489365</LocalCounter> + <LocalCounter worker="6">9489758</LocalCounter> + <LocalCounter worker="7">9534422</LocalCounter> + <LocalCounter worker="8">9499933</LocalCounter> + <LocalCounter worker="9">10732309</LocalCounter> + <LocalCounter worker="10">10732783</LocalCounter> + <LocalCounter worker="11">12318345</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>121924116</SumOfLocalCounter> + </LocalMCSLockWithLocalCounter> + <LocalMCSLockWithLocalCounter activeWorker="13"> + <LocalCounter worker="0">12183361</LocalCounter> + <LocalCounter worker="1">9565165</LocalCounter> + <LocalCounter worker="2">9565455</LocalCounter> + <LocalCounter worker="3">9582604</LocalCounter> + <LocalCounter worker="4">9568538</LocalCounter> + <LocalCounter worker="5">9567760</LocalCounter> + <LocalCounter worker="6">9568161</LocalCounter> + <LocalCounter worker="7">9591184</LocalCounter> + <LocalCounter worker="8">9569765</LocalCounter> + <LocalCounter worker="9">10815689</LocalCounter> + <LocalCounter worker="10">10816130</LocalCounter> + <LocalCounter worker="11">11127405</LocalCounter> + <LocalCounter worker="12">10815691</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>132336908</SumOfLocalCounter> + </LocalMCSLockWithLocalCounter> + <LocalMCSLockWithLocalCounter activeWorker="14"> + <LocalCounter worker="0">12125462</LocalCounter> + <LocalCounter worker="1">9524915</LocalCounter> + <LocalCounter worker="2">9525201</LocalCounter> + <LocalCounter worker="3">9553382</LocalCounter> + <LocalCounter worker="4">9529788</LocalCounter> + <LocalCounter worker="5">9528364</LocalCounter> + <LocalCounter worker="6">9528814</LocalCounter> + <LocalCounter worker="7">9565861</LocalCounter> + <LocalCounter worker="8">9534294</LocalCounter> + <LocalCounter worker="9">10579374</LocalCounter> + <LocalCounter worker="10">10579805</LocalCounter> + <LocalCounter worker="11">10804186</LocalCounter> + <LocalCounter worker="12">10559267</LocalCounter> + <LocalCounter worker="13">10803938</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>141742651</SumOfLocalCounter> + </LocalMCSLockWithLocalCounter> + <LocalMCSLockWithLocalCounter activeWorker="15"> + <LocalCounter worker="0">12189465</LocalCounter> + <LocalCounter worker="1">9573943</LocalCounter> + <LocalCounter worker="2">9574374</LocalCounter> + <LocalCounter worker="3">9587321</LocalCounter> + <LocalCounter worker="4">9575449</LocalCounter> + <LocalCounter worker="5">9574838</LocalCounter> + <LocalCounter worker="6">9575216</LocalCounter> + <LocalCounter worker="7">9592097</LocalCounter> + <LocalCounter worker="8">9576771</LocalCounter> + <LocalCounter worker="9">10155658</LocalCounter> + <LocalCounter worker="10">10156093</LocalCounter> + <LocalCounter worker="11">10485978</LocalCounter> + <LocalCounter worker="12">10147342</LocalCounter> + <LocalCounter worker="13">10152197</LocalCounter> + <LocalCounter worker="14">10152655</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>150069397</SumOfLocalCounter> + </LocalMCSLockWithLocalCounter> + <LocalMCSLockWithLocalCounter activeWorker="16"> + <LocalCounter worker="0">12131505</LocalCounter> + <LocalCounter worker="1">9528313</LocalCounter> + <LocalCounter worker="2">9528627</LocalCounter> + <LocalCounter worker="3">9555655</LocalCounter> + <LocalCounter worker="4">9533873</LocalCounter> + <LocalCounter worker="5">9528420</LocalCounter> + <LocalCounter worker="6">9528806</LocalCounter> + <LocalCounter worker="7">9562116</LocalCounter> + <LocalCounter worker="8">9535204</LocalCounter> + <LocalCounter worker="9">9703506</LocalCounter> + <LocalCounter worker="10">9703941</LocalCounter> + <LocalCounter worker="11">10182457</LocalCounter> + <LocalCounter worker="12">9558198</LocalCounter> + <LocalCounter worker="13">9675351</LocalCounter> + <LocalCounter worker="14">9675784</LocalCounter> + <LocalCounter worker="15">11641089</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>158572845</SumOfLocalCounter> + </LocalMCSLockWithLocalCounter> + <LocalMCSLockWithLocalCounter activeWorker="17"> + <LocalCounter worker="0">12078841</LocalCounter> + <LocalCounter worker="1">9483353</LocalCounter> + <LocalCounter worker="2">9483735</LocalCounter> + <LocalCounter worker="3">9515396</LocalCounter> + <LocalCounter worker="4">9490017</LocalCounter> + <LocalCounter worker="5">9484411</LocalCounter> + <LocalCounter worker="6">9484807</LocalCounter> + <LocalCounter worker="7">9529365</LocalCounter> + <LocalCounter worker="8">9491485</LocalCounter> + <LocalCounter worker="9">9450709</LocalCounter> + <LocalCounter worker="10">9451029</LocalCounter> + <LocalCounter worker="11">9486607</LocalCounter> + <LocalCounter worker="12">9462696</LocalCounter> + <LocalCounter worker="13">9452474</LocalCounter> + <LocalCounter worker="14">9452839</LocalCounter> + <LocalCounter worker="15">9492193</LocalCounter> + <LocalCounter worker="16">9462094</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>163752051</SumOfLocalCounter> + </LocalMCSLockWithLocalCounter> + <LocalMCSLockWithLocalCounter activeWorker="18"> + <LocalCounter worker="0">11636388</LocalCounter> + <LocalCounter worker="1">9519555</LocalCounter> + <LocalCounter worker="2">9519856</LocalCounter> + <LocalCounter worker="3">9543401</LocalCounter> + <LocalCounter worker="4">9522497</LocalCounter> + <LocalCounter worker="5">9518968</LocalCounter> + <LocalCounter worker="6">9519332</LocalCounter> + <LocalCounter worker="7">9549730</LocalCounter> + <LocalCounter worker="8">9523584</LocalCounter> + <LocalCounter worker="9">9486041</LocalCounter> + <LocalCounter worker="10">9486390</LocalCounter> + <LocalCounter worker="11">9516448</LocalCounter> + <LocalCounter worker="12">9489905</LocalCounter> + <LocalCounter worker="13">9486483</LocalCounter> + <LocalCounter worker="14">9486864</LocalCounter> + <LocalCounter worker="15">9521185</LocalCounter> + <LocalCounter worker="16">9495104</LocalCounter> + <LocalCounter worker="17">11636084</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>175457815</SumOfLocalCounter> + </LocalMCSLockWithLocalCounter> + <LocalMCSLockWithLocalCounter activeWorker="19"> + <LocalCounter worker="0">11238520</LocalCounter> + <LocalCounter worker="1">9474877</LocalCounter> + <LocalCounter worker="2">9475285</LocalCounter> + <LocalCounter worker="3">9490895</LocalCounter> + <LocalCounter worker="4">9476567</LocalCounter> + <LocalCounter worker="5">9473480</LocalCounter> + <LocalCounter worker="6">9473849</LocalCounter> + <LocalCounter worker="7">9492630</LocalCounter> + <LocalCounter worker="8">9477676</LocalCounter> + <LocalCounter worker="9">9473855</LocalCounter> + <LocalCounter worker="10">9474244</LocalCounter> + <LocalCounter worker="11">9495034</LocalCounter> + <LocalCounter worker="12">9474186</LocalCounter> + <LocalCounter worker="13">9467731</LocalCounter> + <LocalCounter worker="14">9468228</LocalCounter> + <LocalCounter worker="15">9497539</LocalCounter> + <LocalCounter worker="16">9479597</LocalCounter> + <LocalCounter worker="17">11238069</LocalCounter> + <LocalCounter worker="18">11238469</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>185380731</SumOfLocalCounter> + </LocalMCSLockWithLocalCounter> + <LocalMCSLockWithLocalCounter activeWorker="20"> + <LocalCounter worker="0">11107013</LocalCounter> + <LocalCounter worker="1">9521584</LocalCounter> + <LocalCounter worker="2">9521960</LocalCounter> + <LocalCounter worker="3">9564977</LocalCounter> + <LocalCounter worker="4">9532128</LocalCounter> + <LocalCounter worker="5">9522954</LocalCounter> + <LocalCounter worker="6">9523296</LocalCounter> + <LocalCounter worker="7">9575090</LocalCounter> + <LocalCounter worker="8">9536475</LocalCounter> + <LocalCounter worker="9">9516989</LocalCounter> + <LocalCounter worker="10">9517312</LocalCounter> + <LocalCounter worker="11">9561659</LocalCounter> + <LocalCounter worker="12">9523097</LocalCounter> + <LocalCounter worker="13">9520017</LocalCounter> + <LocalCounter worker="14">9520401</LocalCounter> + <LocalCounter worker="15">9572744</LocalCounter> + <LocalCounter worker="16">9526636</LocalCounter> + <LocalCounter worker="17">10512248</LocalCounter> + <LocalCounter worker="18">10512713</LocalCounter> + <LocalCounter worker="19">12209345</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>196898638</SumOfLocalCounter> + </LocalMCSLockWithLocalCounter> + <LocalMCSLockWithLocalCounter activeWorker="21"> + <LocalCounter worker="0">10752935</LocalCounter> + <LocalCounter worker="1">9493202</LocalCounter> + <LocalCounter worker="2">9493496</LocalCounter> + <LocalCounter worker="3">9530851</LocalCounter> + <LocalCounter worker="4">9496285</LocalCounter> + <LocalCounter worker="5">9492053</LocalCounter> + <LocalCounter worker="6">9492366</LocalCounter> + <LocalCounter worker="7">9540724</LocalCounter> + <LocalCounter worker="8">9502382</LocalCounter> + <LocalCounter worker="9">9500543</LocalCounter> + <LocalCounter worker="10">9500935</LocalCounter> + <LocalCounter worker="11">9530543</LocalCounter> + <LocalCounter worker="12">9499016</LocalCounter> + <LocalCounter worker="13">9491779</LocalCounter> + <LocalCounter worker="14">9492142</LocalCounter> + <LocalCounter worker="15">9534216</LocalCounter> + <LocalCounter worker="16">9503606</LocalCounter> + <LocalCounter worker="17">10658376</LocalCounter> + <LocalCounter worker="18">10658781</LocalCounter> + <LocalCounter worker="19">10767856</LocalCounter> + <LocalCounter worker="20">10647666</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>205579753</SumOfLocalCounter> + </LocalMCSLockWithLocalCounter> + <LocalMCSLockWithLocalCounter activeWorker="22"> + <LocalCounter worker="0">10562721</LocalCounter> + <LocalCounter worker="1">9513544</LocalCounter> + <LocalCounter worker="2">9513904</LocalCounter> + <LocalCounter worker="3">9546975</LocalCounter> + <LocalCounter worker="4">9519487</LocalCounter> + <LocalCounter worker="5">9513233</LocalCounter> + <LocalCounter worker="6">9513599</LocalCounter> + <LocalCounter worker="7">9552592</LocalCounter> + <LocalCounter worker="8">9521671</LocalCounter> + <LocalCounter worker="9">9521235</LocalCounter> + <LocalCounter worker="10">9521661</LocalCounter> + <LocalCounter worker="11">9586145</LocalCounter> + <LocalCounter worker="12">9516100</LocalCounter> + <LocalCounter worker="13">9497783</LocalCounter> + <LocalCounter worker="14">9498107</LocalCounter> + <LocalCounter worker="15">9600924</LocalCounter> + <LocalCounter worker="16">9524532</LocalCounter> + <LocalCounter worker="17">10418128</LocalCounter> + <LocalCounter worker="18">10418533</LocalCounter> + <LocalCounter worker="19">10557157</LocalCounter> + <LocalCounter worker="20">10398032</LocalCounter> + <LocalCounter worker="21">10562124</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>215378187</SumOfLocalCounter> + </LocalMCSLockWithLocalCounter> + <LocalMCSLockWithLocalCounter activeWorker="23"> + <LocalCounter worker="0">10020531</LocalCounter> + <LocalCounter worker="1">9499389</LocalCounter> + <LocalCounter worker="2">9499749</LocalCounter> + <LocalCounter worker="3">9539918</LocalCounter> + <LocalCounter worker="4">9501002</LocalCounter> + <LocalCounter worker="5">9499387</LocalCounter> + <LocalCounter worker="6">9499718</LocalCounter> + <LocalCounter worker="7">9549295</LocalCounter> + <LocalCounter worker="8">9505903</LocalCounter> + <LocalCounter worker="9">9469095</LocalCounter> + <LocalCounter worker="10">9469462</LocalCounter> + <LocalCounter worker="11">9526032</LocalCounter> + <LocalCounter worker="12">9488043</LocalCounter> + <LocalCounter worker="13">9482123</LocalCounter> + <LocalCounter worker="14">9482578</LocalCounter> + <LocalCounter worker="15">9551048</LocalCounter> + <LocalCounter worker="16">9492329</LocalCounter> + <LocalCounter worker="17">9974833</LocalCounter> + <LocalCounter worker="18">9975234</LocalCounter> + <LocalCounter worker="19">10011108</LocalCounter> + <LocalCounter worker="20">9968749</LocalCounter> + <LocalCounter worker="21">9967105</LocalCounter> + <LocalCounter worker="22">9967536</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>221940167</SumOfLocalCounter> + </LocalMCSLockWithLocalCounter> + <LocalMCSLockWithLocalCounter activeWorker="24"> + <LocalCounter worker="0">9565647</LocalCounter> + <LocalCounter worker="1">9559731</LocalCounter> + <LocalCounter worker="2">9560104</LocalCounter> + <LocalCounter worker="3">9570849</LocalCounter> + <LocalCounter worker="4">9561554</LocalCounter> + <LocalCounter worker="5">9558504</LocalCounter> + <LocalCounter worker="6">9558927</LocalCounter> + <LocalCounter worker="7">9572162</LocalCounter> + <LocalCounter worker="8">9562182</LocalCounter> + <LocalCounter worker="9">9552179</LocalCounter> + <LocalCounter worker="10">9552550</LocalCounter> + <LocalCounter worker="11">9564991</LocalCounter> + <LocalCounter worker="12">9553751</LocalCounter> + <LocalCounter worker="13">9550482</LocalCounter> + <LocalCounter worker="14">9550928</LocalCounter> + <LocalCounter worker="15">9570603</LocalCounter> + <LocalCounter worker="16">9554636</LocalCounter> + <LocalCounter worker="17">9557198</LocalCounter> + <LocalCounter worker="18">9557558</LocalCounter> + <LocalCounter worker="19">9582834</LocalCounter> + <LocalCounter worker="20">9559094</LocalCounter> + <LocalCounter worker="21">9550291</LocalCounter> + <LocalCounter worker="22">9550671</LocalCounter> + <LocalCounter worker="23">9584758</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>229462184</SumOfLocalCounter> + </LocalMCSLockWithLocalCounter> + <LocalTicketLockWithGlobalCounter activeWorker="24"> + <LocalCounter worker="0">919628</LocalCounter> + <LocalCounter worker="1">915976</LocalCounter> + <LocalCounter worker="2">916014</LocalCounter> + <LocalCounter worker="3">915977</LocalCounter> + <LocalCounter worker="4">915974</LocalCounter> + <LocalCounter worker="5">915968</LocalCounter> + <LocalCounter worker="6">916000</LocalCounter> + <LocalCounter worker="7">915967</LocalCounter> + <LocalCounter worker="8">915980</LocalCounter> + <LocalCounter worker="9">919377</LocalCounter> + <LocalCounter worker="10">919362</LocalCounter> + <LocalCounter worker="11">919368</LocalCounter> + <LocalCounter worker="12">919387</LocalCounter> + <LocalCounter worker="13">919349</LocalCounter> + <LocalCounter worker="14">919362</LocalCounter> + <LocalCounter worker="15">919383</LocalCounter> + <LocalCounter worker="16">919360</LocalCounter> + <LocalCounter worker="17">919503</LocalCounter> + <LocalCounter worker="18">919547</LocalCounter> + <LocalCounter worker="19">919538</LocalCounter> + <LocalCounter worker="20">919531</LocalCounter> + <LocalCounter worker="21">919522</LocalCounter> + <LocalCounter worker="22">919527</LocalCounter> + <LocalCounter worker="23">919283</LocalCounter> + <GlobalCounter>2095665</GlobalCounter> + <SumOfLocalCounter>22038883</SumOfLocalCounter> + </LocalTicketLockWithGlobalCounter> + <LocalMCSLockWithGlobalCounter activeWorker="24"> + <LocalCounter worker="0">862472</LocalCounter> + <LocalCounter worker="1">883424</LocalCounter> + <LocalCounter worker="2">883458</LocalCounter> + <LocalCounter worker="3">963897</LocalCounter> + <LocalCounter worker="4">862708</LocalCounter> + <LocalCounter worker="5">883272</LocalCounter> + <LocalCounter worker="6">883301</LocalCounter> + <LocalCounter worker="7">963959</LocalCounter> + <LocalCounter worker="8">862582</LocalCounter> + <LocalCounter worker="9">892427</LocalCounter> + <LocalCounter worker="10">892442</LocalCounter> + <LocalCounter worker="11">967350</LocalCounter> + <LocalCounter worker="12">865089</LocalCounter> + <LocalCounter worker="13">886256</LocalCounter> + <LocalCounter worker="14">886273</LocalCounter> + <LocalCounter worker="15">970013</LocalCounter> + <LocalCounter worker="16">867177</LocalCounter> + <LocalCounter worker="17">883852</LocalCounter> + <LocalCounter worker="18">883865</LocalCounter> + <LocalCounter worker="19">963960</LocalCounter> + <LocalCounter worker="20">862399</LocalCounter> + <LocalCounter worker="21">883581</LocalCounter> + <LocalCounter worker="22">883619</LocalCounter> + <LocalCounter worker="23">963271</LocalCounter> + <GlobalCounter>1751273</GlobalCounter> + <SumOfLocalCounter>21600647</SumOfLocalCounter> + </LocalMCSLockWithGlobalCounter> + <GlobalTicketLockWithBusySection activeWorker="24"> + <LocalCounter worker="0">122982</LocalCounter> + <LocalCounter worker="1">122980</LocalCounter> + <LocalCounter worker="2">122980</LocalCounter> + <LocalCounter worker="3">122981</LocalCounter> + <LocalCounter worker="4">122980</LocalCounter> + <LocalCounter worker="5">122981</LocalCounter> + <LocalCounter worker="6">122980</LocalCounter> + <LocalCounter worker="7">122981</LocalCounter> + <LocalCounter worker="8">122982</LocalCounter> + <LocalCounter worker="9">122980</LocalCounter> + <LocalCounter worker="10">122981</LocalCounter> + <LocalCounter worker="11">122980</LocalCounter> + <LocalCounter worker="12">122980</LocalCounter> + <LocalCounter worker="13">122980</LocalCounter> + <LocalCounter worker="14">122980</LocalCounter> + <LocalCounter worker="15">122981</LocalCounter> + <LocalCounter worker="16">122980</LocalCounter> + <LocalCounter worker="17">122980</LocalCounter> + <LocalCounter worker="18">122980</LocalCounter> + <LocalCounter worker="19">122981</LocalCounter> + <LocalCounter worker="20">122980</LocalCounter> + <LocalCounter worker="21">122980</LocalCounter> + <LocalCounter worker="22">122980</LocalCounter> + <LocalCounter worker="23">122980</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>2951530</SumOfLocalCounter> + </GlobalTicketLockWithBusySection> + <GlobalMCSLockWithBusySection activeWorker="24"> + <LocalCounter worker="0">111505</LocalCounter> + <LocalCounter worker="1">111504</LocalCounter> + <LocalCounter worker="2">111504</LocalCounter> + <LocalCounter worker="3">111504</LocalCounter> + <LocalCounter worker="4">111504</LocalCounter> + <LocalCounter worker="5">111504</LocalCounter> + <LocalCounter worker="6">111505</LocalCounter> + <LocalCounter worker="7">111504</LocalCounter> + <LocalCounter worker="8">111505</LocalCounter> + <LocalCounter worker="9">111503</LocalCounter> + <LocalCounter worker="10">111505</LocalCounter> + <LocalCounter worker="11">111504</LocalCounter> + <LocalCounter worker="12">111505</LocalCounter> + <LocalCounter worker="13">111504</LocalCounter> + <LocalCounter worker="14">111505</LocalCounter> + <LocalCounter worker="15">111504</LocalCounter> + <LocalCounter worker="16">111504</LocalCounter> + <LocalCounter worker="17">111505</LocalCounter> + <LocalCounter worker="18">111505</LocalCounter> + <LocalCounter worker="19">111504</LocalCounter> + <LocalCounter worker="20">111504</LocalCounter> + <LocalCounter worker="21">111504</LocalCounter> + <LocalCounter worker="22">111504</LocalCounter> + <LocalCounter worker="23">111505</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>2676104</SumOfLocalCounter> + </GlobalMCSLockWithBusySection> + <SequenceLock activeWorker="24"> + <LocalCounter worker="0">2440262</LocalCounter> + <LocalCounter worker="1">707</LocalCounter> + <LocalCounter worker="2">735</LocalCounter> + <LocalCounter worker="3">740</LocalCounter> + <LocalCounter worker="4">792</LocalCounter> + <LocalCounter worker="5">772</LocalCounter> + <LocalCounter worker="6">772</LocalCounter> + <LocalCounter worker="7">800</LocalCounter> + <LocalCounter worker="8">752</LocalCounter> + <LocalCounter worker="9">692</LocalCounter> + <LocalCounter worker="10">684</LocalCounter> + <LocalCounter worker="11">678</LocalCounter> + <LocalCounter worker="12">695</LocalCounter> + <LocalCounter worker="13">690</LocalCounter> + <LocalCounter worker="14">692</LocalCounter> + <LocalCounter worker="15">750</LocalCounter> + <LocalCounter worker="16">734</LocalCounter> + <LocalCounter worker="17">38</LocalCounter> + <LocalCounter worker="18">12</LocalCounter> + <LocalCounter worker="19">3</LocalCounter> + <LocalCounter worker="20">12</LocalCounter> + <LocalCounter worker="21">21</LocalCounter> + <LocalCounter worker="22">4</LocalCounter> + <LocalCounter worker="23">1</LocalCounter> + <GlobalCounter>0</GlobalCounter> + <SumOfLocalCounter>2452038</SumOfLocalCounter> + </SequenceLock> +</SMPLock01> *** END OF TEST SMPLOCK 1 *** |