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

Limited backtrace at point of segmentation fault
/lib/x86_64-linux-gnu/libc.so.6(+0x42520)[0x7f381b274520]
/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libsundials_nvecserial.so.5(N_VMin_Serial+0xa)[0x7f381af177ca]
/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libsundials_idas.so.4(IDASVtolerances+0x92)[0x7f381acfaaa2]
/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libSimulationRuntimeC.so(ida_solver_initial+0x819)[0x7f381c182e29]
/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libSimulationRuntimeC.so(initializeSolverData+0x100)[0x7f381c134660]
/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libSimulationRuntimeC.so(solver_main+0x1b3)[0x7f381c135c63]
/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libSimulationRuntimeC.so(+0x27e4ed)[0x7f381c2414ed]
/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libSimulationRuntimeC.so(startNonInteractiveSimulation+0xdc1)[0x7f381c2403d1]
/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libSimulationRuntimeC.so(_main_SimulationRuntime+0x5d)[0x7f381c24424d]
./Buildings_11_Buildings.Controls.OBC.CDL.Logical.Validation.Proof(main+0x1fe)[0x55e8a2fd9b76]
/lib/x86_64-linux-gnu/libc.so.6(+0x29d90)[0x7f381b25bd90]
/lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0x80)[0x7f381b25be40]
./Buildings_11_Buildings.Controls.OBC.CDL.Logical.Validation.Proof(_start+0x25)[0x55e8a2fd75b5]