Running command: translateModel(Buildings.Controls.OBC.CDL.Logical.Validation.TrueFalseHold,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Buildings_7.0.0_Buildings.Controls.OBC.CDL.Logical.Validation.TrueFalseHold") Notification: Performance of loadModel(Buildings): time 4.214/4.214, allocations: 460.5 MB / 472.6 MB, free: 5.375 MB / 378.7 MB Notification: Performance of FrontEnd - loaded program: time 4.654e-05/4.665e-05, allocations: 8 kB / 0.5681 GB, free: 10.14 MB / 458.7 MB Notification: Performance of FrontEnd - Absyn->SCode: time 0.2291/0.2292, allocations: 106.2 MB / 0.6718 GB, free: 15.73 MB / 0.5573 GB Notification: Performance of FrontEnd - scodeFlatten: time 0.7329/0.9622, allocations: 133.8 MB / 0.8025 GB, free: 13.07 MB / 0.6355 GB Notification: Performance of FrontEnd - mkProgramGraph: time 0.0002245/0.9625, allocations: 76.19 kB / 0.8026 GB, free: 13.07 MB / 0.6355 GB Notification: Performance of FrontEnd - DAE generated: time 0.1665/1.129, allocations: 50.57 MB / 0.852 GB, free: 12.98 MB / 0.6511 GB Notification: Performance of FrontEnd: time 2.888e-06/1.129, allocations: 0 / 0.852 GB, free: 12.98 MB / 0.6511 GB Notification: Performance of Transformations before backend: time 0.0002068/1.129, allocations: 92.88 kB / 0.852 GB, free: 12.97 MB / 0.6511 GB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 904 * Number of variables: 904 Notification: Performance of Generate backend data structure: time 0.008653/1.138, allocations: 3.162 MB / 0.8551 GB, free: 10.83 MB / 0.6511 GB Notification: Performance of prepare preOptimizeDAE: time 4.436e-05/1.138, allocations: 11.5 kB / 0.8551 GB, free: 10.83 MB / 0.6511 GB Notification: Performance of preOpt normalInlineFunction (simulation): time 0.001696/1.14, allocations: 384.4 kB / 0.8555 GB, free: 10.65 MB / 0.6511 GB Notification: Performance of preOpt evaluateParameters (simulation): time 0.004111/1.144, allocations: 1.401 MB / 0.8569 GB, free: 10.01 MB / 0.6511 GB Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.0007523/1.145, allocations: 346.5 kB / 0.8572 GB, free: 9.988 MB / 0.6511 GB Notification: Performance of preOpt expandDerOperator (simulation): time 0.001254/1.146, allocations: 441.5 kB / 0.8576 GB, free: 9.969 MB / 0.6511 GB Notification: Performance of preOpt clockPartitioning (simulation): time 0.01138/1.157, allocations: 4.171 MB / 0.8617 GB, free: 7.754 MB / 0.6511 GB Notification: Performance of preOpt findStateOrder (simulation): time 0.0001061/1.157, allocations: 23.8 kB / 0.8617 GB, free: 7.73 MB / 0.6511 GB Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.000543/1.158, allocations: 172.7 kB / 0.8619 GB, free: 7.668 MB / 0.6511 GB Notification: Performance of preOpt inlineArrayEqn (simulation): time 0.000104/1.158, allocations: 96 kB / 0.862 GB, free: 7.574 MB / 0.6511 GB Notification: Performance of preOpt removeEqualRHS (simulation): time 0.007681/1.166, allocations: 2.68 MB / 0.8646 GB, free: 5.883 MB / 0.6511 GB Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.0278/1.194, allocations: 17.4 MB / 0.8816 GB, free: 5.383 MB / 0.6667 GB Notification: Performance of preOpt comSubExp (simulation): time 0.006033/1.2, allocations: 2.415 MB / 0.8839 GB, free: 2.906 MB / 0.6667 GB Notification: Performance of preOpt resolveLoops (simulation): time 0.003781/1.204, allocations: 1.242 MB / 0.8852 GB, free: 1.641 MB / 0.6667 GB Notification: Performance of preOpt evalFunc (simulation): time 0.0001792/1.204, allocations: 39.77 kB / 0.8852 GB, free: 1.605 MB / 0.6667 GB Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.004709/1.208, allocations: 1.774 MB / 0.8869 GB, free: 15.79 MB / 0.6823 GB Notification: Performance of pre-optimization done (n=328): time 9.4e-06/1.209, allocations: 0 / 0.8869 GB, free: 15.79 MB / 0.6823 GB Notification: Performance of matching and sorting (n=328): time 0.008348/1.217, allocations: 2.735 MB / 0.8896 GB, free: 13.04 MB / 0.6823 GB Notification: Performance of inlineWhenForInitialization (initialization): time 0.0002747/1.217, allocations: 303 kB / 0.8899 GB, free: 12.7 MB / 0.6823 GB Notification: Performance of selectInitializationVariablesDAE (initialization): time 0.002588/1.22, allocations: 1.202 MB / 0.8911 GB, free: 11.48 MB / 0.6823 GB Notification: Performance of collectPreVariables (initialization): time 0.0008741/1.221, allocations: 201.7 kB / 0.8912 GB, free: 11.27 MB / 0.6823 GB Notification: Performance of collectInitialEqns (initialization): time 0.001641/1.222, allocations: 1.192 MB / 0.8924 GB, free: 10.15 MB / 0.6823 GB Notification: Performance of collectInitialBindings (initialization): time 0.001415/1.224, allocations: 0.7305 MB / 0.8931 GB, free: 9.48 MB / 0.6823 GB Notification: Performance of simplifyInitialFunctions (initialization): time 0.0004085/1.224, allocations: 96 kB / 0.8932 GB, free: 9.387 MB / 0.6823 GB Notification: Performance of setup shared object (initialization): time 0.0004429/1.225, allocations: 492.3 kB / 0.8937 GB, free: 8.898 MB / 0.6823 GB Notification: Performance of preBalanceInitialSystem (initialization): time 0.003108/1.228, allocations: 1.005 MB / 0.8947 GB, free: 7.887 MB / 0.6823 GB Notification: Performance of partitionIndependentBlocks (initialization): time 0.005014/1.233, allocations: 2.447 MB / 0.8971 GB, free: 4.766 MB / 0.6823 GB Notification: Performance of analyzeInitialSystem (initialization): time 0.003621/1.237, allocations: 1.153 MB / 0.8982 GB, free: 3.609 MB / 0.6823 GB Notification: Performance of solveInitialSystemEqSystem (initialization): time 5.365e-05/1.237, allocations: 12 kB / 0.8982 GB, free: 3.598 MB / 0.6823 GB Notification: Performance of matching and sorting (n=608) (initialization): time 0.01047/1.247, allocations: 3.471 MB / 0.9016 GB, free: 120 kB / 0.6823 GB Notification: Performance of prepare postOptimizeDAE: time 6.983e-05/1.247, allocations: 24 kB / 0.9016 GB, free: 96 kB / 0.6823 GB Notification: Performance of postOpt simplifyComplexFunction (initialization): time 7.576e-05/1.247, allocations: 52.12 kB / 0.9017 GB, free: 44 kB / 0.6823 GB Notification: Performance of postOpt tearingSystem (initialization): time 0.0001599/1.247, allocations: 83.98 kB / 0.9017 GB, free: 15.96 MB / 0.698 GB Notification: Performance of postOpt solveSimpleEquations (initialization): time 0.002645/1.25, allocations: 0.5259 MB / 0.9023 GB, free: 15.43 MB / 0.698 GB Notification: Performance of postOpt calculateStrongComponentJacobians (initialization): time 0.0001421/1.25, allocations: 103.6 kB / 0.9024 GB, free: 15.33 MB / 0.698 GB Notification: Performance of postOpt simplifyAllExpressions (initialization): time 0.003014/1.253, allocations: 338 kB / 0.9027 GB, free: 15 MB / 0.698 GB Notification: Performance of postOpt collapseArrayExpressions (initialization): time 0.0007908/1.254, allocations: 224 kB / 0.9029 GB, free: 14.78 MB / 0.698 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,booPul.y,$PRE.booPul.pulseStart,booPul.pulseStart,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.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.enableFire,truFalHol.and2.y,truFalHol.and1.y,$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.initialStep.active,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,booPul1.y,$PRE.booPul1.pulseStart,booPul1.pulseStart,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.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.enableFire,truFalHol1.and2.y,truFalHol1.and1.y,$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.initialStep.active,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.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.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.enableFire,truFalHol2.and2.y,truFalHol2.and1.y,$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.initialStep.active,truFalHol2.toTrue1.enableFire,truFalHol2.toFalse1.enableFire,not1.y,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.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.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.enableFire,truFalHol3.and2.y,truFalHol3.and1.y,$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.initialStep.active,truFalHol3.toTrue1.enableFire,truFalHol3.toFalse1.enableFire,not3.y,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,booPul4.y,$PRE.booPul4.pulseStart,booPul4.pulseStart,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.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.enableFire,truFalHol4.and2.y,truFalHol4.and1.y,$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.initialStep.active,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,booPul5.y,$PRE.booPul5.pulseStart,booPul5.pulseStart,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.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.enableFire,truFalHol5.and2.y,truFalHol5.and1.y,$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.initialStep.active,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.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.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.enableFire,truFalHol6.and2.y,truFalHol6.and1.y,$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.initialStep.active,truFalHol6.toTrue1.enableFire,truFalHol6.toFalse1.enableFire,not2.y,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.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.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.enableFire,truFalHol7.and2.y,truFalHol7.and1.y,$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.initialStep.active,truFalHol7.toTrue1.enableFire,truFalHol7.toFalse1.enableFire,not4.y,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.001398/1.256, allocations: 0.6515 MB / 0.9035 GB, free: 14.11 MB / 0.698 GB Notification: Performance of postOpt lateInlineFunction (simulation): time 0.0006564/1.256, allocations: 225.5 kB / 0.9037 GB, free: 13.89 MB / 0.698 GB Notification: Performance of postOpt wrapFunctionCalls (simulation): time 0.01206/1.268, allocations: 3.146 MB / 0.9068 GB, free: 10.72 MB / 0.698 GB Notification: Performance of postOpt inlineArrayEqn (simulation): time 0.0001179/1.269, allocations: 36 kB / 0.9068 GB, free: 10.69 MB / 0.698 GB Notification: Performance of postOpt constantLinearSystem (simulation): time 4.8e-05/1.269, allocations: 4 kB / 0.9068 GB, free: 10.68 MB / 0.698 GB Notification: Performance of postOpt simplifysemiLinear (simulation): time 0.0001451/1.269, allocations: 19.94 kB / 0.9069 GB, free: 10.66 MB / 0.698 GB Notification: Performance of postOpt removeSimpleEquations (simulation): time 0.05506/1.324, allocations: 7.965 MB / 0.9146 GB, free: 2.52 MB / 0.698 GB Notification: Performance of postOpt simplifyComplexFunction (simulation): time 5.012e-05/1.324, allocations: 0 / 0.9146 GB, free: 2.52 MB / 0.698 GB Notification: Performance of postOpt solveSimpleEquations (simulation): time 0.001696/1.326, allocations: 175.4 kB / 0.9148 GB, free: 2.348 MB / 0.698 GB Notification: Performance of postOpt tearingSystem (simulation): time 5.981e-05/1.326, allocations: 12 kB / 0.9148 GB, free: 2.336 MB / 0.698 GB Notification: Performance of postOpt inputDerivativesUsed (simulation): time 0.0005779/1.326, allocations: 99.91 kB / 0.9149 GB, free: 2.238 MB / 0.698 GB Notification: Performance of postOpt calculateStrongComponentJacobians (simulation): time 4.682e-05/1.326, allocations: 19.95 kB / 0.9149 GB, free: 2.219 MB / 0.698 GB Notification: Performance of postOpt calculateStateSetsJacobians (simulation): time 6.592e-06/1.326, allocations: 0 / 0.9149 GB, free: 2.219 MB / 0.698 GB Notification: Performance of postOpt symbolicJacobian (simulation): time 0.02403/1.351, allocations: 3.662 MB / 0.9185 GB, free: 14.47 MB / 0.7136 GB Notification: Performance of postOpt removeConstants (simulation): time 0.0007785/1.351, allocations: 270.2 kB / 0.9188 GB, free: 14.19 MB / 0.7136 GB Notification: Performance of postOpt simplifyTimeIndepFuncCalls (simulation): time 0.0008899/1.352, allocations: 107.9 kB / 0.9189 GB, free: 14.08 MB / 0.7136 GB Notification: Performance of postOpt simplifyAllExpressions (simulation): time 0.003324/1.356, allocations: 163.8 kB / 0.919 GB, free: 13.92 MB / 0.7136 GB Notification: Performance of postOpt findZeroCrossings (simulation): time 0.001975/1.358, allocations: 423 kB / 0.9194 GB, free: 13.51 MB / 0.7136 GB Notification: Performance of postOpt collapseArrayExpressions (simulation): time 0.0006955/1.358, allocations: 155.9 kB / 0.9196 GB, free: 13.36 MB / 0.7136 GB Notification: Performance of sorting global known variables: time 0.001958/1.36, allocations: 0.5891 MB / 0.9202 GB, free: 12.76 MB / 0.7136 GB Notification: Performance of sort global known variables: time 1.441e-06/1.36, allocations: 0 / 0.9202 GB, free: 12.76 MB / 0.7136 GB Notification: Performance of remove unused functions: time 0.006557/1.367, allocations: 0.6755 MB / 0.9208 GB, free: 12.08 MB / 0.7136 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.onDel2.u,truFalHol7.outputTrue.localActive,truFalHol7.outputTrue.active,truFalHol7.onDel1.u,truFalHol7.outputFalse.localActive,truFalHol7.outputFalse.active,$cse36,$cse37,$cse38,$cse39,$cse40,$whenCondition5,$whenCondition6,$whenCondition7,$whenCondition2,$whenCondition3,$whenCondition4,$whenCondition1,booPul7.pulseStart,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.enableFire,truFalHol7.outputTrue.inPort[2].occupied,truFalHol7.outputTrue.newActive,truFalHol7.outputTrue.oldActive,truFalHol7.toFalse.enableFire,truFalHol7.and2.y,truFalHol7.and1.y,truFalHol7.initialStep.localActive,truFalHol7.initialStep.outPort[2].available,truFalHol7.initialStep.newActive,truFalHol7.initialStep.oldActive,truFalHol7.toTrue1.enableFire,truFalHol7.toFalse1.enableFire,not4.y,truFalHol6.initialStep.active,truFalHol6.onDel2.u,truFalHol6.outputTrue.localActive,truFalHol6.outputTrue.active,truFalHol6.onDel1.u,truFalHol6.outputFalse.localActive,truFalHol6.outputFalse.active,$cse31,$cse32,$cse33,$cse34,$cse35,$whenCondition12,$whenCondition13,$whenCondition14,$whenCondition9,$whenCondition10,$whenCondition11,$whenCondition8,booPul6.pulseStart,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.enableFire,truFalHol6.outputTrue.inPort[2].occupied,truFalHol6.outputTrue.newActive,truFalHol6.outputTrue.oldActive,truFalHol6.toFalse.enableFire,truFalHol6.and2.y,truFalHol6.and1.y,truFalHol6.initialStep.localActive,truFalHol6.initialStep.outPort[2].available,truFalHol6.initialStep.newActive,truFalHol6.initialStep.oldActive,truFalHol6.toTrue1.enableFire,truFalHol6.toFalse1.enableFire,not2.y,truFalHol5.initialStep.active,truFalHol5.onDel2.u,truFalHol5.outputTrue.localActive,truFalHol5.outputTrue.active,truFalHol5.onDel1.u,truFalHol5.outputFalse.localActive,truFalHol5.outputFalse.active,$cse26,$cse27,$cse28,$cse29,$cse30,$whenCondition19,$whenCondition20,$whenCondition21,$whenCondition16,$whenCondition17,$whenCondition18,$whenCondition15,booPul5.y,booPul5.pulseStart,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.enableFire,truFalHol5.outputTrue.inPort[2].occupied,truFalHol5.outputTrue.newActive,truFalHol5.outputTrue.oldActive,truFalHol5.toFalse.enableFire,truFalHol5.and2.y,truFalHol5.and1.y,truFalHol5.initialStep.localActive,truFalHol5.initialStep.outPort[2].available,truFalHol5.initialStep.newActive,truFalHol5.initialStep.oldActive,truFalHol5.toTrue1.enableFire,truFalHol5.toFalse1.enableFire,truFalHol4.initialStep.active,truFalHol4.onDel2.u,truFalHol4.outputTrue.localActive,truFalHol4.outputTrue.active,truFalHol4.onDel1.u,truFalHol4.outputFalse.localActive,truFalHol4.outputFalse.active,$cse21,$cse22,$cse23,$cse24,$cse25,$whenCondition26,$whenCondition27,$whenCondition28,$whenCondition23,$whenCondition24,$whenCondition25,$whenCondition22,booPul4.y,booPul4.pulseStart,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.enableFire,truFalHol4.outputTrue.inPort[2].occupied,truFalHol4.outputTrue.newActive,truFalHol4.outputTrue.oldActive,truFalHol4.toFalse.enableFire,truFalHol4.and2.y,truFalHol4.and1.y,truFalHol4.initialStep.localActive,truFalHol4.initialStep.outPort[2].available,truFalHol4.initialStep.newActive,truFalHol4.initialStep.oldActive,truFalHol4.toTrue1.enableFire,truFalHol4.toFalse1.enableFire,truFalHol3.initialStep.active,truFalHol3.onDel2.u,truFalHol3.outputTrue.localActive,truFalHol3.outputTrue.active,truFalHol3.onDel1.u,truFalHol3.outputFalse.localActive,truFalHol3.outputFalse.active,$cse16,$cse17,$cse18,$cse19,$cse20,$whenCondition33,$whenCondition34,$whenCondition35,$whenCondition30,$whenCondition31,$whenCondition32,$whenCondition29,booPul3.pulseStart,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.enableFire,truFalHol3.outputTrue.inPort[2].occupied,truFalHol3.outputTrue.newActive,truFalHol3.outputTrue.oldActive,truFalHol3.toFalse.enableFire,truFalHol3.and2.y,truFalHol3.and1.y,truFalHol3.initialStep.localActive,truFalHol3.initialStep.outPort[2].available,truFalHol3.initialStep.newActive,truFalHol3.initialStep.oldActive,truFalHol3.toTrue1.enableFire,truFalHol3.toFalse1.enableFire,not3.y,truFalHol2.initialStep.active,truFalHol2.onDel2.u,truFalHol2.outputTrue.localActive,truFalHol2.outputTrue.active,truFalHol2.onDel1.u,truFalHol2.outputFalse.localActive,truFalHol2.outputFalse.active,$cse11,$cse12,$cse13,$cse14,$cse15,$whenCondition40,$whenCondition41,$whenCondition42,$whenCondition37,$whenCondition38,$whenCondition39,$whenCondition36,booPul2.pulseStart,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.enableFire,truFalHol2.outputTrue.inPort[2].occupied,truFalHol2.outputTrue.newActive,truFalHol2.outputTrue.oldActive,truFalHol2.toFalse.enableFire,truFalHol2.and2.y,truFalHol2.and1.y,truFalHol2.initialStep.localActive,truFalHol2.initialStep.outPort[2].available,truFalHol2.initialStep.newActive,truFalHol2.initialStep.oldActive,truFalHol2.toTrue1.enableFire,truFalHol2.toFalse1.enableFire,not1.y,truFalHol1.initialStep.active,truFalHol1.onDel2.u,truFalHol1.outputTrue.localActive,truFalHol1.outputTrue.active,truFalHol1.onDel1.u,truFalHol1.outputFalse.localActive,truFalHol1.outputFalse.active,$cse6,$cse7,$cse8,$cse9,$cse10,$whenCondition47,$whenCondition48,$whenCondition49,$whenCondition44,$whenCondition45,$whenCondition46,$whenCondition43,booPul1.y,booPul1.pulseStart,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.enableFire,truFalHol1.outputTrue.inPort[2].occupied,truFalHol1.outputTrue.newActive,truFalHol1.outputTrue.oldActive,truFalHol1.toFalse.enableFire,truFalHol1.and2.y,truFalHol1.and1.y,truFalHol1.initialStep.localActive,truFalHol1.initialStep.outPort[2].available,truFalHol1.initialStep.newActive,truFalHol1.initialStep.oldActive,truFalHol1.toTrue1.enableFire,truFalHol1.toFalse1.enableFire,truFalHol.initialStep.active,truFalHol.onDel2.u,truFalHol.outputTrue.localActive,truFalHol.outputTrue.active,truFalHol.onDel1.u,truFalHol.outputFalse.localActive,truFalHol.outputFalse.active,$cse1,$cse2,$cse3,$cse4,$cse5,$whenCondition54,$whenCondition55,$whenCondition56,$whenCondition51,$whenCondition52,$whenCondition53,$whenCondition50,booPul.y,booPul.pulseStart,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.enableFire,truFalHol.outputTrue.inPort[2].occupied,truFalHol.outputTrue.newActive,truFalHol.outputTrue.oldActive,truFalHol.toFalse.enableFire,truFalHol.and2.y,truFalHol.and1.y,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.001321/1.368, allocations: 411.6 kB / 0.9212 GB, free: 11.66 MB / 0.7136 GB Notification: Performance of simCode: created initialization part: time 0.01329/1.382, allocations: 2.955 MB / 0.9241 GB, free: 8.715 MB / 0.7136 GB Notification: Performance of simCode: created event and clocks part: time 1.1e-05/1.382, allocations: 4.062 kB / 0.9241 GB, free: 8.711 MB / 0.7136 GB Notification: Performance of simCode: created simulation system equations: time 0.006993/1.389, allocations: 1.593 MB / 0.9257 GB, free: 7.133 MB / 0.7136 GB Notification: Performance of simCode: created of all other equations (e.g. parameter, nominal, assert, etc): time 0.004254/1.393, allocations: 308.2 kB / 0.926 GB, free: 6.832 MB / 0.7136 GB Notification: Performance of simCode: created linear, non-linear and system jacobian parts: time 0.01796/1.411, allocations: 3.887 MB / 0.9297 GB, free: 2.895 MB / 0.7136 GB Notification: Performance of simCode: some other stuff during SimCode phase: time 0.003483/1.415, allocations: 1.831 MB / 0.9315 GB, free: 1.035 MB / 0.7136 GB Notification: Performance of simCode: alias equations: time 0.002399/1.417, allocations: 431.4 kB / 0.9319 GB, free: 0.6094 MB / 0.7136 GB Notification: Performance of simCode: all other stuff during SimCode phase: time 0.001154/1.418, allocations: 251.4 kB / 0.9322 GB, free: 372 kB / 0.7136 GB Notification: Performance of SimCode: time 2.309e-06/1.418, allocations: 0 / 0.9322 GB, free: 372 kB / 0.7136 GB Notification: Performance of Templates: time 0.08145/1.5, allocations: 26.66 MB / 0.9582 GB, free: 5.875 MB / 0.7448 GB