Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries/ --ompython_omhome=/usr Buildings_8_Buildings.Controls.OBC.CDL.Logical.Validation.TimerNegativeStartTime.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.TimerNegativeStartTime,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Buildings_8_Buildings.Controls.OBC.CDL.Logical.Validation.TimerNegativeStartTime")
translateModel(Buildings.Controls.OBC.CDL.Logical.Validation.TimerNegativeStartTime,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Buildings_8_Buildings.Controls.OBC.CDL.Logical.Validation.TimerNegativeStartTime")
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001274/0.001274, allocations: 106.9 kB / 16.38 MB, free: 6.5 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.001278/0.001278, allocations: 190.5 kB / 17.31 MB, free: 5.809 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.418/1.418, allocations: 205.1 MB / 223.2 MB, free: 12.27 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.726/1.726, allocations: 292.3 MB / 0.5496 GB, free: 17.56 MB / 462.1 MB
Notification: Performance of FrontEnd - Absyn->SCode: time 2.676e-05/2.679e-05, allocations: 2.281 kB / 0.6729 GB, free: 5.891 MB / 0.545 GB
Notification: Performance of NFInst.instantiate(Buildings.Controls.OBC.CDL.Logical.Validation.TimerNegativeStartTime): time 0.001923/0.001965, allocations: 0.6978 MB / 0.6736 GB, free: 5.188 MB / 0.545 GB
Notification: Performance of NFInst.instExpressions: time 0.001535/0.003512, allocations: 1.149 MB / 0.6747 GB, free: 4.023 MB / 0.545 GB
Notification: Performance of NFInst.updateImplicitVariability: time 5.225e-05/0.003575, allocations: 0 / 0.6747 GB, free: 4.023 MB / 0.545 GB
Notification: Performance of NFTyping.typeComponents: time 2.556e-05/0.003607, allocations: 3.938 kB / 0.6747 GB, free: 4.02 MB / 0.545 GB
Notification: Performance of NFTyping.typeBindings: time 6.503e-05/0.003679, allocations: 11.88 kB / 0.6747 GB, free: 4.008 MB / 0.545 GB
Notification: Performance of NFTyping.typeClassSections: time 0.0004826/0.004176, allocations: 147.3 kB / 0.6748 GB, free: 3.867 MB / 0.545 GB
Notification: Performance of NFFlatten.flatten: time 0.000179/0.004362, allocations: 159.7 kB / 0.675 GB, free: 3.711 MB / 0.545 GB
Notification: Performance of NFFlatten.resolveConnections: time 0.0001033/0.004472, allocations: 8 kB / 0.675 GB, free: 3.703 MB / 0.545 GB
Notification: Performance of NFEvalConstants.evaluate: time 7.903e-05/0.004557, allocations: 55.89 kB / 0.675 GB, free: 3.648 MB / 0.545 GB
Notification: Performance of NFSimplifyModel.simplify: time 0.0001031/0.004666, allocations: 55.84 kB / 0.6751 GB, free: 3.594 MB / 0.545 GB
Notification: Performance of NFPackage.collectConstants: time 2.625e-05/0.004698, allocations: 12 kB / 0.6751 GB, free: 3.582 MB / 0.545 GB
Notification: Performance of NFFlatten.collectFunctions: time 7.49e-05/0.004778, allocations: 27.98 kB / 0.6751 GB, free: 3.555 MB / 0.545 GB
Notification: Performance of combineBinaries: time 0.0001297/0.004914, allocations: 123 kB / 0.6753 GB, free: 3.434 MB / 0.545 GB
Notification: Performance of replaceArrayConstructors: time 2.759e-05/0.004947, allocations: 55.2 kB / 0.6753 GB, free: 3.379 MB / 0.545 GB
Notification: Performance of NFVerifyModel.verify: time 3.639e-05/0.00499, allocations: 16 kB / 0.6753 GB, free: 3.363 MB / 0.545 GB
Notification: Performance of FrontEnd: time 1.186e-05/0.005007, allocations: 3.938 kB / 0.6753 GB, free: 3.359 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: 9 (9)
 * Number of variables: 9 (9)
Notification: Performance of Bindings: time 0.0005833/0.005594, allocations: 0.4922 MB / 0.6758 GB, free: 2.766 MB / 0.545 GB
Notification: Performance of FunctionAlias: time 7.344e-05/0.005674, allocations: 43.92 kB / 0.6758 GB, free: 2.723 MB / 0.545 GB
Notification: Performance of Early Inline: time 0.0005038/0.006184, allocations: 483.9 kB / 0.6763 GB, free: 2.223 MB / 0.545 GB
Notification: Performance of simplify1: time 1.906e-05/0.006212, allocations: 15.97 kB / 0.6763 GB, free: 2.207 MB / 0.545 GB
Notification: Performance of Alias: time 0.0003602/0.006577, allocations: 248.8 kB / 0.6766 GB, free: 1.918 MB / 0.545 GB
Notification: Performance of simplify2: time 2.021e-05/0.006607, allocations: 19.97 kB / 0.6766 GB, free: 1.898 MB / 0.545 GB
Notification: Performance of Events: time 0.0003164/0.006928, allocations: 227.5 kB / 0.6768 GB, free: 1.676 MB / 0.545 GB
Notification: Performance of Detect States: time 0.0002945/0.007232, allocations: 253.3 kB / 0.677 GB, free: 1.418 MB / 0.545 GB
Notification: Performance of Partitioning: time 0.0001311/0.007371, allocations: 120.3 kB / 0.6772 GB, free: 1.277 MB / 0.545 GB
Notification: Performance of Causalize: time 0.0005459/0.007923, allocations: 0.5346 MB / 0.6777 GB, free: 0.7227 MB / 0.545 GB
Notification: Performance of After Index Reduction Inline: time 0.0003742/0.008305, allocations: 440.9 kB / 0.6781 GB, free: 272 kB / 0.545 GB
Notification: Performance of Inline: time 0.0006008/0.008914, allocations: 0.6178 MB / 0.6787 GB, free: 15.61 MB / 0.5606 GB
Notification: Performance of Partitioning: time 2.46e-05/0.008948, allocations: 20.28 kB / 0.6787 GB, free: 15.58 MB / 0.5606 GB
Notification: Performance of Cleanup: time 2.939e-05/0.008985, allocations: 35.83 kB / 0.6788 GB, free: 15.55 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)
[----] 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, "TimerNegativeStartTime.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, "TimerNegativeStartTime.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};
Notification: Performance of Causalize: time 0.001475/0.01046, allocations: 1.49 MB / 0.6802 GB, free: 14.04 MB / 0.5606 GB
Notification: Performance of Tearing: time 6.753e-06/0.01048, allocations: 0 / 0.6802 GB, free: 14.04 MB / 0.5606 GB
Notification: Performance of Initialization: time 1.703e-06/0.01049, allocations: 4 kB / 0.6802 GB, free: 14.04 MB / 0.5606 GB
Notification: Performance of Tearing: time 1.984e-06/0.01049, allocations: 0 / 0.6802 GB, free: 14.04 MB / 0.5606 GB
Notification: Performance of Categorize: time 9.247e-06/0.01051, allocations: 0 / 0.6802 GB, free: 14.04 MB / 0.5606 GB
Notification: Performance of Solve: time 0.0001357/0.01065, allocations: 85.53 kB / 0.6803 GB, free: 13.96 MB / 0.5606 GB
Notification: Performance of Jacobian: time 2.555e-06/0.01066, allocations: 0 / 0.6803 GB, free: 13.96 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: ......... 3
 * 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: .................... 5 (5) {noThr.u, thrTim.entryTime, thrTim.passed, noThr.passed, noThr.entryTime}
 * Number of clocked states: ..................... 0 (0) {NOT YET AVAILABLE}
 * Number of discrete variables: ................. 10 (10) {$SEV_6, $SEV_5, $SEV_4, $SEV_3, $TEV_17, $TEV_16, $TEV_15, $TEV_14, $TEV_13, $TEV_12}
 * Number of top-level inputs: ................... 0 (0) {}
Notification: [Simulation] Strong Component statistics after passing the back-end:
 * Number of single strong components: ........... 12 (scalar:12, array:0, record:0)
 * Number of multi strong components: ............ 5 (algorithm:0, when:5, 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: ........... 25 (scalar:25, 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 3.66e-05/0.0107, allocations: 23.06 kB / 0.6803 GB, free: 13.95 MB / 0.5606 GB
Error: Internal error NBEquation.WhenEquationBody.getBodyAttributes.getConditions failed for condition: not noThr.u