Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries/ --ompython_omhome=/usr Buildings_8_Buildings.Controls.OBC.CDL.Logical.Validation.Timer.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.Timer,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Buildings_8_Buildings.Controls.OBC.CDL.Logical.Validation.Timer")
translateModel(Buildings.Controls.OBC.CDL.Logical.Validation.Timer,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Buildings_8_Buildings.Controls.OBC.CDL.Logical.Validation.Timer")
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001095/0.001095, allocations: 106.1 kB / 16.38 MB, free: 6.484 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.001068/0.001068, allocations: 190.5 kB / 17.31 MB, free: 5.797 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.452/1.452, 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.821/1.821, allocations: 292.3 MB / 0.5496 GB, free: 17.75 MB / 462.1 MB
Notification: Performance of FrontEnd - Absyn->SCode: time 2.601e-05/2.602e-05, allocations: 2.281 kB / 0.6729 GB, free: 5.938 MB / 0.545 GB
Notification: Performance of NFInst.instantiate(Buildings.Controls.OBC.CDL.Logical.Validation.Timer): time 0.002123/0.002165, allocations: 0.7673 MB / 0.6736 GB, free: 5.168 MB / 0.545 GB
Notification: Performance of NFInst.instExpressions: time 0.001934/0.00411, allocations: 1.258 MB / 0.6748 GB, free: 3.895 MB / 0.545 GB
Notification: Performance of NFInst.updateImplicitVariability: time 6.878e-05/0.00419, allocations: 0 / 0.6748 GB, free: 3.895 MB / 0.545 GB
Notification: Performance of NFTyping.typeComponents: time 3.757e-05/0.004235, allocations: 7.875 kB / 0.6748 GB, free: 3.887 MB / 0.545 GB
Notification: Performance of NFTyping.typeBindings: time 8.385e-05/0.004332, allocations: 15.86 kB / 0.6749 GB, free: 3.871 MB / 0.545 GB
Notification: Performance of NFTyping.typeClassSections: time 0.0007357/0.005073, allocations: 250.8 kB / 0.6751 GB, free: 3.633 MB / 0.545 GB
Notification: Performance of NFFlatten.flatten: time 0.0003405/0.005421, allocations: 279.5 kB / 0.6754 GB, free: 3.359 MB / 0.545 GB
Notification: Performance of NFFlatten.resolveConnections: time 0.0001434/0.005571, allocations: 20.22 kB / 0.6754 GB, free: 3.34 MB / 0.545 GB
Notification: Performance of NFEvalConstants.evaluate: time 0.0001456/0.005722, allocations: 103.7 kB / 0.6755 GB, free: 3.238 MB / 0.545 GB
Notification: Performance of NFSimplifyModel.simplify: time 0.0001804/0.005908, allocations: 91.73 kB / 0.6756 GB, free: 3.148 MB / 0.545 GB
Notification: Performance of NFPackage.collectConstants: time 4.278e-05/0.005957, allocations: 24 kB / 0.6756 GB, free: 3.125 MB / 0.545 GB
Notification: Performance of NFFlatten.collectFunctions: time 9.528e-05/0.006059, allocations: 43.97 kB / 0.6756 GB, free: 3.082 MB / 0.545 GB
Notification: Performance of combineBinaries: time 0.0002136/0.006279, allocations: 206.4 kB / 0.6758 GB, free: 2.879 MB / 0.545 GB
Notification: Performance of replaceArrayConstructors: time 4.206e-05/0.006327, allocations: 74.88 kB / 0.6759 GB, free: 2.805 MB / 0.545 GB
Notification: Performance of NFVerifyModel.verify: time 6.17e-05/0.006393, allocations: 35.92 kB / 0.6759 GB, free: 2.77 MB / 0.545 GB
Notification: Performance of FrontEnd: time 1.533e-05/0.006414, allocations: 0 / 0.6759 GB, free: 2.77 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: 14 (14)
 * Number of variables: 14 (14)
Notification: Performance of Bindings: time 0.0009524/0.007371, allocations: 0.7451 MB / 0.6767 GB, free: 1.922 MB / 0.545 GB
Notification: Performance of FunctionAlias: time 0.0001623/0.007539, allocations: 91.75 kB / 0.6768 GB, free: 1.832 MB / 0.545 GB
Notification: Performance of Early Inline: time 0.0008327/0.008379, allocations: 0.7769 MB / 0.6775 GB, free: 1.027 MB / 0.545 GB
Notification: Performance of simplify1: time 2.992e-05/0.008419, allocations: 31.94 kB / 0.6775 GB, free: 0.9961 MB / 0.545 GB
Notification: Performance of Alias: time 0.0005221/0.008947, allocations: 385.1 kB / 0.6779 GB, free: 0.5664 MB / 0.545 GB
Notification: Performance of simplify2: time 2.799e-05/0.008984, allocations: 27.94 kB / 0.6779 GB, free: 0.5391 MB / 0.545 GB
Notification: Performance of Events: time 0.0005723/0.009562, allocations: 430.9 kB / 0.6783 GB, free: 120 kB / 0.545 GB
Notification: Performance of Detect States: time 0.0004833/0.01005, allocations: 420 kB / 0.6788 GB, free: 15.69 MB / 0.5606 GB
Notification: Performance of Partitioning: time 0.0002159/0.01028, allocations: 190.4 kB / 0.6789 GB, free: 15.47 MB / 0.5606 GB
Notification: Performance of Causalize: time 0.0009118/0.0112, allocations: 0.8288 MB / 0.6797 GB, free: 14.6 MB / 0.5606 GB
Notification: Performance of After Index Reduction Inline: time 0.0006771/0.01189, allocations: 0.7202 MB / 0.6804 GB, free: 13.86 MB / 0.5606 GB
Notification: Performance of Inline: time 0.001048/0.01294, allocations: 1.002 MB / 0.6814 GB, free: 12.82 MB / 0.5606 GB
Notification: Performance of Partitioning: time 4.447e-05/0.01299, allocations: 42.73 kB / 0.6815 GB, free: 12.77 MB / 0.5606 GB
Notification: Performance of Cleanup: time 4.555e-05/0.01305, allocations: 47.92 kB / 0.6815 GB, free: 12.72 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)
[----] booPul1.t0 := if $FUN_2 + booPul1.period * integer(time / booPul1.period) > 0.0 then 1e-6 * floor(0.5 + 1e6 * ($FUN_2 + booPul1.period * integer(time / booPul1.period))) else 1e-6 * ceil((-0.5) + 1e6 * ($FUN_2 + 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, "Timer.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, "Timer.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};
        [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, "Timer.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, "Timer.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.002621/0.01567, allocations: 2.508 MB / 0.684 GB, free: 10.23 MB / 0.5606 GB
Notification: Performance of Tearing: time 8.295e-06/0.01569, allocations: 0 / 0.684 GB, free: 10.23 MB / 0.5606 GB
Notification: Performance of Initialization: time 7.01e-07/0.0157, allocations: 3.938 kB / 0.684 GB, free: 10.22 MB / 0.5606 GB
Notification: Performance of Tearing: time 4.248e-06/0.01571, allocations: 0 / 0.684 GB, free: 10.22 MB / 0.5606 GB
Notification: Performance of Categorize: time 1.953e-05/0.01574, allocations: 11.94 kB / 0.684 GB, free: 10.21 MB / 0.5606 GB
Error: Internal error NBSolve.solveStrongComponent failed with status = Solve.UNSOLVABLE while trying to solve following strong component:
BLOCK: Single Strong Component (status = Solve.UNPROCESSED)
-------------------------------------------------------------
### Variable:
        Boolean booPul1.y
### Equation:
        [SCAL] (1) thrTim1.y = if booPul1.y then time - thrTim1.entryTime else 0.0 ($RES_SIM_10)