Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries/ --ompython_omhome=/usr Buildings_8_Buildings.Controls.OBC.CDL.Logical.Validation.TimerAccumulating.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 8.1.4-maint.8.1.x/package.mo", uses=false)
Using package Buildings with version 8.1.4 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 8.1.4-maint.8.1.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.TimerAccumulating,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Buildings_8_Buildings.Controls.OBC.CDL.Logical.Validation.TimerAccumulating")
translateModel(Buildings.Controls.OBC.CDL.Logical.Validation.TimerAccumulating,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Buildings_8_Buildings.Controls.OBC.CDL.Logical.Validation.TimerAccumulating")
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001255/0.001255, allocations: 107 kB / 16.38 MB, free: 5.98 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.001267/0.001267, allocations: 188 kB / 17.31 MB, free: 5.59 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.432/1.432, allocations: 205.1 MB / 223.2 MB, free: 12.26 MB / 190.1 MB
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 8.1.4-maint.8.1.x/package.mo): time 1.783/1.783, allocations: 292.3 MB / 0.5496 GB, free: 17.39 MB / 462.1 MB
Notification: Performance of FrontEnd - Absyn->SCode: time 3.504e-05/3.506e-05, allocations: 9.594 kB / 0.6729 GB, free: 5.871 MB / 0.545 GB
Notification: Performance of NFInst.instantiate(Buildings.Controls.OBC.CDL.Logical.Validation.TimerAccumulating): time 0.00219/0.002244, allocations: 0.8378 MB / 0.6737 GB, free: 5.027 MB / 0.545 GB
Notification: Performance of NFInst.instExpressions: time 0.001794/0.004049, allocations: 1.343 MB / 0.675 GB, free: 3.668 MB / 0.545 GB
Notification: Performance of NFInst.updateImplicitVariability: time 5.925e-05/0.004119, allocations: 0 / 0.675 GB, free: 3.668 MB / 0.545 GB
Notification: Performance of NFTyping.typeComponents: time 3.624e-05/0.004162, allocations: 7.875 kB / 0.675 GB, free: 3.66 MB / 0.545 GB
Notification: Performance of NFTyping.typeBindings: time 0.0001007/0.004268, allocations: 27.72 kB / 0.675 GB, free: 3.633 MB / 0.545 GB
Notification: Performance of NFTyping.typeClassSections: time 0.0007258/0.005008, allocations: 295.2 kB / 0.6753 GB, free: 3.348 MB / 0.545 GB
Notification: Performance of NFFlatten.flatten: time 0.0003522/0.005367, allocations: 403.4 kB / 0.6757 GB, free: 2.953 MB / 0.545 GB
Notification: Performance of NFFlatten.resolveConnections: time 0.0001353/0.005509, allocations: 40.95 kB / 0.6757 GB, free: 2.91 MB / 0.545 GB
Notification: Performance of NFEvalConstants.evaluate: time 0.0001568/0.005672, allocations: 147.8 kB / 0.6759 GB, free: 2.766 MB / 0.545 GB
Notification: Performance of NFSimplifyModel.simplify: time 0.0001948/0.005872, allocations: 151.5 kB / 0.676 GB, free: 2.617 MB / 0.545 GB
Notification: Performance of NFPackage.collectConstants: time 5.42e-05/0.005932, allocations: 40 kB / 0.6761 GB, free: 2.578 MB / 0.545 GB
Notification: Performance of NFFlatten.collectFunctions: time 9.876e-05/0.006037, allocations: 55.97 kB / 0.6761 GB, free: 2.523 MB / 0.545 GB
Notification: Performance of combineBinaries: time 0.0002566/0.006302, allocations: 313.6 kB / 0.6764 GB, free: 2.215 MB / 0.545 GB
Notification: Performance of replaceArrayConstructors: time 7.36e-05/0.006381, allocations: 126.2 kB / 0.6765 GB, free: 2.09 MB / 0.545 GB
Notification: Performance of NFVerifyModel.verify: time 8.775e-05/0.006474, allocations: 51.92 kB / 0.6766 GB, free: 2.039 MB / 0.545 GB
Notification: Performance of FrontEnd: time 1.869e-05/0.006499, allocations: 7.875 kB / 0.6766 GB, free: 2.031 MB / 0.545 GB
Notification: Model statistics after passing the front-end and creating the data structures used by the back-end:
 * Number of equations: 27 (27)
 * Number of variables: 27 (27)
