Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries/ --ompython_omhome=/usr Buildings_8_Buildings.Controls.OBC.CDL.Logical.Validation.And3.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.And3,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Buildings_8_Buildings.Controls.OBC.CDL.Logical.Validation.And3")
translateModel(Buildings.Controls.OBC.CDL.Logical.Validation.And3,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Buildings_8_Buildings.Controls.OBC.CDL.Logical.Validation.And3")
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001076/0.001076, allocations: 105.3 kB / 16.37 MB, free: 6.352 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.00111/0.001111, allocations: 190.1 kB / 17.3 MB, free: 5.906 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.464/1.464, 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.799/1.799, allocations: 292.3 MB / 0.5496 GB, free: 17.54 MB / 462.1 MB
Notification: Performance of FrontEnd - Absyn->SCode: time 3.164e-05/3.19e-05, allocations: 2.281 kB / 0.6729 GB, free: 5.902 MB / 0.545 GB
Notification: Performance of NFInst.instantiate(Buildings.Controls.OBC.CDL.Logical.Validation.And3): time 0.002318/0.002369, allocations: 0.721 MB / 0.6736 GB, free: 5.18 MB / 0.545 GB
Notification: Performance of NFInst.instExpressions: time 0.001821/0.004203, allocations: 1.262 MB / 0.6748 GB, free: 3.902 MB / 0.545 GB
Notification: Performance of NFInst.updateImplicitVariability: time 6.174e-05/0.004276, allocations: 4 kB / 0.6748 GB, free: 3.898 MB / 0.545 GB
Notification: Performance of NFTyping.typeComponents: time 3.723e-05/0.004318, allocations: 3.938 kB / 0.6748 GB, free: 3.895 MB / 0.545 GB
Notification: Performance of NFTyping.typeBindings: time 9.05e-05/0.004426, allocations: 15.8 kB / 0.6748 GB, free: 3.879 MB / 0.545 GB
Notification: Performance of NFTyping.typeClassSections: time 0.0009399/0.005374, allocations: 317.2 kB / 0.6751 GB, free: 3.578 MB / 0.545 GB
Notification: Performance of NFFlatten.flatten: time 0.0003446/0.005727, allocations: 287.6 kB / 0.6754 GB, free: 3.297 MB / 0.545 GB
Notification: Performance of NFFlatten.resolveConnections: time 0.0001156/0.005849, allocations: 8.188 kB / 0.6754 GB, free: 3.285 MB / 0.545 GB
Notification: Performance of NFEvalConstants.evaluate: time 0.0001225/0.005979, allocations: 103.8 kB / 0.6755 GB, free: 3.184 MB / 0.545 GB
Notification: Performance of NFSimplifyModel.simplify: time 0.0001509/0.006138, allocations: 95.73 kB / 0.6756 GB, free: 3.09 MB / 0.545 GB
Notification: Performance of NFPackage.collectConstants: time 4.496e-05/0.006189, allocations: 24 kB / 0.6756 GB, free: 3.066 MB / 0.545 GB
Notification: Performance of NFFlatten.collectFunctions: time 9.398e-05/0.006288, allocations: 35.98 kB / 0.6756 GB, free: 3.031 MB / 0.545 GB
Notification: Performance of combineBinaries: time 0.0001828/0.006477, allocations: 190.6 kB / 0.6758 GB, free: 2.844 MB / 0.545 GB
Notification: Performance of replaceArrayConstructors: time 3.558e-05/0.006518, allocations: 59.12 kB / 0.6759 GB, free: 2.785 MB / 0.545 GB
Notification: Performance of NFVerifyModel.verify: time 5.556e-05/0.006579, allocations: 23.94 kB / 0.6759 GB, free: 2.762 MB / 0.545 GB
Notification: Performance of FrontEnd: time 1.724e-05/0.006601, allocations: 0 / 0.6759 GB, free: 2.762 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: 7 (7)
 * Number of variables: 7 (7)
Notification: Performance of Bindings: time 0.000845/0.007455, allocations: 0.6783 MB / 0.6766 GB, free: 1.984 MB / 0.545 GB
Notification: Performance of FunctionAlias: time 0.0001614/0.007623, allocations: 115.8 kB / 0.6767 GB, free: 1.871 MB / 0.545 GB
Notification: Performance of Early Inline: time 0.0007631/0.008393, allocations: 0.6754 MB / 0.6773 GB, free: 1.168 MB / 0.545 GB
Notification: Performance of simplify1: time 1.201e-05/0.008414, allocations: 7.984 kB / 0.6773 GB, free: 1.16 MB / 0.545 GB
Notification: Performance of Alias: time 0.0005761/0.008998, allocations: 349.5 kB / 0.6777 GB, free: 0.7578 MB / 0.545 GB
Notification: Performance of simplify2: time 9.097e-06/0.009017, allocations: 7.984 kB / 0.6777 GB, free: 0.75 MB / 0.545 GB
Notification: Performance of Events: time 0.0005819/0.009604, allocations: 460.7 kB / 0.6781 GB, free: 304 kB / 0.545 GB
Notification: Performance of Detect States: time 0.0007173/0.01033, allocations: 395.3 kB / 0.6785 GB, free: 15.89 MB / 0.5606 GB
Notification: Performance of Partitioning: time 8.794e-05/0.01043, allocations: 56.05 kB / 0.6786 GB, free: 15.83 MB / 0.5606 GB
Notification: Performance of Causalize: time 0.0003211/0.01076, allocations: 267.9 kB / 0.6788 GB, free: 15.56 MB / 0.5606 GB
Notification: Performance of After Index Reduction Inline: time 0.0005843/0.01135, allocations: 0.543 MB / 0.6793 GB, free: 14.99 MB / 0.5606 GB
Notification: Performance of Inline: time 0.0008081/0.01217, allocations: 0.7733 MB / 0.6801 GB, free: 14.19 MB / 0.5606 GB
Notification: Performance of Partitioning: time 3.235e-05/0.01221, allocations: 28.11 kB / 0.6801 GB, free: 14.15 MB / 0.5606 GB
Notification: Performance of Cleanup: time 1.772e-05/0.01223, allocations: 11.98 kB / 0.6801 GB, free: 14.14 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)
[----] booPul3.t0 := if $FUN_3 + booPul3.period * integer(time / booPul3.period) > 0.0 then 1e-6 * floor(0.5 + 1e6 * ($FUN_3 + booPul3.period * integer(time / booPul3.period))) else 1e-6 * ceil((-0.5) + 1e6 * ($FUN_3 + booPul3.period * integer(time / booPul3.period)));
[----] booPul3.t1 := booPul3.t0 + booPul3.width * booPul3.period;

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

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

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

         slice: {1, 2};
        [ALGO] (3) ($RES_SIM_1)
