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.004928/0.004928, allocations: 100.5 kB / 15.73 MB, free: 6.445 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.001215/0.001216, allocations: 190.8 kB / 16.67 MB, free: 6.348 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.464/1.464, allocations: 222.9 MB / 240.4 MB, free: 4.328 MB / 190.1 MB
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo): time 0.3138/0.3138, allocations: 13.53 MB / 304.1 MB, free: 0.5664 MB / 238.1 MB
Notification: Performance of FrontEnd - loaded program: time 0.001251/0.001251, allocations: 59.91 kB / 421.8 MB, free: 0.5547 MB / 350.1 MB
Notification: Performance of FrontEnd - Absyn->SCode: time 0.4019/0.4032, allocations: 52.7 MB / 474.5 MB, free: 29 MB / 366.1 MB
Notification: Performance of NFInst.instantiate(Modelica_StateGraph2.Examples.BasicStateGraphs.ParallelWithActions): time 0.004059/0.4073, allocations: 2.856 MB / 477.3 MB, free: 26.74 MB / 366.1 MB
Notification: Performance of NFInst.instExpressions: time 0.002775/0.4101, allocations: 1.551 MB / 478.9 MB, free: 25.48 MB / 366.1 MB
Notification: Performance of NFInst.updateImplicitVariability: time 0.0003337/0.4105, allocations: 32.44 kB / 478.9 MB, free: 25.47 MB / 366.1 MB
Notification: Performance of NFTyping.typeComponents: time 0.002687/0.4132, allocations: 1.751 MB / 480.7 MB, free: 24.14 MB / 366.1 MB
Notification: Performance of NFTyping.typeBindings: time 0.0002499/0.4135, allocations: 85.31 kB / 480.7 MB, free: 24.07 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.001748/0.4152, allocations: 0.6226 MB / 481.4 MB, free: 23.57 MB / 366.1 MB
Notification: Performance of NFFlatten.flatten: time 0.00126/0.4165, allocations: 1.235 MB / 482.6 MB, free: 22.82 MB / 366.1 MB
Notification: Performance of NFFlatten.resolveConnections: time 0.002121/0.4186, allocations: 1.68 MB / 484.3 MB, free: 21.83 MB / 366.1 MB
Notification: Performance of NFEvalConstants.evaluate: time 0.0005219/0.4192, allocations: 480.8 kB / 484.8 MB, free: 21.53 MB / 366.1 MB
Notification: Performance of NFSimplifyModel.simplify: time 0.0004022/0.4196, allocations: 481.4 kB / 485.2 MB, free: 21.16 MB / 366.1 MB
Notification: Performance of NFPackage.collectConstants: time 0.0002038/0.4198, allocations: 113.4 kB / 485.3 MB, free: 21.16 MB / 366.1 MB
Notification: Performance of NFFlatten.collectFunctions: time 0.0003174/0.4201, allocations: 147.4 kB / 485.5 MB, free: 21.13 MB / 366.1 MB
Notification: Performance of NFScalarize.scalarize: time 0.0002697/0.4204, allocations: 308.5 kB / 485.8 MB, free: 20.9 MB / 366.1 MB
Notification: Performance of NFVerifyModel.verify: time 0.0004379/0.4208, allocations: 0.4938 MB / 486.3 MB, free: 20.51 MB / 366.1 MB
Notification: Performance of NFConvertDAE.convert: time 0.001452/0.4223, allocations: 1.347 MB / 487.6 MB, free: 19.53 MB / 366.1 MB
Notification: Performance of FrontEnd - DAE generated: time 4.268e-06/0.4223, allocations: 0 / 487.6 MB, free: 19.53 MB / 366.1 MB
Notification: Performance of FrontEnd: time 2.695e-06/0.4223, allocations: 0 / 487.6 MB, free: 19.53 MB / 366.1 MB
Notification: Performance of Transformations before backend: time 1.533e-05/0.4223, allocations: 1.125 kB / 487.6 MB, free: 19.53 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.001803/0.4242, allocations: 1.319 MB / 488.9 MB, free: 18.46 MB / 366.1 MB
Notification: Performance of prepare preOptimizeDAE: time 4.6e-05/0.4242, allocations: 13.58 kB / 489 MB, free: 18.45 MB / 366.1 MB
Notification: Performance of preOpt normalInlineFunction (simulation): time 0.0002249/0.4244, allocations: 128 kB / 489.1 MB, free: 18.39 MB / 366.1 MB
Notification: Performance of preOpt evaluateParameters (simulation): time 0.000874/0.4253, allocations: 0.6486 MB / 489.7 MB, free: 17.86 MB / 366.1 MB
Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.0001067/0.4254, allocations: 92.91 kB / 489.8 MB, free: 17.82 MB / 366.1 MB
Notification: Performance of preOpt expandDerOperator (simulation): time 0.0001603/0.4256, allocations: 114.1 kB / 489.9 MB, free: 17.78 MB / 366.1 MB
Notification: Performance of preOpt clockPartitioning (simulation): time 0.002089/0.4277, allocations: 1.358 MB / 491.3 MB, free: 16.88 MB / 366.1 MB
Notification: Performance of preOpt findStateOrder (simulation): time 3.01e-05/0.4277, allocations: 5.312 kB / 491.3 MB, free: 16.88 MB / 366.1 MB
Notification: Performance of preOpt replaceEdgeChange (simulation): time 9.648e-05/0.4278, allocations: 46.62 kB / 491.3 MB, free: 16.84 MB / 366.1 MB
Notification: Performance of preOpt inlineArrayEqn (simulation): time 5.86e-05/0.4279, allocations: 39.75 kB / 491.4 MB, free: 16.84 MB / 366.1 MB
Notification: Performance of preOpt removeEqualRHS (simulation): time 0.001557/0.4295, allocations: 0.9582 MB / 492.3 MB, free: 16.37 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.00436/0.4338, allocations: 4.411 MB / 496.7 MB, free: 12.6 MB / 366.1 MB
Notification: Performance of preOpt comSubExp (simulation): time 0.0009337/0.4348, allocations: 0.9124 MB / 497.7 MB, free: 11.88 MB / 366.1 MB
Notification: Performance of preOpt resolveLoops (simulation): time 0.0003789/0.4352, allocations: 316.5 kB / 498 MB, free: 11.71 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.001404/0.4366, allocations: 1.416 MB / 499.4 MB, free: 10.41 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.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) <failed>: time 0.0008609/0.4375, allocations: 0.7447 MB / 0.4884 GB, free: 9.973 MB / 366.1 MB
Error: pre-optimization module encapsulateWhenConditions (simulation) failed.