Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries/ --ompython_omhome=/usr Buildings_8_Buildings.Controls.OBC.CDL.Logical.Validation.And.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.And,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Buildings_8_Buildings.Controls.OBC.CDL.Logical.Validation.And")
translateModel(Buildings.Controls.OBC.CDL.Logical.Validation.And,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Buildings_8_Buildings.Controls.OBC.CDL.Logical.Validation.And")
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001309/0.001309, allocations: 102.3 kB / 16.37 MB, free: 6.363 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.001295/0.001295, allocations: 187 kB / 17.3 MB, free: 5.918 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.473/1.473, 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.827/1.827, allocations: 292.3 MB / 0.5496 GB, free: 17.48 MB / 462.1 MB
Notification: Performance of FrontEnd - Absyn->SCode: time 4.972e-05/4.984e-05, allocations: 6.219 kB / 0.6729 GB, free: 5.902 MB / 0.545 GB
Notification: Performance of NFInst.instantiate(Buildings.Controls.OBC.CDL.Logical.Validation.And): time 0.002028/0.002097, allocations: 0.6668 MB / 0.6735 GB, free: 5.23 MB / 0.545 GB
Notification: Performance of NFInst.instExpressions: time 0.001618/0.003727, allocations: 1.191 MB / 0.6747 GB, free: 4.023 MB / 0.545 GB
Notification: Performance of NFInst.updateImplicitVariability: time 3.967e-05/0.003777, allocations: 0 / 0.6747 GB, free: 4.023 MB / 0.545 GB
Notification: Performance of NFTyping.typeComponents: time 2.949e-05/0.003813, allocations: 7.922 kB / 0.6747 GB, free: 4.016 MB / 0.545 GB
Notification: Performance of NFTyping.typeBindings: time 7.444e-05/0.003902, allocations: 7.875 kB / 0.6747 GB, free: 4.008 MB / 0.545 GB
Notification: Performance of NFTyping.typeClassSections: time 0.0006327/0.004539, allocations: 215.7 kB / 0.6749 GB, free: 3.805 MB / 0.545 GB
Notification: Performance of NFFlatten.flatten: time 0.0002111/0.004758, allocations: 195.7 kB / 0.6751 GB, free: 3.613 MB / 0.545 GB
Notification: Performance of NFFlatten.resolveConnections: time 9.577e-05/0.004861, allocations: 11.94 kB / 0.6751 GB, free: 3.602 MB / 0.545 GB
Notification: Performance of NFEvalConstants.evaluate: time 8.324e-05/0.004951, allocations: 63.95 kB / 0.6752 GB, free: 3.539 MB / 0.545 GB
Notification: Performance of NFSimplifyModel.simplify: time 0.0001056/0.005062, allocations: 67.77 kB / 0.6752 GB, free: 3.473 MB / 0.545 GB
Notification: Performance of NFPackage.collectConstants: time 3.431e-05/0.005103, allocations: 16 kB / 0.6752 GB, free: 3.457 MB / 0.545 GB
Notification: Performance of NFFlatten.collectFunctions: time 7.563e-05/0.005184, allocations: 35.92 kB / 0.6753 GB, free: 3.422 MB / 0.545 GB
Notification: Performance of combineBinaries: time 0.0001077/0.005297, allocations: 119.1 kB / 0.6754 GB, free: 3.305 MB / 0.545 GB
Notification: Performance of replaceArrayConstructors: time 2.406e-05/0.005328, allocations: 47.36 kB / 0.6754 GB, free: 3.258 MB / 0.545 GB
Notification: Performance of NFVerifyModel.verify: time 3.649e-05/0.005371, allocations: 19.94 kB / 0.6755 GB, free: 3.238 MB / 0.545 GB
Notification: Performance of FrontEnd: time 9.879e-06/0.005385, allocations: 0 / 0.6755 GB, free: 3.238 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: 5 (5)
 * Number of variables: 5 (5)
Notification: Performance of Bindings: time 0.0005585/0.005948, allocations: 499 kB / 0.6759 GB, free: 2.652 MB / 0.545 GB
Notification: Performance of FunctionAlias: time 0.0001053/0.006059, allocations: 71.83 kB / 0.676 GB, free: 2.582 MB / 0.545 GB
Notification: Performance of Early Inline: time 0.0005083/0.006574, allocations: 483.9 kB / 0.6765 GB, free: 2.082 MB / 0.545 GB
Notification: Performance of simplify1: time 8.977e-06/0.006592, allocations: 4 kB / 0.6765 GB, free: 2.078 MB / 0.545 GB
Notification: Performance of Alias: time 0.0003914/0.006988, allocations: 249.1 kB / 0.6767 GB, free: 1.781 MB / 0.545 GB
Notification: Performance of simplify2: time 6.422e-06/0.007003, allocations: 4 kB / 0.6767 GB, free: 1.777 MB / 0.545 GB
Notification: Performance of Events: time 0.0004209/0.007428, allocations: 311.3 kB / 0.677 GB, free: 1.473 MB / 0.545 GB
Notification: Performance of Detect States: time 0.0003387/0.007775, allocations: 282.3 kB / 0.6773 GB, free: 1.184 MB / 0.545 GB
Notification: Performance of Partitioning: time 6.312e-05/0.007846, allocations: 36.11 kB / 0.6773 GB, free: 1.141 MB / 0.545 GB
Notification: Performance of Causalize: time 0.0002551/0.008107, allocations: 192.1 kB / 0.6775 GB, free: 0.9453 MB / 0.545 GB
Notification: Performance of After Index Reduction Inline: time 0.0003513/0.008467, allocations: 392.2 kB / 0.6779 GB, free: 0.5352 MB / 0.545 GB
Notification: Performance of Inline: time 0.0006121/0.009087, allocations: 0.5275 MB / 0.6784 GB, free: 15.97 MB / 0.5606 GB
Notification: Performance of Partitioning: time 2.77e-05/0.009123, allocations: 31.97 kB / 0.6784 GB, free: 15.93 MB / 0.5606 GB
Notification: Performance of Cleanup: time 1.814e-05/0.009147, allocations: 7.984 kB / 0.6784 GB, free: 15.93 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)
[----] booPul2.t0 := if $FUN_2 + booPul2.period * integer(time / booPul2.period) > 0.0 then 1e-6 * floor(0.5 + 1e6 * ($FUN_2 + booPul2.period * integer(time / booPul2.period))) else 1e-6 * ceil((-0.5) + 1e6 * ($FUN_2 + booPul2.period * integer(time / booPul2.period)));
[----] booPul2.t1 := booPul2.t0 + booPul2.width * booPul2.period;

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

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

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

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

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

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

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

         slice: {1, 2};
