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.004668/0.004668, allocations: 101.9 kB / 15.73 MB, free: 6 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.001048/0.001049, allocations: 196 kB / 16.67 MB, free: 5.926 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.523/1.523, allocations: 222.9 MB / 240.4 MB, free: 15.16 MB / 206.1 MB
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo): time 0.1064/0.1064, allocations: 13.55 MB / 304.1 MB, free: 1.152 MB / 238.1 MB
Notification: Performance of FrontEnd - loaded program: time 0.001309/0.001309, allocations: 68.11 kB / 421.6 MB, free: 14.34 MB / 302.1 MB
Notification: Performance of FrontEnd - Absyn->SCode: time 0.1703/0.1717, allocations: 52.69 MB / 474.3 MB, free: 9.598 MB / 350.1 MB
Notification: Performance of NFInst.instantiate(Modelica_StateGraph2.Examples.BasicStateGraphs.ParallelWithActions): time 0.005344/0.177, allocations: 2.852 MB / 477.1 MB, free: 6.723 MB / 350.1 MB
Notification: Performance of NFInst.instExpressions: time 0.003782/0.1809, allocations: 1.546 MB / 478.7 MB, free: 5.168 MB / 350.1 MB
Notification: Performance of NFInst.updateImplicitVariability: time 0.0004742/0.1814, allocations: 35.81 kB / 478.7 MB, free: 5.133 MB / 350.1 MB
Notification: Performance of NFTyping.typeComponents: time 0.003187/0.1846, allocations: 1.744 MB / 480.5 MB, free: 3.379 MB / 350.1 MB
Notification: Performance of NFTyping.typeBindings: time 0.0003589/0.185, allocations: 87 kB / 480.5 MB, free: 3.293 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.002142/0.1871, allocations: 0.6302 MB / 481.2 MB, free: 2.672 MB / 350.1 MB
Notification: Performance of NFFlatten.flatten: time 0.001445/0.1886, allocations: 1.237 MB / 482.4 MB, free: 1.434 MB / 350.1 MB
Notification: Performance of NFFlatten.resolveConnections: time 0.002283/0.1909, allocations: 1.688 MB / 484.1 MB, free: 15.71 MB / 366.1 MB
Notification: Performance of NFEvalConstants.evaluate: time 0.0005267/0.1914, allocations: 474.4 kB / 484.6 MB, free: 15.25 MB / 366.1 MB
Notification: Performance of NFSimplifyModel.simplify: time 0.0004887/0.1919, allocations: 489.6 kB / 485 MB, free: 14.77 MB / 366.1 MB
Notification: Performance of NFPackage.collectConstants: time 0.0001418/0.1921, allocations: 108 kB / 485.2 MB, free: 14.66 MB / 366.1 MB
Notification: Performance of NFFlatten.collectFunctions: time 0.0002794/0.1924, allocations: 136 kB / 485.3 MB, free: 14.53 MB / 366.1 MB
Notification: Performance of NFScalarize.scalarize: time 0.0003138/0.1927, allocations: 311.1 kB / 485.6 MB, free: 14.23 MB / 366.1 MB
Notification: Performance of NFVerifyModel.verify: time 0.0004759/0.1932, allocations: 0.5012 MB / 486.1 MB, free: 13.72 MB / 366.1 MB
Notification: Performance of NFConvertDAE.convert: time 0.001453/0.1946, allocations: 1.3 MB / 487.4 MB, free: 12.42 MB / 366.1 MB
Notification: Performance of FrontEnd - DAE generated: time 7.203e-06/0.1947, allocations: 0 / 487.4 MB, free: 12.42 MB / 366.1 MB
Notification: Performance of FrontEnd: time 2.745e-06/0.1947, allocations: 0 / 487.4 MB, free: 12.42 MB / 366.1 MB
Notification: Performance of Transformations before backend: time 1.54e-05/0.1947, allocations: 0 / 487.4 MB, free: 12.42 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.002005/0.1967, allocations: 1.301 MB / 488.7 MB, free: 11.05 MB / 366.1 MB
Notification: Performance of prepare preOptimizeDAE: time 5.236e-05/0.1968, allocations: 11.89 kB / 488.7 MB, free: 11.04 MB / 366.1 MB
Notification: Performance of preOpt normalInlineFunction (simulation): time 0.0002221/0.197, allocations: 127.5 kB / 488.8 MB, free: 10.92 MB / 366.1 MB
Notification: Performance of preOpt evaluateParameters (simulation): time 0.001211/0.1982, allocations: 0.6393 MB / 489.5 MB, free: 10.23 MB / 366.1 MB
Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.0001077/0.1983, allocations: 90.67 kB / 489.6 MB, free: 10.14 MB / 366.1 MB
Notification: Performance of preOpt expandDerOperator (simulation): time 0.0001578/0.1985, allocations: 120.4 kB / 489.7 MB, free: 10.03 MB / 366.1 MB
Notification: Performance of preOpt clockPartitioning (simulation): time 0.002087/0.2006, allocations: 1.356 MB / 491 MB, free: 8.582 MB / 366.1 MB
Notification: Performance of preOpt findStateOrder (simulation): time 2.777e-05/0.2006, allocations: 7.938 kB / 491 MB, free: 8.574 MB / 366.1 MB
Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.0001056/0.2007, allocations: 44 kB / 491.1 MB, free: 8.531 MB / 366.1 MB
Notification: Performance of preOpt inlineArrayEqn (simulation): time 5.59e-05/0.2008, allocations: 42 kB / 491.1 MB, free: 8.488 MB / 366.1 MB
Notification: Performance of preOpt removeEqualRHS (simulation): time 0.001546/0.2024, allocations: 0.9523 MB / 492.1 MB, free: 7.535 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.005315/0.2077, allocations: 4.395 MB / 496.5 MB, free: 2.898 MB / 366.1 MB
Notification: Performance of preOpt comSubExp (simulation): time 0.0011/0.2088, allocations: 0.9233 MB / 497.4 MB, free: 1.883 MB / 366.1 MB
Notification: Performance of preOpt resolveLoops (simulation): time 0.0004295/0.2093, allocations: 307.1 kB / 497.7 MB, free: 1.574 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.001959/0.2112, allocations: 1.417 MB / 499.1 MB, free: 20 kB / 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.001023/0.2123, allocations: 0.7448 MB / 499.9 MB, free: 15.25 MB / 382.1 MB
Error: pre-optimization module encapsulateWhenConditions (simulation) failed.