Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_StateGraph2_Modelica_StateGraph2.Examples.BasicStateGraphs.FirstExample.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.FirstExample,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_StateGraph2_Modelica_StateGraph2.Examples.BasicStateGraphs.FirstExample") translateModel(Modelica_StateGraph2.Examples.BasicStateGraphs.FirstExample,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_StateGraph2_Modelica_StateGraph2.Examples.BasicStateGraphs.FirstExample") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001219/0.001219, allocations: 105.8 kB / 16.42 MB, free: 6.465 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.001139/0.00114, allocations: 183.2 kB / 17.36 MB, free: 5.699 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.203/1.203, allocations: 222.9 MB / 241 MB, free: 15.15 MB / 206.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo): time 0.0761/0.0761, allocations: 13.54 MB / 304.8 MB, free: 1.168 MB / 238.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 9.818e-06/9.838e-06, allocations: 2.281 kB / 422.2 MB, free: 14.42 MB / 302.1 MB Notification: Performance of NFInst.instantiate(Modelica_StateGraph2.Examples.BasicStateGraphs.FirstExample): time 0.001717/0.001735, allocations: 1.814 MB / 424 MB, free: 12.59 MB / 302.1 MB Notification: Performance of NFInst.instExpressions: time 0.0009592/0.002706, allocations: 0.8372 MB / 424.9 MB, free: 11.75 MB / 302.1 MB Notification: Performance of NFInst.updateImplicitVariability: time 9.628e-05/0.002813, allocations: 11.94 kB / 424.9 MB, free: 11.74 MB / 302.1 MB Notification: Performance of NFTyping.typeComponents: time 0.0007747/0.003593, allocations: 0.5867 MB / 425.5 MB, free: 11.15 MB / 302.1 MB Notification: Performance of NFTyping.typeBindings: time 5.564e-05/0.003659, allocations: 35.61 kB / 425.5 MB, free: 11.11 MB / 302.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. Notification: Performance of NFTyping.typeClassSections: time 0.0004473/0.004117, allocations: 246.8 kB / 425.7 MB, free: 10.88 MB / 302.1 MB Notification: Performance of NFFlatten.flatten: time 0.0002918/0.004416, allocations: 447 kB / 426.2 MB, free: 10.44 MB / 302.1 MB Notification: Performance of NFFlatten.resolveConnections: time 0.0004349/0.004859, allocations: 0.5277 MB / 426.7 MB, free: 9.902 MB / 302.1 MB Notification: Performance of NFEvalConstants.evaluate: time 0.0001338/0.005, allocations: 207.4 kB / 426.9 MB, free: 9.699 MB / 302.1 MB Notification: Performance of NFSimplifyModel.simplify: time 0.0001416/0.005148, allocations: 203 kB / 427.1 MB, free: 9.5 MB / 302.1 MB Notification: Performance of NFPackage.collectConstants: time 4.71e-05/0.005202, allocations: 44 kB / 427.1 MB, free: 9.457 MB / 302.1 MB Notification: Performance of NFFlatten.collectFunctions: time 8.135e-05/0.005288, allocations: 59.98 kB / 427.2 MB, free: 9.398 MB / 302.1 MB Notification: Performance of combineBinaries: time 0.0001993/0.005493, allocations: 0.6098 MB / 427.8 MB, free: 8.781 MB / 302.1 MB Notification: Performance of replaceArrayConstructors: time 0.0001041/0.005603, allocations: 397.8 kB / 428.2 MB, free: 8.387 MB / 302.1 MB Notification: Performance of NFVerifyModel.verify: time 4.203e-05/0.00565, allocations: 51.81 kB / 428.3 MB, free: 8.336 MB / 302.1 MB Notification: Performance of FrontEnd: time 3.856e-05/0.005693, allocations: 67.67 kB / 428.3 MB, free: 8.27 MB / 302.1 MB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 107 (98) * Number of variables: 96 (96) Notification: Performance of Bindings: time 0.001198/0.006896, allocations: 1.807 MB / 430.1 MB, free: 6.352 MB / 302.1 MB Notification: Performance of FunctionAlias: time 0.0001412/0.007043, allocations: 171.4 kB / 430.3 MB, free: 6.188 MB / 302.1 MB Notification: Performance of Early Inline: time 0.0006426/0.007691, allocations: 1.026 MB / 431.3 MB, free: 5.133 MB / 302.1 MB Notification: Performance of simplify1: time 6.628e-05/0.007764, allocations: 75.89 kB / 431.4 MB, free: 5.059 MB / 302.1 MB Notification: Performance of Alias: time 0.0008926/0.008661, allocations: 1.282 MB / 432.7 MB, free: 3.613 MB / 302.1 MB Notification: Performance of simplify2: time 3.738e-05/0.008708, allocations: 67.91 kB / 432.7 MB, free: 3.547 MB / 302.1 MB Notification: Performance of Events: time 0.0001943/0.008908, allocations: 215.5 kB / 433 MB, free: 3.336 MB / 302.1 MB Notification: Performance of Detect States: time 0.0003578/0.009273, allocations: 0.5419 MB / 433.5 MB, free: 2.777 MB / 302.1 MB Notification: Performance of Partitioning: time 0.0004083/0.009689, allocations: 0.6211 MB / 434.1 MB, free: 2.094 MB / 302.1 MB Error: Internal error NBSlice.fillDependencyArray failed because number of flattened indices 1 for dependency step2.outPort.node.resume could not be divided by the body size 2 without rest. Error: Internal error NBAdjacency.Matrix.createPseudo failed for: [FOR-] (2) ($RES_SIM_55) [----] for $i1 in 1:1 loop [----] [RECD] (2) step2.outPort[$i1].node = step2.connectorNode.node ($RES_SIM_56) [----] end for; Error: Internal error NBAdjacency.Matrix.create failed to create adjacency matrix for system: System Variables (83/83) ************************** (1) [DISC] (1) Boolean[1] step2.outPort.fire (2) [DISC] (1) Boolean[1] step2.outPort.available (3) [DISS] (1) protected Boolean step3.oldActive (fixed = true, start = false) (4) [DISC] (1) Boolean T2.inPort.node.suspend (5) [DISC] (1) Boolean[1] initialStep.outPort.available (6) [DISC] (1) Boolean T2.inPort.node.resume (7) [DISC] (1) protected Boolean initialStep.connectorNode.node.suspend (8) [DISC] (1) protected Boolean initialStep.connectorNode.node.resume (9) [DISC] (1) Boolean T3.outPort.node.resume (10) [DISC] (1) protected Boolean step3.newActive (fixed = true, start = false) (11) [DISS] (1) protected Boolean initialStep.oldActive (fixed = true, start = true) (12) [DISC] (1) protected Boolean step3.outport_fire (13) [DISC] (1) Boolean T2.outPort.fire (14) [DISC] (1) protected Boolean step2.inport_fire (15) [DISC] (1) Boolean[1] step3.inPort.node.suspend (16) [DISC] (1) protected Boolean step3.inport_fire (17) [DISC] (1) Boolean T1.inPort.available (18) [DISC] (1) Boolean[1] step3.outPort.node.suspend (19) [DISC] (1) Boolean[1] initialStep.inPort.fire (20) [DISC] (1) Boolean T3.inPort.available (21) [DISC] (1) protected Boolean initialStep.newActive (fixed = true, start = true) (22) [DISC] (1) Boolean[1] initialStep.outPort.node.suspend (23) [DISC] (1) protected Boolean step2.connectorNode.node.suspend (24) [DISC] (1) Boolean[1] step3.inPort.node.resume (25) [DISC] (1) Boolean[1] step2.outPort.node.resume (26) [DISC] (1) Boolean[1] initialStep.outPort.fire (27) [DISS] (1) protected Real T3.t_start (28) [DISC] (1) Boolean T2.inPort.available (29) [DISC] (1) Boolean step2.active (30) [DISC] (1) Boolean T1.outPort.node.resume (31) [DISC] (1) protected Boolean step3.connectorNode.node.resume (32) [DISC] (1) Boolean[1] step3.outPort.fire (33) [DISS] (1) protected Real T2.t_start (34) [DISC] (1) protected Boolean T1.localCondition (35) [DISC] (1) protected Boolean step3.connectorNode.node.suspend (36) [DISC] (1) Boolean T2.outPort.node.suspend (37) [DISC] (1) Boolean initialStep.active (38) [DISC] (1) protected Boolean step2.connectorNode.node.resume (39) [DISC] (1) Boolean $SEV_10 (40) [DISC] (1) Boolean[1] initialStep.outPort.node.resume (41) [DISC] (1) Boolean T3.inPort.node.suspend (42) [DISC] (1) protected Boolean step2.outport_fire (43) [DISC] (1) Boolean step3.active (44) [DISC] (1) Boolean T1.outPort.fire (45) [DISS] (1) protected Boolean step2.oldActive (fixed = true, start = false) (46) [DISC] (1) Boolean T3.enableFire (47) [DISC] (1) Boolean $SEV_9 (48) [DISC] (1) Boolean T3.outPort.fire (49) [DISC] (1) Boolean $SEV_8 (50) [DISC] (1) Boolean T1.inPort.node.suspend (51) [DISC] (1) Boolean $SEV_7 (52) [DISC] (1) Boolean $SEV_6 (53) [DISC] (1) Boolean[1] step2.outPort.node.suspend (54) [DISC] (1) Boolean $SEV_5 (55) [DISC] (1) Boolean $SEV_3 (56) [DISC] (1) Boolean $TEV_8 (57) [DISC] (1) protected Boolean step2.newActive (fixed = true, start = false) (58) [DISC] (1) Boolean T3.inPort.node.resume (59) [DISC] (1) Boolean $SEV_2 (60) [DISC] (1) Boolean $TEV_7 (61) [DISC] (1) Boolean $SEV_1 (62) [DISC] (1) Boolean $TEV_6 (63) [DISC] (1) Boolean[1] step2.inPort.node.resume (64) [DISC] (1) Boolean $TEV_5 (65) [DISC] (1) Boolean T2.outPort.node.resume (66) [DISC] (1) Boolean $TEV_4 (67) [DISC] (1) Boolean $TEV_3 (68) [DISC] (1) Boolean $TEV_2 (69) [DISC] (1) Boolean $TEV_1 (70) [DISC] (1) Boolean $TEV_0 (71) [DISC] (1) Boolean[1] step2.inPort.fire (72) [DISC] (1) Boolean[1] initialStep.inPort.node.resume (73) [DISC] (1) Boolean[1] step3.inPort.fire (74) [DISC] (1) Boolean[1] initialStep.inPort.node.suspend (75) [DISC] (1) protected Boolean initialStep.inport_fire (76) [DISC] (1) Boolean[1] step2.inPort.node.suspend (77) [DISC] (1) Boolean T3.outPort.node.suspend (78) [DISC] (1) Boolean T1.outPort.node.suspend (79) [DISC] (1) Boolean T2.enableFire (80) [DISC] (1) Boolean[1] step3.outPort.available (81) [DISC] (1) Boolean T1.inPort.node.resume (82) [DISC] (1) Boolean[1] step3.outPort.node.resume (83) [DISC] (1) protected Boolean initialStep.outport_fire System Equations (82/91) ************************** (1) [SCAL] (1) initialStep.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(initialStep.inPort.fire) ($RES_$AUX_143) (2) [SCAL] (1) initialStep.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(initialStep.outPort.fire) ($RES_$AUX_142) (3) [SCAL] (1) step3.inPort[1].fire = true ($RES_SIM_17) (4) [SCAL] (1) step2.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step2.inPort.fire) ($RES_$AUX_140) (5) [FOR-] (2) ($RES_SIM_55) (5) [----] for $i1 in 1:1 loop (5) [----] [RECD] (2) step2.outPort[$i1].node = step2.connectorNode.node ($RES_SIM_56) (5) [----] end for; (6) [FOR-] (2) ($RES_SIM_92) (6) [----] for $i1 in 1:1 loop (6) [----] [RECD] (2) initialStep.inPort[$i1].node = initialStep.connectorNode.node ($RES_SIM_93) (6) [----] end for; (7) [FOR-] (2) ($RES_SIM_59) (7) [----] for $i1 in 1:1 loop (7) [----] [RECD] (2) step2.inPort[$i1].node = step2.connectorNode.node ($RES_SIM_60) (7) [----] end for; (8) [SCAL] (1) initialStep.outPort[1].available = $SEV_9 ($RES_SIM_96) (9) [WHEN] (1)when initialStep.connectorNode.node.suspend then (9) [----] initialStep.oldActive := initialStep.active (9) [----] end when; (10) [SCAL] (1) initialStep.active = $TEV_7 ($RES_SIM_98) (11) [SCAL] (1) initialStep.newActive = if initialStep.connectorNode.node.resume then initialStep.oldActive else $SEV_10 ($RES_SIM_99) (12) [SCAL] (1) step2.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step2.outPort.fire) ($RES_$AUX_139) (13) [SCAL] (1) T3.outPort.node.resume = initialStep.inPort[1].node.resume ($RES_SIM_102) (14) [SCAL] (1) T3.outPort.node.suspend = initialStep.inPort[1].node.suspend ($RES_SIM_103) (15) [SCAL] (1) T3.outPort.fire = initialStep.inPort[1].fire ($RES_SIM_104) (16) [SCAL] (1) step3.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step3.inPort.fire) ($RES_$AUX_137) (17) [FOR-] (2) ($RES_SIM_23) (17) [----] for $i1 in 1:1 loop (17) [----] [RECD] (2) step3.outPort[$i1].node = step3.connectorNode.node ($RES_SIM_24) (17) [----] end for; (18) [SCAL] (1) step3.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step3.outPort.fire) ($RES_$AUX_136) (19) [SCAL] (1) step3.outPort[1].node.resume = T3.inPort.node.resume ($RES_SIM_107) (20) [SCAL] (1) step3.outPort[1].node.suspend = T3.inPort.node.suspend ($RES_SIM_108) (21) [FOR-] (2) ($RES_SIM_27) (21) [----] for $i1 in 1:1 loop (21) [----] [RECD] (2) step3.inPort[$i1].node = step3.connectorNode.node ($RES_SIM_28) (21) [----] end for; (22) [SCAL] (1) step3.outPort[1].fire = T3.outPort.fire ($RES_SIM_109) (23) [SCAL] (1) step2.outPort[1].available = $SEV_6 ($RES_SIM_63) (24) [WHEN] (1)when step2.connectorNode.node.suspend then (24) [----] step2.oldActive := step2.active (24) [----] end when; (25) [SCAL] (1) step2.active = $TEV_6 ($RES_SIM_65) (26) [SCAL] (1) step2.newActive = if step2.connectorNode.node.resume then step2.oldActive else $SEV_7 ($RES_SIM_66) (27) [RECD] (2) T1.outPort.node = T1.inPort.node ($RES_SIM_69) (28) [SCAL] (1) $TEV_0 = $PRE.T3.t_start ($RES_EVT_144) (29) [SCAL] (1) $TEV_1 = $PRE.T3.enableFire ($RES_EVT_145) (30) [SCAL] (1) $TEV_2 = $PRE.T2.t_start ($RES_EVT_146) (31) [SCAL] (1) $TEV_3 = $PRE.T2.enableFire ($RES_EVT_147) (32) [SCAL] (1) $TEV_4 = $PRE.T1.outPort.fire ($RES_EVT_148) (33) [SCAL] (1) $TEV_5 = $PRE.step3.newActive ($RES_EVT_149) (34) [SCAL] (1) step3.outPort[1].available = T3.inPort.available ($RES_SIM_111) (35) [SCAL] (1) T2.outPort.node.resume = step3.inPort[1].node.resume ($RES_SIM_112) (36) [SCAL] (1) T2.outPort.node.suspend = step3.inPort[1].node.suspend ($RES_SIM_113) (37) [SCAL] (1) step3.outPort[1].available = $SEV_2 ($RES_SIM_31) (38) [SCAL] (1) T2.outPort.fire = step3.inPort[1].fire ($RES_SIM_114) (39) [WHEN] (1)when step3.connectorNode.node.suspend then (39) [----] step3.oldActive := step3.active (39) [----] end when; (40) [SCAL] (1) step3.active = $TEV_5 ($RES_SIM_33) (41) [SCAL] (1) step3.newActive = if step3.connectorNode.node.resume then step3.oldActive else $SEV_3 ($RES_SIM_34) (42) [SCAL] (1) step2.outPort[1].node.resume = T2.inPort.node.resume ($RES_SIM_117) (43) [SCAL] (1) step2.outPort[1].node.suspend = T2.inPort.node.suspend ($RES_SIM_118) (44) [SCAL] (1) step2.outPort[1].fire = T2.outPort.fire ($RES_SIM_119) (45) [RECD] (2) T2.outPort.node = T2.inPort.node ($RES_SIM_38) (46) [SCAL] (1) T1.outPort.fire = $SEV_8 ($RES_SIM_75) (47) [SCAL] (1) initialStep.outPort[1].fire = true ($RES_SIM_77) (48) [SCAL] (1) $TEV_6 = $PRE.step2.newActive ($RES_EVT_150) (49) [SCAL] (1) $TEV_7 = $PRE.initialStep.newActive ($RES_EVT_151) (50) [SCAL] (1) $TEV_8 = time >= 2.0 ($RES_EVT_152) (51) [SCAL] (1) $SEV_1 = T3.enableFire and time >= (T3.t_start + T3.waitTime) ($RES_EVT_154) (52) [SCAL] (1) $SEV_2 = step3.active and not step3.connectorNode.node.suspend ($RES_EVT_155) (53) [SCAL] (1) $SEV_3 = step3.inport_fire or (step3.active and not step3.outport_fire) and not step3.connectorNode.node.suspend ($RES_EVT_156) (54) [SCAL] (1) $SEV_5 = T2.enableFire and time >= (T2.t_start + T2.waitTime) ($RES_EVT_158) (55) [SCAL] (1) $SEV_6 = step2.active and not step2.connectorNode.node.suspend ($RES_EVT_159) (56) [SCAL] (1) T1.localCondition = $TEV_8 ($RES_BND_132) (57) [SCAL] (1) step2.outPort[1].available = T2.inPort.available ($RES_SIM_121) (58) [SCAL] (1) T1.outPort.node.resume = step2.inPort[1].node.resume ($RES_SIM_122) (59) [SCAL] (1) T1.outPort.node.suspend = step2.inPort[1].node.suspend ($RES_SIM_123) (60) [SCAL] (1) T2.outPort.fire = $SEV_5 ($RES_SIM_42) (61) [SCAL] (1) T1.outPort.fire = step2.inPort[1].fire ($RES_SIM_124) (62) [WHEN] (1)when T2.enableFire then (62) [----] T2.t_start := time (62) [----] end when; (63) [SCAL] (1) T2.enableFire = T2.inPort.available ($RES_SIM_44) (64) [SCAL] (1) initialStep.inPort[1].fire = true ($RES_SIM_80) (65) [SCAL] (1) initialStep.outPort[1].node.resume = T1.inPort.node.resume ($RES_SIM_127) (66) [SCAL] (1) step2.outPort[1].fire = true ($RES_SIM_46) (67) [SCAL] (1) initialStep.outPort[1].node.suspend = T1.inPort.node.suspend ($RES_SIM_128) (68) [SCAL] (1) initialStep.outPort[1].fire = T1.outPort.fire ($RES_SIM_129) (69) [SCAL] (1) step2.inPort[1].fire = true ($RES_SIM_49) (70) [FOR-] (2) ($RES_SIM_86) (70) [----] for $i1 in 1:1 loop (70) [----] [RECD] (2) initialStep.outPort[$i1].node = initialStep.connectorNode.node ($RES_SIM_87) (70) [----] end for; (71) [SCAL] (1) $SEV_7 = step2.inport_fire or (step2.active and not step2.outport_fire) and not step2.connectorNode.node.suspend ($RES_EVT_160) (72) [SCAL] (1) initialStep.connectorNode.node.resume = false ($RES_SIM_88) (73) [SCAL] (1) $SEV_8 = T1.localCondition and T1.inPort.available ($RES_EVT_161) (74) [SCAL] (1) initialStep.connectorNode.node.suspend = false ($RES_SIM_89) (75) [SCAL] (1) $SEV_9 = initialStep.active and not initialStep.connectorNode.node.suspend ($RES_EVT_162) (76) [SCAL] (1) $SEV_10 = initialStep.inport_fire or (initialStep.active and not initialStep.outport_fire) and not initialStep.connectorNode.node.suspend ($RES_EVT_163) (77) [RECD] (2) T3.outPort.node = T3.inPort.node ($RES_SIM_6) (78) [SCAL] (1) T3.outPort.fire = $SEV_1 ($RES_SIM_10) (79) [WHEN] (1)when T3.enableFire then (79) [----] T3.t_start := time (79) [----] end when; (80) [SCAL] (1) T3.enableFire = T3.inPort.available ($RES_SIM_12) (81) [SCAL] (1) initialStep.outPort[1].available = T1.inPort.available ($RES_SIM_131) (82) [SCAL] (1) step3.outPort[1].fire = true ($RES_SIM_14)