Running command: "" <> buildModelFMU(Modelica.StateGraph.Examples.ControlledTanks,fileNamePrefix="Modelica_3_2_2_cs_Modelica_StateGraph_Examples_ControlledTanks",fmuType="cs",version="2.0",platforms={"dynamic"}) Notification: Performance of loadModel(Modelica): time 2.538/2.538, allocations: 195 MB / 202.9 MB, free: 6.727 MB / 170.7 MB Notification: Performance of FrontEnd - loaded program: time 3.808e-05/3.828e-05, allocations: 2.938 kB / 249.7 MB, free: 5.277 MB / 202.7 MB Notification: Performance of FrontEnd - Absyn->SCode: time 0.1261/0.1262, allocations: 44.5 MB / 294.3 MB, free: 10.66 MB / 250.7 MB Notification: Performance of FrontEnd - scodeFlatten: time 0.5165/0.6428, allocations: 74.79 MB / 369 MB, free: 7.172 MB / 298.7 MB Notification: Performance of FrontEnd - mkProgramGraph: time 0.0002945/0.6431, allocations: 72.73 kB / 369.1 MB, free: 7.172 MB / 298.7 MB Notification: Performance of FrontEnd - DAE generated: time 0.1203/0.7635, allocations: 19.67 MB / 388.8 MB, free: 17.25 MB / 314.7 MB Notification: Performance of FrontEnd: time 2.956e-06/0.7635, allocations: 0 / 388.8 MB, free: 17.25 MB / 314.7 MB Notification: Performance of Transformations before backend: time 9.489e-05/0.7636, allocations: 23.28 kB / 388.8 MB, free: 17.25 MB / 314.7 MB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 292 * Number of variables: 292 Notification: Performance of Generate backend data structure: time 0.00348/0.7671, allocations: 1.285 MB / 390.1 MB, free: 16.22 MB / 314.7 MB Notification: Performance of prepare preOptimizeDAE: time 6.106e-05/0.7672, allocations: 7.719 kB / 390.1 MB, free: 16.22 MB / 314.7 MB Notification: Performance of preOpt introduceOutputAliases (simulation): time 0.0004302/0.7677, allocations: 134.5 kB / 390.2 MB, free: 16.14 MB / 314.7 MB Notification: Performance of preOpt normalInlineFunction (simulation): time 0.000473/0.7682, allocations: 128.4 kB / 390.3 MB, free: 16.09 MB / 314.7 MB Notification: Performance of preOpt evaluateParameters (simulation): time 0.001752/0.7699, allocations: 0.6183 MB / 391 MB, free: 15.73 MB / 314.7 MB Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.000262/0.7702, allocations: 148.4 kB / 391.1 MB, free: 15.62 MB / 314.7 MB Notification: Performance of preOpt expandDerOperator (simulation): time 0.0003637/0.7706, allocations: 85.41 kB / 391.2 MB, free: 15.62 MB / 314.7 MB Notification: Performance of preOpt removeEqualFunctionCalls (simulation): time 0.00335/0.774, allocations: 0.8312 MB / 392 MB, free: 15.55 MB / 314.7 MB Notification: Performance of preOpt clockPartitioning (simulation): time 0.004224/0.7782, allocations: 1.157 MB / 393.2 MB, free: 15.09 MB / 314.7 MB Notification: Performance of preOpt findStateOrder (simulation): time 5.842e-05/0.7783, allocations: 3.938 kB / 393.2 MB, free: 15.09 MB / 314.7 MB Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.0002134/0.7786, allocations: 11.83 kB / 393.2 MB, free: 15.09 MB / 314.7 MB Notification: Performance of preOpt inlineArrayEqn (simulation): time 9.669e-05/0.7787, allocations: 48.84 kB / 393.2 MB, free: 15.08 MB / 314.7 MB Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.01179/0.7905, allocations: 4.871 MB / 398.1 MB, free: 11.81 MB / 314.7 MB Notification: Performance of preOpt comSubExp (simulation): time 0.002954/0.7935, allocations: 0.9282 MB / 399 MB, free: 11.44 MB / 314.7 MB Notification: Performance of preOpt resolveLoops (simulation): time 0.001362/0.7949, allocations: 416.1 kB / 399.4 MB, free: 11.41 MB / 314.7 MB Notification: Performance of preOpt evalFunc (simulation): time 0.0002572/0.7952, allocations: 93.45 kB / 399.5 MB, free: 11.31 MB / 314.7 MB Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.00192/0.7972, allocations: 0.6683 MB / 400.2 MB, free: 10.96 MB / 314.7 MB Notification: Performance of pre-optimization done (n=110): time 9.728e-06/0.7972, allocations: 3.844 kB / 400.2 MB, free: 10.96 MB / 314.7 MB Notification: Performance of matching and sorting (n=110): time 0.00318/0.8004, allocations: 0.8228 MB / 401 MB, free: 10.81 MB / 314.7 MB Notification: Performance of inlineWhenForInitialization (initialization): time 0.0003489/0.8008, allocations: 409.1 kB / 401.4 MB, free: 10.36 MB / 314.7 MB Notification: Performance of selectInitializationVariablesDAE (initialization): time 0.001046/0.8019, allocations: 453 kB / 401.9 MB, free: 10.16 MB / 314.7 MB Notification: Performance of collectPreVariables (initialization): time 0.000437/0.8024, allocations: 72.16 kB / 401.9 MB, free: 10.12 MB / 314.7 MB Notification: Performance of collectInitialEqns (initialization): time 0.0006602/0.803, allocations: 430.9 kB / 402.4 MB, free: 9.855 MB / 314.7 MB Notification: Performance of collectInitialBindings (initialization): time 0.000584/0.8036, allocations: 248 kB / 402.6 MB, free: 9.703 MB / 314.7 MB Notification: Performance of simplifyInitialFunctions (initialization): time 0.0001255/0.8038, allocations: 0 / 402.6 MB, free: 9.703 MB / 314.7 MB Notification: Performance of setup shared object (initialization): time 0.0003129/0.8041, allocations: 390.2 kB / 403 MB, free: 9.367 MB / 314.7 MB Notification: Performance of preBalanceInitialSystem (initialization): time 0.001314/0.8054, allocations: 356.3 kB / 403.3 MB, free: 9.352 MB / 314.7 MB Notification: Performance of partitionIndependentBlocks (initialization): time 0.001645/0.8071, allocations: 0.6608 MB / 404 MB, free: 8.965 MB / 314.7 MB Notification: Performance of analyzeInitialSystem (initialization): time 0.00164/0.8088, allocations: 390.8 kB / 404.4 MB, free: 8.891 MB / 314.7 MB Notification: Performance of solveInitialSystemEqSystem (initialization): time 1.918e-05/0.8089, allocations: 0 / 404.4 MB, free: 8.891 MB / 314.7 MB Notification: Performance of matching and sorting (n=197) (initialization): time 0.004389/0.8133, allocations: 1.15 MB / 405.5 MB, free: 8.641 MB / 314.7 MB Notification: Performance of prepare postOptimizeDAE: time 0.0002714/0.8136, allocations: 263.7 kB / 405.8 MB, free: 8.352 MB / 314.7 MB Notification: Performance of postOpt simplifyComplexFunction (initialization): time 2.629e-05/0.8136, allocations: 7.875 kB / 405.8 MB, free: 8.352 MB / 314.7 MB Notification: Performance of postOpt tearingSystem (initialization): time 5.482e-05/0.8137, allocations: 20.22 kB / 405.8 MB, free: 8.352 MB / 314.7 MB Notification: Performance of postOpt solveSimpleEquations (initialization): time 0.001377/0.8151, allocations: 146.2 kB / 406 MB, free: 8.309 MB / 314.7 MB Notification: Performance of postOpt calculateStrongComponentJacobians (initialization): time 3.694e-05/0.8152, allocations: 27.55 kB / 406 MB, free: 8.297 MB / 314.7 MB Notification: Performance of postOpt simplifyAllExpressions (initialization): time 0.001232/0.8164, allocations: 65.61 kB / 406.1 MB, free: 8.262 MB / 314.7 MB Notification: Performance of postOpt collapseArrayExpressions (initialization): time 0.0002709/0.8167, allocations: 68.55 kB / 406.1 MB, free: 8.258 MB / 314.7 MB Notification: Model statistics after passing the back-end for initialization: * Number of independent subsystems: 41 * Number of states: 0 () * Number of discrete variables: 149 ($PRE.tankController.makeProduct.T1.enableFire,$PRE.tankController.makeProduct.T3.enableFire,$PRE.tankController.makeProduct.T2.enableFire,$PRE.tankController.makeProduct.T4.enableFire,$PRE.tankController.T1.enableFire,$PRE.tankController.T2.enableFire,$PRE.tankController.T3.enableFire,$PRE.tankController.T4.enableFire,$PRE.tankController.T5.enableFire,$PRE.tankController.T6.enableFire,$whenCondition3,$whenCondition2,$whenCondition1,$whenCondition5,$whenCondition4,$whenCondition6,$whenCondition8,$whenCondition7,$whenCondition9,$whenCondition11,$whenCondition10,$whenCondition12,$PRE.tankController.s1.localActive,tankController.s1.localActive,tankController.s1.inPort[2].occupied,$PRE.tankController.s1.newActive,tankController.s1.newActive,$PRE.tankController.s1.oldActive,tankController.s1.oldActive,tankController.s1.active,tankController.makeProduct.stateGraphRoot.suspend,tankController.makeProduct.stateGraphRoot.resume,tankController.makeProduct.active,$PRE.tankController.makeProduct.newActive,tankController.makeProduct.newActive,tankController.makeProduct.activeSteps,$PRE.tankController.makeProduct.fillTank1.localActive,tankController.makeProduct.fillTank1.localActive,$PRE.tankController.makeProduct.fillTank1.newActive,tankController.makeProduct.fillTank1.newActive,$PRE.tankController.makeProduct.fillTank1.oldActive,tankController.makeProduct.fillTank1.oldActive,tankController.makeProduct.fillTank1.active,tankController.makeProduct.T1.enableFire,tankController.makeProduct.T1.condition,$PRE.tankController.makeProduct.fillTank2.localActive,tankController.makeProduct.fillTank2.localActive,$PRE.tankController.makeProduct.fillTank2.newActive,tankController.makeProduct.fillTank2.newActive,$PRE.tankController.makeProduct.fillTank2.oldActive,tankController.makeProduct.fillTank2.oldActive,tankController.makeProduct.fillTank2.active,tankController.makeProduct.T3.enableFire,tankController.makeProduct.T3.condition,$PRE.tankController.makeProduct.emptyTank2.localActive,tankController.makeProduct.emptyTank2.localActive,$PRE.tankController.makeProduct.emptyTank2.newActive,tankController.makeProduct.emptyTank2.newActive,$PRE.tankController.makeProduct.emptyTank2.oldActive,tankController.makeProduct.emptyTank2.oldActive,tankController.makeProduct.emptyTank2.active,$PRE.tankController.makeProduct.wait1.localActive,tankController.makeProduct.wait1.localActive,$PRE.tankController.makeProduct.wait1.newActive,tankController.makeProduct.wait1.newActive,$PRE.tankController.makeProduct.wait1.oldActive,tankController.makeProduct.wait1.oldActive,tankController.makeProduct.wait1.active,tankController.makeProduct.T2.enableFire,tankController.makeProduct.T2.fire,$PRE.tankController.makeProduct.T2.t_start,tankController.makeProduct.T2.t_start,$PRE.tankController.makeProduct.wait2.localActive,tankController.makeProduct.wait2.localActive,$PRE.tankController.makeProduct.wait2.newActive,tankController.makeProduct.wait2.newActive,$PRE.tankController.makeProduct.wait2.oldActive,tankController.makeProduct.wait2.oldActive,tankController.makeProduct.wait2.active,tankController.makeProduct.T4.enableFire,tankController.makeProduct.T4.fire,$PRE.tankController.makeProduct.T4.t_start,tankController.makeProduct.T4.t_start,tankController.T1.enableFire,tankController.T2.enableFire,tankController.T2.condition,tankController.T3.enableFire,$PRE.tankController.s2.localActive,tankController.s2.localActive,tankController.s2.outPort[2].available,$PRE.tankController.s2.newActive,tankController.s2.newActive,$PRE.tankController.s2.oldActive,tankController.s2.oldActive,tankController.s2.active,tankController.T4.enableFire,tankController.T5.enableFire,$PRE.tankController.emptyTanks.localActive,tankController.emptyTanks.localActive,$PRE.tankController.emptyTanks.newActive,tankController.emptyTanks.newActive,$PRE.tankController.emptyTanks.oldActive,tankController.emptyTanks.oldActive,tankController.emptyTanks.active,tankController.T6.enableFire,tankController.T6.condition,tankController.valve2,tankController.valve3,$PRE.start.reset[1],start.reset[1],$PRE.start.reset[2],start.reset[2],$PRE.start.on,start.on,$PRE.start.table.y,start.table.y,$PRE.start.table.nextTime,start.table.nextTime,$PRE.start.table.index,start.table.index,$PRE.stop.reset[1],stop.reset[1],$PRE.stop.reset[2],stop.reset[2],$PRE.stop.on,stop.on,$PRE.stop.table.y,stop.table.y,$PRE.stop.table.nextTime,stop.table.nextTime,$PRE.stop.table.index,stop.table.index,$PRE.shut.reset[1],shut.reset[1],$PRE.shut.reset[2],shut.reset[2],$PRE.shut.on,shut.on,$PRE.shut.table.y,shut.table.y,$PRE.shut.table.nextTime,shut.table.nextTime,$PRE.shut.table.index,shut.table.index,stateGraphRoot.activeSteps,stateGraphRoot.resume,stateGraphRoot.suspend,tankController.makeProduct.T4.condition,tankController.makeProduct.T2.condition) * Number of discrete states: 0 () * Top-level inputs: 0 Notification: Strong component statistics for initialization (185): * Single equations (assignments): 176 * Array equations: 0 * Algorithm blocks: 9 * 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.0008395/0.8176, allocations: 437.3 kB / 406.5 MB, free: 7.871 MB / 314.7 MB Notification: Performance of postOpt lateInlineFunction (simulation): time 0.0003268/0.8179, allocations: 81.2 kB / 406.6 MB, free: 7.832 MB / 314.7 MB Notification: Performance of postOpt wrapFunctionCalls (simulation): time 0.003541/0.8215, allocations: 0.9478 MB / 407.6 MB, free: 7.637 MB / 314.7 MB Notification: Performance of postOpt inlineArrayEqn (simulation): time 1.926e-05/0.8216, allocations: 7.344 kB / 407.6 MB, free: 7.637 MB / 314.7 MB Notification: Performance of postOpt constantLinearSystem (simulation): time 1.075e-05/0.8216, allocations: 0 / 407.6 MB, free: 7.637 MB / 314.7 MB Notification: Performance of postOpt simplifysemiLinear (simulation): time 3.003e-05/0.8216, allocations: 7.578 kB / 407.6 MB, free: 7.633 MB / 314.7 MB Notification: Performance of postOpt removeSimpleEquations (simulation): time 0.007453/0.8291, allocations: 2.073 MB / 409.7 MB, free: 6.789 MB / 314.7 MB Notification: Performance of postOpt simplifyComplexFunction (simulation): time 1.789e-05/0.8292, allocations: 0 / 409.7 MB, free: 6.789 MB / 314.7 MB Notification: Performance of postOpt solveSimpleEquations (simulation): time 0.000817/0.83, allocations: 78.41 kB / 409.7 MB, free: 6.75 MB / 314.7 MB Notification: Performance of postOpt tearingSystem (simulation): time 1.959e-05/0.83, allocations: 3.688 kB / 409.7 MB, free: 6.75 MB / 314.7 MB Notification: Performance of postOpt inputDerivativesUsed (simulation): time 0.0002042/0.8303, allocations: 23.36 kB / 409.8 MB, free: 6.742 MB / 314.7 MB Notification: Performance of postOpt calculateStrongComponentJacobians (simulation): time 1.247e-05/0.8303, allocations: 7.906 kB / 409.8 MB, free: 6.738 MB / 314.7 MB Notification: Performance of postOpt calculateStateSetsJacobians (simulation): time 4.789e-06/0.8303, allocations: 4 kB / 409.8 MB, free: 6.734 MB / 314.7 MB Notification: Performance of postOpt symbolicJacobian (simulation): time 0.004812/0.8351, allocations: 1.494 MB / 411.3 MB, free: 5.965 MB / 314.7 MB Notification: Performance of postOpt removeConstants (simulation): time 0.0007477/0.8359, allocations: 238.9 kB / 411.5 MB, free: 5.754 MB / 314.7 MB Notification: Performance of postOpt simplifyTimeIndepFuncCalls (simulation): time 0.0003031/0.8363, allocations: 27.48 kB / 411.5 MB, free: 5.742 MB / 314.7 MB Notification: Performance of postOpt simplifyAllExpressions (simulation): time 0.0008446/0.8371, allocations: 31.38 kB / 411.6 MB, free: 5.734 MB / 314.7 MB Notification: Performance of postOpt findZeroCrossings (simulation): time 0.0006042/0.8377, allocations: 155.6 kB / 411.7 MB, free: 5.637 MB / 314.7 MB Notification: Performance of postOpt collapseArrayExpressions (simulation): time 0.0001814/0.8379, allocations: 43.11 kB / 411.8 MB, free: 5.625 MB / 314.7 MB Notification: Performance of sorting global known variables: time 0.0005457/0.8385, allocations: 250.5 kB / 412 MB, free: 5.465 MB / 314.7 MB Notification: Performance of sort global known variables: time 6.31e-07/0.8385, allocations: 0 / 412 MB, free: 5.465 MB / 314.7 MB Notification: Performance of remove unused functions: time 0.001761/0.8403, allocations: 231.1 kB / 412.2 MB, free: 5.441 MB / 314.7 MB Notification: Model statistics after passing the back-end for simulation: * Number of independent subsystems: 1 * Number of states: 2 (tank1.level,tank2.level) * Number of discrete variables: 95 (tankController.makeProduct.stateGraphRoot.suspend,tankController.emptyTanks.localActive,tankController.s2.localActive,tankController.makeProduct.T4.enableFire,tankController.makeProduct.wait2.localActive,tankController.makeProduct.T2.enableFire,tankController.makeProduct.wait1.localActive,tankController.makeProduct.emptyTank2.localActive,tankController.makeProduct.fillTank2.localActive,tankController.makeProduct.fillTank1.localActive,tankController.s1.localActive,$cse1,$cse2,$cse4,$cse6,$cse7,$whenCondition3,$whenCondition2,$whenCondition1,$whenCondition5,$whenCondition4,$whenCondition6,$whenCondition8,$whenCondition7,$whenCondition9,$whenCondition11,$whenCondition10,$whenCondition12,tankController.s1.inPort[2].occupied,tankController.s1.newActive,tankController.s1.oldActive,tankController.s1.active,tankController.makeProduct.stateGraphRoot.resume,tankController.makeProduct.active,tankController.makeProduct.newActive,tankController.makeProduct.activeSteps,tankController.makeProduct.fillTank1.newActive,tankController.makeProduct.fillTank1.oldActive,tankController.makeProduct.fillTank1.active,tankController.makeProduct.T1.enableFire,tankController.makeProduct.T1.condition,tankController.makeProduct.fillTank2.newActive,tankController.makeProduct.fillTank2.oldActive,tankController.makeProduct.fillTank2.active,tankController.makeProduct.T3.enableFire,tankController.makeProduct.T3.condition,tankController.makeProduct.emptyTank2.newActive,tankController.makeProduct.emptyTank2.oldActive,tankController.makeProduct.emptyTank2.active,tankController.makeProduct.wait1.newActive,tankController.makeProduct.wait1.oldActive,tankController.makeProduct.wait1.active,tankController.makeProduct.T2.fire,tankController.makeProduct.T2.t_start,tankController.makeProduct.wait2.newActive,tankController.makeProduct.wait2.oldActive,tankController.makeProduct.wait2.active,tankController.makeProduct.T4.fire,tankController.makeProduct.T4.t_start,tankController.T1.enableFire,tankController.T2.enableFire,tankController.T2.condition,tankController.T3.enableFire,tankController.s2.outPort[2].available,tankController.s2.newActive,tankController.s2.oldActive,tankController.s2.active,tankController.T4.enableFire,tankController.T5.enableFire,tankController.emptyTanks.newActive,tankController.emptyTanks.oldActive,tankController.emptyTanks.active,tankController.T6.enableFire,tankController.T6.condition,tankController.valve2,tankController.valve3,start.reset[1],start.reset[2],start.on,start.table.y,start.table.nextTime,start.table.index,stop.reset[1],stop.reset[2],stop.on,stop.table.y,stop.table.nextTime,stop.table.index,shut.reset[1],shut.reset[2],shut.on,shut.table.y,shut.table.nextTime,shut.table.index,stateGraphRoot.activeSteps) * Number of discrete states: 36 (tankController.s1.newActive,tankController.makeProduct.fillTank1.newActive,tankController.makeProduct.fillTank2.newActive,tankController.makeProduct.emptyTank2.newActive,tankController.makeProduct.wait1.newActive,tankController.makeProduct.wait2.newActive,tankController.makeProduct.newActive,tankController.s2.newActive,tankController.emptyTanks.newActive,start.table.y,start.table.nextTime,start.table.index,$whenCondition12,$whenCondition11,$whenCondition10,start.on,start.reset[1],start.reset[2],stop.table.y,stop.table.nextTime,stop.table.index,$whenCondition9,$whenCondition8,$whenCondition7,stop.on,stop.reset[1],stop.reset[2],shut.table.y,shut.table.nextTime,shut.table.index,$whenCondition6,$whenCondition5,$whenCondition4,shut.on,shut.reset[1],shut.reset[2]) * Top-level inputs: 0 Notification: Strong component statistics for simulation (100): * Single equations (assignments): 84 * Array equations: 0 * Algorithm blocks: 6 * Record equations: 0 * When equations: 10 * 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.005893/0.8463, allocations: 2.211 MB / 414.4 MB, free: 4.059 MB / 314.7 MB Notification: Performance of simCode: created initialization part: time 0.003651/0.85, allocations: 1.481 MB / 415.9 MB, free: 3.062 MB / 314.7 MB Notification: Performance of simCode: created event and clocks part: time 6.552e-06/0.85, allocations: 0 / 415.9 MB, free: 3.062 MB / 314.7 MB Notification: Performance of simCode: created simulation system equations: time 0.001967/0.852, allocations: 0.8274 MB / 416.7 MB, free: 2.168 MB / 314.7 MB Notification: Performance of simCode: created of all other equations (e.g. parameter, nominal, assert, etc): time 0.0009763/0.853, allocations: 71.34 kB / 416.8 MB, free: 2.102 MB / 314.7 MB Notification: Performance of simCode: created linear, non-linear and system jacobian parts: time 0.006636/0.8597, allocations: 1.429 MB / 418.2 MB, free: 0.6367 MB / 314.7 MB Notification: Performance of simCode: some other stuff during SimCode phase: time 0.001244/0.861, allocations: 1.048 MB / 419.3 MB, free: 15.56 MB / 330.7 MB Notification: Performance of simCode: alias equations: time 0.00116/0.8622, allocations: 126.9 kB / 419.4 MB, free: 15.43 MB / 330.7 MB Notification: Performance of simCode: all other stuff during SimCode phase: time 0.001218/0.8634, allocations: 359.3 kB / 419.8 MB, free: 15.08 MB / 330.7 MB Notification: Performance of SimCode: time 1.543e-06/0.8634, allocations: 0 / 419.8 MB, free: 15.08 MB / 330.7 MB Notification: Performance of buildModelFMU: Generate the FMI files: time 0.09799/0.9615, allocations: 17.51 MB / 437.3 MB, free: 13.59 MB / 346.7 MB Notification: Performance of buildModelFMU: configured platform dynamic using cached values: time 0.0003649/0.9619, allocations: 142.7 kB / 437.4 MB, free: 13.39 MB / 346.7 MB Notification: Performance of buildModelFMU: Generate platform dynamic: time 4.162/5.124, allocations: 0 / 437.4 MB, free: 13.39 MB / 346.7 MB "" Variables in the reference:time,tank1.level,tank2.level,shut.on,shut.reset[1],shut.reset[2],start.on,start.reset[1],start.reset[2],stop.on,stop.reset[1],stop.reset[2],tankController.T1.enableFire,tankController.T2.enableFire,tankController.T3.enableFire,tankController.T4.enableFire,tankController.T5.enableFire,tankController.T6.enableFire,tankController.makeProduct.T1.enableFire,tankController.makeProduct.T2.enableFire,tankController.makeProduct.T3.enableFire,tankController.makeProduct.T4.enableFire Variables in the result:_D_cse1,_D_cse2,_D_cse4,_D_cse6,_D_cse7,_D_whenCondition1,_D_whenCondition10,_D_whenCondition11,_D_whenCondition12,_D_whenCondition2,_D_whenCondition3,_D_whenCondition4,_D_whenCondition5,_D_whenCondition6,_D_whenCondition7,_D_whenCondition8,_D_whenCondition9,der(tank1.level),der(tank2.level),shut.buttonTimeTable[1],shut.buttonTimeTable[2],shut.on,shut.reset[1],shut.reset[2],shut.table.index,shut.table.n,shut.table.nextTime,shut.table.startValue,shut.table.table[1],shut.table.table[2],shut.table.y,source.maxflow,source.outflow1.Fo,source.outflow1.open,start.buttonTimeTable[1],start.buttonTimeTable[2],start.buttonTimeTable[3],start.buttonTimeTable[4],start.on,start.reset[1],start.reset[2],start.table.index,start.table.n,start.table.nextTime,start.table.startValue,start.table.table[1],start.table.table[2],start.table.table[3],start.table.table[4],start.table.y,stateGraphRoot.activeSteps,stateGraphRoot.resume,stateGraphRoot.subgraphStatePort.activeSteps,stateGraphRoot.subgraphStatePort.activeStepsDummy,stateGraphRoot.subgraphStatePort.resume,stateGraphRoot.subgraphStatePort.suspend,stateGraphRoot.suspend,stop.buttonTimeTable[1],stop.buttonTimeTable[2],stop.buttonTimeTable[3],stop.buttonTimeTable[4],stop.on,stop.reset[1],stop.reset[2],stop.table.index,stop.table.n,stop.table.nextTime,stop.table.startValue,stop.table.table[1],stop.table.table[2],stop.table.table[3],stop.table.table[4],stop.table.y,tank1.A,tank1.a,tank1.hmax,tank1.inflow1.Fi,tank1.level,tank1.levelSensor,tank1.outflow1.Fo,tank1.outflow1.open,tank2.A,tank2.a,tank2.hmax,tank2.inflow1.Fi,tank2.level,tank2.levelSensor,tank2.outflow1.Fo,tank2.outflow1.open,tankController.T1.condition,tankController.T1.enableFire,tankController.T1.enableTimer,tankController.T1.fire,tankController.T1.inPort.available,tankController.T1.inPort.reset,tankController.T1.localCondition,tankController.T1.outPort.occupied,tankController.T1.outPort.set,tankController.T1.t,tankController.T1.t_dummy,tankController.T1.t_start,tankController.T1.waitTime,tankController.T2.condition,tankController.T2.enableFire,tankController.T2.enableTimer,tankController.T2.fire,tankController.T2.inPort.available,tankController.T2.inPort.reset,tankController.T2.localCondition,tankController.T2.outPort.occupied,tankController.T2.outPort.set,tankController.T2.t,tankController.T2.t_dummy,tankController.T2.t_start,tankController.T2.waitTime,tankController.T3.condition,tankController.T3.enableFire,tankController.T3.enableTimer,tankController.T3.fire,tankController.T3.inPort.available,tankController.T3.inPort.reset,tankController.T3.localCondition,tankController.T3.outPort.occupied,tankController.T3.outPort.set,tankController.T3.t,tankController.T3.t_dummy,tankController.T3.t_start,tankController.T3.waitTime,tankController.T4.condition,tankController.T4.enableFire,tankController.T4.enableTimer,tankController.T4.fire,tankController.T4.inPort.available,tankController.T4.inPort.reset,tankController.T4.localCondition,tankController.T4.outPort.occupied,tankController.T4.outPort.set,tankController.T4.t,tankController.T4.t_dummy,tankController.T4.t_start,tankController.T4.waitTime,tankController.T5.condition,tankController.T5.enableFire,tankController.T5.enableTimer,tankController.T5.fire,tankController.T5.inPort.available,tankController.T5.inPort.reset,tankController.T5.localCondition,tankController.T5.outPort.occupied,tankController.T5.outPort.set,tankController.T5.t,tankController.T5.t_dummy,tankController.T5.t_start,tankController.T5.waitTime,tankController.T6.condition,tankController.T6.enableFire,tankController.T6.enableTimer,tankController.T6.fire,tankController.T6.inPort.available,tankController.T6.inPort.reset,tankController.T6.localCondition,tankController.T6.outPort.occupied,tankController.T6.outPort.set,tankController.T6.t,tankController.T6.t_dummy,tankController.T6.t_start,tankController.T6.waitTime,tankController.emptyTanks.active,tankController.emptyTanks.inPort[1].occupied,tankController.emptyTanks.inPort[1].set,tankController.emptyTanks.localActive,tankController.emptyTanks.nIn,tankController.emptyTanks.nOut,tankController.emptyTanks.newActive,tankController.emptyTanks.oldActive,tankController.emptyTanks.outPort[1].available,tankController.emptyTanks.outPort[1].reset,tankController.emptyTanks.outerStatePort.subgraphStatePort.activeSteps,tankController.emptyTanks.outerStatePort.subgraphStatePort.activeStepsDummy,tankController.emptyTanks.outerStatePort.subgraphStatePort.resume,tankController.emptyTanks.outerStatePort.subgraphStatePort.suspend,tankController.level1,tankController.level2,tankController.limit,tankController.makeProduct.T1.condition,tankController.makeProduct.T1.enableFire,tankController.makeProduct.T1.enableTimer,tankController.makeProduct.T1.fire,tankController.makeProduct.T1.inPort.available,tankController.makeProduct.T1.inPort.reset,tankController.makeProduct.T1.localCondition,tankController.makeProduct.T1.outPort.occupied,tankController.makeProduct.T1.outPort.set,tankController.makeProduct.T1.t,tankController.makeProduct.T1.t_dummy,tankController.makeProduct.T1.t_start,tankController.makeProduct.T1.waitTime,tankController.makeProduct.T2.condition,tankController.makeProduct.T2.enableFire,tankController.makeProduct.T2.enableTimer,tankController.makeProduct.T2.fire,tankController.makeProduct.T2.inPort.available,tankController.makeProduct.T2.inPort.reset,tankController.makeProduct.T2.localCondition,tankController.makeProduct.T2.outPort.occupied,tankController.makeProduct.T2.outPort.set,tankController.makeProduct.T2.t,tankController.makeProduct.T2.t_dummy,tankController.makeProduct.T2.t_start,tankController.makeProduct.T2.waitTime,tankController.makeProduct.T3.condition,tankController.makeProduct.T3.enableFire,tankController.makeProduct.T3.enableTimer,tankController.makeProduct.T3.fire,tankController.makeProduct.T3.inPort.available,tankController.makeProduct.T3.inPort.reset,tankController.makeProduct.T3.localCondition,tankController.makeProduct.T3.outPort.occupied,tankController.makeProduct.T3.outPort.set,tankController.makeProduct.T3.t,tankController.makeProduct.T3.t_dummy,tankController.makeProduct.T3.t_start,tankController.makeProduct.T3.waitTime,tankController.makeProduct.T4.condition,tankController.makeProduct.T4.enableFire,tankController.makeProduct.T4.enableTimer,tankController.makeProduct.T4.fire,tankController.makeProduct.T4.inPort.available,tankController.makeProduct.T4.inPort.reset,tankController.makeProduct.T4.localCondition,tankController.makeProduct.T4.outPort.occupied,tankController.makeProduct.T4.outPort.set,tankController.makeProduct.T4.t,tankController.makeProduct.T4.t_dummy,tankController.makeProduct.T4.t_start,tankController.makeProduct.T4.waitTime,tankController.makeProduct.active,tankController.makeProduct.activeSteps,tankController.makeProduct.emptyTank2.active,tankController.makeProduct.emptyTank2.inPort[1].occupied,tankController.makeProduct.emptyTank2.inPort[1].set,tankController.makeProduct.emptyTank2.localActive,tankController.makeProduct.emptyTank2.nIn,tankController.makeProduct.emptyTank2.nOut,tankController.makeProduct.emptyTank2.newActive,tankController.makeProduct.emptyTank2.oldActive,tankController.makeProduct.emptyTank2.outPort[1].available,tankController.makeProduct.emptyTank2.outPort[1].reset,tankController.makeProduct.emptyTank2.outerStatePort.subgraphStatePort.activeSteps,tankController.makeProduct.emptyTank2.outerStatePort.subgraphStatePort.activeStepsDummy,tankController.makeProduct.emptyTank2.outerStatePort.subgraphStatePort.resume,tankController.makeProduct.emptyTank2.outerStatePort.subgraphStatePort.suspend,tankController.makeProduct.fillTank1.active,tankController.makeProduct.fillTank1.inPort[1].occupied,tankController.makeProduct.fillTank1.inPort[1].set,tankController.makeProduct.fillTank1.localActive,tankController.makeProduct.fillTank1.nIn,tankController.makeProduct.fillTank1.nOut,tankController.makeProduct.fillTank1.newActive,tankController.makeProduct.fillTank1.oldActive,tankController.makeProduct.fillTank1.outPort[1].available,tankController.makeProduct.fillTank1.outPort[1].reset,tankController.makeProduct.fillTank1.outerStatePort.subgraphStatePort.activeSteps,tankController.makeProduct.fillTank1.outerStatePort.subgraphStatePort.activeStepsDummy,tankController.makeProduct.fillTank1.outerStatePort.subgraphStatePort.resume,tankController.makeProduct.fillTank1.outerStatePort.subgraphStatePort.suspend,tankController.makeProduct.fillTank2.active,tankController.makeProduct.fillTank2.inPort[1].occupied,tankController.makeProduct.fillTank2.inPort[1].set,tankController.makeProduct.fillTank2.localActive,tankController.makeProduct.fillTank2.nIn,tankController.makeProduct.fillTank2.nOut,tankController.makeProduct.fillTank2.newActive,tankController.makeProduct.fillTank2.oldActive,tankController.makeProduct.fillTank2.outPort[1].available,tankController.makeProduct.fillTank2.outPort[1].reset,tankController.makeProduct.fillTank2.outerStatePort.subgraphStatePort.activeSteps,tankController.makeProduct.fillTank2.outerStatePort.subgraphStatePort.activeStepsDummy,tankController.makeProduct.fillTank2.outerStatePort.subgraphStatePort.resume,tankController.makeProduct.fillTank2.outerStatePort.subgraphStatePort.suspend,tankController.makeProduct.inPort.occupied,tankController.makeProduct.inPort.set,tankController.makeProduct.level1,tankController.makeProduct.limit,tankController.makeProduct.nResume,tankController.makeProduct.nSuspend,tankController.makeProduct.newActive,tankController.makeProduct.outPort.available,tankController.makeProduct.outPort.reset,tankController.makeProduct.outerState.subgraphStatePort.activeSteps,tankController.makeProduct.outerState.subgraphStatePort.activeStepsDummy,tankController.makeProduct.outerState.subgraphStatePort.resume,tankController.makeProduct.outerState.subgraphStatePort.suspend,tankController.makeProduct.resume[1].occupied,tankController.makeProduct.resume[1].set,tankController.makeProduct.stateGraphRoot.resume,tankController.makeProduct.stateGraphRoot.subgraphStatePort.activeSteps,tankController.makeProduct.stateGraphRoot.subgraphStatePort.activeStepsDummy,tankController.makeProduct.stateGraphRoot.subgraphStatePort.resume,tankController.makeProduct.stateGraphRoot.subgraphStatePort.suspend,tankController.makeProduct.stateGraphRoot.suspend,tankController.makeProduct.suspend[1].available,tankController.makeProduct.suspend[1].reset,tankController.makeProduct.wait1.active,tankController.makeProduct.wait1.inPort[1].occupied,tankController.makeProduct.wait1.inPort[1].set,tankController.makeProduct.wait1.localActive,tankController.makeProduct.wait1.nIn,tankController.makeProduct.wait1.nOut,tankController.makeProduct.wait1.newActive,tankController.makeProduct.wait1.oldActive,tankController.makeProduct.wait1.outPort[1].available,tankController.makeProduct.wait1.outPort[1].reset,tankController.makeProduct.wait1.outerStatePort.subgraphStatePort.activeSteps,tankController.makeProduct.wait1.outerStatePort.subgraphStatePort.activeStepsDummy,tankController.makeProduct.wait1.outerStatePort.subgraphStatePort.resume,tankController.makeProduct.wait1.outerStatePort.subgraphStatePort.suspend,tankController.makeProduct.wait2.active,tankController.makeProduct.wait2.inPort[1].occupied,tankController.makeProduct.wait2.inPort[1].set,tankController.makeProduct.wait2.localActive,tankController.makeProduct.wait2.nIn,tankController.makeProduct.wait2.nOut,tankController.makeProduct.wait2.newActive,tankController.makeProduct.wait2.oldActive,tankController.makeProduct.wait2.outPort[1].available,tankController.makeProduct.wait2.outPort[1].reset,tankController.makeProduct.wait2.outerStatePort.subgraphStatePort.activeSteps,tankController.makeProduct.wait2.outerStatePort.subgraphStatePort.activeStepsDummy,tankController.makeProduct.wait2.outerStatePort.subgraphStatePort.resume,tankController.makeProduct.wait2.outerStatePort.subgraphStatePort.suspend,tankController.makeProduct.waitTime,tankController.s1.active,tankController.s1.inPort[1].occupied,tankController.s1.inPort[1].set,tankController.s1.inPort[2].occupied,tankController.s1.inPort[2].set,tankController.s1.localActive,tankController.s1.nIn,tankController.s1.nOut,tankController.s1.newActive,tankController.s1.oldActive,tankController.s1.outPort[1].available,tankController.s1.outPort[1].reset,tankController.s1.outerStatePort.subgraphStatePort.activeSteps,tankController.s1.outerStatePort.subgraphStatePort.activeStepsDummy,tankController.s1.outerStatePort.subgraphStatePort.resume,tankController.s1.outerStatePort.subgraphStatePort.suspend,tankController.s2.active,tankController.s2.inPort[1].occupied,tankController.s2.inPort[1].set,tankController.s2.localActive,tankController.s2.nIn,tankController.s2.nOut,tankController.s2.newActive,tankController.s2.oldActive,tankController.s2.outPort[1].available,tankController.s2.outPort[1].reset,tankController.s2.outPort[2].available,tankController.s2.outPort[2].reset,tankController.s2.outerStatePort.subgraphStatePort.activeSteps,tankController.s2.outerStatePort.subgraphStatePort.activeStepsDummy,tankController.s2.outerStatePort.subgraphStatePort.resume,tankController.s2.outerStatePort.subgraphStatePort.suspend,tankController.setValve1.y,tankController.setValve2.y,tankController.setValve3.y,tankController.shut,tankController.start,tankController.stop,tankController.valve1,tankController.valve2,tankController.valve3,tankController.waitTime,time,valve1.inflow1.Fi,valve1.outflow1.Fo,valve1.outflow1.open,valve1.valveControl,valve2.inflow1.Fi,valve2.outflow1.Fo,valve2.outflow1.open,valve2.valveControl,valve3.inflow1.Fi,valve3.outflow1.Fo,valve3.outflow1.open,valve3.valveControl