Running command: translateModel(Buildings.Controls.OBC.CDL.Logical.Validation.TrueFalseHold,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Buildings_6.0.0_Buildings.Controls.OBC.CDL.Logical.Validation.TrueFalseHold") Notification: Performance of loadModel(Buildings): time 4.47/4.47, allocations: 431.3 MB / 445.8 MB, free: 5.402 MB / 346.7 MB Notification: Performance of FrontEnd - loaded program: time 3.666e-05/3.662e-05, allocations: 4 kB / 0.5354 GB, free: 14.8 MB / 458.7 MB Notification: Performance of FrontEnd - Absyn->SCode: time 0.6664/0.6664, allocations: 98.7 MB / 0.6318 GB, free: 11.93 MB / 0.5105 GB Notification: Performance of NFInst.instantiate(Buildings.Controls.OBC.CDL.Logical.Validation.TrueFalseHold): time 0.0136/0.6801, allocations: 5.65 MB / 0.6373 GB, free: 6.25 MB / 0.5105 GB Notification: Performance of NFInst.instExpressions: time 0.01284/0.693, allocations: 3.408 MB / 0.6407 GB, free: 2.828 MB / 0.5105 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.006416/0.6995, allocations: 123.6 kB / 0.6408 GB, free: 2.707 MB / 0.5105 GB Notification: Performance of NFTyping.typeComponents: time 0.00184/0.7014, allocations: 297.3 kB / 0.6411 GB, free: 2.414 MB / 0.5105 GB Notification: Performance of NFTyping.typeBindings: time 0.00238/0.7038, allocations: 247 kB / 0.6413 GB, free: 2.172 MB / 0.5105 GB Notification: Performance of NFTyping.typeClassSections: time 0.008854/0.7127, allocations: 1.241 MB / 0.6425 GB, free: 0.9297 MB / 0.5105 GB Notification: Performance of NFFlatten.flatten: time 0.007953/0.7207, allocations: 2.476 MB / 0.6449 GB, free: 14.45 MB / 0.5261 GB Notification: Performance of NFFlatten.resolveConnections: time 0.006259/0.727, allocations: 2.132 MB / 0.647 GB, free: 12.29 MB / 0.5261 GB Notification: Performance of NFEvalConstants.evaluate: time 0.003273/0.7304, allocations: 0.9938 MB / 0.648 GB, free: 11.3 MB / 0.5261 GB Notification: Performance of NFSimplifyModel.simplify: time 0.003285/0.7337, allocations: 1.121 MB / 0.6491 GB, free: 10.17 MB / 0.5261 GB Notification: Performance of NFFlatten.collectFunctions: time 0.001163/0.7349, allocations: 156 kB / 0.6492 GB, free: 10.02 MB / 0.5261 GB Notification: Performance of NFPackage.collectConstants: time 0.001175/0.7361, allocations: 148 kB / 0.6494 GB, free: 9.875 MB / 0.5261 GB Notification: Performance of NFScalarize.scalarize: time 0.001358/0.7375, allocations: 0.619 MB / 0.65 GB, free: 9.254 MB / 0.5261 GB Notification: Performance of NFVerifyModel.verify: time 0.001124/0.7387, allocations: 224 kB / 0.6502 GB, free: 9.035 MB / 0.5261 GB Notification: Performance of NFConvertDAE.convert: time 0.008493/0.7472, allocations: 3.934 MB / 0.654 GB, free: 5.094 MB / 0.5261 GB Notification: Performance of FrontEnd - DAE generated: time 4.85e-06/0.7473, allocations: 0 / 0.654 GB, free: 5.094 MB / 0.5261 GB Notification: Performance of FrontEnd: time 3.236e-06/0.7473, allocations: 0 / 0.654 GB, free: 5.094 MB / 0.5261 GB Notification: Performance of Transformations before backend: time 0.0001836/0.7475, allocations: 0 / 0.654 GB, free: 5.094 MB / 0.5261 GB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 880 * Number of variables: 880 Notification: Performance of Generate backend data structure: time 0.01206/0.7596, allocations: 2.853 MB / 0.6568 GB, free: 2.086 MB / 0.5261 GB Notification: Performance of prepare preOptimizeDAE: time 6.168e-05/0.7596, allocations: 15.97 kB / 0.6568 GB, free: 2.07 MB / 0.5261 GB Notification: Performance of preOpt normalInlineFunction (simulation): time 0.00194/0.7616, allocations: 383.8 kB / 0.6572 GB, free: 1.691 MB / 0.5261 GB Notification: Performance of preOpt evaluateParameters (simulation): time 0.003882/0.7655, allocations: 1.437 MB / 0.6586 GB, free: 216 kB / 0.5261 GB Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.0006001/0.7662, allocations: 338.9 kB / 0.6589 GB, free: 15.88 MB / 0.5417 GB Notification: Performance of preOpt expandDerOperator (simulation): time 0.001252/0.7674, allocations: 432 kB / 0.6593 GB, free: 15.45 MB / 0.5417 GB Notification: Performance of preOpt clockPartitioning (simulation): time 0.01302/0.7805, allocations: 4.22 MB / 0.6635 GB, free: 10.87 MB / 0.5417 GB Notification: Performance of preOpt findStateOrder (simulation): time 0.0001048/0.7806, allocations: 15.81 kB / 0.6635 GB, free: 10.85 MB / 0.5417 GB Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.0005816/0.7812, allocations: 168 kB / 0.6636 GB, free: 10.69 MB / 0.5417 GB Notification: Performance of preOpt inlineArrayEqn (simulation): time 0.0001168/0.7814, allocations: 92 kB / 0.6637 GB, free: 10.6 MB / 0.5417 GB Notification: Performance of preOpt removeEqualRHS (simulation): time 0.009922/0.7913, allocations: 2.907 MB / 0.6666 GB, free: 7.688 MB / 0.5417 GB Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.03123/0.8226, allocations: 17.49 MB / 0.6836 GB, free: 5.73 MB / 0.5573 GB Notification: Performance of preOpt comSubExp (simulation): time 0.008534/0.8312, allocations: 2.512 MB / 0.6861 GB, free: 3.156 MB / 0.5573 GB Notification: Performance of preOpt evalFunc (simulation): time 0.0002333/0.8315, allocations: 37.11 kB / 0.6861 GB, free: 3.121 MB / 0.5573 GB Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.005165/0.8366, allocations: 1.842 MB / 0.6879 GB, free: 1.219 MB / 0.5573 GB Notification: Performance of pre-optimization done (n=328): time 7.414e-06/0.8367, allocations: 4 kB / 0.6879 GB, free: 1.215 MB / 0.5573 GB Notification: Performance of matching and sorting (n=328): time 0.0158/0.8525, allocations: 3.82 MB / 0.6917 GB, free: 13.39 MB / 0.573 GB Notification: Performance of inlineWhenForInitialization (initialization): time 0.000327/0.8529, allocations: 303 kB / 0.6919 GB, free: 13.04 MB / 0.573 GB Notification: Performance of selectInitializationVariablesDAE (initialization): time 0.003285/0.8562, allocations: 1.193 MB / 0.6931 GB, free: 11.83 MB / 0.573 GB Notification: Performance of collectPreVariables (initialization): time 0.001065/0.8573, allocations: 201.7 kB / 0.6933 GB, free: 11.62 MB / 0.573 GB Notification: Performance of collectInitialEqns (initialization): time 0.002116/0.8594, allocations: 1.175 MB / 0.6944 GB, free: 10.44 MB / 0.573 GB Notification: Performance of collectInitialBindings (initialization): time 0.00191/0.8613, allocations: 0.7523 MB / 0.6952 GB, free: 9.676 MB / 0.573 GB Notification: Performance of simplifyInitialFunctions (initialization): time 0.0005108/0.8619, allocations: 100 kB / 0.6953 GB, free: 9.578 MB / 0.573 GB Notification: Performance of setup shared object (initialization): time 0.000556/0.8625, allocations: 484.3 kB / 0.6957 GB, free: 9.098 MB / 0.573 GB Notification: Performance of preBalanceInitialSystem (initialization): time 0.005319/0.8678, allocations: 1.048 MB / 0.6968 GB, free: 8.043 MB / 0.573 GB Notification: Performance of partitionIndependentBlocks (initialization): time 0.007255/0.8751, allocations: 2.523 MB / 0.6992 GB, free: 4.84 MB / 0.573 GB Notification: Performance of analyzeInitialSystem (initialization): time 0.005699/0.8808, allocations: 1.181 MB / 0.7004 GB, free: 3.656 MB / 0.573 GB Notification: Performance of solveInitialSystemEqSystem (initialization): time 5.529e-05/0.8809, allocations: 12 kB / 0.7004 GB, free: 3.645 MB / 0.573 GB Notification: Performance of matching and sorting (n=608) (initialization): time 0.01601/0.897, allocations: 3.696 MB / 0.704 GB, free: 15.94 MB / 0.5886 GB Notification: Performance of prepare postOptimizeDAE: time 8.988e-05/0.8971, allocations: 24 kB / 0.704 GB, free: 15.91 MB / 0.5886 GB Notification: Performance of postOpt simplifyComplexFunction (initialization): time 0.0001103/0.8972, allocations: 48 kB / 0.7041 GB, free: 15.87 MB / 0.5886 GB Notification: Performance of postOpt tearingSystem (initialization): time 0.000191/0.8974, allocations: 88.02 kB / 0.7042 GB, free: 15.78 MB / 0.5886 GB Notification: Performance of postOpt solveSimpleEquations (initialization): time 0.004442/0.9019, allocations: 0.5259 MB / 0.7047 GB, free: 15.25 MB / 0.5886 GB Notification: Performance of postOpt calculateStrongComponentJacobians (initialization): time 0.0001923/0.9021, allocations: 103.6 kB / 0.7048 GB, free: 15.15 MB / 0.5886 GB Notification: Performance of postOpt simplifyAllExpressions (initialization): time 0.004797/0.907, allocations: 467.9 kB / 0.7052 GB, free: 14.69 MB / 0.5886 GB Notification: Performance of postOpt collapseArrayExpressions (initialization): time 0.0009229/0.9079, allocations: 216 kB / 0.7054 GB, free: 14.48 MB / 0.5886 GB Notification: Model statistics after passing the back-end for initialization: * Number of independent subsystems: 216 * Number of states: 0 () * Number of discrete variables: 456 ($PRE.truFalHol.onDel1.u,$PRE.truFalHol.onDel2.u,$PRE.truFalHol.toTrue.enableFire,$PRE.truFalHol.toFalse.enableFire,$PRE.truFalHol.toTrue1.enableFire,$PRE.truFalHol.toFalse1.enableFire,$PRE.truFalHol1.onDel1.u,$PRE.truFalHol1.onDel2.u,$PRE.truFalHol1.toTrue.enableFire,$PRE.truFalHol1.toFalse.enableFire,$PRE.truFalHol1.toTrue1.enableFire,$PRE.truFalHol1.toFalse1.enableFire,$PRE.truFalHol2.onDel1.u,$PRE.truFalHol2.onDel2.u,$PRE.truFalHol2.toTrue.enableFire,$PRE.truFalHol2.toFalse.enableFire,$PRE.truFalHol2.toTrue1.enableFire,$PRE.truFalHol2.toFalse1.enableFire,$PRE.truFalHol3.onDel1.u,$PRE.truFalHol3.onDel2.u,$PRE.truFalHol3.toTrue.enableFire,$PRE.truFalHol3.toFalse.enableFire,$PRE.truFalHol3.toTrue1.enableFire,$PRE.truFalHol3.toFalse1.enableFire,$PRE.truFalHol4.onDel1.u,$PRE.truFalHol4.onDel2.u,$PRE.truFalHol4.toTrue.enableFire,$PRE.truFalHol4.toFalse.enableFire,$PRE.truFalHol4.toTrue1.enableFire,$PRE.truFalHol4.toFalse1.enableFire,$PRE.truFalHol5.onDel1.u,$PRE.truFalHol5.onDel2.u,$PRE.truFalHol5.toTrue.enableFire,$PRE.truFalHol5.toFalse.enableFire,$PRE.truFalHol5.toTrue1.enableFire,$PRE.truFalHol5.toFalse1.enableFire,$PRE.truFalHol6.onDel1.u,$PRE.truFalHol6.onDel2.u,$PRE.truFalHol6.toTrue.enableFire,$PRE.truFalHol6.toFalse.enableFire,$PRE.truFalHol6.toTrue1.enableFire,$PRE.truFalHol6.toFalse1.enableFire,$PRE.truFalHol7.onDel1.u,$PRE.truFalHol7.onDel2.u,$PRE.truFalHol7.toTrue.enableFire,$PRE.truFalHol7.toFalse.enableFire,$PRE.truFalHol7.toTrue1.enableFire,$PRE.truFalHol7.toFalse1.enableFire,$whenCondition54,$PRE.truFalHol.onDel2.t_next,$whenCondition51,$PRE.truFalHol.onDel1.t_next,$whenCondition50,truFalHol.onDel2.t_next,$whenCondition55,$whenCondition56,$whenCondition52,$whenCondition53,$PRE.booPul.pulseStart,booPul.pulseStart,truFalHol.u,truFalHol.onDel1.u,truFalHol.onDel1.y,truFalHol.onDel2.u,truFalHol.onDel2.y,truFalHol.stateGraphRoot.activeSteps,$PRE.truFalHol.outputFalse.localActive,truFalHol.outputFalse.localActive,truFalHol.outputFalse.inPort[2].occupied,$PRE.truFalHol.outputFalse.newActive,truFalHol.outputFalse.newActive,$PRE.truFalHol.outputFalse.oldActive,truFalHol.outputFalse.oldActive,truFalHol.outputFalse.active,truFalHol.toTrue.localCondition,truFalHol.toTrue.enableFire,$PRE.truFalHol.outputTrue.localActive,truFalHol.outputTrue.localActive,truFalHol.outputTrue.inPort[2].occupied,$PRE.truFalHol.outputTrue.newActive,truFalHol.outputTrue.newActive,$PRE.truFalHol.outputTrue.oldActive,truFalHol.outputTrue.oldActive,truFalHol.outputTrue.active,truFalHol.toFalse.localCondition,truFalHol.toFalse.enableFire,truFalHol.initialStep.active,$PRE.truFalHol.initialStep.localActive,truFalHol.initialStep.localActive,truFalHol.initialStep.outPort[2].available,$PRE.truFalHol.initialStep.newActive,truFalHol.initialStep.newActive,$PRE.truFalHol.initialStep.oldActive,truFalHol.initialStep.oldActive,truFalHol.toTrue1.enableFire,truFalHol.toFalse1.enableFire,truFalHol.onDel1.t_next,$whenCondition47,$PRE.truFalHol1.onDel2.t_next,$whenCondition44,$PRE.truFalHol1.onDel1.t_next,$whenCondition43,truFalHol1.onDel2.t_next,$whenCondition48,$whenCondition49,$whenCondition45,$whenCondition46,$PRE.booPul1.pulseStart,booPul1.pulseStart,truFalHol1.u,truFalHol1.onDel1.u,truFalHol1.onDel1.y,truFalHol1.onDel2.u,truFalHol1.onDel2.y,truFalHol1.stateGraphRoot.activeSteps,$PRE.truFalHol1.outputFalse.localActive,truFalHol1.outputFalse.localActive,truFalHol1.outputFalse.inPort[2].occupied,$PRE.truFalHol1.outputFalse.newActive,truFalHol1.outputFalse.newActive,$PRE.truFalHol1.outputFalse.oldActive,truFalHol1.outputFalse.oldActive,truFalHol1.outputFalse.active,truFalHol1.toTrue.localCondition,truFalHol1.toTrue.enableFire,$PRE.truFalHol1.outputTrue.localActive,truFalHol1.outputTrue.localActive,truFalHol1.outputTrue.inPort[2].occupied,$PRE.truFalHol1.outputTrue.newActive,truFalHol1.outputTrue.newActive,$PRE.truFalHol1.outputTrue.oldActive,truFalHol1.outputTrue.oldActive,truFalHol1.outputTrue.active,truFalHol1.toFalse.localCondition,truFalHol1.toFalse.enableFire,truFalHol1.initialStep.active,$PRE.truFalHol1.initialStep.localActive,truFalHol1.initialStep.localActive,truFalHol1.initialStep.outPort[2].available,$PRE.truFalHol1.initialStep.newActive,truFalHol1.initialStep.newActive,$PRE.truFalHol1.initialStep.oldActive,truFalHol1.initialStep.oldActive,truFalHol1.toTrue1.enableFire,truFalHol1.toFalse1.enableFire,truFalHol1.onDel1.t_next,$whenCondition40,$PRE.truFalHol2.onDel2.t_next,$whenCondition37,$PRE.truFalHol2.onDel1.t_next,$whenCondition36,truFalHol2.onDel2.t_next,$whenCondition41,$whenCondition42,$whenCondition38,$whenCondition39,$PRE.booPul2.pulseStart,booPul2.pulseStart,truFalHol2.u,truFalHol2.onDel1.u,truFalHol2.onDel1.y,truFalHol2.onDel2.u,truFalHol2.onDel2.y,truFalHol2.stateGraphRoot.activeSteps,$PRE.truFalHol2.outputFalse.localActive,truFalHol2.outputFalse.localActive,truFalHol2.outputFalse.inPort[2].occupied,$PRE.truFalHol2.outputFalse.newActive,truFalHol2.outputFalse.newActive,$PRE.truFalHol2.outputFalse.oldActive,truFalHol2.outputFalse.oldActive,truFalHol2.outputFalse.active,truFalHol2.toTrue.localCondition,truFalHol2.toTrue.enableFire,$PRE.truFalHol2.outputTrue.localActive,truFalHol2.outputTrue.localActive,truFalHol2.outputTrue.inPort[2].occupied,$PRE.truFalHol2.outputTrue.newActive,truFalHol2.outputTrue.newActive,$PRE.truFalHol2.outputTrue.oldActive,truFalHol2.outputTrue.oldActive,truFalHol2.outputTrue.active,truFalHol2.toFalse.localCondition,truFalHol2.toFalse.enableFire,truFalHol2.initialStep.active,$PRE.truFalHol2.initialStep.localActive,truFalHol2.initialStep.localActive,truFalHol2.initialStep.outPort[2].available,$PRE.truFalHol2.initialStep.newActive,truFalHol2.initialStep.newActive,$PRE.truFalHol2.initialStep.oldActive,truFalHol2.initialStep.oldActive,truFalHol2.toTrue1.enableFire,truFalHol2.toFalse1.enableFire,truFalHol2.onDel1.t_next,$whenCondition33,$PRE.truFalHol3.onDel2.t_next,$whenCondition30,$PRE.truFalHol3.onDel1.t_next,$whenCondition29,truFalHol3.onDel2.t_next,$whenCondition34,$whenCondition35,$whenCondition31,$whenCondition32,$PRE.booPul3.pulseStart,booPul3.pulseStart,truFalHol3.u,truFalHol3.onDel1.u,truFalHol3.onDel1.y,truFalHol3.onDel2.u,truFalHol3.onDel2.y,truFalHol3.stateGraphRoot.activeSteps,$PRE.truFalHol3.outputFalse.localActive,truFalHol3.outputFalse.localActive,truFalHol3.outputFalse.inPort[2].occupied,$PRE.truFalHol3.outputFalse.newActive,truFalHol3.outputFalse.newActive,$PRE.truFalHol3.outputFalse.oldActive,truFalHol3.outputFalse.oldActive,truFalHol3.outputFalse.active,truFalHol3.toTrue.localCondition,truFalHol3.toTrue.enableFire,$PRE.truFalHol3.outputTrue.localActive,truFalHol3.outputTrue.localActive,truFalHol3.outputTrue.inPort[2].occupied,$PRE.truFalHol3.outputTrue.newActive,truFalHol3.outputTrue.newActive,$PRE.truFalHol3.outputTrue.oldActive,truFalHol3.outputTrue.oldActive,truFalHol3.outputTrue.active,truFalHol3.toFalse.localCondition,truFalHol3.toFalse.enableFire,truFalHol3.initialStep.active,$PRE.truFalHol3.initialStep.localActive,truFalHol3.initialStep.localActive,truFalHol3.initialStep.outPort[2].available,$PRE.truFalHol3.initialStep.newActive,truFalHol3.initialStep.newActive,$PRE.truFalHol3.initialStep.oldActive,truFalHol3.initialStep.oldActive,truFalHol3.toTrue1.enableFire,truFalHol3.toFalse1.enableFire,truFalHol3.onDel1.t_next,$whenCondition26,$PRE.truFalHol4.onDel2.t_next,$whenCondition23,$PRE.truFalHol4.onDel1.t_next,$whenCondition22,truFalHol4.onDel2.t_next,$whenCondition27,$whenCondition28,$whenCondition24,$whenCondition25,$PRE.booPul4.pulseStart,booPul4.pulseStart,truFalHol4.u,truFalHol4.onDel1.u,truFalHol4.onDel1.y,truFalHol4.onDel2.u,truFalHol4.onDel2.y,truFalHol4.stateGraphRoot.activeSteps,$PRE.truFalHol4.outputFalse.localActive,truFalHol4.outputFalse.localActive,truFalHol4.outputFalse.inPort[2].occupied,$PRE.truFalHol4.outputFalse.newActive,truFalHol4.outputFalse.newActive,$PRE.truFalHol4.outputFalse.oldActive,truFalHol4.outputFalse.oldActive,truFalHol4.outputFalse.active,truFalHol4.toTrue.localCondition,truFalHol4.toTrue.enableFire,$PRE.truFalHol4.outputTrue.localActive,truFalHol4.outputTrue.localActive,truFalHol4.outputTrue.inPort[2].occupied,$PRE.truFalHol4.outputTrue.newActive,truFalHol4.outputTrue.newActive,$PRE.truFalHol4.outputTrue.oldActive,truFalHol4.outputTrue.oldActive,truFalHol4.outputTrue.active,truFalHol4.toFalse.localCondition,truFalHol4.toFalse.enableFire,truFalHol4.initialStep.active,$PRE.truFalHol4.initialStep.localActive,truFalHol4.initialStep.localActive,truFalHol4.initialStep.outPort[2].available,$PRE.truFalHol4.initialStep.newActive,truFalHol4.initialStep.newActive,$PRE.truFalHol4.initialStep.oldActive,truFalHol4.initialStep.oldActive,truFalHol4.toTrue1.enableFire,truFalHol4.toFalse1.enableFire,truFalHol4.onDel1.t_next,$whenCondition19,$PRE.truFalHol5.onDel2.t_next,$whenCondition16,$PRE.truFalHol5.onDel1.t_next,$whenCondition15,truFalHol5.onDel2.t_next,$whenCondition20,$whenCondition21,$whenCondition17,$whenCondition18,$PRE.booPul5.pulseStart,booPul5.pulseStart,truFalHol5.u,truFalHol5.onDel1.u,truFalHol5.onDel1.y,truFalHol5.onDel2.u,truFalHol5.onDel2.y,truFalHol5.stateGraphRoot.activeSteps,$PRE.truFalHol5.outputFalse.localActive,truFalHol5.outputFalse.localActive,truFalHol5.outputFalse.inPort[2].occupied,$PRE.truFalHol5.outputFalse.newActive,truFalHol5.outputFalse.newActive,$PRE.truFalHol5.outputFalse.oldActive,truFalHol5.outputFalse.oldActive,truFalHol5.outputFalse.active,truFalHol5.toTrue.localCondition,truFalHol5.toTrue.enableFire,$PRE.truFalHol5.outputTrue.localActive,truFalHol5.outputTrue.localActive,truFalHol5.outputTrue.inPort[2].occupied,$PRE.truFalHol5.outputTrue.newActive,truFalHol5.outputTrue.newActive,$PRE.truFalHol5.outputTrue.oldActive,truFalHol5.outputTrue.oldActive,truFalHol5.outputTrue.active,truFalHol5.toFalse.localCondition,truFalHol5.toFalse.enableFire,truFalHol5.initialStep.active,$PRE.truFalHol5.initialStep.localActive,truFalHol5.initialStep.localActive,truFalHol5.initialStep.outPort[2].available,$PRE.truFalHol5.initialStep.newActive,truFalHol5.initialStep.newActive,$PRE.truFalHol5.initialStep.oldActive,truFalHol5.initialStep.oldActive,truFalHol5.toTrue1.enableFire,truFalHol5.toFalse1.enableFire,truFalHol5.onDel1.t_next,$whenCondition12,$PRE.truFalHol6.onDel2.t_next,$whenCondition9,$PRE.truFalHol6.onDel1.t_next,$whenCondition8,truFalHol6.onDel2.t_next,$whenCondition13,$whenCondition14,$whenCondition10,$whenCondition11,$PRE.booPul6.pulseStart,booPul6.pulseStart,truFalHol6.u,truFalHol6.onDel1.u,truFalHol6.onDel1.y,truFalHol6.onDel2.u,truFalHol6.onDel2.y,truFalHol6.stateGraphRoot.activeSteps,$PRE.truFalHol6.outputFalse.localActive,truFalHol6.outputFalse.localActive,truFalHol6.outputFalse.inPort[2].occupied,$PRE.truFalHol6.outputFalse.newActive,truFalHol6.outputFalse.newActive,$PRE.truFalHol6.outputFalse.oldActive,truFalHol6.outputFalse.oldActive,truFalHol6.outputFalse.active,truFalHol6.toTrue.localCondition,truFalHol6.toTrue.enableFire,$PRE.truFalHol6.outputTrue.localActive,truFalHol6.outputTrue.localActive,truFalHol6.outputTrue.inPort[2].occupied,$PRE.truFalHol6.outputTrue.newActive,truFalHol6.outputTrue.newActive,$PRE.truFalHol6.outputTrue.oldActive,truFalHol6.outputTrue.oldActive,truFalHol6.outputTrue.active,truFalHol6.toFalse.localCondition,truFalHol6.toFalse.enableFire,truFalHol6.initialStep.active,$PRE.truFalHol6.initialStep.localActive,truFalHol6.initialStep.localActive,truFalHol6.initialStep.outPort[2].available,$PRE.truFalHol6.initialStep.newActive,truFalHol6.initialStep.newActive,$PRE.truFalHol6.initialStep.oldActive,truFalHol6.initialStep.oldActive,truFalHol6.toTrue1.enableFire,truFalHol6.toFalse1.enableFire,truFalHol6.onDel1.t_next,$whenCondition5,$PRE.truFalHol7.onDel2.t_next,$whenCondition2,$PRE.truFalHol7.onDel1.t_next,$whenCondition1,truFalHol7.onDel2.t_next,$whenCondition6,$whenCondition7,$whenCondition3,$whenCondition4,$PRE.booPul7.pulseStart,booPul7.pulseStart,truFalHol7.u,truFalHol7.onDel1.u,truFalHol7.onDel1.y,truFalHol7.onDel2.u,truFalHol7.onDel2.y,truFalHol7.stateGraphRoot.activeSteps,$PRE.truFalHol7.outputFalse.localActive,truFalHol7.outputFalse.localActive,truFalHol7.outputFalse.inPort[2].occupied,$PRE.truFalHol7.outputFalse.newActive,truFalHol7.outputFalse.newActive,$PRE.truFalHol7.outputFalse.oldActive,truFalHol7.outputFalse.oldActive,truFalHol7.outputFalse.active,truFalHol7.toTrue.localCondition,truFalHol7.toTrue.enableFire,$PRE.truFalHol7.outputTrue.localActive,truFalHol7.outputTrue.localActive,truFalHol7.outputTrue.inPort[2].occupied,$PRE.truFalHol7.outputTrue.newActive,truFalHol7.outputTrue.newActive,$PRE.truFalHol7.outputTrue.oldActive,truFalHol7.outputTrue.oldActive,truFalHol7.outputTrue.active,truFalHol7.toFalse.localCondition,truFalHol7.toFalse.enableFire,truFalHol7.initialStep.active,$PRE.truFalHol7.initialStep.localActive,truFalHol7.initialStep.localActive,truFalHol7.initialStep.outPort[2].available,$PRE.truFalHol7.initialStep.newActive,truFalHol7.initialStep.newActive,$PRE.truFalHol7.initialStep.oldActive,truFalHol7.initialStep.oldActive,truFalHol7.toTrue1.enableFire,truFalHol7.toFalse1.enableFire,truFalHol7.onDel1.t_next,truFalHol.stateGraphRoot.resume,truFalHol.stateGraphRoot.suspend,truFalHol1.stateGraphRoot.resume,truFalHol1.stateGraphRoot.suspend,truFalHol2.stateGraphRoot.resume,truFalHol2.stateGraphRoot.suspend,truFalHol3.stateGraphRoot.resume,truFalHol3.stateGraphRoot.suspend,truFalHol4.stateGraphRoot.resume,truFalHol4.stateGraphRoot.suspend,truFalHol5.stateGraphRoot.resume,truFalHol5.stateGraphRoot.suspend,truFalHol6.stateGraphRoot.resume,truFalHol6.stateGraphRoot.suspend,truFalHol7.stateGraphRoot.resume,truFalHol7.stateGraphRoot.suspend) * Number of discrete states: 0 () * Top-level inputs: 0 Notification: Strong component statistics for initialization (608): * Single equations (assignments): 608 * Array equations: 0 * Algorithm blocks: 0 * Record equations: 0 * When equations: 0 * If-equations: 0 * Equation systems (linear and non-linear blocks): 0 * Torn equation systems: 0 * Mixed (continuous/discrete) equation systems: 0 Notification: Performance of prepare postOptimizeDAE: time 0.003624/0.9116, allocations: 1.005 MB / 0.7064 GB, free: 13.45 MB / 0.5886 GB Notification: Performance of postOpt lateInlineFunction (simulation): time 0.0008978/0.9125, allocations: 225.5 kB / 0.7066 GB, free: 13.23 MB / 0.5886 GB Notification: Performance of postOpt wrapFunctionCalls (simulation): time 0.0119/0.9244, allocations: 3.289 MB / 0.7098 GB, free: 9.926 MB / 0.5886 GB Notification: Performance of postOpt inlineArrayEqn (simulation): time 6.326e-05/0.9245, allocations: 40 kB / 0.7099 GB, free: 9.887 MB / 0.5886 GB Notification: Performance of postOpt constantLinearSystem (simulation): time 2.513e-05/0.9246, allocations: 7.938 kB / 0.7099 GB, free: 9.879 MB / 0.5886 GB Notification: Performance of postOpt simplifysemiLinear (simulation): time 7.231e-05/0.9246, allocations: 19.94 kB / 0.7099 GB, free: 9.859 MB / 0.5886 GB Notification: Performance of postOpt removeSimpleEquations (simulation): time 0.0208/0.9455, allocations: 7.597 MB / 0.7173 GB, free: 2.086 MB / 0.5886 GB Notification: Performance of postOpt simplifyComplexFunction (simulation): time 3.995e-05/0.9455, allocations: 7.938 kB / 0.7173 GB, free: 2.078 MB / 0.5886 GB Notification: Performance of postOpt solveSimpleEquations (simulation): time 0.001293/0.9468, allocations: 167.5 kB / 0.7175 GB, free: 1.914 MB / 0.5886 GB Notification: Performance of postOpt tearingSystem (simulation): time 4.043e-05/0.9469, allocations: 16 kB / 0.7175 GB, free: 1.898 MB / 0.5886 GB Notification: Performance of postOpt inputDerivativesUsed (simulation): time 0.0004824/0.9474, allocations: 95.91 kB / 0.7176 GB, free: 1.805 MB / 0.5886 GB Notification: Performance of postOpt calculateStrongComponentJacobians (simulation): time 3.81e-05/0.9474, allocations: 15.94 kB / 0.7176 GB, free: 1.789 MB / 0.5886 GB Notification: Performance of postOpt calculateStateSetsJacobians (simulation): time 6.433e-06/0.9475, allocations: 4 kB / 0.7176 GB, free: 1.785 MB / 0.5886 GB Notification: Performance of postOpt symbolicJacobian (simulation): time 0.009498/0.957, allocations: 3.749 MB / 0.7213 GB, free: 13.95 MB / 0.6042 GB Notification: Performance of postOpt removeConstants (simulation): time 0.0006142/0.9576, allocations: 305.8 kB / 0.7216 GB, free: 13.63 MB / 0.6042 GB Notification: Performance of postOpt simplifyTimeIndepFuncCalls (simulation): time 0.0008037/0.9585, allocations: 95.94 kB / 0.7216 GB, free: 13.54 MB / 0.6042 GB Notification: Performance of postOpt simplifyAllExpressions (simulation): time 0.002145/0.9606, allocations: 163.8 kB / 0.7218 GB, free: 13.38 MB / 0.6042 GB Notification: Performance of postOpt findZeroCrossings (simulation): time 0.00136/0.962, allocations: 431.3 kB / 0.7222 GB, free: 12.96 MB / 0.6042 GB Notification: Performance of postOpt collapseArrayExpressions (simulation): time 0.0004415/0.9625, allocations: 159.9 kB / 0.7224 GB, free: 12.8 MB / 0.6042 GB Notification: Performance of sorting global known variables: time 0.001282/0.9638, allocations: 0.608 MB / 0.723 GB, free: 12.19 MB / 0.6042 GB Notification: Performance of sort global known variables: time 3.81e-07/0.9638, allocations: 0 / 0.723 GB, free: 12.19 MB / 0.6042 GB Notification: Performance of remove unused functions: time 0.003922/0.9677, allocations: 0.837 MB / 0.7238 GB, free: 11.35 MB / 0.6042 GB Notification: Model statistics after passing the back-end for simulation: * Number of independent subsystems: 8 * Number of states: 0 () * Number of discrete variables: 336 (truFalHol7.initialStep.active,truFalHol7.outputTrue.localActive,truFalHol7.onDel2.u,truFalHol7.outputTrue.active,truFalHol7.outputFalse.localActive,truFalHol7.onDel1.u,truFalHol7.outputFalse.active,$cse44,$cse45,$cse46,$cse47,$cse48,$whenCondition5,$whenCondition6,$whenCondition7,$whenCondition2,$whenCondition3,$whenCondition4,$whenCondition1,booPul7.pulseStart,truFalHol7.u,truFalHol7.onDel1.y,truFalHol7.onDel1.t_next,truFalHol7.onDel2.y,truFalHol7.onDel2.t_next,truFalHol7.stateGraphRoot.activeSteps,truFalHol7.outputFalse.inPort[2].occupied,truFalHol7.outputFalse.newActive,truFalHol7.outputFalse.oldActive,truFalHol7.toTrue.localCondition,truFalHol7.toTrue.enableFire,truFalHol7.outputTrue.inPort[2].occupied,truFalHol7.outputTrue.newActive,truFalHol7.outputTrue.oldActive,truFalHol7.toFalse.localCondition,truFalHol7.toFalse.enableFire,truFalHol7.initialStep.localActive,truFalHol7.initialStep.outPort[2].available,truFalHol7.initialStep.newActive,truFalHol7.initialStep.oldActive,truFalHol7.toTrue1.enableFire,truFalHol7.toFalse1.enableFire,truFalHol6.initialStep.active,truFalHol6.outputTrue.localActive,truFalHol6.onDel2.u,truFalHol6.outputTrue.active,truFalHol6.outputFalse.localActive,truFalHol6.onDel1.u,truFalHol6.outputFalse.active,$cse38,$cse39,$cse40,$cse41,$cse42,$whenCondition12,$whenCondition13,$whenCondition14,$whenCondition9,$whenCondition10,$whenCondition11,$whenCondition8,booPul6.pulseStart,truFalHol6.u,truFalHol6.onDel1.y,truFalHol6.onDel1.t_next,truFalHol6.onDel2.y,truFalHol6.onDel2.t_next,truFalHol6.stateGraphRoot.activeSteps,truFalHol6.outputFalse.inPort[2].occupied,truFalHol6.outputFalse.newActive,truFalHol6.outputFalse.oldActive,truFalHol6.toTrue.localCondition,truFalHol6.toTrue.enableFire,truFalHol6.outputTrue.inPort[2].occupied,truFalHol6.outputTrue.newActive,truFalHol6.outputTrue.oldActive,truFalHol6.toFalse.localCondition,truFalHol6.toFalse.enableFire,truFalHol6.initialStep.localActive,truFalHol6.initialStep.outPort[2].available,truFalHol6.initialStep.newActive,truFalHol6.initialStep.oldActive,truFalHol6.toTrue1.enableFire,truFalHol6.toFalse1.enableFire,truFalHol5.initialStep.active,truFalHol5.outputTrue.localActive,truFalHol5.onDel2.u,truFalHol5.outputTrue.active,truFalHol5.outputFalse.localActive,truFalHol5.onDel1.u,truFalHol5.outputFalse.active,$cse32,$cse33,$cse34,$cse35,$cse36,$whenCondition19,$whenCondition20,$whenCondition21,$whenCondition16,$whenCondition17,$whenCondition18,$whenCondition15,booPul5.pulseStart,truFalHol5.u,truFalHol5.onDel1.y,truFalHol5.onDel1.t_next,truFalHol5.onDel2.y,truFalHol5.onDel2.t_next,truFalHol5.stateGraphRoot.activeSteps,truFalHol5.outputFalse.inPort[2].occupied,truFalHol5.outputFalse.newActive,truFalHol5.outputFalse.oldActive,truFalHol5.toTrue.localCondition,truFalHol5.toTrue.enableFire,truFalHol5.outputTrue.inPort[2].occupied,truFalHol5.outputTrue.newActive,truFalHol5.outputTrue.oldActive,truFalHol5.toFalse.localCondition,truFalHol5.toFalse.enableFire,truFalHol5.initialStep.localActive,truFalHol5.initialStep.outPort[2].available,truFalHol5.initialStep.newActive,truFalHol5.initialStep.oldActive,truFalHol5.toTrue1.enableFire,truFalHol5.toFalse1.enableFire,truFalHol4.initialStep.active,truFalHol4.outputTrue.localActive,truFalHol4.onDel2.u,truFalHol4.outputTrue.active,truFalHol4.outputFalse.localActive,truFalHol4.onDel1.u,truFalHol4.outputFalse.active,$cse26,$cse27,$cse28,$cse29,$cse30,$whenCondition26,$whenCondition27,$whenCondition28,$whenCondition23,$whenCondition24,$whenCondition25,$whenCondition22,booPul4.pulseStart,truFalHol4.u,truFalHol4.onDel1.y,truFalHol4.onDel1.t_next,truFalHol4.onDel2.y,truFalHol4.onDel2.t_next,truFalHol4.stateGraphRoot.activeSteps,truFalHol4.outputFalse.inPort[2].occupied,truFalHol4.outputFalse.newActive,truFalHol4.outputFalse.oldActive,truFalHol4.toTrue.localCondition,truFalHol4.toTrue.enableFire,truFalHol4.outputTrue.inPort[2].occupied,truFalHol4.outputTrue.newActive,truFalHol4.outputTrue.oldActive,truFalHol4.toFalse.localCondition,truFalHol4.toFalse.enableFire,truFalHol4.initialStep.localActive,truFalHol4.initialStep.outPort[2].available,truFalHol4.initialStep.newActive,truFalHol4.initialStep.oldActive,truFalHol4.toTrue1.enableFire,truFalHol4.toFalse1.enableFire,truFalHol3.initialStep.active,truFalHol3.outputTrue.localActive,truFalHol3.onDel2.u,truFalHol3.outputTrue.active,truFalHol3.outputFalse.localActive,truFalHol3.onDel1.u,truFalHol3.outputFalse.active,$cse20,$cse21,$cse22,$cse23,$cse24,$whenCondition33,$whenCondition34,$whenCondition35,$whenCondition30,$whenCondition31,$whenCondition32,$whenCondition29,booPul3.pulseStart,truFalHol3.u,truFalHol3.onDel1.y,truFalHol3.onDel1.t_next,truFalHol3.onDel2.y,truFalHol3.onDel2.t_next,truFalHol3.stateGraphRoot.activeSteps,truFalHol3.outputFalse.inPort[2].occupied,truFalHol3.outputFalse.newActive,truFalHol3.outputFalse.oldActive,truFalHol3.toTrue.localCondition,truFalHol3.toTrue.enableFire,truFalHol3.outputTrue.inPort[2].occupied,truFalHol3.outputTrue.newActive,truFalHol3.outputTrue.oldActive,truFalHol3.toFalse.localCondition,truFalHol3.toFalse.enableFire,truFalHol3.initialStep.localActive,truFalHol3.initialStep.outPort[2].available,truFalHol3.initialStep.newActive,truFalHol3.initialStep.oldActive,truFalHol3.toTrue1.enableFire,truFalHol3.toFalse1.enableFire,truFalHol2.initialStep.active,truFalHol2.outputTrue.localActive,truFalHol2.onDel2.u,truFalHol2.outputTrue.active,truFalHol2.outputFalse.localActive,truFalHol2.onDel1.u,truFalHol2.outputFalse.active,$cse14,$cse15,$cse16,$cse17,$cse18,$whenCondition40,$whenCondition41,$whenCondition42,$whenCondition37,$whenCondition38,$whenCondition39,$whenCondition36,booPul2.pulseStart,truFalHol2.u,truFalHol2.onDel1.y,truFalHol2.onDel1.t_next,truFalHol2.onDel2.y,truFalHol2.onDel2.t_next,truFalHol2.stateGraphRoot.activeSteps,truFalHol2.outputFalse.inPort[2].occupied,truFalHol2.outputFalse.newActive,truFalHol2.outputFalse.oldActive,truFalHol2.toTrue.localCondition,truFalHol2.toTrue.enableFire,truFalHol2.outputTrue.inPort[2].occupied,truFalHol2.outputTrue.newActive,truFalHol2.outputTrue.oldActive,truFalHol2.toFalse.localCondition,truFalHol2.toFalse.enableFire,truFalHol2.initialStep.localActive,truFalHol2.initialStep.outPort[2].available,truFalHol2.initialStep.newActive,truFalHol2.initialStep.oldActive,truFalHol2.toTrue1.enableFire,truFalHol2.toFalse1.enableFire,truFalHol1.initialStep.active,truFalHol1.outputTrue.localActive,truFalHol1.onDel2.u,truFalHol1.outputTrue.active,truFalHol1.outputFalse.localActive,truFalHol1.onDel1.u,truFalHol1.outputFalse.active,$cse8,$cse9,$cse10,$cse11,$cse12,$whenCondition47,$whenCondition48,$whenCondition49,$whenCondition44,$whenCondition45,$whenCondition46,$whenCondition43,booPul1.pulseStart,truFalHol1.u,truFalHol1.onDel1.y,truFalHol1.onDel1.t_next,truFalHol1.onDel2.y,truFalHol1.onDel2.t_next,truFalHol1.stateGraphRoot.activeSteps,truFalHol1.outputFalse.inPort[2].occupied,truFalHol1.outputFalse.newActive,truFalHol1.outputFalse.oldActive,truFalHol1.toTrue.localCondition,truFalHol1.toTrue.enableFire,truFalHol1.outputTrue.inPort[2].occupied,truFalHol1.outputTrue.newActive,truFalHol1.outputTrue.oldActive,truFalHol1.toFalse.localCondition,truFalHol1.toFalse.enableFire,truFalHol1.initialStep.localActive,truFalHol1.initialStep.outPort[2].available,truFalHol1.initialStep.newActive,truFalHol1.initialStep.oldActive,truFalHol1.toTrue1.enableFire,truFalHol1.toFalse1.enableFire,truFalHol.initialStep.active,truFalHol.outputTrue.localActive,truFalHol.onDel2.u,truFalHol.outputTrue.active,truFalHol.outputFalse.localActive,truFalHol.onDel1.u,truFalHol.outputFalse.active,$cse2,$cse3,$cse4,$cse5,$cse6,$whenCondition54,$whenCondition55,$whenCondition56,$whenCondition51,$whenCondition52,$whenCondition53,$whenCondition50,booPul.pulseStart,truFalHol.u,truFalHol.onDel1.y,truFalHol.onDel1.t_next,truFalHol.onDel2.y,truFalHol.onDel2.t_next,truFalHol.stateGraphRoot.activeSteps,truFalHol.outputFalse.inPort[2].occupied,truFalHol.outputFalse.newActive,truFalHol.outputFalse.oldActive,truFalHol.toTrue.localCondition,truFalHol.toTrue.enableFire,truFalHol.outputTrue.inPort[2].occupied,truFalHol.outputTrue.newActive,truFalHol.outputTrue.oldActive,truFalHol.toFalse.localCondition,truFalHol.toFalse.enableFire,truFalHol.initialStep.localActive,truFalHol.initialStep.outPort[2].available,truFalHol.initialStep.newActive,truFalHol.initialStep.oldActive,truFalHol.toTrue1.enableFire,truFalHol.toFalse1.enableFire) * Number of discrete states: 40 (truFalHol.onDel2.t_next,truFalHol.onDel1.t_next,truFalHol.outputFalse.newActive,truFalHol.outputTrue.newActive,truFalHol.initialStep.newActive,truFalHol1.onDel2.t_next,truFalHol1.onDel1.t_next,truFalHol1.outputFalse.newActive,truFalHol1.outputTrue.newActive,truFalHol1.initialStep.newActive,truFalHol2.onDel2.t_next,truFalHol2.onDel1.t_next,truFalHol2.outputFalse.newActive,truFalHol2.outputTrue.newActive,truFalHol2.initialStep.newActive,truFalHol3.onDel2.t_next,truFalHol3.onDel1.t_next,truFalHol3.outputFalse.newActive,truFalHol3.outputTrue.newActive,truFalHol3.initialStep.newActive,truFalHol4.onDel2.t_next,truFalHol4.onDel1.t_next,truFalHol4.outputFalse.newActive,truFalHol4.outputTrue.newActive,truFalHol4.initialStep.newActive,truFalHol5.onDel2.t_next,truFalHol5.onDel1.t_next,truFalHol5.outputFalse.newActive,truFalHol5.outputTrue.newActive,truFalHol5.initialStep.newActive,truFalHol6.onDel2.t_next,truFalHol6.onDel1.t_next,truFalHol6.outputFalse.newActive,truFalHol6.outputTrue.newActive,truFalHol6.initialStep.newActive,truFalHol7.onDel2.t_next,truFalHol7.onDel1.t_next,truFalHol7.outputFalse.newActive,truFalHol7.outputTrue.newActive,truFalHol7.initialStep.newActive) * Top-level inputs: 0 Notification: Strong component statistics for simulation (368): * Single equations (assignments): 304 * Array equations: 0 * Algorithm blocks: 0 * Record equations: 0 * When equations: 64 * If-equations: 0 * Equation systems (linear and non-linear blocks): 0 * Torn equation systems: 0 * Mixed (continuous/discrete) equation systems: 0 Notification: Performance of Backend phase and start with SimCode phase: time 0.0008474/0.9686, allocations: 410.1 kB / 0.7242 GB, free: 10.92 MB / 0.6042 GB Notification: Performance of simCode: created initialization part: time 0.009378/0.978, allocations: 3.152 MB / 0.7272 GB, free: 7.773 MB / 0.6042 GB Notification: Performance of simCode: created event and clocks part: time 1.074e-05/0.978, allocations: 0 / 0.7272 GB, free: 7.773 MB / 0.6042 GB Notification: Performance of simCode: created simulation system equations: time 0.004978/0.983, allocations: 1.667 MB / 0.7289 GB, free: 6.109 MB / 0.6042 GB Notification: Performance of simCode: created of all other equations (e.g. parameter, nominal, assert, etc): time 0.002534/0.9856, allocations: 320.9 kB / 0.7292 GB, free: 5.793 MB / 0.6042 GB Notification: Performance of simCode: created linear, non-linear and system jacobian parts: time 0.01874/1.004, allocations: 5.72 MB / 0.7348 GB, free: 28 kB / 0.6042 GB Notification: Performance of simCode: some other stuff during SimCode phase: time 0.00214/1.007, allocations: 1.815 MB / 0.7365 GB, free: 14.18 MB / 0.6198 GB Notification: Performance of simCode: alias equations: time 0.002653/1.009, allocations: 463.4 kB / 0.737 GB, free: 13.72 MB / 0.6198 GB Notification: Performance of simCode: all other stuff during SimCode phase: time 0.001235/1.01, allocations: 259.3 kB / 0.7372 GB, free: 13.47 MB / 0.6198 GB Notification: Performance of SimCode: time 9.92e-07/1.011, allocations: 0 / 0.7372 GB, free: 13.47 MB / 0.6198 GB Notification: Performance of Templates: time 0.08679/1.097, allocations: 27.01 MB / 0.7636 GB, free: 2.621 MB / 0.6355 GB