Notification: Performance of Causalize: time 0.001353/0.0105, allocations: 1.254 MB / 0.6796 GB, free: 14.66 MB / 0.5606 GB
Notification: Performance of Tearing: time 6.773e-06/0.01052, allocations: 288 / 0.6796 GB, free: 14.66 MB / 0.5606 GB
Notification: Performance of Initialization: time 3.21e-07/0.01053, allocations: 0 / 0.6796 GB, free: 14.66 MB / 0.5606 GB
Notification: Performance of Tearing: time 8.32e-07/0.01053, allocations: 0 / 0.6796 GB, free: 14.66 MB / 0.5606 GB
Notification: Performance of Categorize: time 1.062e-05/0.01055, allocations: 7.984 kB / 0.6796 GB, free: 14.66 MB / 0.5606 GB
Notification: Performance of Solve: time 0.0001055/0.01066, allocations: 59.88 kB / 0.6797 GB, free: 14.6 MB / 0.5606 GB
Notification: Performance of Jacobian: time 3.396e-06/0.01067, allocations: 0 / 0.6797 GB, free: 14.6 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: ......... 1
 * 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: .................... 2 (2) {booPul2.y, booPul1.y}
 * Number of clocked states: ..................... 0 (0) {NOT YET AVAILABLE}
 * Number of discrete variables: ................. 6 (6) {and1.y, $SEV_6, $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: ........... 6 (scalar:6, array:0, record:0)
 * Number of multi strong components: ............ 2 (algorithm:0, when:2, 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: ........... 16 (scalar:16, 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 4.141e-05/0.01071, allocations: 25.38 kB / 0.6797 GB, free: 14.57 MB / 0.5606 GB
[/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/Compiler/NBackEnd/Modules/2_Pre/NBEvents.mo:685:7-685:120:writable] Error: Internal error UnorderedMap.getSafe failed because the key did not exist.