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

Limited backtrace at point of segmentation fault
/lib/x86_64-linux-gnu/libc.so.6(+0x42520)[0x7f536b8f2520]
/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libsundials_nvecserial.so.5(N_VMin_Serial+0xa)[0x7f536b5957ca]
/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libsundials_idas.so.4(IDASVtolerances+0x92)[0x7f536b378aa2]
/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libSimulationRuntimeC.so(ida_solver_initial+0x819)[0x7f536c800e29]
/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libSimulationRuntimeC.so(initializeSolverData+0x100)[0x7f536c7b2660]
/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libSimulationRuntimeC.so(solver_main+0x1b3)[0x7f536c7b3c63]
/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libSimulationRuntimeC.so(+0x27e4ed)[0x7f536c8bf4ed]
/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libSimulationRuntimeC.so(startNonInteractiveSimulation+0xdc1)[0x7f536c8be3d1]
/var/lib/jenkins1/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libSimulationRuntimeC.so(_main_SimulationRuntime+0x5d)[0x7f536c8c224d]
./Buildings_latest_Buildings.Controls.OBC.CDL.Logical.Validation.Proof(main+0x1fe)[0x55cc7e6f7b76]
/lib/x86_64-linux-gnu/libc.so.6(+0x29d90)[0x7f536b8d9d90]
/lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0x80)[0x7f536b8d9e40]
./Buildings_latest_Buildings.Controls.OBC.CDL.Logical.Validation.Proof(_start+0x25)[0x55cc7e6f55b5]