options

IC3_Solver - 2025-09-05 13:57:24 - MAQAO 2025.1.2

Help is available by moving the cursor above any symbol or by checking MAQAO website.

Global Metrics

Total Time (s)133.45
Max (Thread Active Time) (s)129.26
Average Active Time (s)128.95
Activity Ratio (%)96.7
Average number of active threads185.524
Affinity Stability (%)99.3
Time in analyzed loops (%)76.2
Time in analyzed innermost loops (%)58.2
Time in user code (%)83.4
Compilation Options Score (%)16.7
Array Access Efficiency (%)60.8
Potential Speedups
Perfect Flow Complexity1.01
Perfect OpenMP/MPI/Pthread/TBB1.04
Perfect OpenMP/MPI/Pthread/TBB + Perfect Load Distribution1.13
No Scalar IntegerPotential Speedup1.15
Nb Loops to get 80%8
FP VectorisedPotential Speedup1.19
Nb Loops to get 80%14
Fully VectorisedPotential Speedup2.47
Nb Loops to get 80%41
FP Arithmetic OnlyPotential Speedup1.53
Nb Loops to get 80%13

CQA Potential Speedups Summary

Average Active Threads Count

Loop Based Profile

Innermost Loop Based Profile

Application Categorization

Compilation Options

Source ObjectIssue
IC3_Solver
Ugp.h
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
RegisteredData.h
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
UgpWithCvFake.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
stl_map.h
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
Face.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
UgpPartitioning.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
DataSet.h
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
Cell2D.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
SimpleCartFilter.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
Ugp.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
Connectivity.h
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
Connectivity.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
PhysicsGeneric.h
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
timeStepping.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
RightHandSideLES.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
ReconstructFaceValuesDefault.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
Mesh.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
SchemeFiniteVolumeHybrid.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
CPoint.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
RightHandSideCalc.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
new_allocator.h
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
RightHandSideUpdateData.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
CVector.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
vector.tcc
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
UgpWithCvFakeOp.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
Initialization.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
SchemeTypeFiniteVolume.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
stl_algo.h
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
Gp.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
UgpWithCvFakeOp.h
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
RightHandSideMisc.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
CPoint.h
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
ContVol.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
numericalStabilizer.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
timeIntegratorRungeKutta.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
MiscUtils.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
PhysicsConstantProperties.h
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
ContVol.h
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
artificialViscosityNO.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
PhysicsConstantProperties.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
PhysicsGeneric.cpp
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.
fparser.cc
-g is missing for some functions (possibly ones added by the compiler), but debug locations are available. Some analysis may be inaccurate. Try to complement -g with -grecord-gcc-switches or -frecord-command-line.
-O2, -O3 or -Ofast is missing.
-march=(target) is missing.

Loop Path Count Profile

Cumulated Speedup If No Scalar Integer

Cumulated Speedup If FP Vectorized

Cumulated Speedup If Fully Vectorized

Cumulated Speedup If FP Arithmetic Only

Experiment Summary

Experiment Name
Application/home/kevicamu/POP/IC3/ic3-solver/build/Solver/IC3_Solver
Timestamp2025-09-05 13:57:24 Universal Timestamp1757073444
Number of processes observed192 Number of threads observed192
Experiment TypeMPI;
Machineromeo-c101
Model NameAMD EPYC 9654 96-Core Processor
Architecturex86_64 Micro ArchitectureZEN_V4
Cache Size1024 KB Number of Cores96
OS VersionLinux 5.14.0-427.42.1.el9_4.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Oct 18 14:35:40 EDT 2024
Architecture used during static analysisx86_64 Micro Architecture used during static analysisZEN_V4
Frequency Driveracpi-cpufreq Frequency Governorperformance
Huge Pagesalways Hyperthreadingoff
Number of sockets2 Number of cores per socket96
Compilation OptionsIC3_Solver: AMD clang version 17.0.6 (CLANG: AOCC_5.0.0-Build#1377 2024_09_24)
Comments

Configuration Summary

Dataset
Run Command<executable> -i input_fv.in
MPI Commandmpirun -np <number_processes>
Batch Script/home/kevicamu/batch_ic3.sh
Number Processes192
Number Nodes1
Number Processes per Node192
FilterNot Used
Profile StartNot Used
Maximal Path Number4
×