Environment - simulationEnvironment:
startTime=0
stopTime=10
tolerance=1e-06
numberOfIntervals=2500
stepSize=0.004
Regular simulation: ./IBPSA_latest_IBPSA.Controls.OBC.CDL.Logical.Validation.Proof  -abortSlowSimulation -alarm=480 -lv LOG_STATS

Limited backtrace at point of segmentation fault
/lib/x86_64-linux-gnu/libc.so.6(+0x42520)[0x7f32f168d520]
/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libsundials_nvecserial.so.5(N_VMin_Serial+0xa)[0x7f32f13307ca]
/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libsundials_idas.so.4(IDASVtolerances+0x92)[0x7f32f1113aa2]
/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libSimulationRuntimeC.so(ida_solver_initial+0x819)[0x7f32f259be29]
/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libSimulationRuntimeC.so(initializeSolverData+0x100)[0x7f32f254d660]
/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libSimulationRuntimeC.so(solver_main+0x1b3)[0x7f32f254ec63]
/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libSimulationRuntimeC.so(+0x27e4ed)[0x7f32f265a4ed]
/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libSimulationRuntimeC.so(startNonInteractiveSimulation+0xdc1)[0x7f32f26593d1]
/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libSimulationRuntimeC.so(_main_SimulationRuntime+0x5d)[0x7f32f265d24d]
./IBPSA_latest_IBPSA.Controls.OBC.CDL.Logical.Validation.Proof(main+0x1fe)[0x564e2fc49b76]
/lib/x86_64-linux-gnu/libc.so.6(+0x29d90)[0x7f32f1674d90]
/lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0x80)[0x7f32f1674e40]
./IBPSA_latest_IBPSA.Controls.OBC.CDL.Logical.Validation.Proof(_start+0x25)[0x564e2fc475b5]