Regular simulation: ./ScalableTestSuite_noopt_ScalableTestSuite.Elementary.ParameterArrays.ScaledExperiments.Table_N_280_M_280 -abortSlowSimulation -alarm=300   -emit_protected

Limited backtrace at point of segmentation fault
/lib/x86_64-linux-gnu/libpthread.so.0(+0x12890)[0x7f5b6a242890]
/lib/x86_64-linux-gnu/libc.so.6(+0x9430e)[0x7f5b69ed330e]
/lib/x86_64-linux-gnu/libc.so.6(__libc_malloc+0x8c)[0x7f5b69ed60fc]
/lib/x86_64-linux-gnu/libc.so.6(+0xf377b)[0x7f5b69f3277b]
/lib/x86_64-linux-gnu/libc.so.6(+0xf3af7)[0x7f5b69f32af7]
/lib/x86_64-linux-gnu/libc.so.6(+0xf3af7)[0x7f5b69f32af7]
/lib/x86_64-linux-gnu/libc.so.6(+0xf3af7)[0x7f5b69f32af7]
/lib/x86_64-linux-gnu/libc.so.6(+0xf3af7)[0x7f5b69f32af7]
/lib/x86_64-linux-gnu/libc.so.6(+0xf3af7)[0x7f5b69f32af7]
/lib/x86_64-linux-gnu/libc.so.6(+0xf3af7)[0x7f5b69f32af7]
/lib/x86_64-linux-gnu/libc.so.6(+0xf3af7)[0x7f5b69f32af7]
/lib/x86_64-linux-gnu/libc.so.6(+0xf3af7)[0x7f5b69f32af7]
/lib/x86_64-linux-gnu/libc.so.6(+0xf3af7)[0x7f5b69f32af7]
/lib/x86_64-linux-gnu/libc.so.6(+0xf3af7)[0x7f5b69f32af7]
/lib/x86_64-linux-gnu/libc.so.6(+0xf3af7)[0x7f5b69f32af7]