Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries/ --ompython_omhome=/usr Modelica_StateGraph2_Modelica_StateGraph2.Examples.BasicStateGraphs.ParallelWithActions.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.BasicStateGraphs.ParallelWithActions,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_StateGraph2_Modelica_StateGraph2.Examples.BasicStateGraphs.ParallelWithActions") translateModel(Modelica_StateGraph2.Examples.BasicStateGraphs.ParallelWithActions,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_StateGraph2_Modelica_StateGraph2.Examples.BasicStateGraphs.ParallelWithActions") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001535/0.001535, allocations: 111.3 kB / 15.23 MB, free: 0.6602 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.001453/0.001453, allocations: 197.2 kB / 16.14 MB, free: 6.652 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.477/1.477, allocations: 222.9 MB / 239.8 MB, free: 4.562 MB / 190.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo): time 0.3308/0.3308, allocations: 13.53 MB / 303.5 MB, free: 0.6367 MB / 238.1 MB Notification: Performance of FrontEnd - loaded program: time 0.001686/0.001686, allocations: 63.84 kB / 367.1 MB, free: 6.949 MB / 302.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 0.1735/0.1752, allocations: 52.68 MB / 419.8 MB, free: 2.23 MB / 350.1 MB Notification: Performance of NFInst.instantiate(Modelica_StateGraph2.Examples.BasicStateGraphs.ParallelWithActions): time 0.006332/0.1816, allocations: 2.834 MB / 422.6 MB, free: 15.37 MB / 366.1 MB Notification: Performance of NFInst.instExpressions: time 0.004032/0.1857, allocations: 1.562 MB / 424.2 MB, free: 13.8 MB / 366.1 MB Notification: Performance of NFInst.updateImplicitVariability: time 0.000962/0.1867, allocations: 39.69 kB / 424.2 MB, free: 13.76 MB / 366.1 MB Notification: Performance of NFTyping.typeComponents: time 0.003076/0.1899, allocations: 1.583 MB / 425.8 MB, free: 12.17 MB / 366.1 MB Notification: Performance of NFTyping.typeBindings: time 0.0006471/0.1905, allocations: 47.56 kB / 425.8 MB, free: 12.12 MB / 366.1 MB [/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 'parallel.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 'parallel.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 'parallel.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.002396/0.193, allocations: 0.5625 MB / 426.4 MB, free: 11.57 MB / 366.1 MB Notification: Performance of NFFlatten.flatten: time 0.001892/0.1949, allocations: 1.162 MB / 427.6 MB, free: 10.41 MB / 366.1 MB Notification: Performance of NFFlatten.resolveConnections: time 0.002081/0.197, allocations: 1.59 MB / 429.2 MB, free: 8.789 MB / 366.1 MB Notification: Performance of NFEvalConstants.evaluate: time 0.0005258/0.1975, allocations: 434.3 kB / 429.6 MB, free: 8.363 MB / 366.1 MB Notification: Performance of NFSimplifyModel.simplify: time 0.0004819/0.198, allocations: 477.6 kB / 430 MB, free: 7.895 MB / 366.1 MB Notification: Performance of NFPackage.collectConstants: time 0.0001314/0.1981, allocations: 80 kB / 430.1 MB, free: 7.816 MB / 366.1 MB Notification: Performance of NFFlatten.collectFunctions: time 0.0002793/0.1984, allocations: 116 kB / 430.2 MB, free: 7.703 MB / 366.1 MB Notification: Performance of NFScalarize.scalarize: time 0.0002868/0.1987, allocations: 279.1 kB / 430.5 MB, free: 7.43 MB / 366.1 MB Notification: Performance of NFVerifyModel.verify: time 0.0004351/0.1992, allocations: 481.2 kB / 431 MB, free: 6.957 MB / 366.1 MB Notification: Performance of NFConvertDAE.convert: time 0.001087/0.2003, allocations: 1.102 MB / 432.1 MB, free: 5.852 MB / 366.1 MB Notification: Performance of FrontEnd - DAE generated: time 7.054e-06/0.2003, allocations: 4 kB / 432.1 MB, free: 5.848 MB / 366.1 MB Notification: Performance of FrontEnd: time 1.593e-06/0.2003, allocations: 0 / 432.1 MB, free: 5.848 MB / 366.1 MB Notification: Performance of Transformations before backend: time 1.387e-05/0.2003, allocations: 0 / 432.1 MB, free: 5.848 MB / 366.1 MB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 295 * Number of variables: 295 Notification: Performance of Generate backend data structure: time 0.001905/0.2022, allocations: 1.277 MB / 433.4 MB, free: 4.504 MB / 366.1 MB Notification: Performance of prepare preOptimizeDAE: time 4.857e-05/0.2023, allocations: 8.031 kB / 433.4 MB, free: 4.496 MB / 366.1 MB Notification: Performance of preOpt normalInlineFunction (simulation): time 0.000194/0.2025, allocations: 119.5 kB / 433.5 MB, free: 4.379 MB / 366.1 MB Notification: Performance of preOpt evaluateParameters (simulation): time 0.0008855/0.2034, allocations: 0.6081 MB / 434.1 MB, free: 3.727 MB / 366.1 MB Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.0001018/0.2035, allocations: 94.69 kB / 434.2 MB, free: 3.633 MB / 366.1 MB Notification: Performance of preOpt expandDerOperator (simulation): time 0.0001419/0.2036, allocations: 124.3 kB / 434.3 MB, free: 3.512 MB / 366.1 MB Notification: Performance of preOpt clockPartitioning (simulation): time 0.002195/0.2058, allocations: 1.363 MB / 435.7 MB, free: 2.059 MB / 366.1 MB Notification: Performance of preOpt findStateOrder (simulation): time 2.58e-05/0.2059, allocations: 4 kB / 435.7 MB, free: 2.055 MB / 366.1 MB Notification: Performance of preOpt replaceEdgeChange (simulation): time 9.979e-05/0.206, allocations: 48 kB / 435.7 MB, free: 2.008 MB / 366.1 MB Notification: Performance of preOpt inlineArrayEqn (simulation): time 5.904e-05/0.206, allocations: 38 kB / 435.8 MB, free: 1.969 MB / 366.1 MB Notification: Performance of preOpt removeEqualRHS (simulation): time 0.001537/0.2076, allocations: 0.9678 MB / 436.7 MB, free: 1 MB / 366.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: parallel.entry_restart[1] = true Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.3028/0.5104, allocations: 4.386 MB / 441.1 MB, free: 55.47 MB / 366.1 MB Notification: Performance of preOpt comSubExp (simulation): time 0.0009491/0.5114, allocations: 0.8909 MB / 442 MB, free: 55.04 MB / 366.1 MB Notification: Performance of preOpt resolveLoops (simulation): time 0.0003875/0.5118, allocations: 291.6 kB / 442.3 MB, free: 55.02 MB / 366.1 MB [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:3112:7-3115:33:writable] Error: Found equation without time-dependent variables: step4.outPort[1].checkOneDelayedTransitionPerLoop = true Notification: Performance of preOpt evalFunc (simulation): time 0.001602/0.5134, allocations: 1.394 MB / 443.7 MB, free: 54.16 MB / 366.1 MB Error: An independent subset of the model has imbalanced number of equations (66) and variables (64). variables: T6.enableFire step7.outport_fire step7.inport_fire step7.oldActive step7.newActive T5.enableFire step6.outport_fire step6.inport_fire step6.oldActive step6.newActive step6.active step6.outPort[1].node.resume step6.outPort[1].node.suspend step6.outPort[1].available T4.t_start T4.enableFire T4.fire step5.inport_fire step5.oldActive step5.newActive step5.active T3.t_start T3.enableFire T3.fire step4.inport_fire step4.oldActive step4.newActive step3.outport_fire step3.inport_fire step3.oldActive step3.newActive step3.active step3.outPort[1].available T2.t_start T2.enableFire T2.fire step2.inport_fire step2.oldActive step2.newActive T1.t_start T1.enableFire T1.fire set1.firstActiveIndex set1.y set1.u[2] set1.u[1] step1.inport_fire step1.oldActive step1.newActive step1.active parallel.oldActive parallel.entry_fire parallel.outport_fire parallel.inport_fire parallel.finished parallel.newActive parallel.active $whenCondition1 $whenCondition2 $whenCondition3 $whenCondition4 $whenCondition5 $whenCondition6 $whenCondition7 equations: 1 : step6.inport_fire = true 2 : step6.inport_fire = true 3 : when {$whenCondition1, $whenCondition2} then parallel.finished := parallel.outport_fire; end when; 4 : when false then parallel.oldActive := parallel.active; end when; 5 : when $whenCondition3 then step1.oldActive := step1.active; end when; 6 : when $whenCondition4 then T1.t_start := time; end when; 7 : when $whenCondition3 then step2.oldActive := set1.u[2]; end when; 8 : when $whenCondition5 then T2.t_start := time; end when; 9 : when $whenCondition3 then step3.oldActive := step3.active; end when; 10 : when $whenCondition3 then step4.oldActive := set1.u[1]; end when; 11 : when $whenCondition6 then T3.t_start := time; end when; 12 : when $whenCondition3 then step5.oldActive := step5.active; end when; 13 : when $whenCondition7 then T4.t_start := time; end when; 14 : when $whenCondition3 then step6.oldActive := step6.active; end when; 15 : when false then step7.oldActive := T6.enableFire; end when; 16 : T6.enableFire = pre(step7.newActive) 17 : step7.newActive = step7.inport_fire or T6.enableFire and not step7.outport_fire 18 : step7.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({T6.enableFire}) 19 : step7.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({T5.enableFire}) 20 : step6.outPort[1].available = step6.active and not step6.outPort[1].node.suspend 21 : step6.active = pre(step6.newActive) 22 : step6.newActive = if step6.outPort[1].node.resume then step6.oldActive else step6.inport_fire or step6.active and not step6.outport_fire and not step6.outPort[1].node.suspend 23 : step6.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({parallel.outport_fire}) 24 : step6.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({T4.fire}) 25 : T4.fire = T4.enableFire and time >= T4.t_start + T4.waitTime 26 : T4.enableFire = step5.active and not step6.outPort[1].node.suspend 27 : step5.active = pre(step5.newActive) 28 : step5.newActive = if step6.outPort[1].node.resume then step5.oldActive else step5.inport_fire or step5.active and not step6.inport_fire and not step6.outPort[1].node.suspend 29 : step5.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({T3.fire}) 30 : T3.fire = T3.enableFire and time >= T3.t_start + T3.waitTime 31 : T3.enableFire = set1.u[1] and not step6.outPort[1].node.suspend 32 : set1.u[1] = pre(step4.newActive) 33 : step4.newActive = if step6.outPort[1].node.resume then step4.oldActive else step4.inport_fire or set1.u[1] and not step5.inport_fire and not step6.outPort[1].node.suspend 34 : step4.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({parallel.inport_fire}) 35 : step3.outPort[1].available = step3.active and not step6.outPort[1].node.suspend 36 : step3.active = pre(step3.newActive) 37 : step3.newActive = if step6.outPort[1].node.resume then step3.oldActive else step3.inport_fire or step3.active and not step3.outport_fire and not step6.outPort[1].node.suspend 38 : step3.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({parallel.outport_fire}) 39 : step3.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({T2.fire}) 40 : T2.fire = T2.enableFire and time >= T2.t_start + T2.waitTime 41 : T2.enableFire = set1.u[2] and not step6.outPort[1].node.suspend 42 : set1.u[2] = pre(step2.newActive) 43 : step2.newActive = if step6.outPort[1].node.resume then step2.oldActive else step2.inport_fire or set1.u[2] and not step3.inport_fire and not step6.outPort[1].node.suspend 44 : step2.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({T1.fire}) 45 : T1.fire = T1.enableFire and time >= T1.t_start + T1.waitTime 46 : set1.y = if set1.firstActiveIndex > 0 then set1.expr[set1.firstActiveIndex] else if set1.use_pre_as_default then pre(set1.y) else set1.y_default 47 : set1.firstActiveIndex = Modelica_StateGraph2.Blocks.BooleanFunctions.firstTrueIndex(set1.u) 48 : T1.enableFire = step1.active and not step6.outPort[1].node.suspend 49 : step1.active = pre(step1.newActive) 50 : step1.newActive = if step6.outPort[1].node.resume then step1.oldActive else step1.inport_fire or step1.active and not step2.inport_fire and not step6.outPort[1].node.suspend 51 : step1.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({parallel.inport_fire}) 52 : step6.outPort[1].node.resume = parallel.resume_fire and not parallel.entry_fire 53 : step6.outPort[1].node.suspend = parallel.active and parallel.suspend_fire or not parallel.active and pre(parallel.active) 54 : T5.enableFire = parallel.active and Modelica_StateGraph2.Blocks.BooleanFunctions.allTrue({step3.outPort[1].available, step6.outPort[1].available}) 55 : parallel.newActive = if Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({false}) then parallel.oldActive else parallel.inport_fire or Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({}) or parallel.active and not parallel.outport_fire and not parallel.suspend_fire 56 : parallel.active = pre(parallel.newActive) 57 : parallel.entry_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({parallel.inport_fire, parallel.inport_fire}) 58 : parallel.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({T5.enableFire}) 59 : parallel.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({T6.enableFire}) 60 : $whenCondition1 = parallel.outport_fire 61 : $whenCondition2 = pre(parallel.entry_fire) 62 : $whenCondition3 = step6.outPort[1].node.suspend 63 : $whenCondition4 = T1.enableFire 64 : $whenCondition5 = T2.enableFire 65 : $whenCondition6 = T3.enableFire 66 : $whenCondition7 = T4.enableFire Notification: Performance of preOpt encapsulateWhenConditions (simulation) : time 0.001081/0.5145, allocations: 0.7155 MB / 444.4 MB, free: 54.08 MB / 366.1 MB Error: pre-optimization module encapsulateWhenConditions (simulation) failed.