Running command: translateModel(PNlib.Examples.ExtTest.TFDStest,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="P1.t|P2.t|T1.activeIn|T1.activeOut|T1.fire|T1.fireIn|T1.fireOut|T1.putDuration|time",fileNamePrefix="PNlib_PNlib.Examples.ExtTest.TFDStest") Notification: Performance of loadModel(PNlib): time 2.162/2.162, allocations: 222.9 MB / 235 MB, free: 9.172 MB / 202.7 MB Notification: Performance of FrontEnd - loaded program: time 3.102e-05/3.125e-05, allocations: 5.406 kB / 289.6 MB, free: 4.07 MB / 234.7 MB Notification: Performance of FrontEnd - Absyn->SCode: time 0.09329/0.09334, allocations: 51.69 MB / 341.3 MB, free: 288 kB / 282.7 MB Notification: Performance of FrontEnd - scodeFlatten: time 0.3561/0.4495, allocations: 83.2 MB / 424.5 MB, free: 7.219 MB / 346.7 MB Notification: Performance of FrontEnd - mkProgramGraph: time 0.000237/0.4498, allocations: 71.97 kB / 424.5 MB, free: 7.148 MB / 346.7 MB Notification: Performance of FrontEnd - DAE generated: time 0.1515/0.6013, allocations: 26.74 MB / 451.3 MB, free: 12.35 MB / 378.7 MB Notification: Performance of FrontEnd: time 3.964e-06/0.6014, allocations: 0 / 451.3 MB, free: 12.35 MB / 378.7 MB Notification: Performance of Transformations before backend: time 0.0001049/0.6016, allocations: 20 kB / 451.3 MB, free: 12.33 MB / 378.7 MB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 314 * Number of variables: 314 Notification: Performance of Generate backend data structure: time 0.007865/0.6094, allocations: 2.124 MB / 453.4 MB, free: 10.01 MB / 378.7 MB Notification: Performance of prepare preOptimizeDAE: time 7.69e-05/0.6096, allocations: 8.031 kB / 453.4 MB, free: 10 MB / 378.7 MB Notification: Performance of preOpt normalInlineFunction (simulation): time 0.002709/0.6123, allocations: 218.4 kB / 453.7 MB, free: 9.789 MB / 378.7 MB Notification: Performance of preOpt evaluateParameters (simulation): time 0.004433/0.6168, allocations: 0.7233 MB / 454.4 MB, free: 9.027 MB / 378.7 MB Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.0005106/0.6173, allocations: 161.4 kB / 454.5 MB, free: 8.859 MB / 378.7 MB Notification: Performance of preOpt expandDerOperator (simulation): time 0.001088/0.6184, allocations: 148 kB / 454.7 MB, free: 8.715 MB / 378.7 MB Notification: Performance of preOpt clockPartitioning (simulation): time 0.007155/0.6256, allocations: 2.373 MB / 457 MB, free: 6.184 MB / 378.7 MB Notification: Performance of preOpt findStateOrder (simulation): time 3.686e-05/0.6257, allocations: 7.938 kB / 457.1 MB, free: 6.176 MB / 378.7 MB Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.0002787/0.626, allocations: 63.98 kB / 457.1 MB, free: 6.113 MB / 378.7 MB Notification: Performance of preOpt inlineArrayEqn (simulation): time 0.0001739/0.6262, allocations: 77.94 kB / 457.2 MB, free: 6.039 MB / 378.7 MB Notification: Performance of preOpt removeEqualRHS (simulation): time 0.003834/0.63, allocations: 1.534 MB / 458.7 MB, free: 4.504 MB / 378.7 MB Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.0105/0.6406, allocations: 5.67 MB / 464.4 MB, free: 14.66 MB / 394.7 MB Notification: Performance of preOpt comSubExp (simulation): time 0.004377/0.645, allocations: 2.619 MB / 467 MB, free: 12.01 MB / 394.7 MB Notification: Performance of preOpt resolveLoops (simulation): time 0.004118/0.6492, allocations: 2.466 MB / 469.5 MB, free: 9.535 MB / 394.7 MB Notification: Performance of preOpt evalFunc (simulation): time 0.0001636/0.6494, allocations: 93.64 kB / 469.6 MB, free: 9.426 MB / 394.7 MB Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.00372/0.6531, allocations: 1.639 MB / 471.2 MB, free: 7.723 MB / 394.7 MB Notification: Performance of pre-optimization done (n=154): time 4.482e-06/0.6532, allocations: 0 / 471.2 MB, free: 7.723 MB / 394.7 MB Notification: Performance of matching and sorting (n=154): time 0.006673/0.6598, allocations: 3.016 MB / 474.2 MB, free: 4.594 MB / 394.7 MB Notification: Performance of inlineWhenForInitialization (initialization): time 0.00093/0.6608, allocations: 1.108 MB / 475.3 MB, free: 3.277 MB / 394.7 MB Notification: Performance of selectInitializationVariablesDAE (initialization): time 0.001173/0.662, allocations: 0.6014 MB / 475.9 MB, free: 2.668 MB / 394.7 MB Notification: Performance of collectPreVariables (initialization): time 0.00032/0.6623, allocations: 109.7 kB / 476 MB, free: 2.555 MB / 394.7 MB Notification: Performance of collectInitialEqns (initialization): time 0.0004799/0.6628, allocations: 424.6 kB / 476.5 MB, free: 2.133 MB / 394.7 MB Notification: Performance of collectInitialBindings (initialization): time 0.0005637/0.6634, allocations: 375.7 kB / 476.8 MB, free: 1.762 MB / 394.7 MB Notification: Performance of simplifyInitialFunctions (initialization): time 0.0001328/0.6636, allocations: 47.94 kB / 476.9 MB, free: 1.715 MB / 394.7 MB Notification: Performance of setup shared object (initialization): time 0.0003295/0.6639, allocations: 435.4 kB / 477.3 MB, free: 1.281 MB / 394.7 MB Notification: Performance of preBalanceInitialSystem (initialization): time 0.001717/0.6656, allocations: 0.7227 MB / 478 MB, free: 0.5586 MB / 394.7 MB Notification: Performance of partitionIndependentBlocks (initialization): time 0.002433/0.6681, allocations: 1.42 MB / 479.4 MB, free: 14.82 MB / 410.7 MB Notification: Performance of analyzeInitialSystem (initialization): time 0.002567/0.6707, allocations: 1.514 MB / 481 MB, free: 13.17 MB / 410.7 MB Notification: Performance of solveInitialSystemEqSystem (initialization): time 2.794e-05/0.6708, allocations: 8 kB / 481 MB, free: 13.16 MB / 410.7 MB Notification: Performance of matching and sorting (n=297) (initialization): time 0.007118/0.6779, allocations: 3.257 MB / 484.2 MB, free: 9.754 MB / 410.7 MB Notification: Performance of prepare postOptimizeDAE: time 0.0006149/0.6785, allocations: 0.7139 MB / 484.9 MB, free: 8.898 MB / 410.7 MB Notification: Performance of postOpt simplifyComplexFunction (initialization): time 4.43e-05/0.6786, allocations: 24 kB / 485 MB, free: 8.875 MB / 410.7 MB Notification: Performance of postOpt tearingSystem (initialization): time 6.663e-05/0.6787, allocations: 36 kB / 485 MB, free: 8.84 MB / 410.7 MB Notification: Performance of postOpt solveSimpleEquations (initialization): time 0.00106/0.6798, allocations: 235.4 kB / 485.2 MB, free: 8.609 MB / 410.7 MB Notification: Performance of postOpt calculateStrongComponentJacobians (initialization): time 6.073e-05/0.6798, allocations: 43.86 kB / 485.3 MB, free: 8.566 MB / 410.7 MB Notification: Performance of postOpt simplifyAllExpressions (initialization): time 0.001404/0.6813, allocations: 214.5 kB / 485.5 MB, free: 8.355 MB / 410.7 MB Notification: Performance of postOpt collapseArrayExpressions (initialization): time 0.0003166/0.6816, allocations: 119.9 kB / 485.6 MB, free: 8.238 MB / 410.7 MB Warning: Assuming fixed start value for the following 49 variables: P2.enableIn.valid:DISCRETE(fixed = false protected = true ) "valid solution" type: Boolean P2.enableIn.benefitLimit:DISCRETE(fixed = false protected = true ) "best valid benefit" type: Real P2.enableIn.benefitMax:DISCRETE(fixed = false protected = true ) "theoretical benefit" type: Real P2.enableIn.posTE:DISCRETE(fixed = false protected = true ) "possible enabled transition" type: Integer P2.enableIn.k:DISCRETE(fixed = false protected = true ) "iteration index" type: Integer P2.enableIn.endWhile:DISCRETE(fixed = false protected = true ) type: Boolean P2.enableIn.sumEnablingProbTAin:DISCRETE(fixed = false protected = true ) "sum of the enabling probabilities of the active input transitions" type: Real P2.enableIn.nTAin:DISCRETE(fixed = false protected = true ) "number ofactive input transitions" type: Integer P2.enableIn.nremTAin:DISCRETE(fixed = false protected = true ) "number of remaining active input transitions" type: Integer P2.enableIn.Index:DISCRETE(fixed = false protected = true ) "priority Index" type: Integer P1.enableOut.valid:DISCRETE(fixed = false protected = true ) "valid solution" type: Boolean P1.enableOut.benefitLimit:DISCRETE(fixed = false protected = true ) "best valid benefit" type: Real P1.enableOut.benefitMax:DISCRETE(fixed = false protected = true ) "theoretical benefit" type: Real P1.enableOut.posTE:DISCRETE(fixed = false protected = true ) "possible enabled transition" type: Integer P1.enableOut.k:DISCRETE(fixed = false protected = true ) "iteration index" type: Integer P1.enableOut.endWhile:DISCRETE(fixed = false protected = true ) type: Boolean P1.enableOut.sumEnablingProbTAout:DISCRETE(fixed = false protected = true ) "sum of the enabling probabilities of the active output transitions" type: Real P1.enableOut.nTAout:DISCRETE(fixed = false protected = true ) "number of active output transitions" type: Integer P1.enableOut.nremTAout:DISCRETE(fixed = false protected = true ) "number of remaining active output transitions" type: Integer P1.enableOut.Index:DISCRETE(fixed = false protected = true ) "priority Index" type: Integer T1.fireOut:DISCRETE(fixed = false ) "Does the transition Output fire?" type: Boolean T1.ani:DISCRETE(fixed = false protected = true ) "for transition animation" type: Boolean T1.fireTime:DISCRETE(fixed = false protected = true ) "for transition animation" type: Real P2.firingSumIn.firingSum:DISCRETE(fixed = false protected = true ) "firing sum" type: Integer P2.firingSumOut.firingSum:DISCRETE(fixed = false protected = true ) "firing sum" type: Integer P1.firingSumIn.firingSum:DISCRETE(fixed = false protected = true ) "firing sum" type: Integer P1.firingSumOut.firingSum:DISCRETE(fixed = false protected = true ) "firing sum" type: Integer P2.enableOut.nremTAout:DISCRETE(fixed = false protected = true ) "number of remaining active output transitions" type: Integer P2.enableOut.nTAout:DISCRETE(fixed = false protected = true ) "number of active output transitions" type: Integer P2.enableOut.k:DISCRETE(fixed = false protected = true ) "iteration index" type: Integer P2.enableOut.posTE:DISCRETE(fixed = false protected = true ) "possible enabled transition" type: Integer P2.enableOut.sumEnablingProbTAout:DISCRETE(fixed = false protected = true ) "sum of the enabling probabilities of the active output transitions" type: Real P2.enableOut.endWhile:DISCRETE(fixed = false protected = true ) type: Boolean P2.enableOut.Index:DISCRETE(fixed = false protected = true ) "priority Index" type: Integer P2.enableOut.benefitMax:DISCRETE(fixed = false protected = true ) "theoretical benefit" type: Real P2.enableOut.valid:DISCRETE(fixed = false protected = true ) "valid solution" type: Boolean P2.enableOut.benefitLimit:DISCRETE(fixed = false protected = true ) "best valid benefit" type: Real P1.enableIn.nremTAin:DISCRETE(fixed = false protected = true ) "number of remaining active input transitions" type: Integer P1.enableIn.nTAin:DISCRETE(fixed = false protected = true ) "number ofactive input transitions" type: Integer P1.enableIn.k:DISCRETE(fixed = false protected = true ) "iteration index" type: Integer P1.enableIn.posTE:DISCRETE(fixed = false protected = true ) "possible enabled transition" type: Integer P1.enableIn.sumEnablingProbTAin:DISCRETE(fixed = false protected = true ) "sum of the enabling probabilities of the active input transitions" type: Real P1.enableIn.endWhile:DISCRETE(fixed = false protected = true ) type: Boolean P1.enableIn.Index:DISCRETE(fixed = false protected = true ) "priority Index" type: Integer P1.enableIn.benefitMax:DISCRETE(fixed = false protected = true ) "theoretical benefit" type: Real P1.enableIn.valid:DISCRETE(fixed = false protected = true ) "valid solution" type: Boolean P1.enableIn.benefitLimit:DISCRETE(fixed = false protected = true ) "best valid benefit" type: Real T1.firingTimeOut:DISCRETE(fixed = false protected = true ) "next putative firing time" type: Real T1.firingTimeIn:DISCRETE(fixed = false protected = true ) "next putative firing time" type: Real Notification: Model statistics after passing the back-end for initialization: * Number of independent subsystems: 97 * Number of states: 0 () * Number of discrete variables: 261 ($PRE.T1.putDuration,T1.putDuration,$PRE.T1.state128[1],T1.state128[1],$PRE.T1.state128[2],T1.state128[2],$PRE.T1.state128[3],T1.state128[3],$PRE.T1.state128[4],T1.state128[4],$PRE.T1.r128,T1.r128,$PRE.P2.enableIn.valid,P2.enableIn.valid,$PRE.P2.enableIn.benefitLimit,P2.enableIn.benefitLimit,$PRE.P2.enableIn.benefitMax,P2.enableIn.benefitMax,$PRE.P2.enableIn.posTE,P2.enableIn.posTE,$PRE.P2.enableIn.k,P2.enableIn.k,$PRE.P2.enableIn.endWhile,P2.enableIn.endWhile,$PRE.P2.enableIn.state128[1],P2.enableIn.state128[1],$PRE.P2.enableIn.state128[2],P2.enableIn.state128[2],$PRE.P2.enableIn.state128[3],P2.enableIn.state128[3],$PRE.P2.enableIn.state128[4],P2.enableIn.state128[4],$PRE.P2.enableIn.randNum,P2.enableIn.randNum,$PRE.P2.enableIn.cumEnablingProb[1],P2.enableIn.cumEnablingProb[1],$PRE.P2.enableIn.sumEnablingProbTAin,P2.enableIn.sumEnablingProbTAin,$PRE.P2.enableIn.nTAin,P2.enableIn.nTAin,$PRE.P2.enableIn.nremTAin,P2.enableIn.nremTAin,$PRE.P2.enableIn.remTAin[1],P2.enableIn.remTAin[1],$PRE.P2.enableIn.Index,P2.enableIn.Index,$PRE.P1.enableOut.valid,P1.enableOut.valid,$PRE.P1.enableOut.benefitLimit,P1.enableOut.benefitLimit,$PRE.P1.enableOut.benefitMax,P1.enableOut.benefitMax,$PRE.P1.enableOut.posTE,P1.enableOut.posTE,$PRE.P1.enableOut.k,P1.enableOut.k,$PRE.P1.enableOut.endWhile,P1.enableOut.endWhile,$PRE.P1.enableOut.state128[1],P1.enableOut.state128[1],$PRE.P1.enableOut.state128[2],P1.enableOut.state128[2],$PRE.P1.enableOut.state128[3],P1.enableOut.state128[3],$PRE.P1.enableOut.state128[4],P1.enableOut.state128[4],$PRE.P1.enableOut.randNum,P1.enableOut.randNum,$PRE.P1.enableOut.cumEnablingProb[1],P1.enableOut.cumEnablingProb[1],$PRE.P1.enableOut.sumEnablingProbTAout,P1.enableOut.sumEnablingProbTAout,$PRE.P1.enableOut.nTAout,P1.enableOut.nTAout,$PRE.P1.enableOut.nremTAout,P1.enableOut.nremTAout,$PRE.P1.enableOut.remTAout[1],P1.enableOut.remTAout[1],$PRE.P1.enableOut.Index,P1.enableOut.Index,$whenCondition15,$PRE.P1.reStart,$whenCondition12,$PRE.P2.reStart,$whenCondition5,$PRE.T1.fireOut,$PRE.T1.fireTime,T1.fireTime,$PRE.T1.ani,T1.ani,$whenCondition11,$whenCondition10,P2.tokeninout,$PRE.P2.firingSumIn.firingSum,$PRE.P2.firingSumOut.firingSum,P2.firingSumOut.firingSum,$whenCondition14,$whenCondition13,P1.tokeninout,$PRE.P1.firingSumIn.firingSum,$PRE.P1.firingSumOut.firingSum,$PRE.P1.tokeninout,T1.tokenChange.vec[1],T1.tokenChange.anytrue,T1.tokenChange.numtrue,P1.firingSumIn.firingSum,$PRE.P2.enableOut.nremTAout,P2.enableOut.nremTAout,$PRE.P2.enableOut.nTAout,P2.enableOut.nTAout,$PRE.P2.enableOut.k,P2.enableOut.k,$PRE.P2.enableOut.posTE,P2.enableOut.posTE,$PRE.P2.enableOut.state128[1],P2.enableOut.state128[1],$PRE.P2.enableOut.state128[2],P2.enableOut.state128[2],$PRE.P2.enableOut.state128[3],P2.enableOut.state128[3],$PRE.P2.enableOut.state128[4],P2.enableOut.state128[4],$PRE.P2.enableOut.randNum,P2.enableOut.randNum,$PRE.P2.enableOut.sumEnablingProbTAout,P2.enableOut.sumEnablingProbTAout,$PRE.P2.enableOut.endWhile,P2.enableOut.endWhile,$PRE.P2.enableOut.Index,P2.enableOut.Index,$PRE.P2.enableOut.benefitMax,P2.enableOut.benefitMax,$PRE.P2.enableOut.valid,P2.enableOut.valid,$PRE.P2.enableOut.benefitLimit,P2.enableOut.benefitLimit,$whenCondition2,P2.activeConOut.anychange,P2.delayPassedOut.anytrue,P2.delayPassedOut.numtrue,$PRE.P2.enableOut.arcWeightSum,P2.enableOut.arcWeightSum,$PRE.P1.enableIn.nremTAin,P1.enableIn.nremTAin,$PRE.P1.enableIn.nTAin,P1.enableIn.nTAin,$PRE.P1.enableIn.k,P1.enableIn.k,$PRE.P1.enableIn.posTE,P1.enableIn.posTE,$PRE.P1.enableIn.state128[1],P1.enableIn.state128[1],$PRE.P1.enableIn.state128[2],P1.enableIn.state128[2],$PRE.P1.enableIn.state128[3],P1.enableIn.state128[3],$PRE.P1.enableIn.state128[4],P1.enableIn.state128[4],$PRE.P1.enableIn.randNum,P1.enableIn.randNum,$PRE.P1.enableIn.sumEnablingProbTAin,P1.enableIn.sumEnablingProbTAin,$PRE.P1.enableIn.endWhile,P1.enableIn.endWhile,$PRE.P1.enableIn.Index,P1.enableIn.Index,$PRE.P1.enableIn.benefitMax,P1.enableIn.benefitMax,$PRE.P1.enableIn.valid,P1.enableIn.valid,$PRE.P1.enableIn.benefitLimit,P1.enableIn.benefitLimit,$whenCondition1,P1.delayPassedIn.anytrue,P1.delayPassedIn.numtrue,$PRE.P1.enableIn.arcWeightSum,P1.enableIn.arcWeightSum,P1.outTransition[1].testValueint,P1.outTransition[1].normalArc,T1.inPlaces[1].disTransition,P1.outTransition[1].disPlace,P1.outTransition[1].arcType,T1.outPlaces[1].enabledByInPlaces,T1.outPlaces[1].disTransition,P2.inTransition[1].disPlace,T1.firingCon,P2.enableIn.enablingPrio[1],P2.reStart,P1.enableOut.enablingPrio[1],P1.reStart,P2.enableIn.disTransition[1],$whenCondition9,$whenCondition8,$whenCondition7,$whenCondition6,$whenCondition3,$whenCondition4,$PRE.P1.t,P1.t,P1.activeOut[1],P1.activeConOut.anychange,P1.delayPassedOut.vec[1],P1.delayPassedOut.anytrue,P1.delayPassedOut.numtrue,P1.firingSumOut.fire[1],P1.firingSumOut.arcWeight[1],P1.firingSumOut.firingSum,P1.enableOut.TAout[1],P1.enableOut.TEout_[1],$PRE.P1.enableOut.TEout[1],P1.enableOut.TEout[1],$PRE.P1.enableOut.arcWeightSum,P1.enableOut.arcWeightSum,$PRE.P2.t,P2.t,P2.delayPassedIn.vec[1],P2.delayPassedIn.anytrue,P2.delayPassedIn.numtrue,P2.firingSumIn.fire[1],P2.firingSumIn.arcWeight[1],P2.firingSumIn.firingSum,P2.enableIn.TAein[1],P2.enableIn.active[1],P2.enableIn.TEin_[1],$PRE.P2.enableIn.TEin[1],P2.enableIn.TEin[1],$PRE.P2.enableIn.arcWeightSum,P2.enableIn.arcWeightSum,$PRE.T1.firingTimeIn,T1.firingTimeIn,$PRE.T1.firingTimeOut,T1.firingTimeOut,$PRE.T1.durationPassedIn,T1.durationPassedIn,$PRE.T1.durationPassedOut,T1.durationPassedOut,T1.prefire,T1.activationIn.tIntIn[1],T1.activationIn.arcWeightIntIn[1],T1.activationIn.minTokensInt[1],T1.activationIn.active,T1.activationOut.tIntOut[1],T1.activationOut.arcWeightIntOut[1],T1.activationOut.maxTokensInt[1],T1.activationOut.active,T1.activeIn,T1.activeOut,T1.fireOut,$PRE.T1.fire,T1.fire,T1.activationOut.disPlaceOut[1],T1.activationIn.arcType[1],T1.activationIn.disPlaceIn[1],P1.enableOut.disTransition[1],T1.activationIn.normalArc[1],T1.activationIn.testValueInt[1],P2.enableIn.arcWeight[1],P1.enableOut.arcWeight[1],P1.activeConOut.vec[1],P1.outTransition[1].fed,P2.inTransition[1].emptied) * Number of discrete states: 0 () * Top-level inputs: 0 Notification: Strong component statistics for initialization (264): * Single equations (assignments): 241 * Array equations: 0 * Algorithm blocks: 23 * 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.001928/0.6835, allocations: 1.214 MB / 486.8 MB, free: 6.898 MB / 410.7 MB Notification: Performance of postOpt lateInlineFunction (simulation): time 0.0004306/0.684, allocations: 142.9 kB / 486.9 MB, free: 6.758 MB / 410.7 MB Notification: Performance of postOpt wrapFunctionCalls (simulation): time 0.006526/0.6905, allocations: 2.917 MB / 489.9 MB, free: 3.75 MB / 410.7 MB Notification: Performance of postOpt inlineArrayEqn (simulation): time 1.94e-05/0.6906, allocations: 15.92 kB / 489.9 MB, free: 3.734 MB / 410.7 MB Notification: Performance of postOpt constantLinearSystem (simulation): time 8.076e-06/0.6906, allocations: 0 / 489.9 MB, free: 3.734 MB / 410.7 MB Notification: Performance of postOpt simplifysemiLinear (simulation): time 1.296e-05/0.6906, allocations: 4 kB / 489.9 MB, free: 3.73 MB / 410.7 MB Notification: Performance of postOpt removeSimpleEquations (simulation): time 0.01035/0.701, allocations: 4.747 MB / 494.6 MB, free: 14.84 MB / 426.7 MB Notification: Performance of postOpt simplifyComplexFunction (simulation): time 1.112e-05/0.701, allocations: 4 kB / 494.6 MB, free: 14.83 MB / 426.7 MB Notification: Performance of postOpt solveSimpleEquations (simulation): time 0.0002855/0.7013, allocations: 47.84 kB / 494.7 MB, free: 14.79 MB / 426.7 MB Notification: Performance of postOpt tearingSystem (simulation): time 1.462e-05/0.7014, allocations: 4 kB / 494.7 MB, free: 14.78 MB / 426.7 MB Notification: Performance of postOpt inputDerivativesUsed (simulation): time 0.0003273/0.7017, allocations: 79.95 kB / 494.8 MB, free: 14.7 MB / 426.7 MB Notification: Performance of postOpt calculateStrongComponentJacobians (simulation): time 1.129e-05/0.7017, allocations: 7.953 kB / 494.8 MB, free: 14.7 MB / 426.7 MB Notification: Performance of postOpt calculateStateSetsJacobians (simulation): time 6.348e-06/0.7017, allocations: 7.984 kB / 494.8 MB, free: 14.69 MB / 426.7 MB Notification: Performance of postOpt symbolicJacobian (simulation): time 0.00769/0.7094, allocations: 3.641 MB / 498.4 MB, free: 10.91 MB / 426.7 MB Notification: Performance of postOpt removeConstants (simulation): time 0.0002953/0.7098, allocations: 175.7 kB / 498.6 MB, free: 10.72 MB / 426.7 MB Notification: Performance of postOpt simplifyTimeIndepFuncCalls (simulation): time 0.0006976/0.7105, allocations: 167.9 kB / 498.8 MB, free: 10.56 MB / 426.7 MB Notification: Performance of postOpt simplifyAllExpressions (simulation): time 0.001085/0.7116, allocations: 127.9 kB / 498.9 MB, free: 10.43 MB / 426.7 MB Notification: Performance of postOpt findZeroCrossings (simulation): time 0.001006/0.7126, allocations: 416.1 kB / 499.3 MB, free: 10.03 MB / 426.7 MB Notification: Performance of postOpt collapseArrayExpressions (simulation): time 0.0003564/0.713, allocations: 111.9 kB / 499.4 MB, free: 9.918 MB / 426.7 MB Notification: Performance of sorting global known variables: time 0.0007455/0.7138, allocations: 385.5 kB / 499.8 MB, free: 9.539 MB / 426.7 MB Notification: Performance of sort global known variables: time 8.69e-07/0.7138, allocations: 0 / 499.8 MB, free: 9.539 MB / 426.7 MB Notification: Performance of remove unused functions: time 0.002914/0.7167, allocations: 0.6323 MB / 0.4887 GB, free: 8.906 MB / 426.7 MB Notification: Model statistics after passing the back-end for simulation: * Number of independent subsystems: 3 * Number of states: 0 () * Number of discrete variables: 143 ($whenCondition1,P1.delayPassedIn.anytrue,P1.delayPassedIn.numtrue,P1.enableIn.state128[1],P1.enableIn.state128[2],P1.enableIn.state128[3],P1.enableIn.state128[4],P1.enableIn.arcWeightSum,P1.enableIn.nremTAin,P1.enableIn.nTAin,P1.enableIn.k,P1.enableIn.posTE,P1.enableIn.randNum,P1.enableIn.sumEnablingProbTAin,P1.enableIn.endWhile,P1.enableIn.Index,P1.enableIn.benefitMax,P1.enableIn.valid,P1.enableIn.benefitLimit,$whenCondition2,P2.activeConOut.anychange,P2.delayPassedOut.anytrue,P2.delayPassedOut.numtrue,P2.enableOut.state128[1],P2.enableOut.state128[2],P2.enableOut.state128[3],P2.enableOut.state128[4],P2.enableOut.arcWeightSum,P2.enableOut.nremTAout,P2.enableOut.nTAout,P2.enableOut.k,P2.enableOut.posTE,P2.enableOut.randNum,P2.enableOut.sumEnablingProbTAout,P2.enableOut.endWhile,P2.enableOut.Index,P2.enableOut.benefitMax,P2.enableOut.valid,P2.enableOut.benefitLimit,P1.activeOut[1],T1.activeIn,T1.activeOut,$whenCondition14,$whenCondition13,$whenCondition15,$whenCondition11,$whenCondition10,$whenCondition12,$whenCondition9,$whenCondition8,$whenCondition7,$whenCondition6,$whenCondition3,$whenCondition4,$whenCondition5,P1.t,P1.tokeninout,P1.activeConOut.anychange,P1.delayPassedOut.vec[1],P1.delayPassedOut.anytrue,P1.delayPassedOut.numtrue,P1.firingSumIn.firingSum,P1.firingSumOut.fire[1],P1.firingSumOut.arcWeight[1],P1.firingSumOut.firingSum,P1.enableOut.TAout[1],P1.enableOut.TEout_[1],P1.enableOut.state128[1],P1.enableOut.state128[2],P1.enableOut.state128[3],P1.enableOut.state128[4],P1.enableOut.TEout[1],P1.enableOut.remTAout[1],P1.enableOut.cumEnablingProb[1],P1.enableOut.arcWeightSum,P1.enableOut.nremTAout,P1.enableOut.nTAout,P1.enableOut.k,P1.enableOut.posTE,P1.enableOut.randNum,P1.enableOut.sumEnablingProbTAout,P1.enableOut.endWhile,P1.enableOut.Index,P1.enableOut.benefitMax,P1.enableOut.valid,P1.enableOut.benefitLimit,P2.t,P2.tokeninout,P2.delayPassedIn.vec[1],P2.delayPassedIn.anytrue,P2.delayPassedIn.numtrue,P2.firingSumIn.fire[1],P2.firingSumIn.arcWeight[1],P2.firingSumIn.firingSum,P2.firingSumOut.firingSum,P2.enableIn.TAein[1],P2.enableIn.active[1],P2.enableIn.TEin_[1],P2.enableIn.state128[1],P2.enableIn.state128[2],P2.enableIn.state128[3],P2.enableIn.state128[4],P2.enableIn.TEin[1],P2.enableIn.remTAin[1],P2.enableIn.cumEnablingProb[1],P2.enableIn.arcWeightSum,P2.enableIn.nremTAin,P2.enableIn.nTAin,P2.enableIn.k,P2.enableIn.posTE,P2.enableIn.randNum,P2.enableIn.sumEnablingProbTAin,P2.enableIn.endWhile,P2.enableIn.Index,P2.enableIn.benefitMax,P2.enableIn.valid,P2.enableIn.benefitLimit,T1.putDuration,T1.state128[1],T1.state128[2],T1.state128[3],T1.state128[4],T1.r128,T1.firingTimeIn,T1.firingTimeOut,T1.fireTime,T1.durationPassedIn,T1.durationPassedOut,T1.ani,T1.prefire,T1.activationIn.tIntIn[1],T1.activationIn.arcWeightIntIn[1],T1.activationIn.minTokensInt[1],T1.activationIn.active,T1.activationOut.tIntOut[1],T1.activationOut.arcWeightIntOut[1],T1.activationOut.maxTokensInt[1],T1.activationOut.active,T1.tokenChange.vec[1],T1.tokenChange.anytrue,T1.tokenChange.numtrue,T1.fireOut,T1.fire) * Number of discrete states: 108 (P1.firingSumOut.firingSum,P1.firingSumIn.firingSum,P2.firingSumOut.firingSum,P2.firingSumIn.firingSum,T1.putDuration,T1.state128[4],T1.state128[3],T1.state128[2],T1.state128[1],T1.r128,$whenCondition5,T1.fireOut,T1.fire,P2.t,T1.activationOut.active,T1.durationPassedOut,P1.t,P1.tokeninout,T1.tokenChange.numtrue,T1.tokenChange.anytrue,T1.activationIn.active,T1.durationPassedIn,P2.delayPassedIn.numtrue,P2.delayPassedIn.anytrue,P2.enableIn.TEin_[1],P2.enableIn.valid,P2.enableIn.benefitLimit,P2.enableIn.benefitMax,P2.enableIn.posTE,P2.enableIn.k,P2.enableIn.endWhile,P2.enableIn.state128[4],P2.enableIn.state128[3],P2.enableIn.state128[2],P2.enableIn.state128[1],P2.enableIn.randNum,P2.enableIn.cumEnablingProb[1],P2.enableIn.sumEnablingProbTAin,P2.enableIn.nTAin,P2.enableIn.nremTAin,P2.enableIn.remTAin[1],P2.enableIn.Index,$whenCondition4,P2.enableIn.arcWeightSum,P2.enableIn.TEin[1],P1.delayPassedOut.numtrue,P1.delayPassedOut.anytrue,P1.activeConOut.anychange,P1.enableOut.TEout_[1],P1.enableOut.valid,P1.enableOut.benefitLimit,P1.enableOut.benefitMax,P1.enableOut.posTE,P1.enableOut.k,P1.enableOut.endWhile,P1.enableOut.state128[4],P1.enableOut.state128[3],P1.enableOut.state128[2],P1.enableOut.state128[1],P1.enableOut.randNum,P1.enableOut.cumEnablingProb[1],P1.enableOut.sumEnablingProbTAout,P1.enableOut.nTAout,P1.enableOut.nremTAout,P1.enableOut.remTAout[1],P1.enableOut.Index,$whenCondition3,P1.enableOut.arcWeightSum,P1.enableOut.TEout[1],P2.enableOut.nremTAout,P2.enableOut.nTAout,P2.enableOut.k,P2.enableOut.posTE,P2.enableOut.randNum,P2.enableOut.state128[4],P2.enableOut.state128[3],P2.enableOut.state128[2],P2.enableOut.state128[1],P2.enableOut.sumEnablingProbTAout,P2.enableOut.endWhile,P2.enableOut.Index,P2.enableOut.benefitMax,P2.enableOut.valid,P2.enableOut.benefitLimit,$whenCondition2,P2.enableOut.arcWeightSum,P2.delayPassedOut.numtrue,P2.delayPassedOut.anytrue,P2.activeConOut.anychange,P1.enableIn.nremTAin,P1.enableIn.nTAin,P1.enableIn.k,P1.enableIn.posTE,P1.enableIn.randNum,P1.enableIn.state128[4],P1.enableIn.state128[3],P1.enableIn.state128[2],P1.enableIn.state128[1],P1.enableIn.sumEnablingProbTAin,P1.enableIn.endWhile,P1.enableIn.Index,P1.enableIn.benefitMax,P1.enableIn.valid,P1.enableIn.benefitLimit,$whenCondition1,P1.enableIn.arcWeightSum,P1.delayPassedIn.numtrue,P1.delayPassedIn.anytrue) * Top-level inputs: 0 Notification: Strong component statistics for simulation (71): * Single equations (assignments): 46 * Array equations: 0 * Algorithm blocks: 18 * Record equations: 0 * When equations: 7 * 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.001951/0.7187, allocations: 0.6311 MB / 0.4893 GB, free: 8.266 MB / 426.7 MB Notification: Performance of simCode: created initialization part: time 0.007258/0.726, allocations: 3.949 MB / 0.4931 GB, free: 4.031 MB / 426.7 MB Notification: Performance of simCode: created event and clocks part: time 6.952e-06/0.726, allocations: 0 / 0.4931 GB, free: 4.031 MB / 426.7 MB Notification: Performance of simCode: created simulation system equations: time 0.007751/0.7338, allocations: 5.833 MB / 0.4988 GB, free: 13.98 MB / 442.7 MB Notification: Performance of simCode: created of all other equations (e.g. parameter, nominal, assert, etc): time 0.001107/0.7349, allocations: 144.8 kB / 0.499 GB, free: 13.84 MB / 442.7 MB Notification: Performance of simCode: created linear, non-linear and system jacobian parts: time 0.006158/0.7411, allocations: 2.405 MB / 0.5013 GB, free: 11.41 MB / 442.7 MB Notification: Performance of simCode: some other stuff during SimCode phase: time 0.001111/0.7422, allocations: 1.162 MB / 0.5025 GB, free: 10.21 MB / 442.7 MB Notification: Performance of simCode: alias equations: time 0.0009547/0.7432, allocations: 260.2 kB / 0.5027 GB, free: 9.957 MB / 442.7 MB Notification: Performance of simCode: all other stuff during SimCode phase: time 0.0002304/0.7435, allocations: 79.36 kB / 0.5028 GB, free: 9.879 MB / 442.7 MB Notification: Performance of SimCode: time 1.698e-06/0.7435, allocations: 0 / 0.5028 GB, free: 9.879 MB / 442.7 MB Notification: Performance of Templates: time 0.2916/1.035, allocations: 22.18 MB / 0.5244 GB, free: 126.2 MB / 442.7 MB