Notification: Performance of Bindings: time 0.001156/0.007661, allocations: 1.16 MB / 0.6777 GB, free: 0.7695 MB / 0.545 GB
Notification: Performance of FunctionAlias: time 0.000134/0.007801, allocations: 91.86 kB / 0.6778 GB, free: 0.6797 MB / 0.545 GB
Notification: Performance of Early Inline: time 0.001413/0.009221, allocations: 1.375 MB / 0.6792 GB, free: 15.27 MB / 0.5606 GB
Notification: Performance of simplify1: time 5.789e-05/0.00929, allocations: 59.91 kB / 0.6792 GB, free: 15.21 MB / 0.5606 GB
Notification: Performance of Alias: time 0.0008337/0.01013, allocations: 0.7074 MB / 0.6799 GB, free: 14.45 MB / 0.5606 GB
Notification: Performance of simplify2: time 5.593e-05/0.0102, allocations: 67.89 kB / 0.68 GB, free: 14.38 MB / 0.5606 GB
Notification: Performance of Events: time 0.0006706/0.01088, allocations: 0.533 MB / 0.6805 GB, free: 13.85 MB / 0.5606 GB
Notification: Performance of Detect States: time 0.000616/0.0115, allocations: 0.6193 MB / 0.6811 GB, free: 13.21 MB / 0.5606 GB
Notification: Performance of Partitioning: time 0.0003292/0.01184, allocations: 328.6 kB / 0.6814 GB, free: 12.84 MB / 0.5606 GB
Notification: Performance of Causalize: time 0.001545/0.0134, allocations: 1.592 MB / 0.683 GB, free: 11.22 MB / 0.5606 GB
Notification: Performance of After Index Reduction Inline: time 0.001029/0.01444, allocations: 1.175 MB / 0.6841 GB, free: 10.02 MB / 0.5606 GB
Notification: Performance of Inline: time 0.001473/0.01592, allocations: 1.666 MB / 0.6857 GB, free: 8.312 MB / 0.5606 GB
Notification: Performance of Partitioning: time 7.203e-05/0.016, allocations: 67.61 kB / 0.6858 GB, free: 8.238 MB / 0.5606 GB
Notification: Performance of Cleanup: time 7.927e-05/0.01609, allocations: 103.8 kB / 0.6859 GB, free: 8.137 MB / 0.5606 GB
Warning: NBResolveSingularities.balanceInitialization reports an overdetermined initialization!
Checking for consistency is not yet supported, following equations had to be removed:
        [ALGO] (3) ($RES_SIM_0)
[----] resTim.t0 := if $FUN_2 + resTim.period * integer(time / resTim.period) > 0.0 then 1e-6 * floor(0.5 + 1e6 * ($FUN_2 + resTim.period * integer(time / resTim.period))) else 1e-6 * ceil((-0.5) + 1e6 * ($FUN_2 + resTim.period * integer(time / resTim.period)));
[----] resTim.t1 := resTim.t0 + resTim.width * resTim.period;

[----] if time + resTim.period < resTim.t1 then
[----]   resTim.t0 := resTim.t0 - resTim.period;
[----]   resTim.t1 := resTim.t1 - resTim.period;
[----] end if;

[----] if time >= resTim.t1 then
[----]   resTim.t0 := resTim.t0 + resTim.period;
[----] elseif time < resTim.t0 then
[----]   resTim.t1 := resTim.t1 - resTim.period;
[----] end if;

