options

OpenMP Regions - 2x96 - node gmz16.benchmarkcenter.megware.com - process 11638

▼Colums Filter

function name source location level Type req. par. walltime SUM/I (s) walltime MIN/I (s) walltime MAX/I (s) nb instances sync time SUM/IT (s) sync time SUM/I_MIN/T (s) sync time SUM/I_MAX/T (s) sync time SUM/T_MIN/SI (s) sync time SUM/T_MAX/SI (s) wait time SUM/IT (s) wait time SUM/I_MIN/T (s) wait time SUM/I_MAX/T (s) wait time SUM/T_MIN/SI (s) wait time SUM/T_MAX/SI (s) work time SUM/IT (s) work time SUM/I_MIN/T (s) work time SUM/I_MAX/T (s) work time SUM/T_MIN/SI (s) work time SUM/T_MAX/SI (s) parallelism overhead (%)
start addrfunction namesource locationlevelTypereq. par.walltime SUM/I (s)walltime MIN/I (s)walltime MAX/I (s)nb instancessync time SUM/IT (s)sync time SUM/I_MIN/T (s)sync time SUM/I_MAX/T (s)sync time SUM/T_MIN/SI (s)sync time SUM/T_MAX/SI (s)wait time SUM/IT (s)wait time SUM/I_MIN/T (s)wait time SUM/I_MAX/T (s)wait time SUM/T_MIN/SI (s)wait time SUM/T_MAX/SI (s)work time SUM/IT (s)work time SUM/I_MIN/T (s)work time SUM/I_MAX/T (s)work time SUM/T_MIN/SI (s)work time SUM/T_MAX/SI (s)parallelism overhead (%)
►libkripke.so:0x50818+Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:1160Parallel region invoked by the runtime962.94610.7 E-368.5 E-316066.2310.2261.6500.1591.85866.2300.2261.6500.1591.8580000023.416
►synchronization regions+
►libkripke.so:0x50818+Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:1160barrier_implicit1536066.2310.2261.6500.1591.85866.2300.2261.6500.1591.858
○Thread 0.0Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.1471.147
○Thread 0.1Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.1411.141
○Thread 0.2Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.1361.136
○Thread 0.3Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.3351.335
○Thread 0.4Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.1171.117
○Thread 0.5Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.1181.118
○Thread 0.6Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.1181.118
○Thread 0.7Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.1461.146
○Thread 0.8Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.4981.498
○Thread 0.9Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.4981.498
○Thread 0.10Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.4841.484
○Thread 0.11Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.6501.650
○Thread 0.12Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.4731.473
○Thread 0.13Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.4731.473
○Thread 0.14Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.4691.469
○Thread 0.15Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.4841.484
○Thread 0.16Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.1771.177
○Thread 0.17Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.1671.167
○Thread 0.18Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.1581.158
○Thread 0.19Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.3461.346
○Thread 0.20Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.1361.136
○Thread 0.21Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.1371.137
○Thread 0.22Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.1301.130
○Thread 0.23Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.1591.159
○Thread 0.24Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2730.273
○Thread 0.25Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2440.244
○Thread 0.26Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2330.233
○Thread 0.27Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2740.274
○Thread 0.28Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2340.234
○Thread 0.29Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2370.237
○Thread 0.30Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2260.226
○Thread 0.31Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2550.255
○Thread 0.32Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3150.315
○Thread 0.33Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2750.275
○Thread 0.34Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2670.267
○Thread 0.35Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3060.306
○Thread 0.36Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2660.266
○Thread 0.37Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2670.267
○Thread 0.38Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2600.260
○Thread 0.39Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2870.287
○Thread 0.40Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3580.358
○Thread 0.41Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3330.333
○Thread 0.42Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3250.325
○Thread 0.43Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3730.373
○Thread 0.44Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3260.326
○Thread 0.45Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3230.323
○Thread 0.46Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3230.323
○Thread 0.47Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3460.346
○Thread 0.48Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.8540.854
○Thread 0.49Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.7900.790
○Thread 0.50Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.7750.775
○Thread 0.51Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.8320.832
○Thread 0.52Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.7870.787
○Thread 0.53Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.7680.768
○Thread 0.54Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.7870.787
○Thread 0.55Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.8140.814
○Thread 0.56Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.9540.954
○Thread 0.57Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.8620.862
○Thread 0.58Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.8670.867
○Thread 0.59Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.9210.921
○Thread 0.60Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.8650.865
○Thread 0.61Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.8550.855
○Thread 0.62Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.8790.879
○Thread 0.63Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.9040.904
○Thread 0.64Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.9370.937
○Thread 0.65Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.8750.875
○Thread 0.66Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.8760.876
○Thread 0.67Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.9340.934
○Thread 0.68Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.8700.870
○Thread 0.69Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.8670.867
○Thread 0.70Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.8870.887
○Thread 0.71Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.9070.907
○Thread 0.72Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3200.320
○Thread 0.73Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2850.285
○Thread 0.74Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2810.281
○Thread 0.75Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3370.337
○Thread 0.76Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2710.271
○Thread 0.77Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2790.279
○Thread 0.78Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2860.286
○Thread 0.79Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3140.314
○Thread 0.80Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3350.335
○Thread 0.81Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3050.305
○Thread 0.82Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3050.305
○Thread 0.83Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3620.362
○Thread 0.84Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2870.287
○Thread 0.85Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3040.304
○Thread 0.86Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3030.303
○Thread 0.87Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3260.326
○Thread 0.88Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3880.388
○Thread 0.89Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3770.377
○Thread 0.90Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3700.370
○Thread 0.91Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.4400.439
○Thread 0.92Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3520.352
○Thread 0.93Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3660.366
○Thread 0.94Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3660.366
○Thread 0.95Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3800.380
►libkripke.so:0x5e60c+Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:1160Parallel region invoked by the runtime9612.8700.3100.3364047.0580.3440.6640.9002.13847.0570.3440.6640.9002.138000003.809
►synchronization regions+
►libkripke.so:0x5e60c+Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:1160barrier_implicit384047.0580.3440.6640.9002.13847.0570.3440.6640.9002.138
○Thread 0.0Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.6280.628
○Thread 0.1Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.6490.649
○Thread 0.2Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.6350.635
○Thread 0.3Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.6410.641
○Thread 0.4Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.6590.659
○Thread 0.5Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.6290.629
○Thread 0.6Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.5840.584
○Thread 0.7Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.6180.618
○Thread 0.8Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.6550.655
○Thread 0.9Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.6640.664
○Thread 0.10Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.6190.619
○Thread 0.11Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.6560.656
○Thread 0.12Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.5940.594
○Thread 0.13Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.6250.625
○Thread 0.14Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.6340.634
○Thread 0.15Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.6080.608
○Thread 0.16Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.6520.652
○Thread 0.17Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.6530.653
○Thread 0.18Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.6400.640
○Thread 0.19Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.6000.600
○Thread 0.20Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.6580.658
○Thread 0.21Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.6090.609
○Thread 0.22Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.6530.653
○Thread 0.23Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.6460.646
○Thread 0.24Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.3800.380
○Thread 0.25Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4030.403
○Thread 0.26Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.3920.392
○Thread 0.27Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.3610.361
○Thread 0.28Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4260.426
○Thread 0.29Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4270.427
○Thread 0.30Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.3540.354
○Thread 0.31Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.3460.346
○Thread 0.32Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4850.485
○Thread 0.33Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4570.457
○Thread 0.34Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4560.456
○Thread 0.35Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4270.427
○Thread 0.36Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4270.427
○Thread 0.37Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4220.422
○Thread 0.38Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4680.468
○Thread 0.39Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4210.421
○Thread 0.40Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4310.431
○Thread 0.41Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4190.419
○Thread 0.42Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4850.485
○Thread 0.43Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.5170.517
○Thread 0.44Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4570.457
○Thread 0.45Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4590.459
○Thread 0.46Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4600.460
○Thread 0.47Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4390.439
○Thread 0.48Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4660.466
○Thread 0.49Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4600.460
○Thread 0.50Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4050.405
○Thread 0.51Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4330.433
○Thread 0.52Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4000.400
○Thread 0.53Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4510.451
○Thread 0.54Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4420.442
○Thread 0.55Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4550.454
○Thread 0.56Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4660.466
○Thread 0.57Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4560.456
○Thread 0.58Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.5010.501
○Thread 0.59Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4970.497
○Thread 0.60Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4660.466
○Thread 0.61Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4770.477
○Thread 0.62Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4620.462
○Thread 0.63Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4730.473
○Thread 0.64Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4660.466
○Thread 0.65Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4050.405
○Thread 0.66Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.3870.387
○Thread 0.67Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.3440.344
○Thread 0.68Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4100.410
○Thread 0.69Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4600.460
○Thread 0.70Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4700.470
○Thread 0.71Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4870.487
○Thread 0.72Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4320.432
○Thread 0.73Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4570.457
○Thread 0.74Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4310.431
○Thread 0.75Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4520.452
○Thread 0.76Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4430.443
○Thread 0.77Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4470.447
○Thread 0.78Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4330.433
○Thread 0.79Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.3930.393
○Thread 0.80Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4170.417
○Thread 0.81Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4100.410
○Thread 0.82Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4210.421
○Thread 0.83Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4340.434
○Thread 0.84Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4610.461
○Thread 0.85Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4700.470
○Thread 0.86Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.5020.502
○Thread 0.87Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4700.470
○Thread 0.88Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.5120.512
○Thread 0.89Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4920.492
○Thread 0.90Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4770.477
○Thread 0.91Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4480.448
○Thread 0.92Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4210.421
○Thread 0.93Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4390.439
○Thread 0.94Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4740.474
○Thread 0.95Kripke::Kernel::scattering(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit400.4540.454
►libkripke.so:0x64bfd+Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:1160Parallel region invoked by the runtime961.16 E-330.4 E-6445 E-62024.7 E-3110 E-6571 E-6364 E-61.92 E-320.0 E-387.2 E-6570 E-6356 E-61.91 E-30000022.156
►synchronization regions+
►libkripke.so:0x64bfd+Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:1160barrier_implicit192024.7 E-3110 E-6571 E-6364 E-61.92 E-320.0 E-387.2 E-6570 E-6356 E-61.91 E-3
○Thread 0.0Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20546 E-6544 E-6
○Thread 0.1Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20541 E-6539 E-6
○Thread 0.2Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20409 E-6408 E-6
○Thread 0.3Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20388 E-6386 E-6
○Thread 0.4Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20514 E-6513 E-6
○Thread 0.5Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20571 E-6570 E-6
○Thread 0.6Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20453 E-6451 E-6
○Thread 0.7Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20538 E-6537 E-6
○Thread 0.8Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20498 E-6496 E-6
○Thread 0.9Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20516 E-6514 E-6
○Thread 0.10Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20441 E-6440 E-6
○Thread 0.11Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20501 E-6500 E-6
○Thread 0.12Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20415 E-6412 E-6
○Thread 0.13Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20464 E-6462 E-6
○Thread 0.14Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20423 E-6422 E-6
○Thread 0.15Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20521 E-6520 E-6
○Thread 0.16Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20453 E-6451 E-6
○Thread 0.17Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20519 E-6517 E-6
○Thread 0.18Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20483 E-6481 E-6
○Thread 0.19Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20410 E-6409 E-6
○Thread 0.20Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20408 E-6407 E-6
○Thread 0.21Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20477 E-6475 E-6
○Thread 0.22Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20529 E-6528 E-6
○Thread 0.23Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20433 E-6431 E-6
○Thread 0.24Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20130 E-6123 E-6
○Thread 0.25Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20145 E-6112 E-6
○Thread 0.26Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20146 E-6113 E-6
○Thread 0.27Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20130 E-699.1 E-6
○Thread 0.28Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20133 E-6101 E-6
○Thread 0.29Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20142 E-6110 E-6
○Thread 0.30Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20129 E-698.4 E-6
○Thread 0.31Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20398 E-6142 E-6
○Thread 0.32Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20181 E-6178 E-6
○Thread 0.33Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20124 E-6114 E-6
○Thread 0.34Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20146 E-6122 E-6
○Thread 0.35Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20157 E-6131 E-6
○Thread 0.36Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20146 E-6118 E-6
○Thread 0.37Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20148 E-6124 E-6
○Thread 0.38Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20165 E-6136 E-6
○Thread 0.39Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20152 E-6125 E-6
○Thread 0.40Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20146 E-6112 E-6
○Thread 0.41Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20155 E-6116 E-6
○Thread 0.42Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20156 E-6120 E-6
○Thread 0.43Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20141 E-6108 E-6
○Thread 0.44Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20149 E-6117 E-6
○Thread 0.45Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20130 E-698.8 E-6
○Thread 0.46Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20147 E-6118 E-6
○Thread 0.47Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20150 E-6148 E-6
○Thread 0.48Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20361 E-6139 E-6
○Thread 0.49Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20152 E-6128 E-6
○Thread 0.50Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20170 E-6137 E-6
○Thread 0.51Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20133 E-6108 E-6
○Thread 0.52Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20146 E-6120 E-6
○Thread 0.53Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20198 E-6120 E-6
○Thread 0.54Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20134 E-6113 E-6
○Thread 0.55Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20178 E-6176 E-6
○Thread 0.56Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20381 E-6144 E-6
○Thread 0.57Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20110 E-687.2 E-6
○Thread 0.58Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20136 E-6105 E-6
○Thread 0.59Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20147 E-6113 E-6
○Thread 0.60Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20126 E-697.8 E-6
○Thread 0.61Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20147 E-6116 E-6
○Thread 0.62Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20133 E-6105 E-6
○Thread 0.63Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20112 E-688.8 E-6
○Thread 0.64Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20354 E-6176 E-6
○Thread 0.65Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20327 E-6171 E-6
○Thread 0.66Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20136 E-6113 E-6
○Thread 0.67Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20154 E-6124 E-6
○Thread 0.68Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20146 E-6122 E-6
○Thread 0.69Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20148 E-6118 E-6
○Thread 0.70Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20151 E-6122 E-6
○Thread 0.71Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20163 E-6132 E-6
○Thread 0.72Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20323 E-6146 E-6
○Thread 0.73Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20189 E-6125 E-6
○Thread 0.74Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20185 E-693.5 E-6
○Thread 0.75Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20113 E-693.5 E-6
○Thread 0.76Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20130 E-6105 E-6
○Thread 0.77Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20127 E-6105 E-6
○Thread 0.78Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20111 E-688.0 E-6
○Thread 0.79Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20127 E-6105 E-6
○Thread 0.80Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20210 E-6121 E-6
○Thread 0.81Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20178 E-6113 E-6
○Thread 0.82Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20267 E-6141 E-6
○Thread 0.83Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20330 E-6176 E-6
○Thread 0.84Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20357 E-689.1 E-6
○Thread 0.85Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20205 E-6118 E-6
○Thread 0.86Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20132 E-6101 E-6
○Thread 0.87Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20126 E-690.8 E-6
○Thread 0.88Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20329 E-6161 E-6
○Thread 0.89Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20182 E-6117 E-6
○Thread 0.90Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20203 E-6115 E-6
○Thread 0.91Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20142 E-6104 E-6
○Thread 0.92Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20380 E-693.9 E-6
○Thread 0.93Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20199 E-6111 E-6
○Thread 0.94Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20259 E-6133 E-6
○Thread 0.95Kripke::Kernel::source(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit20409 E-697.9 E-6
►libkripke.so:0x49544+Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:1160Parallel region invoked by the runtime966.32711.2 E-348.3 E-3160159.50239.7 E-34.8061.0821.254159.49939.7 E-34.8061.0821.2540000026.258
►synchronization regions+
►libkripke.so:0x49544+Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:1160barrier_implicit15360159.50239.7 E-34.8061.0821.254159.49939.7 E-34.8061.0821.254
○Thread 0.0Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.6994.699
○Thread 0.1Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.6984.698
○Thread 0.2Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.6984.698
○Thread 0.3Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.6944.694
○Thread 0.4Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.7094.709
○Thread 0.5Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.7044.704
○Thread 0.6Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.6944.694
○Thread 0.7Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.7124.712
○Thread 0.8Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.8014.801
○Thread 0.9Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.7984.798
○Thread 0.10Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.8034.803
○Thread 0.11Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.7984.798
○Thread 0.12Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.8064.806
○Thread 0.13Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.7984.798
○Thread 0.14Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.8014.801
○Thread 0.15Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.8034.803
○Thread 0.16Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.7344.734
○Thread 0.17Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.7344.734
○Thread 0.18Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.7334.733
○Thread 0.19Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.7354.735
○Thread 0.20Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.7444.744
○Thread 0.21Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.7334.733
○Thread 0.22Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.7304.730
○Thread 0.23Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.7304.730
○Thread 0.24Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16067.3 E-367.3 E-3
○Thread 0.25Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16042.9 E-342.9 E-3
○Thread 0.26Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16039.7 E-339.7 E-3
○Thread 0.27Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16065.5 E-365.5 E-3
○Thread 0.28Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16075.8 E-375.8 E-3
○Thread 0.29Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16076.5 E-376.5 E-3
○Thread 0.30Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16058.7 E-358.7 E-3
○Thread 0.31Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16049.0 E-349.0 E-3
○Thread 0.32Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16069.0 E-368.9 E-3
○Thread 0.33Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16050.0 E-350.0 E-3
○Thread 0.34Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16045.6 E-345.6 E-3
○Thread 0.35Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16068.6 E-368.6 E-3
○Thread 0.36Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16061.8 E-361.8 E-3
○Thread 0.37Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16076.2 E-376.1 E-3
○Thread 0.38Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16064.5 E-364.4 E-3
○Thread 0.39Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16053.9 E-353.9 E-3
○Thread 0.40Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2080.208
○Thread 0.41Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1580.158
○Thread 0.42Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1530.153
○Thread 0.43Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2010.201
○Thread 0.44Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1800.180
○Thread 0.45Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2250.224
○Thread 0.46Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1810.181
○Thread 0.47Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1690.169
○Thread 0.48Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.6671.667
○Thread 0.49Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.6211.621
○Thread 0.50Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.6071.607
○Thread 0.51Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.6771.677
○Thread 0.52Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.6521.652
○Thread 0.53Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.7011.701
○Thread 0.54Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.6601.660
○Thread 0.55Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.6441.644
○Thread 0.56Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.6731.673
○Thread 0.57Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.6381.638
○Thread 0.58Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.6351.635
○Thread 0.59Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.6861.686
○Thread 0.60Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.6671.667
○Thread 0.61Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.7031.703
○Thread 0.62Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.6711.671
○Thread 0.63Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.6541.654
○Thread 0.64Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.7401.740
○Thread 0.65Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.6961.695
○Thread 0.66Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.6871.687
○Thread 0.67Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.7621.762
○Thread 0.68Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.7221.722
○Thread 0.69Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.7801.780
○Thread 0.70Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.7241.724
○Thread 0.71Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.7161.716
○Thread 0.72Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16098.2 E-398.1 E-3
○Thread 0.73Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16065.8 E-365.7 E-3
○Thread 0.74Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16059.2 E-359.2 E-3
○Thread 0.75Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16095.9 E-395.9 E-3
○Thread 0.76Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16091.1 E-391.0 E-3
○Thread 0.77Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1170.117
○Thread 0.78Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16084.8 E-384.8 E-3
○Thread 0.79Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16078.2 E-378.1 E-3
○Thread 0.80Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16082.7 E-382.6 E-3
○Thread 0.81Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16054.1 E-354.1 E-3
○Thread 0.82Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16051.6 E-351.6 E-3
○Thread 0.83Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16074.9 E-374.9 E-3
○Thread 0.84Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16071.1 E-371.1 E-3
○Thread 0.85Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16091.7 E-391.6 E-3
○Thread 0.86Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16071.3 E-371.2 E-3
○Thread 0.87Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16060.9 E-360.9 E-3
○Thread 0.88Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2130.213
○Thread 0.89Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1660.165
○Thread 0.90Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1600.160
○Thread 0.91Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2110.211
○Thread 0.92Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1940.194
○Thread 0.93Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2330.233
○Thread 0.94Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1930.193
○Thread 0.95Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1720.172
►libkripke.so:0x68eb0+void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:1160Parallel region invoked by the runtime960.6072.78 E-36.38 E-316010.71821.9 E-30.29246.2 E-30.13910.71721.9 E-30.29246.2 E-30.1390000018.392
►synchronization regions+
►libkripke.so:0x68eb0+void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:1160barrier_implicit1536010.71821.9 E-30.29246.2 E-30.13910.71721.9 E-30.29246.2 E-30.139
○Thread 0.0void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2910.291
○Thread 0.1void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2900.290
○Thread 0.2void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2920.292
○Thread 0.3void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2910.291
○Thread 0.4void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2920.292
○Thread 0.5void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2910.291
○Thread 0.6void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2900.290
○Thread 0.7void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2850.285
○Thread 0.8void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2720.272
○Thread 0.9void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2790.279
○Thread 0.10void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2800.280
○Thread 0.11void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2800.280
○Thread 0.12void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2790.279
○Thread 0.13void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2780.278
○Thread 0.14void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2780.278
○Thread 0.15void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2750.275
○Thread 0.16void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2810.281
○Thread 0.17void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2850.285
○Thread 0.18void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2850.285
○Thread 0.19void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2850.285
○Thread 0.20void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2850.285
○Thread 0.21void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2840.284
○Thread 0.22void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2840.284
○Thread 0.23void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2770.277
○Thread 0.24void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16038.3 E-338.3 E-3
○Thread 0.25void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16027.3 E-327.2 E-3
○Thread 0.26void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16027.9 E-327.9 E-3
○Thread 0.27void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16026.3 E-326.3 E-3
○Thread 0.28void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16029.1 E-329.1 E-3
○Thread 0.29void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16025.3 E-325.3 E-3
○Thread 0.30void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16025.0 E-325.0 E-3
○Thread 0.31void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16027.9 E-327.9 E-3
○Thread 0.32void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16026.0 E-326.0 E-3
○Thread 0.33void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16027.1 E-327.1 E-3
○Thread 0.34void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16027.0 E-327.0 E-3
○Thread 0.35void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16026.5 E-326.5 E-3
○Thread 0.36void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16027.7 E-327.6 E-3
○Thread 0.37void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16024.9 E-324.9 E-3
○Thread 0.38void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16023.6 E-323.6 E-3
○Thread 0.39void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16021.9 E-321.9 E-3
○Thread 0.40void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16034.3 E-334.3 E-3
○Thread 0.41void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16032.6 E-332.5 E-3
○Thread 0.42void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16034.6 E-334.6 E-3
○Thread 0.43void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16034.4 E-334.4 E-3
○Thread 0.44void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16033.2 E-333.2 E-3
○Thread 0.45void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16033.4 E-333.4 E-3
○Thread 0.46void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16032.0 E-332.0 E-3
○Thread 0.47void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16033.7 E-333.7 E-3
○Thread 0.48void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1110.111
○Thread 0.49void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1150.115
○Thread 0.50void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1110.111
○Thread 0.51void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1130.113
○Thread 0.52void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1190.119
○Thread 0.53void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1130.113
○Thread 0.54void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1120.112
○Thread 0.55void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1080.108
○Thread 0.56void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16097.3 E-397.3 E-3
○Thread 0.57void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16096.6 E-396.6 E-3
○Thread 0.58void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16098.6 E-398.6 E-3
○Thread 0.59void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16096.7 E-396.7 E-3
○Thread 0.60void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1040.104
○Thread 0.61void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16096.1 E-396.1 E-3
○Thread 0.62void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16095.3 E-395.3 E-3
○Thread 0.63void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16098.1 E-398.1 E-3
○Thread 0.64void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1050.105
○Thread 0.65void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1050.105
○Thread 0.66void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1050.105
○Thread 0.67void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1040.104
○Thread 0.68void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1070.107
○Thread 0.69void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1030.103
○Thread 0.70void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1010.101
○Thread 0.71void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1010.101
○Thread 0.72void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16028.5 E-328.5 E-3
○Thread 0.73void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16028.7 E-328.7 E-3
○Thread 0.74void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16030.2 E-330.2 E-3
○Thread 0.75void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16027.4 E-327.4 E-3
○Thread 0.76void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16027.6 E-327.6 E-3
○Thread 0.77void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16027.0 E-327.0 E-3
○Thread 0.78void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16026.4 E-326.4 E-3
○Thread 0.79void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16025.5 E-325.5 E-3
○Thread 0.80void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16033.4 E-333.4 E-3
○Thread 0.81void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16023.7 E-323.7 E-3
○Thread 0.82void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16024.7 E-324.7 E-3
○Thread 0.83void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16025.4 E-325.4 E-3
○Thread 0.84void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16025.8 E-325.8 E-3
○Thread 0.85void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16024.0 E-324.0 E-3
○Thread 0.86void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16022.4 E-322.4 E-3
○Thread 0.87void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16026.3 E-326.3 E-3
○Thread 0.88void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16040.6 E-340.6 E-3
○Thread 0.89void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16032.8 E-332.8 E-3
○Thread 0.90void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16032.5 E-332.5 E-3
○Thread 0.91void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16034.5 E-334.5 E-3
○Thread 0.92void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16034.8 E-334.8 E-3
○Thread 0.93void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16031.4 E-331.4 E-3
○Thread 0.94void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16029.5 E-329.5 E-3
○Thread 0.95void Kripke::DispatchHelper<Kripke::ArchT_OpenMP>::operator()<Kripke::LayoutT_DGZ, SweepSdom, Kripke::Core::DataStore&, Kripke::SdomId&>(Kripke::LayoutT_DGZ, SweepSdom const&, Kripke::Core::DataStore&, Kripke::SdomId&) const/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16031.9 E-331.9 E-3
►libkripke.so:0x56930+Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:1160Parallel region invoked by the runtime9677.6 E-3292 E-62.22 E-31601.4482.40 E-329.1 E-33.98 E-348.9 E-31.4432.39 E-329.1 E-33.97 E-348.9 E-30000019.435
►synchronization regions+
►libkripke.so:0x56930+Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:1160barrier_implicit153601.4482.40 E-329.1 E-33.98 E-348.9 E-31.4432.39 E-329.1 E-33.97 E-348.9 E-3
○Thread 0.0Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16023.9 E-323.8 E-3
○Thread 0.1Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16027.4 E-327.3 E-3
○Thread 0.2Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16027.2 E-327.2 E-3
○Thread 0.3Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16027.4 E-327.4 E-3
○Thread 0.4Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16027.2 E-327.2 E-3
○Thread 0.5Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16027.1 E-327.1 E-3
○Thread 0.6Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16027.1 E-327.1 E-3
○Thread 0.7Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16027.2 E-327.2 E-3
○Thread 0.8Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16028.7 E-328.7 E-3
○Thread 0.9Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16029.1 E-329.1 E-3
○Thread 0.10Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16029.0 E-329.0 E-3
○Thread 0.11Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16029.0 E-328.9 E-3
○Thread 0.12Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16028.9 E-328.9 E-3
○Thread 0.13Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16028.9 E-328.9 E-3
○Thread 0.14Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16028.9 E-328.9 E-3
○Thread 0.15Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16029.0 E-329.0 E-3
○Thread 0.16Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16027.3 E-327.3 E-3
○Thread 0.17Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16027.1 E-327.1 E-3
○Thread 0.18Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16027.0 E-327.0 E-3
○Thread 0.19Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16027.3 E-327.3 E-3
○Thread 0.20Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16027.0 E-327.0 E-3
○Thread 0.21Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16027.0 E-327.0 E-3
○Thread 0.22Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16026.9 E-326.8 E-3
○Thread 0.23Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16026.9 E-326.9 E-3
○Thread 0.24Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1602.40 E-32.39 E-3
○Thread 0.25Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.51 E-34.35 E-3
○Thread 0.26Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.48 E-34.20 E-3
○Thread 0.27Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.49 E-34.32 E-3
○Thread 0.28Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.57 E-34.30 E-3
○Thread 0.29Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.51 E-34.37 E-3
○Thread 0.30Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.50 E-34.23 E-3
○Thread 0.31Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1604.38 E-34.24 E-3
○Thread 0.32Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1608.00 E-37.94 E-3
○Thread 0.33Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1608.36 E-38.33 E-3
○Thread 0.34Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1608.17 E-38.14 E-3
○Thread 0.35Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1608.09 E-38.06 E-3
○Thread 0.36Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1608.09 E-38.07 E-3
○Thread 0.37Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1608.01 E-37.98 E-3
○Thread 0.38Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1607.89 E-37.84 E-3
○Thread 0.39Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1607.65 E-37.64 E-3
○Thread 0.40Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1608.60 E-38.59 E-3
○Thread 0.41Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1608.61 E-38.57 E-3
○Thread 0.42Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1608.44 E-38.38 E-3
○Thread 0.43Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1608.79 E-38.73 E-3
○Thread 0.44Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1608.65 E-38.60 E-3
○Thread 0.45Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1608.97 E-38.96 E-3
○Thread 0.46Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1608.74 E-38.67 E-3
○Thread 0.47Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1608.19 E-38.16 E-3
○Thread 0.48Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16014.7 E-314.7 E-3
○Thread 0.49Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16014.9 E-314.9 E-3
○Thread 0.50Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16014.5 E-314.4 E-3
○Thread 0.51Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16014.7 E-314.6 E-3
○Thread 0.52Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16014.6 E-314.6 E-3
○Thread 0.53Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16014.6 E-314.5 E-3
○Thread 0.54Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16014.6 E-314.4 E-3
○Thread 0.55Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16014.6 E-314.6 E-3
○Thread 0.56Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16018.8 E-318.8 E-3
○Thread 0.57Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16019.3 E-319.2 E-3
○Thread 0.58Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16019.1 E-318.9 E-3
○Thread 0.59Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16019.5 E-319.4 E-3
○Thread 0.60Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16019.4 E-319.4 E-3
○Thread 0.61Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16019.4 E-319.4 E-3
○Thread 0.62Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16019.1 E-319.1 E-3
○Thread 0.63Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16018.5 E-318.4 E-3
○Thread 0.64Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16017.7 E-317.6 E-3
○Thread 0.65Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16017.9 E-317.9 E-3
○Thread 0.66Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16017.8 E-317.6 E-3
○Thread 0.67Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16017.7 E-317.6 E-3
○Thread 0.68Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16017.7 E-317.6 E-3
○Thread 0.69Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16017.7 E-317.7 E-3
○Thread 0.70Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16017.4 E-317.3 E-3
○Thread 0.71Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16017.0 E-317.0 E-3
○Thread 0.72Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1605.58 E-35.54 E-3
○Thread 0.73Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1606.21 E-36.18 E-3
○Thread 0.74Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1605.96 E-35.90 E-3
○Thread 0.75Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1606.07 E-36.04 E-3
○Thread 0.76Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1605.93 E-35.89 E-3
○Thread 0.77Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1605.99 E-35.96 E-3
○Thread 0.78Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1605.95 E-35.91 E-3
○Thread 0.79Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1606.02 E-35.99 E-3
○Thread 0.80Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1609.28 E-39.25 E-3
○Thread 0.81Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1609.96 E-39.92 E-3
○Thread 0.82Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1609.81 E-39.74 E-3
○Thread 0.83Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1609.92 E-39.89 E-3
○Thread 0.84Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1609.77 E-39.73 E-3
○Thread 0.85Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1609.79 E-39.76 E-3
○Thread 0.86Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1609.77 E-39.71 E-3
○Thread 0.87Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1609.17 E-39.14 E-3
○Thread 0.88Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16010.8 E-310.8 E-3
○Thread 0.89Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16011.2 E-311.2 E-3
○Thread 0.90Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16011.2 E-311.1 E-3
○Thread 0.91Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16011.2 E-311.1 E-3
○Thread 0.92Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16011.1 E-311.1 E-3
○Thread 0.93Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16011.2 E-311.1 E-3
○Thread 0.94Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16010.3 E-310.3 E-3
○Thread 0.95Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1605.36 E-35.33 E-3
×