Running: ./testmodel.py --libraries=/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/./OMCompiler/build/lib/omlibrary/ --ompython_omhome=/usr Buildings_6.0.0_Buildings.Controls.OBC.CDL.Logical.Validation.TrueFalseHold.conf.json Using package Buildings with version 6.0.0 (/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/lib/omlibrary/Buildings 6.0.0/package.mo) Using package Modelica with version 3.2.2 (/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/lib/omlibrary/Modelica 3.2.2/package.mo) Using package Complex with version 3.2.2 (/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/lib/omlibrary/Complex 3.2.2.mo) Using package ModelicaServices with version 3.2.2 (/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/lib/omlibrary/ModelicaServices 3.2.2/package.mo) 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 loadFile(/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/lib/omlibrary/ModelicaServices 3.2.2/package.mo): time 0.009078/0.009078, allocations: 110.8 kB / 15.05 MB, free: 5.965 MB / 13.93 MB Notification: Performance of loadFile(/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/lib/omlibrary/Complex 3.2.2.mo): time 0.00116/0.00116, allocations: 184.1 kB / 15.94 MB, free: 5.93 MB / 13.93 MB Notification: Performance of loadFile(/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/lib/omlibrary/Modelica 3.2.2/package.mo): time 1.85/1.85, allocations: 194.6 MB / 211.3 MB, free: 11.11 MB / 170.7 MB Notification: Performance of loadFile(/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/lib/omlibrary/Buildings 6.0.0/package.mo): time 2.502/2.502, allocations: 236.2 MB / 492.6 MB, free: 11.3 MB / 394.7 MB Notification: Performance of FrontEnd - loaded program: time 0.0004692/0.0004693, allocations: 12 kB / 0.587 GB, free: 2.141 MB / 490.7 MB Notification: Performance of FrontEnd - Absyn->SCode: time 0.6171/0.6176, allocations: 98.71 MB / 0.6834 GB, free: 16.83 MB / 0.5261 GB Notification: Performance of FrontEnd - scodeFlatten: time 0.2676/0.8852, allocations: 126.9 MB / 0.8073 GB, free: 15.41 MB / 0.6355 GB Notification: Performance of FrontEnd - mkProgramGraph: time 0.0002411/0.8855, allocations: 75.95 kB / 0.8073 GB, free: 15.33 MB / 0.6355 GB Notification: Performance of FrontEnd - DAE generated: time 0.2204/1.106, allocations: 50.06 MB / 0.8562 GB, free: 13.06 MB / 0.6823 GB Notification: Performance of FrontEnd: time 3.932e-06/1.106, allocations: 0 / 0.8562 GB, free: 13.06 MB / 0.6823 GB Notification: Performance of Transformations before backend: time 0.0003405/1.106, allocations: 91.86 kB / 0.8563 GB, free: 12.97 MB / 0.6823 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.03466/1.141, allocations: 3.238 MB / 0.8595 GB, free: 9.574 MB / 0.6823 GB Notification: Performance of prepare preOptimizeDAE: time 5.589e-05/1.141, allocations: 8.031 kB / 0.8595 GB, free: 9.566 MB / 0.6823 GB Notification: Performance of preOpt normalInlineFunction (simulation): time 0.002412/1.144, allocations: 379.9 kB / 0.8598 GB, free: 9.191 MB / 0.6823 GB Notification: Performance of preOpt evaluateParameters (simulation): time 0.00663/1.15, allocations: 1.391 MB / 0.8612 GB, free: 7.754 MB / 0.6823 GB Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.000897/1.151, allocations: 342.8 kB / 0.8615 GB, free: 7.418 MB / 0.6823 GB Notification: Performance of preOpt expandDerOperator (simulation): time 0.005366/1.157, allocations: 435.9 kB / 0.862 GB, free: 6.992 MB / 0.6823 GB Notification: Performance of preOpt clockPartitioning (simulation): time 0.01989/1.177, allocations: 4.208 MB / 0.8661 GB, free: 2.418 MB / 0.6823 GB Notification: Performance of preOpt findStateOrder (simulation): time 0.0002203/1.177, allocations: 23.77 kB / 0.8661 GB, free: 2.395 MB / 0.6823 GB Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.001253/1.178, allocations: 160 kB / 0.8662 GB, free: 2.238 MB / 0.6823 GB Notification: Performance of preOpt inlineArrayEqn (simulation): time 0.0001531/1.178, allocations: 92 kB / 0.8663 GB, free: 2.148 MB / 0.6823 GB Notification: Performance of preOpt removeEqualRHS (simulation): time 0.01093/1.189, allocations: 2.896 MB / 0.8692 GB, free: 15.25 MB / 0.698 GB Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.02676/1.216, allocations: 17.23 MB / 0.886 GB, free: 13.54 MB / 0.7136 GB Notification: Performance of preOpt comSubExp (simulation): time 0.006528/1.223, allocations: 2.502 MB / 0.8884 GB, free: 10.97 MB / 0.7136 GB Notification: Performance of preOpt evalFunc (simulation): time 0.0001837/1.223, allocations: 38.23 kB / 0.8885 GB, free: 10.94 MB / 0.7136 GB Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.004914/1.228, allocations: 1.826 MB / 0.8902 GB, free: 9.047 MB / 0.7136 GB Notification: Performance of pre-optimization done (n=328): time 9.636e-06/1.228, allocations: 4 kB / 0.8902 GB, free: 9.043 MB / 0.7136 GB Notification: Performance of matching and sorting (n=328): time 0.01099/1.239, allocations: 3.809 MB / 0.894 GB, free: 5.23 MB / 0.7136 GB Notification: Performance of inlineWhenForInitialization (initialization): time 0.0002466/1.239, allocations: 291.1 kB / 0.8942 GB, free: 4.891 MB / 0.7136 GB Notification: Performance of selectInitializationVariablesDAE (initialization): time 0.002506/1.242, allocations: 1.204 MB / 0.8954 GB, free: 3.672 MB / 0.7136 GB Notification: Performance of collectPreVariables (initialization): time 0.000776/1.242, allocations: 201.7 kB / 0.8956 GB, free: 3.469 MB / 0.7136 GB Notification: Performance of collectInitialEqns (initialization): time 0.00155/1.244, allocations: 1.168 MB / 0.8968 GB, free: 2.285 MB / 0.7136 GB Notification: Performance of collectInitialBindings (initialization): time 0.001278/1.245, allocations: 0.7296 MB / 0.8975 GB, free: 1.547 MB / 0.7136 GB Notification: Performance of simplifyInitialFunctions (initialization): time 0.0002756/1.246, allocations: 96 kB / 0.8976 GB, free: 1.453 MB / 0.7136 GB Notification: Performance of setup shared object (initialization): time 0.0003967/1.246, allocations: 484.3 kB / 0.898 GB, free: 0.9727 MB / 0.7136 GB Notification: Performance of preBalanceInitialSystem (initialization): time 0.003096/1.249, allocations: 1.044 MB / 0.899 GB, free: 15.92 MB / 0.7292 GB Notification: Performance of partitionIndependentBlocks (initialization): time 0.004811/1.254, allocations: 2.519 MB / 0.9015 GB, free: 12.72 MB / 0.7292 GB Notification: Performance of analyzeInitialSystem (initialization): time 0.003686/1.258, allocations: 1.174 MB / 0.9026 GB, free: 11.54 MB / 0.7292 GB Notification: Performance of solveInitialSystemEqSystem (initialization): time 4.834e-05/1.258, allocations: 12 kB / 0.9027 GB, free: 11.53 MB / 0.7292 GB Notification: Performance of matching and sorting (n=608) (initialization): time 0.01092/1.269, allocations: 3.685 MB / 0.9063 GB, free: 7.836 MB / 0.7292 GB Notification: Performance of prepare postOptimizeDAE: time 6.264e-05/1.269, allocations: 28 kB / 0.9063 GB, free: 7.809 MB / 0.7292 GB Notification: Performance of postOpt simplifyComplexFunction (initialization): time 8.44e-05/1.269, allocations: 51.98 kB / 0.9063 GB, free: 7.758 MB / 0.7292 GB Notification: Performance of postOpt tearingSystem (initialization): time 0.0001205/1.269, allocations: 84.03 kB / 0.9064 GB, free: 7.676 MB / 0.7292 GB Notification: Performance of postOpt solveSimpleEquations (initialization): time 0.002367/1.271, allocations: 0.5181 MB / 0.9069 GB, free: 7.156 MB / 0.7292 GB Notification: Performance of postOpt calculateStrongComponentJacobians (initialization): time 0.0001369/1.272, allocations: 103.6 kB / 0.907 GB, free: 7.055 MB / 0.7292 GB Notification: Performance of postOpt simplifyAllExpressions (initialization): time 0.002872/1.274, allocations: 345.9 kB / 0.9073 GB, free: 6.715 MB / 0.7292 GB Notification: Performance of postOpt collapseArrayExpressions (initialization): time 0.0005345/1.275, allocations: 220 kB / 0.9076 GB, free: 6.5 MB / 0.7292 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 () * Number of clocked 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.002613/1.278, allocations: 1.019 MB / 0.9086 GB, free: 5.457 MB / 0.7292 GB Notification: Performance of postOpt lateInlineFunction (simulation): time 0.0006004/1.278, allocations: 225.5 kB / 0.9088 GB, free: 5.234 MB / 0.7292 GB Notification: Performance of postOpt wrapFunctionCalls (simulation): time 0.008766/1.287, allocations: 3.22 MB / 0.9119 GB, free: 2 MB / 0.7292 GB Notification: Performance of postOpt inlineArrayEqn (simulation): time 5.046e-05/1.287, allocations: 36 kB / 0.9119 GB, free: 1.965 MB / 0.7292 GB Notification: Performance of postOpt constantLinearSystem (simulation): time 2.073e-05/1.287, allocations: 7.938 kB / 0.912 GB, free: 1.957 MB / 0.7292 GB Notification: Performance of postOpt simplifysemiLinear (simulation): time 5.922e-05/1.287, allocations: 19.92 kB / 0.912 GB, free: 1.938 MB / 0.7292 GB Notification: Performance of postOpt removeSimpleEquations (simulation): time 0.5127/1.8, allocations: 7.985 MB / 0.9198 GB, free: 169 MB / 0.7292 GB Notification: Performance of postOpt simplifyComplexFunction (simulation): time 3.118e-05/1.8, allocations: 2.922 kB / 0.9198 GB, free: 169 MB / 0.7292 GB Notification: Performance of postOpt solveSimpleEquations (simulation): time 0.0009272/1.801, allocations: 171.5 kB / 0.9199 GB, free: 169 MB / 0.7292 GB Notification: Performance of postOpt tearingSystem (simulation): time 3.453e-05/1.801, allocations: 16.69 kB / 0.92 GB, free: 169 MB / 0.7292 GB Notification: Performance of postOpt inputDerivativesUsed (simulation): time 0.0003846/1.801, allocations: 96.5 kB / 0.92 GB, free: 169 MB / 0.7292 GB Notification: Performance of postOpt calculateStrongComponentJacobians (simulation): time 3.269e-05/1.801, allocations: 16.33 kB / 0.9201 GB, free: 169 MB / 0.7292 GB Notification: Performance of postOpt calculateStateSetsJacobians (simulation): time 6.035e-06/1.801, allocations: 3.156 kB / 0.9201 GB, free: 169 MB / 0.7292 GB Notification: Performance of postOpt symbolicJacobian (simulation): time 0.009109/1.811, allocations: 3.736 MB / 0.9237 GB, free: 168.1 MB / 0.7292 GB Notification: Performance of postOpt removeConstants (simulation): time 0.0005395/1.811, allocations: 269.9 kB / 0.924 GB, free: 168 MB / 0.7292 GB Notification: Performance of postOpt simplifyTimeIndepFuncCalls (simulation): time 0.0007117/1.812, allocations: 96.56 kB / 0.9241 GB, free: 168 MB / 0.7292 GB Notification: Performance of postOpt simplifyAllExpressions (simulation): time 0.001816/1.814, allocations: 166.5 kB / 0.9242 GB, free: 168 MB / 0.7292 GB Notification: Performance of postOpt findZeroCrossings (simulation): time 0.001174/1.815, allocations: 425 kB / 0.9246 GB, free: 168 MB / 0.7292 GB Notification: Performance of postOpt collapseArrayExpressions (simulation): time 0.0004147/1.815, allocations: 158.4 kB / 0.9248 GB, free: 168 MB / 0.7292 GB Notification: Performance of sorting global known variables: time 0.001124/1.816, allocations: 0.5979 MB / 0.9254 GB, free: 167.9 MB / 0.7292 GB Notification: Performance of sort global known variables: time 8.39e-07/1.816, allocations: 0 / 0.9254 GB, free: 167.9 MB / 0.7292 GB Notification: Performance of remove unused functions: time 0.003921/1.82, allocations: 0.6711 MB / 0.926 GB, free: 167.9 MB / 0.7292 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) * Number of clocked states: 0 () * 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.0009059/1.821, allocations: 406.1 kB / 0.9264 GB, free: 167.7 MB / 0.7292 GB Notification: Performance of simCode: created initialization part: time 0.008073/1.829, allocations: 3.129 MB / 0.9295 GB, free: 167.6 MB / 0.7292 GB Notification: Performance of simCode: created event and clocks part: time 8.852e-06/1.829, allocations: 4.062 kB / 0.9295 GB, free: 167.6 MB / 0.7292 GB Notification: Performance of simCode: created simulation system equations: time 0.004163/1.834, allocations: 1.651 MB / 0.9311 GB, free: 167.5 MB / 0.7292 GB Notification: Performance of simCode: created of all other equations (e.g. parameter, nominal, assert, etc): time 0.002355/1.836, allocations: 317.2 kB / 0.9314 GB, free: 167.5 MB / 0.7292 GB Notification: Performance of simCode: created linear, non-linear and system jacobian parts: time 0.01261/1.849, allocations: 5.694 MB / 0.9369 GB, free: 165.1 MB / 0.7292 GB Notification: Performance of simCode: some other stuff during SimCode phase: time 0.002213/1.851, allocations: 1.811 MB / 0.9387 GB, free: 164.3 MB / 0.7292 GB Notification: Performance of simCode: alias equations: time 0.002394/1.853, allocations: 427.5 kB / 0.9391 GB, free: 164.2 MB / 0.7292 GB Notification: Performance of simCode: all other stuff during SimCode phase: time 0.001127/1.855, allocations: 248.3 kB / 0.9393 GB, free: 164.2 MB / 0.7292 GB Notification: Performance of SimCode: time 1.637e-06/1.855, allocations: 1.031 kB / 0.9393 GB, free: 164.2 MB / 0.7292 GB Notification: Performance of Templates: time 0.1166/1.971, allocations: 26.78 MB / 0.9655 GB, free: 162.7 MB / 0.7292 GB