Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Buildings_maint.7.0.x_Buildings.Controls.OBC.CDL.Logical.Validation.TrueHoldWithReset.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 3.2.3+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 7.0.3-maint.7.0.x/package.mo", uses=false) Using package Buildings with version 7.0.3 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 7.0.3-maint.7.0.x/package.mo) Using package Modelica with version 3.2.3 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+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(Buildings.Controls.OBC.CDL.Logical.Validation.TrueHoldWithReset,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Buildings_maint.7.0.x_Buildings.Controls.OBC.CDL.Logical.Validation.TrueHoldWithReset") translateModel(Buildings.Controls.OBC.CDL.Logical.Validation.TrueHoldWithReset,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Buildings_maint.7.0.x_Buildings.Controls.OBC.CDL.Logical.Validation.TrueHoldWithReset") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001349/0.001349, allocations: 107.2 kB / 16.42 MB, free: 6.043 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.001939/0.001939, allocations: 195.2 kB / 17.36 MB, free: 5.598 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+maint.om/package.mo): time 1.523/1.523, allocations: 205.1 MB / 223.2 MB, free: 12.29 MB / 190.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 7.0.3-maint.7.0.x/package.mo): time 1.386/1.386, allocations: 251.7 MB / 0.51 GB, free: 416 kB / 430.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 2.842e-05/2.844e-05, allocations: 2.281 kB / 0.7264 GB, free: 4.695 MB / 0.5606 GB Notification: Performance of NFInst.instantiate(Buildings.Controls.OBC.CDL.Logical.Validation.TrueHoldWithReset): time 0.003779/0.003817, allocations: 2.922 MB / 0.7293 GB, free: 1.754 MB / 0.5606 GB Notification: Performance of NFInst.instExpressions: time 0.001961/0.005788, allocations: 1.294 MB / 0.7305 GB, free: 464 kB / 0.5606 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.0002008/0.006, allocations: 19.94 kB / 0.7305 GB, free: 444 kB / 0.5606 GB Notification: Performance of NFTyping.typeComponents: time 0.0002512/0.006257, allocations: 118.6 kB / 0.7307 GB, free: 324 kB / 0.5606 GB Notification: Performance of NFTyping.typeBindings: time 0.0001951/0.006459, allocations: 102.9 kB / 0.7308 GB, free: 220 kB / 0.5606 GB Notification: Performance of NFTyping.typeClassSections: time 0.0009936/0.007459, allocations: 0.6007 MB / 0.7313 GB, free: 15.61 MB / 0.5762 GB Notification: Performance of NFFlatten.flatten: time 0.00115/0.008628, allocations: 1.368 MB / 0.7327 GB, free: 14.24 MB / 0.5762 GB Notification: Performance of NFFlatten.resolveConnections: time 0.001001/0.009637, allocations: 1.005 MB / 0.7337 GB, free: 13.21 MB / 0.5762 GB Notification: Performance of NFEvalConstants.evaluate: time 0.0004859/0.01013, allocations: 0.5961 MB / 0.7342 GB, free: 12.62 MB / 0.5762 GB Notification: Performance of NFSimplifyModel.simplify: time 0.0004894/0.01063, allocations: 0.5487 MB / 0.7348 GB, free: 12.07 MB / 0.5762 GB Notification: Performance of NFPackage.collectConstants: time 0.0001805/0.01081, allocations: 160 kB / 0.7349 GB, free: 11.91 MB / 0.5762 GB Notification: Performance of NFFlatten.collectFunctions: time 0.0001998/0.01102, allocations: 168 kB / 0.7351 GB, free: 11.75 MB / 0.5762 GB Notification: Performance of combineBinaries: time 0.0009783/0.01201, allocations: 1.553 MB / 0.7366 GB, free: 10.18 MB / 0.5762 GB Notification: Performance of replaceArrayConstructors: time 0.0004676/0.01248, allocations: 0.8926 MB / 0.7375 GB, free: 9.27 MB / 0.5762 GB Notification: Performance of NFVerifyModel.verify: time 0.0001751/0.01266, allocations: 179.4 kB / 0.7377 GB, free: 9.094 MB / 0.5762 GB Notification: Performance of FrontEnd: time 0.0001328/0.0128, allocations: 115.2 kB / 0.7378 GB, free: 8.98 MB / 0.5762 GB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 268 (268) * Number of variables: 252 (252) Notification: Performance of Bindings: time 0.004268/0.01707, allocations: 4.687 MB / 0.7423 GB, free: 4.109 MB / 0.5762 GB Notification: Performance of FunctionAlias: time 0.0005734/0.01765, allocations: 0.601 MB / 0.7429 GB, free: 3.477 MB / 0.5762 GB Notification: Performance of Early Inline: time 0.00314/0.0208, allocations: 3.419 MB / 0.7463 GB, free: 0 / 0.5762 GB Notification: Performance of simplify1: time 0.0002428/0.02105, allocations: 223.7 kB / 0.7465 GB, free: 15.78 MB / 0.5919 GB Notification: Performance of Alias: time 0.005617/0.02668, allocations: 5.379 MB / 0.7517 GB, free: 9.879 MB / 0.5919 GB Notification: Performance of simplify2: time 0.000168/0.02686, allocations: 163.8 kB / 0.7519 GB, free: 9.719 MB / 0.5919 GB Notification: Performance of Events: time 0.0007852/0.02765, allocations: 0.7093 MB / 0.7526 GB, free: 8.988 MB / 0.5919 GB Notification: Performance of Detect States: time 0.001212/0.02887, allocations: 1.327 MB / 0.7539 GB, free: 7.633 MB / 0.5919 GB Notification: Performance of Partitioning: time 0.001211/0.03009, allocations: 1.138 MB / 0.755 GB, free: 6.461 MB / 0.5919 GB Notification: Performance of Causalize: time 0.5034/0.5335, allocations: 6.573 MB / 0.7614 GB, free: 34 MB / 0.5919 GB Notification: Performance of After Index Reduction Inline: time 0.003279/0.5368, allocations: 2.724 MB / 0.7641 GB, free: 33.87 MB / 0.5919 GB Notification: Performance of Inline: time 0.004513/0.5414, allocations: 3.88 MB / 0.7679 GB, free: 32.71 MB / 0.5919 GB Notification: Performance of Partitioning: time 0.0003434/0.5418, allocations: 263.4 kB / 0.7681 GB, free: 32.55 MB / 0.5919 GB Notification: Performance of Cleanup: time 0.0002745/0.542, allocations: 213.1 kB / 0.7683 GB, free: 32.42 MB / 0.5919 GB Warning: NBResolveSingularities.balanceInitialization reports an overdetermined initialization! Checking for consistency is not yet supported, following equations had to be removed: [SCAL] (1) $TEV_3 = false ($RES_SIM_9) slice: {}; [SCAL] (1) $TEV_12 = false ($RES_SIM_21) slice: {}; [SCAL] (1) $TEV_21 = false ($RES_SIM_33) slice: {}; [SCAL] (1) $TEV_30 = false ($RES_SIM_45) slice: {}; [SCAL] (1) truHol3.toInitial.outPort.set = truHol3.initialStep.inPort[1].set ($RES_SIM_225) slice: {}; [SCAL] (1) truHol3.initialStep.outPort[1].reset = truHol3.toOutputTrue.outPort.set ($RES_SIM_230) slice: {}; [SCAL] (1) truHol2.toInitial.outPort.set = truHol2.initialStep.inPort[1].set ($RES_SIM_243) slice: {}; [SCAL] (1) truHol2.initialStep.outPort[1].reset = truHol2.toOutputTrue.outPort.set ($RES_SIM_248) slice: {}; [SCAL] (1) truHol1.toInitial.outPort.set = truHol1.initialStep.inPort[1].set ($RES_SIM_261) slice: {}; [SCAL] (1) truHol1.initialStep.outPort[1].reset = truHol1.toOutputTrue.outPort.set ($RES_SIM_266) slice: {}; [SCAL] (1) truHol.toInitial.outPort.set = truHol.initialStep.inPort[1].set ($RES_SIM_279) slice: {}; [SCAL] (1) truHol.initialStep.outPort[1].reset = truHol.toOutputTrue.outPort.set ($RES_SIM_284) slice: {}; [SCAL] (1) $SEV_19 = (truHol.toOutputTrue.localCondition and truHol.toOutputTrue.inPort.available) and not truHol.toOutputTrue.outPort.occupied ($RES_EVT_391) slice: {}; [SCAL] (1) $SEV_18 = (truHol.toInitial.localCondition and truHol.toInitial.inPort.available) and not truHol.toInitial.outPort.occupied ($RES_EVT_390) slice: {}; [SCAL] (1) $SEV_13 = (truHol1.toOutputTrue.localCondition and truHol1.toOutputTrue.inPort.available) and not truHol1.toOutputTrue.outPort.occupied ($RES_EVT_385) slice: {}; [SCAL] (1) $SEV_12 = (truHol1.toInitial.localCondition and truHol1.toInitial.inPort.available) and not truHol1.toInitial.outPort.occupied ($RES_EVT_384) slice: {}; [SCAL] (1) $SEV_7 = (truHol2.toOutputTrue.localCondition and truHol2.toOutputTrue.inPort.available) and not truHol2.toOutputTrue.outPort.occupied ($RES_EVT_379) slice: {}; [SCAL] (1) $SEV_6 = (truHol2.toInitial.localCondition and truHol2.toInitial.inPort.available) and not truHol2.toInitial.outPort.occupied ($RES_EVT_378) slice: {}; [SCAL] (1) $SEV_1 = (truHol3.toOutputTrue.localCondition and truHol3.toOutputTrue.inPort.available) and not truHol3.toOutputTrue.outPort.occupied ($RES_EVT_373) slice: {}; [SCAL] (1) $SEV_0 = (truHol3.toInitial.localCondition and truHol3.toInitial.inPort.available) and not truHol3.toInitial.outPort.occupied ($RES_EVT_372) slice: {}; Notification: Performance of Causalize: time 0.01294/0.555, allocations: 11.91 MB / 0.7799 GB, free: 27.49 MB / 0.5919 GB Notification: Performance of Tearing: time 1.312e-05/0.555, allocations: 1.156 kB / 0.7799 GB, free: 27.49 MB / 0.5919 GB Notification: Performance of Initialization: time 1.613e-06/0.555, allocations: 0 / 0.7799 GB, free: 27.49 MB / 0.5919 GB Notification: Performance of Tearing: time 1.197e-05/0.555, allocations: 1.094 kB / 0.7799 GB, free: 27.49 MB / 0.5919 GB Notification: Performance of Categorize: time 4.299e-05/0.5551, allocations: 10.95 kB / 0.78 GB, free: 27.49 MB / 0.5919 GB Notification: Performance of Solve: time 0.001354/0.5565, allocations: 0.7662 MB / 0.7807 GB, free: 27.18 MB / 0.5919 GB Notification: Performance of Jacobian: time 3.868e-06/0.5565, allocations: 0 / 0.7807 GB, free: 27.18 MB / 0.5919 GB Notification: Partition statistics after passing the back-end: * Number of ODE partitions: ..................... 0 * Number of algebraic partitions: ............... 0 * Number of ODE event partitions: ............... 0 * Number of algebraic event partitions: ......... 4 * Number of clocked partitions: ................. 0 * Number of initial partitions: ................. 1 * Number of initial(lambda=0) partitions: ....... 0 Notification: Variable statistics after passing the back-end: * Number of states: ............................. 0 (0) {} * Number of discrete states: .................... 20 (20) {truHol3.outputTrue.oldActive, truHol3.initialStep.oldActive, truHol3.onDelay.t_next, truHol3.toInitial.localCondition, booPul3.pulseStart, truHol2.outputTrue.oldActive, truHol2.initialStep.oldActive, truHol2.onDelay.t_next, truHol2.toInitial.localCondition, booPul2.pulseStart, truHol1.outputTrue.oldActive, truHol1.initialStep.oldActive, truHol1.onDelay.t_next, truHol1.toInitial.localCondition, booPul1.pulseStart, truHol.outputTrue.oldActive, truHol.initialStep.oldActive, truHol.toInitial.localCondition, truHol.onDelay.t_next, booPul.pulseStart} * Number of clocked states: ..................... 0 (0) {NOT YET AVAILABLE} * Number of discrete variables: ................. 160 (160) {truHol.stateGraphRoot.activeSteps, truHol.initialStep.inPort.set, truHol.initialStep.inPort.occupied, truHol.initialStep.outPort.reset, truHol.initialStep.outPort.available, truHol.initialStep.outerStatePort.localActive, truHol.initialStep.newActive, truHol.outputTrue.inPort.set, truHol.outputTrue.inPort.occupied, truHol.outputTrue.outPort.reset, truHol.outputTrue.outPort.available, truHol.outputTrue.outerStatePort.localActive, truHol.outputTrue.newActive, truHol.toOutputTrue.localCondition, truHol.toOutputTrue.inPort.available, truHol.toOutputTrue.outPort.occupied, truHol.toOutputTrue.outPort.set, truHol.toInitial.inPort.available, truHol.toInitial.outPort.occupied, truHol.toInitial.outPort.set, truHol1.stateGraphRoot.activeSteps, truHol1.initialStep.inPort.set, truHol1.initialStep.inPort.occupied, truHol1.initialStep.outPort.reset, truHol1.initialStep.outPort.available, truHol1.initialStep.outerStatePort.localActive, truHol1.initialStep.newActive, truHol1.outputTrue.inPort.set, truHol1.outputTrue.inPort.occupied, truHol1.outputTrue.outPort.reset, truHol1.outputTrue.outPort.available, truHol1.outputTrue.outerStatePort.localActive, truHol1.outputTrue.newActive, truHol1.toOutputTrue.localCondition, truHol1.toOutputTrue.inPort.available, truHol1.toOutputTrue.outPort.occupied, truHol1.toOutputTrue.outPort.set, truHol1.toInitial.inPort.available, truHol1.toInitial.outPort.occupied, truHol1.toInitial.outPort.set, truHol2.stateGraphRoot.activeSteps, truHol2.initialStep.inPort.set, truHol2.initialStep.inPort.occupied, truHol2.initialStep.outPort.reset, truHol2.initialStep.outPort.available, truHol2.initialStep.outerStatePort.localActive, truHol2.initialStep.newActive, truHol2.outputTrue.inPort.set, truHol2.outputTrue.inPort.occupied, truHol2.outputTrue.outPort.reset, truHol2.outputTrue.outPort.available, truHol2.outputTrue.outerStatePort.localActive, truHol2.outputTrue.newActive, truHol2.toOutputTrue.localCondition, truHol2.toOutputTrue.inPort.available, truHol2.toOutputTrue.outPort.occupied, truHol2.toOutputTrue.outPort.set, truHol2.toInitial.inPort.available, truHol2.toInitial.outPort.occupied, truHol2.toInitial.outPort.set, truHol3.stateGraphRoot.activeSteps, truHol3.initialStep.inPort.set, truHol3.initialStep.inPort.occupied, truHol3.initialStep.outPort.reset, truHol3.initialStep.outPort.available, truHol3.initialStep.outerStatePort.localActive, truHol3.initialStep.newActive, truHol3.outputTrue.inPort.set, truHol3.outputTrue.inPort.occupied, truHol3.outputTrue.outPort.reset, truHol3.outputTrue.outPort.available, truHol3.outputTrue.outerStatePort.localActive, truHol3.outputTrue.newActive, truHol3.toOutputTrue.localCondition, truHol3.toOutputTrue.inPort.available, truHol3.toOutputTrue.outPort.occupied, truHol3.toOutputTrue.outPort.set, truHol3.toInitial.inPort.available, truHol3.toInitial.outPort.occupied, truHol3.toInitial.outPort.set, $FUN_1, $FUN_2, $FUN_3, $FUN_4, $FUN_5, $FUN_6, $FUN_7, $FUN_8, $FUN_9, $FUN_10, $FUN_11, $FUN_12, $FUN_13, $FUN_14, $FUN_15, $FUN_16, $SEV_23, $SEV_22, $SEV_21, $SEV_20, $SEV_19, $SEV_18, $SEV_17, $SEV_16, $SEV_15, $SEV_14, $SEV_13, $SEV_12, $SEV_11, $SEV_10, $SEV_9, $SEV_8, $SEV_7, $SEV_6, $SEV_5, $SEV_4, $SEV_3, $SEV_2, $SEV_1, $SEV_0, $TEV_39, $TEV_38, $TEV_37, $TEV_36, $TEV_35, $TEV_34, $TEV_33, $TEV_32, $TEV_31, $TEV_30, $TEV_29, $TEV_28, $TEV_27, $TEV_26, $TEV_25, $TEV_24, $TEV_23, $TEV_22, $TEV_21, $TEV_20, $TEV_19, $TEV_18, $TEV_17, $TEV_16, $TEV_15, $TEV_14, $TEV_13, $TEV_12, $TEV_11, $TEV_10, $TEV_9, $TEV_8, $TEV_7, $TEV_6, $TEV_5, $TEV_4, $TEV_3, $TEV_2, $TEV_1, $TEV_0} * Number of top-level inputs: ................... 0 (0) {} Notification: [Simulation] Strong Component statistics after passing the back-end: * Number of single strong components: ........... 172 (scalar:172, array:0, record:0) * Number of multi strong components: ............ 20 (algorithm:0, when:20, if:0, tuple:0) * Number of for-loop strong components: ......... 0 (generic: 0, entwined:0) * Number of algebraic-loop strong components: ... 0 (linear: 0, nonlinear:0) Notification: [Initialization] Strong Component statistics after passing the back-end: * Number of single strong components: ........... 240 (scalar:240, array:0, record:0) * Number of multi strong components: ............ 8 (algorithm:8, when:0, if:0, tuple:0) * Number of for-loop strong components: ......... 0 (generic: 0, entwined:0) * Number of algebraic-loop strong components: ... 0 (linear: 0, nonlinear:0) Notification: Performance of backend: time 0.0001519/0.5566, allocations: 139.6 kB / 0.7808 GB, free: 27.11 MB / 0.5919 GB Error: Internal error NBEquation.WhenEquationBody.getBodyAttributes.getConditions failed for condition: not truHol.outputTrue.outerStatePort.localActive