Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_StateGraph2_Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks2.conf.json loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo", uses=false) Using package Modelica_StateGraph2 with version 2.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo) Using package Modelica with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo) Using package Complex with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo) Using package ModelicaServices with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo) Running command: translateModel(Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks2,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_StateGraph2_Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks2") translateModel(Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks2,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_StateGraph2_Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks2") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.0068/0.006799, allocations: 103.5 kB / 15.73 MB, free: 6.047 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo): time 0.001202/0.001202, allocations: 188.1 kB / 16.67 MB, free: 5.969 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo): time 1.48/1.48, allocations: 222.9 MB / 240.4 MB, free: 15.14 MB / 206.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo): time 0.09486/0.09486, allocations: 13.56 MB / 304.1 MB, free: 1.141 MB / 238.1 MB Notification: Performance of FrontEnd - loaded program: time 0.001265/0.001265, allocations: 59.91 kB / 421.6 MB, free: 14.33 MB / 302.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 0.126/0.1273, allocations: 52.7 MB / 474.3 MB, free: 9.586 MB / 350.1 MB Notification: Performance of NFInst.instantiate(Modelica_StateGraph2.Examples.Applications.ControlledTanks.ControlledTanks2): time 0.03673/0.1641, allocations: 30.36 MB / 0.4928 GB, free: 11.1 MB / 382.1 MB Notification: Performance of NFInst.instExpressions: time 0.01729/0.1814, allocations: 9.284 MB / 0.5019 GB, free: 1.793 MB / 382.1 MB Notification: Performance of NFInst.updateImplicitVariability: time 0.004075/0.1855, allocations: 111.3 kB / 0.502 GB, free: 1.684 MB / 382.1 MB Notification: Performance of NFTyping.typeComponents: time 0.3139/0.4995, allocations: 5.009 MB / 0.5069 GB, free: 3.949 MB / 382.1 MB Notification: Performance of NFTyping.typeBindings: time 0.007863/0.5074, allocations: 1.637 MB / 0.5085 GB, free: 3.949 MB / 382.1 MB [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:12183:5-12189:3:writable] Warning: Usage of non-standard operator (not specified in the Modelica specification): Connections.uniqueRoot. Functionality might be partially supported but is not guaranteed. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15020:7-15026:3:writable] Warning: Usage of non-standard operator (not specified in the Modelica specification): Connections.uniqueRoot. Functionality might be partially supported but is not guaranteed. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15020:7-15026:3:writable] Warning: The first argument 'tankController.makeProduct.local_entry.node' of Connections.uniqueRoot must have the form A.R, where A is a connector and R an over-determined type/record. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15028:7-15035:4:writable] Warning: Usage of non-standard operator (not specified in the Modelica specification): Connections.uniqueRootIndices. Functionality might be partially supported but is not guaranteed. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15028:7-15035:4:writable] Warning: The first argument 'tankController.makeProduct.local_entry.node' of Connections.uniqueRootIndices must have the form A.R, where A is a connector and R an over-determined type/record. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15028:7-15035:4:writable] Warning: The second argument 'tankController.makeProduct.local_exit.node' of Connections.uniqueRootIndices must have the form A.R, where A is a connector and R an over-determined type/record. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15046:9-15046:83:writable] Warning: Usage of non-standard operator (not specified in the Modelica specification): Connections.uniqueRoot. Functionality might be partially supported but is not guaranteed. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:12183:5-12189:3:writable] Warning: Usage of non-standard operator (not specified in the Modelica specification): Connections.uniqueRoot. Functionality might be partially supported but is not guaranteed. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15020:7-15026:3:writable] Warning: Usage of non-standard operator (not specified in the Modelica specification): Connections.uniqueRoot. Functionality might be partially supported but is not guaranteed. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15020:7-15026:3:writable] Warning: The first argument 'tankController.shutStep.local_entry.node' of Connections.uniqueRoot must have the form A.R, where A is a connector and R an over-determined type/record. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15028:7-15035:4:writable] Warning: Usage of non-standard operator (not specified in the Modelica specification): Connections.uniqueRootIndices. Functionality might be partially supported but is not guaranteed. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15028:7-15035:4:writable] Warning: The first argument 'tankController.shutStep.local_entry.node' of Connections.uniqueRootIndices must have the form A.R, where A is a connector and R an over-determined type/record. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15028:7-15035:4:writable] Warning: The second argument 'tankController.shutStep.local_exit.node' of Connections.uniqueRootIndices must have the form A.R, where A is a connector and R an over-determined type/record. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:15046:9-15046:83:writable] Warning: Usage of non-standard operator (not specified in the Modelica specification): Connections.uniqueRoot. Functionality might be partially supported but is not guaranteed. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:12183:5-12189:3:writable] Warning: Usage of non-standard operator (not specified in the Modelica specification): Connections.uniqueRoot. Functionality might be partially supported but is not guaranteed. Notification: Performance of NFTyping.typeClassSections: time 0.01131/0.5187, allocations: 3.419 MB / 0.5118 GB, free: 3.898 MB / 382.1 MB Notification: Performance of NFFlatten.flatten: time 0.01544/0.5342, allocations: 7.137 MB / 0.5188 GB, free: 3.855 MB / 382.1 MB Notification: Performance of NFFlatten.resolveConnections: time 0.01774/0.552, allocations: 6.549 MB / 0.5252 GB, free: 2.445 MB / 382.1 MB Notification: Performance of NFEvalConstants.evaluate: time 0.007359/0.5594, allocations: 2.618 MB / 0.5278 GB, free: 1.352 MB / 382.1 MB Notification: Performance of NFSimplifyModel.simplify: time 0.005204/0.5646, allocations: 2.416 MB / 0.5301 GB, free: 244 kB / 382.1 MB Notification: Performance of NFPackage.collectConstants: time 0.002504/0.5671, allocations: 0.5339 MB / 0.5306 GB, free: 244 kB / 382.1 MB Notification: Performance of NFFlatten.collectFunctions: time 0.00482/0.572, allocations: 1.173 MB / 0.5318 GB, free: 92 kB / 382.1 MB Notification: Performance of NFScalarize.scalarize: time 0.003142/0.5751, allocations: 1.402 MB / 0.5332 GB, free: 15.25 MB / 398.1 MB Notification: Performance of NFVerifyModel.verify: time 0.007988/0.5832, allocations: 2.293 MB / 0.5354 GB, free: 13.53 MB / 398.1 MB Notification: Performance of NFConvertDAE.convert: time 0.01714/0.6003, allocations: 7.294 MB / 0.5425 GB, free: 8.438 MB / 398.1 MB Notification: Performance of FrontEnd - DAE generated: time 1.175e-05/0.6004, allocations: 4 kB / 0.5425 GB, free: 8.434 MB / 398.1 MB Notification: Performance of FrontEnd: time 4.378e-06/0.6004, allocations: 0 / 0.5425 GB, free: 8.434 MB / 398.1 MB Notification: Performance of Transformations before backend: time 0.0005501/0.601, allocations: 0 / 0.5425 GB, free: 8.434 MB / 398.1 MB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 997 * Number of variables: 997 Notification: Performance of Generate backend data structure: time 0.01913/0.6202, allocations: 4.799 MB / 0.5472 GB, free: 4.551 MB / 398.1 MB Notification: Performance of prepare preOptimizeDAE: time 4.768e-05/0.6202, allocations: 12.03 kB / 0.5472 GB, free: 4.539 MB / 398.1 MB Notification: Performance of preOpt normalInlineFunction (simulation): time 0.002806/0.623, allocations: 487.4 kB / 0.5477 GB, free: 4.059 MB / 398.1 MB Notification: Performance of preOpt evaluateParameters (simulation): time 0.008043/0.6311, allocations: 2.607 MB / 0.5502 GB, free: 1.539 MB / 398.1 MB Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.0007018/0.6318, allocations: 498.5 kB / 0.5507 GB, free: 1.02 MB / 398.1 MB Notification: Performance of preOpt expandDerOperator (simulation): time 0.002128/0.634, allocations: 395 kB / 0.5511 GB, free: 0.6367 MB / 398.1 MB Notification: Performance of preOpt clockPartitioning (simulation): time 0.01756/0.6516, allocations: 4.969 MB / 0.5559 GB, free: 11.51 MB / 414.1 MB Notification: Performance of preOpt findStateOrder (simulation): time 0.0001703/0.6518, allocations: 11.31 kB / 0.5559 GB, free: 11.5 MB / 414.1 MB Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.001458/0.6533, allocations: 174.1 kB / 0.5561 GB, free: 11.34 MB / 414.1 MB Notification: Performance of preOpt inlineArrayEqn (simulation): time 0.0002377/0.6535, allocations: 158.8 kB / 0.5563 GB, free: 11.18 MB / 414.1 MB Notification: Performance of preOpt removeEqualRHS (simulation): time 0.01146/0.665, allocations: 3.901 MB / 0.5601 GB, free: 7.312 MB / 414.1 MB [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:14978:9-14978:46:writable] Error: Found equation without time-dependent variables: tankController.shutStep.entry_restart[1] = true Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.03471/0.6997, allocations: 16.78 MB / 0.5765 GB, free: 6.023 MB / 430.1 MB Notification: Performance of preOpt comSubExp (simulation): time 0.01872/0.7185, allocations: 8.498 MB / 0.5848 GB, free: 13.52 MB / 446.1 MB Notification: Performance of preOpt resolveLoops (simulation): time 0.01078/0.7293, allocations: 4.526 MB / 0.5892 GB, free: 8.965 MB / 446.1 MB [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:4594:11-4598:37:writable] Error: Found equation without time-dependent variables: tankController.makeProduct.fillTank1.inPort[1].checkOneDelayedTransitionPerLoop = tankController.makeProduct.fillTank1.inPort[1].checkOneDelayedTransitionPerLoop [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:12417:5-12417:31:writable] Error: Found equation without time-dependent variables: tankController.makeProduct.wait1.inPort[1].checkOneDelayedTransitionPerLoop = tankController.makeProduct.wait1.inPort[1].checkOneDelayedTransitionPerLoop [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:12132:3-12134:72:writable] Error: Found equation without time-dependent variables: tankController.makeProduct.fillTank1.inPort[1].checkOneDelayedTransitionPerLoop = tankController.makeProduct.fillTank1.inPort[1].checkOneDelayedTransitionPerLoop [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/Fluid/Vessels.mo:268:9-269:69:writable] Error: Found equation without time-dependent variables: tank2.level = true Notification: Performance of preOpt evalFunc (simulation): time 0.01789/0.7473, allocations: 7.44 MB / 0.5964 GB, free: 1.078 MB / 446.1 MB Error: An independent subset of the model has imbalanced number of equations (51) and variables (48). variables: shut.pre_reset[2] shut.pre_reset[1] shut.table.realToBoolean.y shut.table.realToBoolean.u shut.table.combiTimeTable.timeScaled shut.table.combiTimeTable.nextTimeEventScaled shut.table.combiTimeTable.nextTimeEvent shut.table.combiTimeTable.y[1] shut.table.y shut.on shut.reset[2] shut.reset[1] stop.pre_reset[2] stop.pre_reset[1] stop.table.realToBoolean.y stop.table.realToBoolean.u stop.table.combiTimeTable.timeScaled stop.table.combiTimeTable.nextTimeEventScaled stop.table.combiTimeTable.nextTimeEvent stop.table.combiTimeTable.y[1] stop.table.y stop.on stop.reset[2] stop.reset[1] start.pre_reset[2] start.pre_reset[1] start.table.realToBoolean.y start.table.realToBoolean.u start.table.combiTimeTable.timeScaled start.table.combiTimeTable.nextTimeEventScaled start.table.combiTimeTable.nextTimeEvent start.table.combiTimeTable.y[1] start.table.y start.on start.reset[2] start.reset[1] $whenCondition9 $whenCondition7 $whenCondition8 $whenCondition6 $whenCondition4 $whenCondition5 $whenCondition3 $whenCondition1 $whenCondition2 $whenCondition30 $whenCondition31 $whenCondition32 equations: 1 : algorithm start.pre_reset := pre(start.reset); $whenCondition1 := start.pre_reset[1]; $whenCondition2 := start.pre_reset[2]; when {$whenCondition1, $whenCondition2} then start.on := false; end when; $whenCondition3 := start.table.y <> pre(start.table.y); when $whenCondition3 then start.on := true; end when; 2 : algorithm stop.pre_reset := pre(stop.reset); $whenCondition4 := stop.pre_reset[1]; $whenCondition5 := stop.pre_reset[2]; when {$whenCondition4, $whenCondition5} then stop.on := false; end when; $whenCondition6 := stop.table.y <> pre(stop.table.y); when $whenCondition6 then stop.on := true; end when; 3 : algorithm shut.pre_reset := pre(shut.reset); $whenCondition7 := shut.pre_reset[1]; $whenCondition8 := shut.pre_reset[2]; when {$whenCondition7, $whenCondition8} then shut.on := false; end when; $whenCondition9 := shut.table.y <> pre(shut.table.y); when $whenCondition9 then shut.on := true; end when; 4 : start.table.combiTimeTable.y[1] = start.table.realToBoolean.u 5 : start.table.realToBoolean.y = start.table.y 6 : stop.table.combiTimeTable.y[1] = stop.table.realToBoolean.u 7 : stop.table.realToBoolean.y = stop.table.y 8 : shut.table.combiTimeTable.y[1] = shut.table.realToBoolean.u 9 : shut.table.realToBoolean.y = shut.table.y 10 : true = shut.on 11 : true = stop.on 12 : true = start.on 13 : shut.reset[2] = start.reset[1] 14 : stop.reset[2] = start.reset[2] 15 : start.table.combiTimeTable.timeScaled = time 16 : start.table.combiTimeTable.y[1] = Modelica.Blocks.Tables.Internal.getTimeTableValueNoDer(start.table.combiTimeTable.tableID, 1, start.table.combiTimeTable.timeScaled, start.table.combiTimeTable.nextTimeEventScaled, pre(start.table.combiTimeTable.nextTimeEventScaled)) 17 : start.table.realToBoolean.y = start.table.realToBoolean.u >= start.table.realToBoolean.threshold 18 : shut.reset[1] = stop.reset[1] 19 : stop.reset[2] = shut.on 20 : stop.table.combiTimeTable.timeScaled = time 21 : stop.table.combiTimeTable.y[1] = Modelica.Blocks.Tables.Internal.getTimeTableValueNoDer(stop.table.combiTimeTable.tableID, 1, stop.table.combiTimeTable.timeScaled, stop.table.combiTimeTable.nextTimeEventScaled, pre(stop.table.combiTimeTable.nextTimeEventScaled)) 22 : stop.table.realToBoolean.y = stop.table.realToBoolean.u >= stop.table.realToBoolean.threshold 23 : shut.reset[1] = start.on 24 : shut.reset[2] = stop.on 25 : shut.table.combiTimeTable.timeScaled = time 26 : shut.table.combiTimeTable.y[1] = Modelica.Blocks.Tables.Internal.getTimeTableValueNoDer(shut.table.combiTimeTable.tableID, 1, shut.table.combiTimeTable.timeScaled, shut.table.combiTimeTable.nextTimeEventScaled, pre(shut.table.combiTimeTable.nextTimeEventScaled)) 27 : shut.table.realToBoolean.y = shut.table.realToBoolean.u >= shut.table.realToBoolean.threshold 28 : when {$whenCondition30, initial()} then shut.table.combiTimeTable.nextTimeEventScaled := Modelica.Blocks.Tables.Internal.getNextTimeEvent(shut.table.combiTimeTable.tableID, shut.table.combiTimeTable.timeScaled); end when; 29 : when {$whenCondition30, initial()} then shut.table.combiTimeTable.nextTimeEvent := if shut.table.combiTimeTable.nextTimeEventScaled < 1e60 then shut.table.combiTimeTable.nextTimeEventScaled else 1e60; end when; 30 : when {$whenCondition31, initial()} then stop.table.combiTimeTable.nextTimeEventScaled := Modelica.Blocks.Tables.Internal.getNextTimeEvent(stop.table.combiTimeTable.tableID, stop.table.combiTimeTable.timeScaled); end when; 31 : when {$whenCondition31, initial()} then stop.table.combiTimeTable.nextTimeEvent := if stop.table.combiTimeTable.nextTimeEventScaled < 1e60 then stop.table.combiTimeTable.nextTimeEventScaled else 1e60; end when; 32 : when {$whenCondition32, initial()} then start.table.combiTimeTable.nextTimeEventScaled := Modelica.Blocks.Tables.Internal.getNextTimeEvent(start.table.combiTimeTable.tableID, start.table.combiTimeTable.timeScaled); end when; 33 : when {$whenCondition32, initial()} then start.table.combiTimeTable.nextTimeEvent := if start.table.combiTimeTable.nextTimeEventScaled < 1e60 then start.table.combiTimeTable.nextTimeEventScaled else 1e60; end when; 34 : $whenCondition30 = time >= pre(shut.table.combiTimeTable.nextTimeEvent) 35 : $whenCondition31 = time >= pre(stop.table.combiTimeTable.nextTimeEvent) 36 : $whenCondition32 = time >= pre(start.table.combiTimeTable.nextTimeEvent) Notification: Performance of preOpt encapsulateWhenConditions (simulation) : time 0.008551/0.7558, allocations: 3.697 MB / 0.6 GB, free: 13.32 MB / 462.1 MB Error: pre-optimization module encapsulateWhenConditions (simulation) failed.