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.009592/0.009592, allocations: 102 kB / 15.73 MB, free: 6.039 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.001944/0.001944, allocations: 194 kB / 16.67 MB, free: 5.961 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.412/1.412, allocations: 222.9 MB / 240.4 MB, free: 15.13 MB / 206.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo): time 0.09966/0.09966, allocations: 13.56 MB / 304.1 MB, free: 1.137 MB / 238.1 MB Notification: Performance of FrontEnd - loaded program: time 0.001211/0.001211, allocations: 63.91 kB / 421.6 MB, free: 14.32 MB / 302.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 0.1358/0.137, allocations: 52.69 MB / 474.3 MB, free: 9.586 MB / 350.1 MB Notification: Performance of NFInst.instantiate(Modelica_StateGraph2.Examples.BasicStateGraphs.ParallelWithActions): time 0.004302/0.1413, allocations: 2.848 MB / 477.1 MB, free: 6.715 MB / 350.1 MB Notification: Performance of NFInst.instExpressions: time 0.003057/0.1444, allocations: 1.558 MB / 478.7 MB, free: 5.148 MB / 350.1 MB Notification: Performance of NFInst.updateImplicitVariability: time 0.0003614/0.1448, allocations: 35.75 kB / 478.7 MB, free: 5.113 MB / 350.1 MB Notification: Performance of NFTyping.typeComponents: time 0.002983/0.1478, allocations: 1.737 MB / 480.5 MB, free: 3.367 MB / 350.1 MB Notification: Performance of NFTyping.typeBindings: time 0.0002894/0.1482, allocations: 87 kB / 480.5 MB, free: 3.281 MB / 350.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.001803/0.15, allocations: 0.6303 MB / 481.2 MB, free: 2.656 MB / 350.1 MB Notification: Performance of NFFlatten.flatten: time 0.001453/0.1514, allocations: 1.233 MB / 482.4 MB, free: 1.422 MB / 350.1 MB Notification: Performance of NFFlatten.resolveConnections: time 0.002042/0.1535, allocations: 1.689 MB / 484.1 MB, free: 15.7 MB / 366.1 MB Notification: Performance of NFEvalConstants.evaluate: time 0.0004851/0.154, allocations: 494.3 kB / 484.6 MB, free: 15.22 MB / 366.1 MB Notification: Performance of NFSimplifyModel.simplify: time 0.0004358/0.1544, allocations: 485.7 kB / 485.1 MB, free: 14.74 MB / 366.1 MB Notification: Performance of NFPackage.collectConstants: time 0.000132/0.1546, allocations: 108 kB / 485.2 MB, free: 14.64 MB / 366.1 MB Notification: Performance of NFFlatten.collectFunctions: time 0.000257/0.1548, allocations: 136 kB / 485.3 MB, free: 14.5 MB / 366.1 MB Notification: Performance of NFScalarize.scalarize: time 0.0002859/0.1551, allocations: 311.1 kB / 485.6 MB, free: 14.2 MB / 366.1 MB Notification: Performance of NFVerifyModel.verify: time 0.0003856/0.1555, allocations: 0.4895 MB / 486.1 MB, free: 13.71 MB / 366.1 MB Notification: Performance of NFConvertDAE.convert: time 0.00136/0.1569, allocations: 1.347 MB / 487.4 MB, free: 12.36 MB / 366.1 MB Notification: Performance of FrontEnd - DAE generated: time 6.142e-06/0.1569, allocations: 0 / 487.4 MB, free: 12.36 MB / 366.1 MB Notification: Performance of FrontEnd: time 2.184e-06/0.1569, allocations: 4 kB / 487.4 MB, free: 12.35 MB / 366.1 MB Notification: Performance of Transformations before backend: time 1.693e-05/0.1569, allocations: 4 kB / 487.4 MB, free: 12.35 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.001968/0.1589, allocations: 1.301 MB / 488.7 MB, free: 10.98 MB / 366.1 MB Notification: Performance of prepare preOptimizeDAE: time 7.327e-05/0.159, allocations: 11.89 kB / 488.8 MB, free: 10.97 MB / 366.1 MB Notification: Performance of preOpt normalInlineFunction (simulation): time 0.0002286/0.1592, allocations: 119.5 kB / 488.9 MB, free: 10.86 MB / 366.1 MB Notification: Performance of preOpt evaluateParameters (simulation): time 0.001168/0.1604, allocations: 0.6393 MB / 489.5 MB, free: 10.17 MB / 366.1 MB Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.0001039/0.1605, allocations: 98.66 kB / 489.6 MB, free: 10.07 MB / 366.1 MB Notification: Performance of preOpt expandDerOperator (simulation): time 0.0001448/0.1607, allocations: 116.4 kB / 489.7 MB, free: 9.961 MB / 366.1 MB Notification: Performance of preOpt clockPartitioning (simulation): time 0.002239/0.1629, allocations: 1.356 MB / 491.1 MB, free: 8.516 MB / 366.1 MB Notification: Performance of preOpt findStateOrder (simulation): time 2.866e-05/0.163, allocations: 3.938 kB / 491.1 MB, free: 8.512 MB / 366.1 MB Notification: Performance of preOpt replaceEdgeChange (simulation): time 9.568e-05/0.1631, allocations: 48 kB / 491.1 MB, free: 8.465 MB / 366.1 MB Notification: Performance of preOpt inlineArrayEqn (simulation): time 6.827e-05/0.1632, allocations: 46 kB / 491.2 MB, free: 8.418 MB / 366.1 MB Notification: Performance of preOpt removeEqualRHS (simulation): time 0.001611/0.1648, allocations: 0.9523 MB / 492.1 MB, free: 7.465 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.005162/0.1699, allocations: 4.391 MB / 496.5 MB, free: 2.832 MB / 366.1 MB Notification: Performance of preOpt comSubExp (simulation): time 0.001092/0.1711, allocations: 0.9163 MB / 497.4 MB, free: 1.824 MB / 366.1 MB Notification: Performance of preOpt resolveLoops (simulation): time 0.0004151/0.1715, allocations: 311.1 kB / 497.7 MB, free: 1.512 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.001961/0.1735, allocations: 1.42 MB / 499.2 MB, free: 15.95 MB / 382.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.exit[2].fire parallel.entry[2].fire parallel.oldActive parallel.entry_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.exit[2].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.exit[2].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.entry[2].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.exit[2].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.entry[2].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.entry[2].fire or Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({}) or parallel.active and not parallel.exit[2].fire and not parallel.suspend_fire 56 : parallel.active = pre(parallel.newActive) 57 : parallel.entry_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({parallel.entry[2].fire, parallel.entry[2].fire}) 58 : parallel.exit[2].fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({T5.enableFire}) 59 : parallel.entry[2].fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue({T6.enableFire}) 60 : $whenCondition1 = parallel.exit[2].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.001036/0.1745, allocations: 0.7447 MB / 499.9 MB, free: 15.19 MB / 382.1 MB Error: pre-optimization module encapsulateWhenConditions (simulation) failed.