startTime=0
stopTime=10
tolerance=1e-06
numberOfIntervals=2500
stepSize=0.004
wasm artifact (me: FMI 3.0 Model Exchange, integrated by omc with DASKR (IDA over the fmi-ls-dae residuals for a --daeMode model)): simulate(Buildings.Controls.OBC.CDL.Logical.Validation.Proof,startTime=0,stopTime=10,tolerance=1e-06,numberOfIntervals=2500,outputFormat="mat",variableFilter="time|pro.u_m|pro.u_s|pro.yLocFal|pro.yLocTru|pro1.u_m|pro1.u_s|pro1.yLocFal|pro1.yLocTru|pro2.u_m|pro2.u_s|pro2.yLocFal|pro2.yLocTru|pro3.u_m|pro3.u_s|pro3.yLocFal|pro3.yLocTru|pro4.u_m|pro4.u_s|pro4.yLocFal|pro4.yLocTru|pro5.u_m|pro5.u_s|pro5.yLocFal|pro5.yLocTru",fileNamePrefix="Buildings_12_Buildings.Controls.OBC.CDL.Logical.Validation.Proof",simflags=" -alarm=240  -emit_protected -lv LOG_STATS -startTime=0 -stopTime=10 -tolerance=1e-06 -stepSize=0.004 -r=Buildings_12_Buildings.Controls.OBC.CDL.Logical.Validation.Proof_me_res.mat -s fmi3:me:daskr",resimulateExecutable="Buildings_12_Buildings_Controls_OBC_CDL_Logical_Validation_Proof.fmu")
LOG_STDOUT        | info    | wasm artifact loaded in 0.1 ms (model kernel linked against the cached adapter, 0.2 MB)
LOG_STDOUT        | info    | ModelExchange instantiated in 41.6 ms
LOG_STDOUT        | info    | ModelExchange run: 2507 steps, 2507 evaluations, 0 Jacobians, 7 state events, 11 time events, 2537 samples in 14.2 ms
LOG_SUCCESS       | info    | The simulation finished successfully.