[----] 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, "And3.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, "And3.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_2)
[----] 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, "And3.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, "And3.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.001983/0.01422, allocations: 1.82 MB / 0.6819 GB, free: 12.29 MB / 0.5606 GB
Notification: Performance of Tearing: time 1.08e-05/0.01425, allocations: 3.984 kB / 0.6819 GB, free: 12.29 MB / 0.5606 GB
Notification: Performance of Initialization: time 6.81e-07/0.01425, allocations: 0 / 0.6819 GB, free: 12.29 MB / 0.5606 GB
Notification: Performance of Tearing: time 2.455e-06/0.01426, allocations: 0 / 0.6819 GB, free: 12.29 MB / 0.5606 GB
Notification: Performance of Categorize: time 1.102e-05/0.01428, allocations: 4 kB / 0.6819 GB, free: 12.29 MB / 0.5606 GB
Notification: Performance of Solve: time 0.0001569/0.01444, allocations: 84.33 kB / 0.682 GB, free: 12.2 MB / 0.5606 GB
Notification: Performance of Jacobian: time 5.711e-06/0.01445, allocations: 3.938 kB / 0.682 GB, free: 12.2 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: .................... 3 (3) {booPul3.y, booPul2.y, booPul1.y}
 * Number of clocked states: ..................... 0 (0) {NOT YET AVAILABLE}
 * Number of discrete variables: ................. 8 (8) {and1.y, $SEV_9, $TEV_41, $TEV_40, $TEV_39, $TEV_38, $TEV_37, $TEV_36}
 * Number of top-level inputs: ................... 0 (0) {}
Notification: [Simulation] Strong Component statistics after passing the back-end:
 * Number of single strong components: ........... 8 (scalar:8, array:0, record:0)
 * Number of multi strong components: ............ 3 (algorithm:0, when:3, 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: ........... 23 (scalar:23, 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.634e-05/0.0145, allocations: 24.09 kB / 0.682 GB, free: 12.18 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.