options

OpenMP Regions - 2x64 - node gmz16.benchmarkcenter.megware.com - process 11482

▼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 runtime644.85111.3 E-362.8 E-316083.43694.9 E-33.37398.4 E-31.09683.43594.9 E-33.37398.4 E-31.0960000026.875
►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_implicit1024083.43694.9 E-33.37398.4 E-31.09683.43594.9 E-33.37398.4 E-31.096
○Thread 0.0Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1602.9602.960
○Thread 0.1Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1602.9412.941
○Thread 0.2Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1603.1393.139
○Thread 0.3Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1602.9372.937
○Thread 0.4Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1602.9222.922
○Thread 0.5Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1603.0503.050
○Thread 0.6Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1603.3733.373
○Thread 0.7Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1603.3383.338
○Thread 0.8Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1603.3553.355
○Thread 0.9Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1603.3443.344
○Thread 0.10Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1603.3373.336
○Thread 0.11Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1603.1333.133
○Thread 0.12Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1603.1083.108
○Thread 0.13Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1603.1143.114
○Thread 0.14Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1603.1053.105
○Thread 0.15Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1603.0923.092
○Thread 0.16Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1120.112
○Thread 0.17Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16094.9 E-394.9 E-3
○Thread 0.18Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2380.238
○Thread 0.19Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1010.101
○Thread 0.20Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16097.5 E-397.5 E-3
○Thread 0.21Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1510.151
○Thread 0.22Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3080.308
○Thread 0.23Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3100.310
○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.3120.312
○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.3000.300
○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.3060.306
○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.4410.441
○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.4380.438
○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.4390.439
○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.4300.430
○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.4370.437
○Thread 0.32Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.1021.102
○Thread 0.33Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.0741.074
○Thread 0.34Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.3091.309
○Thread 0.35Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.0791.079
○Thread 0.36Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.0931.093
○Thread 0.37Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.2201.220
○Thread 0.38Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.4911.491
○Thread 0.39Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.5031.503
○Thread 0.40Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.4801.480
○Thread 0.41Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.4941.494
○Thread 0.42Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.4881.488
○Thread 0.43Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.5311.531
○Thread 0.44Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.5451.545
○Thread 0.45Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.5261.526
○Thread 0.46Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.5211.521
○Thread 0.47Kripke::Kernel::LTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.5441.544
○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.1520.152
○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.1650.165
○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.2200.220
○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.1540.154
○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.1650.165
○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.1810.181
○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.5380.538
○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.5290.529
○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.5150.515
○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.5360.536
○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.5080.508
○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.6180.618
○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.6140.614
○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.5890.589
○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.6010.601
○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.5850.585
►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 runtime6416.9010.4100.4354032.3440.3420.7630.4851.05932.3430.3420.7630.4851.059000002.990
►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_implicit256032.3440.3420.7630.4851.05932.3430.3420.7630.4851.059
○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.6910.691
○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.6640.664
○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.6820.682
○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.4880.488
○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.5000.500
○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.6960.696
○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.7220.722
○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.6750.675
○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.6960.696
○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.7230.723
○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.6970.697
○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.7630.763
○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.6900.690
○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.6320.632
○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.5530.553
○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.6620.662
○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.4500.450
○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.4640.464
○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.4190.419
○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.3920.392
○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.5050.505
○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.4430.443
○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.5150.515
○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.4000.400
○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.3650.365
○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.4200.420
○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.4430.443
○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.5220.522
○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.4750.475
○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.4810.481
○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.4030.403
○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.4550.455
○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.4590.459
○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.4630.463
○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.4380.438
○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.4480.448
○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.5260.526
○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.4710.471
○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.4400.440
○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.4680.468
○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.4800.480
○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.4730.473
○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.4650.465
○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.4100.410
○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.3590.359
○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.3420.342
○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.5020.502
○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.5160.516
○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.4550.455
○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.4800.480
○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.5370.537
○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.4920.492
○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.5050.505
○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.4390.439
○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.4430.443
○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.3850.385
○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.4860.486
○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.4870.487
○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.4480.448
○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.4180.418
○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.4790.479
○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.4320.432
○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.4520.452
○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.4600.460
►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 runtime641.62 E-341.4 E-6412 E-62032.8 E-3110 E-6815 E-6222 E-618.5 E-330.8 E-389.3 E-6814 E-6217 E-618.5 E-30000031.626
►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_implicit128032.8 E-3110 E-6815 E-6222 E-618.5 E-330.8 E-389.3 E-6814 E-6217 E-618.5 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_implicit20806 E-6804 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_implicit20810 E-6809 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_implicit20809 E-6808 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_implicit20815 E-6814 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_implicit20811 E-6809 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_implicit20807 E-6805 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_implicit20789 E-6786 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_implicit20773 E-6771 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_implicit20785 E-6783 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_implicit20774 E-6772 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_implicit20776 E-6773 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_implicit20784 E-6782 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_implicit20779 E-6778 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_implicit20779 E-6778 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_implicit20779 E-6778 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_implicit20783 E-6782 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_implicit20727 E-6725 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_implicit20415 E-6403 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_implicit20206 E-6190 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_implicit20440 E-6416 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_implicit20215 E-6197 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_implicit20210 E-6208 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_implicit20212 E-6208 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_implicit20205 E-6183 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_implicit20414 E-6392 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_implicit20410 E-6388 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_implicit20417 E-6391 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_implicit20407 E-6388 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_implicit20415 E-6392 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_implicit20416 E-6393 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_implicit20654 E-6392 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_implicit20459 E-6457 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_implicit20240 E-6238 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_implicit20418 E-6399 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_implicit20423 E-6403 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_implicit20434 E-6410 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_implicit20442 E-6417 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_implicit20435 E-6434 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_implicit20692 E-6691 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_implicit20387 E-6370 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_implicit20392 E-6371 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_implicit20396 E-6375 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_implicit20552 E-6371 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_implicit20407 E-6384 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_implicit20412 E-6388 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_implicit20685 E-6387 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_implicit20414 E-6391 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_implicit20691 E-6688 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_implicit20411 E-6410 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_implicit20110 E-689.3 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_implicit20580 E-6398 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_implicit20419 E-6399 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_implicit20122 E-6101 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_implicit20426 E-6405 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_implicit20396 E-6381 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_implicit20474 E-6373 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_implicit20382 E-6370 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_implicit20390 E-6376 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_implicit20442 E-6402 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_implicit20479 E-6407 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_implicit20429 E-6405 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_implicit20482 E-6410 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_implicit20481 E-6406 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_implicit20429 E-6402 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 runtime644.10810.5 E-345.4 E-316067.52560.7 E-32.83396.7 E-30.82767.52460.7 E-32.83396.7 E-30.8270000025.681
►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_implicit1024067.52560.7 E-32.83396.7 E-30.82767.52460.7 E-32.83396.7 E-30.827
○Thread 0.0Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1602.4662.466
○Thread 0.1Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1602.3922.392
○Thread 0.2Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1602.3982.398
○Thread 0.3Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1602.3982.398
○Thread 0.4Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1602.3852.385
○Thread 0.5Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1602.5102.510
○Thread 0.6Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1602.8222.822
○Thread 0.7Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1602.8332.833
○Thread 0.8Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1602.8252.825
○Thread 0.9Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1602.8172.817
○Thread 0.10Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1602.8142.814
○Thread 0.11Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1602.6172.617
○Thread 0.12Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1602.6132.613
○Thread 0.13Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1602.6142.614
○Thread 0.14Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1602.6082.608
○Thread 0.15Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1602.6002.600
○Thread 0.16Kripke::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.17Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16065.4 E-365.4 E-3
○Thread 0.18Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16070.4 E-370.4 E-3
○Thread 0.19Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16082.1 E-382.1 E-3
○Thread 0.20Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16060.7 E-360.7 E-3
○Thread 0.21Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1480.148
○Thread 0.22Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2440.244
○Thread 0.23Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2690.269
○Thread 0.24Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2570.257
○Thread 0.25Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2470.247
○Thread 0.26Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2610.261
○Thread 0.27Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3060.306
○Thread 0.28Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3300.330
○Thread 0.29Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3240.324
○Thread 0.30Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3170.317
○Thread 0.31Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3260.326
○Thread 0.32Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.0421.042
○Thread 0.33Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.9610.961
○Thread 0.34Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.9710.971
○Thread 0.35Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.9930.993
○Thread 0.36Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.9490.949
○Thread 0.37Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.1111.111
○Thread 0.38Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.1921.192
○Thread 0.39Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.2001.200
○Thread 0.40Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.2161.216
○Thread 0.41Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.1761.176
○Thread 0.42Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.1961.196
○Thread 0.43Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.2481.248
○Thread 0.44Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.2421.242
○Thread 0.45Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.2351.235
○Thread 0.46Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.2231.223
○Thread 0.47Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1601.2371.237
○Thread 0.48Kripke::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.49Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16089.9 E-389.9 E-3
○Thread 0.50Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16094.4 E-394.4 E-3
○Thread 0.51Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1040.104
○Thread 0.52Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit16088.3 E-388.3 E-3
○Thread 0.53Kripke::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.54Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.2990.299
○Thread 0.55Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3130.313
○Thread 0.56Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3180.318
○Thread 0.57Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3020.302
○Thread 0.58Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3000.300
○Thread 0.59Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3820.382
○Thread 0.60Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.4030.403
○Thread 0.61Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.4020.402
○Thread 0.62Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3890.389
○Thread 0.63Kripke::Kernel::LPlusTimes(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.3790.379
►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 runtime640.5462.06 E-36.07 E-31604.18824.4 E-30.11720.5 E-376.6 E-34.18724.4 E-30.11720.5 E-376.6 E-30000011.990
►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_implicit102404.18824.4 E-30.11720.5 E-376.6 E-34.18724.4 E-30.11720.5 E-376.6 E-3
○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.1170.117
○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.1070.107
○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.1080.108
○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.1090.109
○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.1050.105
○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.1130.113
○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.1030.103
○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.1050.105
○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.1040.104
○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.1020.102
○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.1010.101
○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.1050.105
○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.1050.105
○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.1070.107
○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.1060.106
○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.1010.101
○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_implicit16046.7 E-346.7 E-3
○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_implicit16038.4 E-338.4 E-3
○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_implicit16039.9 E-339.9 E-3
○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_implicit16041.3 E-341.3 E-3
○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_implicit16035.1 E-335.1 E-3
○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_implicit16048.7 E-348.7 E-3
○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_implicit16048.9 E-348.9 E-3
○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_implicit16052.1 E-352.1 E-3
○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_implicit16050.8 E-350.8 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_implicit16045.9 E-345.9 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_implicit16040.8 E-340.7 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_implicit16050.1 E-350.1 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_implicit16049.8 E-349.8 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_implicit16048.7 E-348.7 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_implicit16047.1 E-347.1 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_implicit16046.3 E-346.3 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_implicit16075.9 E-375.9 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_implicit16067.4 E-367.4 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_implicit16069.1 E-369.1 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_implicit16070.1 E-370.0 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_implicit16063.0 E-363.0 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_implicit16074.9 E-374.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_implicit16070.5 E-370.5 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_implicit16073.0 E-373.0 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_implicit16072.2 E-372.2 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_implicit16068.9 E-368.8 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_implicit16066.0 E-365.9 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_implicit16075.4 E-375.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_implicit16074.7 E-374.7 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_implicit16074.4 E-374.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_implicit16071.0 E-371.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_implicit16070.4 E-370.4 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_implicit16040.3 E-340.2 E-3
○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_implicit16032.3 E-332.3 E-3
○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_implicit16033.0 E-332.9 E-3
○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_implicit16034.2 E-334.2 E-3
○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_implicit16029.0 E-329.0 E-3
○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_implicit16041.7 E-341.6 E-3
○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_implicit16040.7 E-340.7 E-3
○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_implicit16044.0 E-343.9 E-3
○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_implicit16042.2 E-342.1 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_implicit16040.1 E-340.1 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_implicit16036.2 E-336.2 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_implicit16048.6 E-348.6 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_implicit16049.6 E-349.6 E-3
○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_implicit16049.7 E-349.7 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_implicit16038.2 E-338.2 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_implicit16024.4 E-324.4 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 runtime640.165292 E-62.55 E-31603.0096.40 E-30.1143.32 E-353.2 E-33.0056.35 E-30.1143.31 E-353.2 E-30000028.450
►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_implicit102403.0096.40 E-30.1143.32 E-353.2 E-33.0056.35 E-30.1143.31 E-353.2 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_implicit1600.1030.103
○Thread 0.1Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1040.104
○Thread 0.2Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1040.104
○Thread 0.3Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1040.104
○Thread 0.4Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1040.104
○Thread 0.5Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1040.104
○Thread 0.6Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1140.114
○Thread 0.7Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1140.114
○Thread 0.8Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1130.113
○Thread 0.9Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1140.114
○Thread 0.10Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1140.114
○Thread 0.11Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1130.113
○Thread 0.12Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1130.113
○Thread 0.13Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1130.113
○Thread 0.14Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1130.113
○Thread 0.15Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1600.1120.112
○Thread 0.16Kripke::Kernel::population(Kripke::Core::DataStore&)/usr/lib/gcc/x86_64-redhat-linux/11/../../../../include/c++/11/ext/new_allocator.h:116barrier_implicit1606.40 E-36.35 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_implicit1606.56 E-36.54 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_implicit1606.91 E-36.62 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_implicit1608.13 E-38.10 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_implicit1607.02 E-36.72 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_implicit1606.56 E-36.52 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_implicit16018.5 E-318.2 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_implicit16020.0 E-319.7 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_implicit16018.4 E-318.4 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_implicit16018.7 E-318.6 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_implicit16017.5 E-317.5 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_implicit16025.5 E-325.5 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_implicit16021.6 E-321.6 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_implicit16021.7 E-321.6 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_implicit16021.3 E-321.1 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_implicit16022.6 E-322.6 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_implicit16034.2 E-334.1 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_implicit16034.2 E-334.2 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_implicit16034.4 E-334.3 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_implicit16035.9 E-335.8 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_implicit16034.3 E-334.2 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_implicit16034.3 E-334.3 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_implicit16052.6 E-352.5 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_implicit16053.0 E-353.0 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_implicit16052.3 E-352.2 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_implicit16051.9 E-351.9 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_implicit16051.7 E-351.7 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_implicit16055.7 E-355.7 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_implicit16054.7 E-354.6 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_implicit16054.0 E-353.6 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_implicit16053.2 E-353.1 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_implicit16054.4 E-354.4 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_implicit1607.48 E-37.45 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_implicit1607.68 E-37.65 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_implicit1607.75 E-37.72 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_implicit1609.06 E-38.82 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_implicit1607.60 E-37.55 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_implicit1608.02 E-37.73 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_implicit16019.5 E-319.5 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_implicit16019.4 E-319.4 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_implicit16019.8 E-319.7 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.8 E-319.6 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_implicit16020.0 E-319.7 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_implicit16026.5 E-326.5 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_implicit16026.4 E-326.3 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_implicit16026.5 E-326.5 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_implicit16022.3 E-322.3 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_implicit16017.6 E-317.6 E-3
×