Environment - simulationEnvironment:
startTime=0
stopTime=10
tolerance=1e-06
numberOfIntervals=2500
stepSize=0.004
Regular simulation: ./IDEAS_dev_IDEAS.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(+0x45330)[0x701aa2245330]
/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libsundials_nvecserial.so.5(N_VMin_Serial+0xa)[0x701aa3c9694a]
/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libsundials_idas.so.4(IDASVtolerances+0x93)[0x701aa2558ab3]
/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libSimulationRuntimeC.so(ida_solver_initial+0x567)[0x701aa33590f7]
/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libSimulationRuntimeC.so(initializeSolverData+0x172)[0x701aa33306d2]
/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libSimulationRuntimeC.so(solver_main+0x1a0)[0x701aa3331cc0]
/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libSimulationRuntimeC.so(+0x1cf446)[0x701aa33cf446]
/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libSimulationRuntimeC.so(startNonInteractiveSimulation+0xdc6)[0x701aa33ce406]
/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/bin/../lib/x86_64-linux-gnu/omc/libSimulationRuntimeC.so(_main_SimulationRuntime+0x5d)[0x701aa33d1dbd]
./IDEAS_dev_IDEAS.Controls.OBC.CDL.Logical.Validation.Proof(main+0x1fc)[0x58a11f35cbdd]
/lib/x86_64-linux-gnu/libc.so.6(+0x2a1ca)[0x701aa222a1ca]
/lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0x8b)[0x701aa222a28b]
./IDEAS_dev_IDEAS.Controls.OBC.CDL.Logical.Validation.Proof(_start+0x25)[0x58a11f35a5b5]