Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries/ --ompython_omhome=/usr Buildings_8_Buildings.Controls.OBC.CDL.Logical.Validation.Nand.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.Nand,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Buildings_8_Buildings.Controls.OBC.CDL.Logical.Validation.Nand")
translateModel(Buildings.Controls.OBC.CDL.Logical.Validation.Nand,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Buildings_8_Buildings.Controls.OBC.CDL.Logical.Validation.Nand")
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001251/0.001251, allocations: 107 kB / 16.37 MB, free: 6.355 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.001208/0.001208, allocations: 188 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.531/1.531, 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.795/1.795, allocations: 292.3 MB / 0.5496 GB, free: 17.54 MB / 462.1 MB
Notification: Performance of FrontEnd - Absyn->SCode: time 2.493e-05/2.517e-05, allocations: 2.281 kB / 0.6729 GB, free: 5.898 MB / 0.545 GB
Notification: Performance of NFInst.instantiate(Buildings.Controls.OBC.CDL.Logical.Validation.Nand): time 0.001798/0.001837, allocations: 0.6891 MB / 0.6735 GB, free: 5.211 MB / 0.545 GB
Notification: Performance of NFInst.instExpressions: time 0.001512/0.00336, allocations: 1.18 MB / 0.6747 GB, free: 4.016 MB / 0.545 GB
Notification: Performance of NFInst.updateImplicitVariability: time 5.27e-05/0.003424, allocations: 4 kB / 0.6747 GB, free: 4.012 MB / 0.545 GB
Notification: Performance of NFTyping.typeComponents: time 3.122e-05/0.003461, allocations: 7.922 kB / 0.6747 GB, free: 4.004 MB / 0.545 GB
Notification: Performance of NFTyping.typeBindings: time 7.766e-05/0.003555, allocations: 19.86 kB / 0.6747 GB, free: 3.984 MB / 0.545 GB
Notification: Performance of NFTyping.typeClassSections: time 0.0006644/0.004225, allocations: 203 kB / 0.6749 GB, free: 3.789 MB / 0.545 GB
Notification: Performance of NFFlatten.flatten: time 0.0002366/0.004469, allocations: 195.6 kB / 0.6751 GB, free: 3.598 MB / 0.545 GB
Notification: Performance of NFFlatten.resolveConnections: time 0.000111/0.004586, allocations: 12 kB / 0.6751 GB, free: 3.586 MB / 0.545 GB
Notification: Performance of NFEvalConstants.evaluate: time 9.242e-05/0.004684, allocations: 63.94 kB / 0.6752 GB, free: 3.523 MB / 0.545 GB
Notification: Performance of NFSimplifyModel.simplify: time 0.0001088/0.004798, allocations: 63.78 kB / 0.6752 GB, free: 3.461 MB / 0.545 GB
Notification: Performance of NFPackage.collectConstants: time 3.878e-05/0.004842, allocations: 19.98 kB / 0.6752 GB, free: 3.441 MB / 0.545 GB
Notification: Performance of NFFlatten.collectFunctions: time 8.309e-05/0.00493, allocations: 27.98 kB / 0.6753 GB, free: 3.414 MB / 0.545 GB
Notification: Performance of combineBinaries: time 0.0001249/0.005061, allocations: 131.1 kB / 0.6754 GB, free: 3.285 MB / 0.545 GB
Notification: Performance of replaceArrayConstructors: time 2.368e-05/0.005091, allocations: 39.38 kB / 0.6754 GB, free: 3.246 MB / 0.545 GB
Notification: Performance of NFVerifyModel.verify: time 5.197e-05/0.005147, allocations: 19.94 kB / 0.6754 GB, free: 3.227 MB / 0.545 GB
Notification: Performance of FrontEnd: time 1.248e-05/0.005164, allocations: 3.938 kB / 0.6755 GB, free: 3.223 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.0005906/0.005759, allocations: 499.3 kB / 0.6759 GB, free: 2.637 MB / 0.545 GB
Notification: Performance of FunctionAlias: time 0.0001198/0.005885, allocations: 71.83 kB / 0.676 GB, free: 2.566 MB / 0.545 GB
Notification: Performance of Early Inline: time 0.0005065/0.006398, allocations: 475.9 kB / 0.6765 GB, free: 2.074 MB / 0.545 GB
Notification: Performance of simplify1: time 1.202e-05/0.006421, allocations: 15.97 kB / 0.6765 GB, free: 2.059 MB / 0.545 GB
Notification: Performance of Alias: time 0.0003672/0.006794, allocations: 245.2 kB / 0.6767 GB, free: 1.766 MB / 0.545 GB
Notification: Performance of simplify2: time 6.453e-06/0.00681, allocations: 3.984 kB / 0.6767 GB, free: 1.762 MB / 0.545 GB
Notification: Performance of Events: time 0.0003917/0.007207, allocations: 315.2 kB / 0.677 GB, free: 1.453 MB / 0.545 GB
Notification: Performance of Detect States: time 0.0003008/0.007516, allocations: 266.3 kB / 0.6773 GB, free: 1.18 MB / 0.545 GB
Notification: Performance of Partitioning: time 6.25e-05/0.007587, allocations: 48.11 kB / 0.6773 GB, free: 1.125 MB / 0.545 GB
Notification: Performance of Causalize: time 0.0002114/0.007805, allocations: 184 kB / 0.6775 GB, free: 0.9375 MB / 0.545 GB
Notification: Performance of After Index Reduction Inline: time 0.0003314/0.008144, allocations: 397 kB / 0.6779 GB, free: 0.5234 MB / 0.545 GB
Notification: Performance of Inline: time 0.0005956/0.008747, allocations: 0.5353 MB / 0.6784 GB, free: 15.95 MB / 0.5606 GB
Notification: Performance of Partitioning: time 2.316e-05/0.008781, allocations: 24.06 kB / 0.6784 GB, free: 15.92 MB / 0.5606 GB
Notification: Performance of Cleanup: time 1.473e-05/0.008801, allocations: 7.984 kB / 0.6784 GB, free: 15.91 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, "Nand.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, "Nand.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, "Nand.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, "Nand.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.001266/0.01007, allocations: 1.26 MB / 0.6796 GB, free: 14.64 MB / 0.5606 GB
Notification: Performance of Tearing: time 6.733e-06/0.01009, allocations: 0 / 0.6796 GB, free: 14.64 MB / 0.5606 GB
Notification: Performance of Initialization: time 3.31e-07/0.0101, allocations: 0 / 0.6796 GB, free: 14.64 MB / 0.5606 GB
Notification: Performance of Tearing: time 1.042e-06/0.0101, allocations: 0 / 0.6796 GB, free: 14.64 MB / 0.5606 GB
Notification: Performance of Categorize: time 9.308e-06/0.01012, allocations: 3.984 kB / 0.6796 GB, free: 14.64 MB / 0.5606 GB
Notification: Performance of Solve: time 0.000102/0.01022, allocations: 63.88 kB / 0.6797 GB, free: 14.57 MB / 0.5606 GB
Notification: Performance of Jacobian: time 3.827e-06/0.01023, allocations: 0 / 0.6797 GB, free: 14.57 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) {nand1.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 3.94e-05/0.01028, allocations: 24.16 kB / 0.6797 GB, free: 14.55 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.