[----] if resTim.t0 < resTim.t1 then
[----]   assert(resTim.t0 <= time and time < resTim.t1, "TimerAccumulating.resTim: Implementation error in initial time calculation: t0 = " + String(resTim.t0, 6, 0, true) + ", t1 = " + String(resTim.t1, 6, 0, true) + ",  period = " + String(resTim.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error);
[----]   noThrWitRes.reset := time >= resTim.t0 and time < resTim.t1;
[----] elseif true then
[----]   assert(resTim.t1 <= time and time < resTim.t0, "TimerAccumulating.resTim: Implementation error in initial time calculation: t0 = " + String(resTim.t0, 6, 0, true) + ", t1 = " + String(resTim.t1, 6, 0, true) + ",  period = " + String(resTim.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error);
[----]   noThrWitRes.reset := not (time >= resTim.t1 and time < resTim.t0);
[----] end if;

         slice: {1, 2};
        [ALGO] (3) ($RES_SIM_1)
[----] booPul.t0 := if $FUN_1 + booPul.period * integer(time / booPul.period) > 0.0 then 1e-6 * floor(0.5 + 1e6 * ($FUN_1 + booPul.period * integer(time / booPul.period))) else 1e-6 * ceil((-0.5) + 1e6 * ($FUN_1 + booPul.period * integer(time / booPul.period)));
[----] booPul.t1 := booPul.t0 + booPul.width * booPul.period;

[----] if time + booPul.period < booPul.t1 then
[----]   booPul.t0 := booPul.t0 - booPul.period;
[----]   booPul.t1 := booPul.t1 - booPul.period;
[----] end if;

[----] if time >= booPul.t1 then
[----]   booPul.t0 := booPul.t0 + booPul.period;
[----] elseif time < booPul.t0 then
[----]   booPul.t1 := booPul.t1 - booPul.period;
[----] end if;

[----] if booPul.t0 < booPul.t1 then
[----]   assert(booPul.t0 <= time and time < booPul.t1, "TimerAccumulating.booPul: Implementation error in initial time calculation: t0 = " + String(booPul.t0, 6, 0, true) + ", t1 = " + String(booPul.t1, 6, 0, true) + ",  period = " + String(booPul.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error);
[----]   noThr.u := time >= booPul.t0 and time < booPul.t1;
[----] elseif true then
[----]   assert(booPul.t1 <= time and time < booPul.t0, "TimerAccumulating.booPul: Implementation error in initial time calculation: t0 = " + String(booPul.t0, 6, 0, true) + ", t1 = " + String(booPul.t1, 6, 0, true) + ",  period = " + String(booPul.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error);
[----]   noThr.u := not (time >= booPul.t1 and time < booPul.t0);
[----] end if;

         slice: {1, 2};
        [SCAL] (1) $TEV_26 = false ($RES_SIM_10)
         slice: {};
        [SCAL] (1) $TEV_27 = false ($RES_SIM_11)
         slice: {};
        [SCAL] (1) $TEV_27 = false ($RES_SIM_16)
         slice: {};
        [SCAL] (1) $TEV_32 = false ($RES_SIM_20)
         slice: {};
        [SCAL] (1) $TEV_27 = false ($RES_SIM_21)
         slice: {};
        [SCAL] (1) $TEV_27 = $PRE.noThr.u ($RES_EVT_54)
         slice: {};
        [SCAL] (1) $TEV_26 = $PRE.noThrWitRes.reset ($RES_EVT_53)
         slice: {};
Notification: Performance of Causalize: time 0.004062/0.02015, allocations: 4.014 MB / 0.6898 GB, free: 4.191 MB / 0.5606 GB
Notification: Performance of Tearing: time 8.135e-06/0.02017, allocations: 0 / 0.6898 GB, free: 4.191 MB / 0.5606 GB
Notification: Performance of Initialization: time 4.91e-07/0.02018, allocations: 4 kB / 0.6898 GB, free: 4.188 MB / 0.5606 GB
Notification: Performance of Tearing: time 8.536e-06/0.0202, allocations: 11.92 kB / 0.6898 GB, free: 4.176 MB / 0.5606 GB
Notification: Performance of Categorize: time 1.417e-05/0.02021, allocations: 0 / 0.6898 GB, free: 4.176 MB / 0.5606 GB
Notification: Performance of Solve: time 0.0002989/0.02052, allocations: 186 kB / 0.69 GB, free: 3.992 MB / 0.5606 GB
Notification: Performance of Jacobian: time 5.741e-06/0.02053, allocations: 3.984 kB / 0.69 GB, free: 3.988 MB / 0.5606 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: ......... 6
 * 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: .................... 14 (14) {noThrWitRes.reset, noThr.u, thrTimWitRes.entryTime, thrTimWitRes.passed, thrTimWitRes.yAcc, noThrWitRes.passed, noThrWitRes.yAcc, noThrWitRes.entryTime, thrTim.entryTime, thrTim.passed, thrTim.yAcc, noThr.yAcc, noThr.passed, noThr.entryTime}
 * Number of clocked states: ..................... 0 (0) {NOT YET AVAILABLE}
 * Number of discrete variables: ................. 23 (23) {$SEV_13, $SEV_12, $SEV_11, $SEV_10, $SEV_9, $SEV_8, $SEV_7, $SEV_6, $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}
 * Number of top-level inputs: ................... 0 (0) {}
Notification: [Simulation] Strong Component statistics after passing the back-end:
 * Number of single strong components: ........... 27 (scalar:27, array:0, record:0)
 * Number of multi strong components: ............ 14 (algorithm:0, when:14, 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: ........... 69 (scalar:69, array:0, record:0)
 * Number of multi strong components: ............ 0 (algorithm:0, 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 7.679e-05/0.02061, allocations: 48.58 kB / 0.6901 GB, free: 3.949 MB / 0.5606 GB
Error: Internal error NBEquation.WhenEquationBody.getBodyAttributes.getConditions failed for condition: not noThr.u