Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Buildings_11_Buildings.Controls.OBC.CDL.Logical.Validation.Proof.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 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.1.0-maint.11.x/package.mo", uses=false) Using package Buildings with version 11.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.1.0-maint.11.x/package.mo) Using package Modelica with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+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.Proof,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|pro.u_m|pro.u_s|pro.yLocFal|pro.yLocTru|pro1.u_m|pro1.u_s|pro1.yLocFal|pro1.yLocTru|pro2.u_m|pro2.u_s|pro2.yLocFal|pro2.yLocTru|pro3.u_m|pro3.u_s|pro3.yLocFal|pro3.yLocTru|pro4.u_m|pro4.u_s|pro4.yLocFal|pro4.yLocTru|pro5.u_m|pro5.u_s|pro5.yLocFal|pro5.yLocTru",fileNamePrefix="Buildings_11_Buildings.Controls.OBC.CDL.Logical.Validation.Proof") translateModel(Buildings.Controls.OBC.CDL.Logical.Validation.Proof,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|pro.u_m|pro.u_s|pro.yLocFal|pro.yLocTru|pro1.u_m|pro1.u_s|pro1.yLocFal|pro1.yLocTru|pro2.u_m|pro2.u_s|pro2.yLocFal|pro2.yLocTru|pro3.u_m|pro3.u_s|pro3.yLocFal|pro3.yLocTru|pro4.u_m|pro4.u_s|pro4.yLocFal|pro4.yLocTru|pro5.u_m|pro5.u_s|pro5.yLocFal|pro5.yLocTru",fileNamePrefix="Buildings_11_Buildings.Controls.OBC.CDL.Logical.Validation.Proof") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001111/0.001111, allocations: 112.4 kB / 16.43 MB, free: 6.531 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.001064/0.001064, allocations: 183.2 kB / 17.36 MB, free: 5.723 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo): time 1.127/1.127, allocations: 222.9 MB / 241.1 MB, free: 15.15 MB / 206.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.1.0-maint.11.x/package.mo): time 2.233/2.233, allocations: 469.8 MB / 0.7431 GB, free: 3.371 MB / 0.6075 GB Notification: Performance of FrontEnd - Absyn->SCode: time 9.217e-06/9.217e-06, allocations: 2.5 kB / 1.066 GB, free: 13.65 MB / 0.8419 GB Notification: Performance of NFInst.instantiate(Buildings.Controls.OBC.CDL.Logical.Validation.Proof): time 0.004832/0.004851, allocations: 4.248 MB / 1.07 GB, free: 9.383 MB / 0.8419 GB Notification: Performance of NFInst.instExpressions: time 0.003567/0.008429, allocations: 3.458 MB / 1.073 GB, free: 5.906 MB / 0.8419 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.0002854/0.008725, allocations: 27.94 kB / 1.073 GB, free: 5.879 MB / 0.8419 GB Notification: Performance of NFTyping.typeComponents: time 0.000334/0.009065, allocations: 236.9 kB / 1.074 GB, free: 5.645 MB / 0.8419 GB Notification: Performance of NFTyping.typeBindings: time 0.0003533/0.009426, allocations: 221.6 kB / 1.074 GB, free: 5.426 MB / 0.8419 GB Notification: Performance of NFTyping.typeClassSections: time 0.002059/0.01149, allocations: 1.571 MB / 1.075 GB, free: 3.867 MB / 0.8419 GB Notification: Performance of NFFlatten.flatten: time 0.00247/0.01397, allocations: 3.549 MB / 1.079 GB, free: 320 kB / 0.8419 GB Notification: Performance of NFFlatten.resolveConnections: time 0.3823/0.3963, allocations: 1.057 MB / 1.08 GB, free: 11.94 MB / 0.8419 GB Notification: Performance of NFEvalConstants.evaluate: time 0.001313/0.3976, allocations: 1.25 MB / 1.081 GB, free: 11.78 MB / 0.8419 GB Notification: Performance of NFSimplifyModel.simplify: time 0.0008692/0.3985, allocations: 1.342 MB / 1.082 GB, free: 11.54 MB / 0.8419 GB Notification: Performance of NFPackage.collectConstants: time 0.0004317/0.3989, allocations: 420.5 kB / 1.083 GB, free: 11.54 MB / 0.8419 GB Notification: Performance of NFFlatten.collectFunctions: time 0.0004496/0.3994, allocations: 436 kB / 1.083 GB, free: 11.54 MB / 0.8419 GB Notification: Performance of combineBinaries: time 0.001707/0.4011, allocations: 3.816 MB / 1.087 GB, free: 9.652 MB / 0.8419 GB Notification: Performance of replaceArrayConstructors: time 0.0006473/0.4018, allocations: 2.092 MB / 1.089 GB, free: 8.168 MB / 0.8419 GB Notification: Performance of NFVerifyModel.verify: time 0.0004509/0.4022, allocations: 441.7 kB / 1.089 GB, free: 8.086 MB / 0.8419 GB Notification: Performance of FrontEnd: time 0.0003114/0.4025, allocations: 160.1 kB / 1.09 GB, free: 8.023 MB / 0.8419 GB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 587 (587) * Number of variables: 587 (587) Notification: Performance of Bindings: time 0.006177/0.4087, allocations: 7.11 MB / 1.096 GB, free: 4.645 MB / 0.8419 GB Notification: Performance of FunctionAlias: time 0.0002933/0.409, allocations: 452.7 kB / 1.097 GB, free: 4.336 MB / 0.8419 GB Notification: Performance of Early Inline: time 0.007769/0.4168, allocations: 8.153 MB / 1.105 GB, free: 15.96 MB / 0.8575 GB Notification: Performance of simplify1: time 0.001338/0.4181, allocations: 1.002 MB / 1.106 GB, free: 15.46 MB / 0.8575 GB Notification: Performance of Alias: time 0.01226/0.4304, allocations: 9.984 MB / 1.116 GB, free: 9.316 MB / 0.8575 GB Notification: Performance of simplify2: time 0.0007826/0.4312, allocations: 0.6494 MB / 1.116 GB, free: 9.039 MB / 0.8575 GB Notification: Performance of Detect States: time 0.002475/0.4337, allocations: 2.571 MB / 1.119 GB, free: 7.641 MB / 0.8575 GB Notification: Performance of Events: time 0.002664/0.4364, allocations: 2.272 MB / 1.121 GB, free: 6.375 MB / 0.8575 GB Notification: Performance of Partitioning: time 0.001917/0.4383, allocations: 1.686 MB / 1.123 GB, free: 5.418 MB / 0.8575 GB Notification: Performance of Causalize: time 0.007758/0.4461, allocations: 6.288 MB / 1.129 GB, free: 3.16 MB / 0.8575 GB Notification: Performance of After Index Reduction Inline: time 0.005636/0.4517, allocations: 5.444 MB / 1.134 GB, free: 216 kB / 0.8575 GB Notification: Performance of Inline: time 0.008505/0.4602, allocations: 9.424 MB / 1.143 GB, free: 9.703 MB / 0.8731 GB Notification: Performance of Partitioning: time 0.0003613/0.4606, allocations: 188.6 kB / 1.143 GB, free: 9.566 MB / 0.8731 GB Notification: Performance of Cleanup: time 0.001287/0.4619, allocations: 1.76 MB / 1.145 GB, free: 8.055 MB / 0.8731 GB Warning: NBResolveSingularities.balanceInitialization reports an overdetermined initialization! Checking for consistency is not yet supported, following equations had to be removed: [SCAL] (1) not $TEV_64 = false ($RES_SIM_13); [SCAL] (1) $TEV_67 = false ($RES_SIM_19); [SCAL] (1) not $TEV_73 = false ($RES_SIM_29); [SCAL] (1) $TEV_76 = false ($RES_SIM_35); [SCAL] (1) $TEV_76 = false ($RES_SIM_42); [SCAL] (1) not $TEV_76 = false ($RES_SIM_45); [SCAL] (1) not $TEV_73 = false ($RES_SIM_48); [SCAL] (1) $TEV_73 = false ($RES_SIM_51); [SCAL] (1) $TEV_76 = false ($RES_SIM_58); [SCAL] (1) not $TEV_76 = false ($RES_SIM_61); [SCAL] (1) not $TEV_73 = false ($RES_SIM_64); [SCAL] (1) $TEV_73 = false ($RES_SIM_67); [SCAL] (1) $TEV_73 = false ($RES_SIM_74); [SCAL] (1) not $TEV_73 = false ($RES_SIM_77); [SCAL] (1) not $TEV_76 = false ($RES_SIM_80); [SCAL] (1) $TEV_76 = false ($RES_SIM_83); [SCAL] (1) $TEV_76 = false ($RES_SIM_90); [SCAL] (1) not $TEV_76 = false ($RES_SIM_93); [SCAL] (1) $TEV_105 = false ($RES_SIM_99); [SCAL] (1) latInp.y = $PRE.latInp.y ($RES_SRT_935); [SCAL] (1) pro.not2.u = $PRE.pro.not2.u ($RES_SRT_934); [SCAL] (1) pro1.not2.u = $PRE.pro1.not2.u ($RES_SRT_933); [SCAL] (1) latInp3.y = $PRE.latInp3.y ($RES_SRT_932); [SCAL] (1) latInp4.y = $PRE.latInp4.y ($RES_SRT_931); Notification: Performance of Causalize: time 0.01581/0.4777, allocations: 12.42 MB / 1.157 GB, free: 2.559 MB / 0.8731 GB Notification: Performance of Tearing: time 2.951e-05/0.4778, allocations: 1.531 kB / 1.157 GB, free: 2.559 MB / 0.8731 GB Notification: Performance of Initialization: time 7.81e-07/0.4778, allocations: 0 / 1.157 GB, free: 2.559 MB / 0.8731 GB Notification: Performance of Tearing: time 4.169e-05/0.4778, allocations: 6.812 kB / 1.157 GB, free: 2.555 MB / 0.8731 GB Notification: Performance of Categorize: time 4.929e-05/0.4779, allocations: 12.53 kB / 1.157 GB, free: 2.555 MB / 0.8731 GB Notification: Performance of Solve: time 0.0017/0.4796, allocations: 0.9234 MB / 1.158 GB, free: 1.949 MB / 0.8731 GB Notification: Performance of Jacobian: time 3.166e-06/0.4796, allocations: 0 / 1.158 GB, free: 1.949 MB / 0.8731 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: ......... 14 * 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: .................... 77 (77) {latInp4.y, latInp3.y, pro1.not2.u, pro.not2.u, latInp.y, pro5.holTru1.y, pro5.holTru.y, pro5.pasDeb.passed, pro5.pasDeb.entryTime, pro5.delChe2.y, pro5.delChe2.t_next, pro5.delChe1.y, pro5.delChe1.t_next, pro5.valInp.u2, pro5.truDel1.t_next, pro5.valInp.u1, pro5.valTru.t_next, pro4.holTru1.y, pro4.holTru.y, pro4.pasDeb.passed, pro4.pasDeb.entryTime, pro4.delChe2.y, pro4.delChe2.t_next, pro4.delChe1.y, pro4.delChe1.t_next, pro4.valInp.u2, pro4.truDel1.t_next, pro4.valInp.u1, pro4.valTru.t_next, pro3.holTru1.y, pro3.holTru.y, pro3.pasDeb.passed, pro3.pasDeb.entryTime, pro3.delChe2.y, pro3.delChe2.t_next, pro3.delChe1.y, pro3.delChe1.t_next, pro3.valInp.u2, pro3.truDel1.t_next, pro3.valInp.u1, pro3.valTru.t_next, pro2.holTru1.y, pro2.holTru.y, pro2.pasDeb.passed, pro2.pasDeb.entryTime, pro2.delChe2.y, pro2.delChe2.t_next, pro2.delChe1.y, pro2.delChe1.t_next, pro2.valInp.u2, pro2.truDel1.t_next, pro2.valInp.u1, pro2.valTru.t_next, pro1.holTru1.y, pro1.holTru.y, pro1.pasDeb.passed, pro1.pasDeb.entryTime, pro1.delChe2.y, pro1.delChe2.t_next, pro1.delChe1.y, pro1.delChe1.t_next, pro1.valInp.u2, pro1.truDel1.t_next, pro1.valInp.u1, pro1.valTru.t_next, pro.holTru1.y, pro.holTru.y, pro.pasDeb.passed, pro.pasDeb.entryTime, pro.delChe2.y, pro.delChe2.t_next, pro.delChe1.y, pro.delChe1.t_next, pro.valInp.u2, pro.truDel1.t_next, pro.valInp.u1, pro.valTru.t_next} * Number of clocked states: ..................... 0 (0) {NOT YET AVAILABLE} * Number of discrete variables: ................. 285 (285) {pro.pasDel.y, pro.truFal.y, pro.valFal.y, pro.cheDif1.u2, pro.cheDif1.y, pro.falTru.y, pro.booToInt.y, pro.booToInt1.y, pro.botFal.u2, pro.botFal.y, pro.not3.u, pro.cheStaMea.u2, pro.cheStaMea.y, pro.notBotTru.u, pro.cheDif2.y, pro.cheStaMea1.y, pro.holTru.clr, pro.equInp.y, pro.valEqu.y, pro1.pasDel.y, pro1.truFal.y, pro1.valFal.y, pro1.cheDif1.u2, pro1.cheDif1.y, pro1.falTru.y, pro1.booToInt.y, pro1.booToInt1.y, pro1.botFal.u2, pro1.botFal.y, pro1.not3.u, pro1.cheStaMea.u2, pro1.cheStaMea.y, pro1.notBotTru.u, pro1.cheDif2.y, pro1.cheStaMea1.y, pro1.holTru.clr, pro1.equInp.y, pro1.valEqu.y, pro2.pasDel.y, pro2.truFal.y, pro2.valFal.y, pro2.cheDif1.u2, pro2.cheDif1.y, pro2.falTru.y, pro2.booToInt.y, pro2.booToInt1.y, pro2.botFal.u2, pro2.botFal.y, pro2.not3.u, pro2.cheStaMea.u2, pro2.cheStaMea.y, pro2.notBotTru.u, pro2.cheDif2.y, pro2.cheStaMea1.y, pro2.holTru.clr, pro2.equInp.y, pro2.valEqu.y, pro3.pasDel.y, pro3.truFal.y, pro3.valFal.y, pro3.cheDif1.u2, pro3.cheDif1.y, pro3.falTru.y, pro3.booToInt.y, pro3.booToInt1.y, pro3.botFal.u2, pro3.botFal.y, pro3.not3.u, pro3.cheStaMea.u2, pro3.cheStaMea.y, pro3.notBotTru.u, pro3.cheDif2.y, pro3.cheStaMea1.y, pro3.holTru.clr, pro3.equInp.y, pro3.valEqu.y, pro4.pasDel.y, pro4.truFal.y, pro4.valFal.y, pro4.cheDif1.u2, pro4.cheDif1.y, pro4.falTru.y, pro4.booToInt.y, pro4.booToInt1.y, pro4.botFal.u2, pro4.botFal.y, pro4.not3.u, pro4.cheStaMea.u2, pro4.cheStaMea.y, pro4.notBotTru.u, pro4.cheDif2.y, pro4.cheStaMea1.y, pro4.holTru.clr, pro4.equInp.y, pro4.valEqu.y, pro5.pasDel.y, pro5.truFal.y, pro5.valFal.y, pro5.cheDif1.u2, pro5.cheDif1.y, pro5.falTru.y, pro5.booToInt.y, pro5.booToInt1.y, pro5.botFal.u2, pro5.botFal.y, pro5.not3.u, pro5.cheStaMea.u2, pro5.cheStaMea.y, pro5.notBotTru.u, pro5.cheDif2.y, pro5.cheStaMea1.y, pro5.holTru.clr, pro5.equInp.y, pro5.valEqu.y, $SEV_128, $SEV_127, $SEV_126, $SEV_125, $SEV_124, $SEV_123, $SEV_122, $SEV_121, $SEV_120, $SEV_119, $SEV_118, $SEV_117, $SEV_116, $SEV_115, $SEV_114, $SEV_113, $SEV_112, $SEV_111, $SEV_110, $SEV_109, $SEV_108, $SEV_107, $SEV_106, $SEV_105, $SEV_104, $SEV_103, $SEV_102, $SEV_101, $SEV_100, $SEV_99, $SEV_98, $SEV_97, $SEV_96, $SEV_95, $SEV_94, $SEV_93, $SEV_92, $SEV_91, $SEV_90, $SEV_89, $SEV_88, $SEV_87, $SEV_86, $SEV_85, $SEV_84, $SEV_83, $SEV_82, $SEV_81, $SEV_80, $SEV_79, $SEV_78, $SEV_77, $SEV_76, $SEV_75, $SEV_74, $SEV_73, $SEV_72, $SEV_71, $SEV_70, $SEV_69, $SEV_68, $SEV_67, $SEV_66, $SEV_65, $SEV_64, $SEV_63, $SEV_62, $SEV_61, $SEV_60, $SEV_59, $SEV_58, $SEV_57, $SEV_56, $SEV_55, $SEV_54, $SEV_53, $SEV_52, $SEV_51, $SEV_50, $SEV_49, $SEV_48, $SEV_47, $SEV_46, $SEV_45, $SEV_44, $SEV_43, $SEV_42, $SEV_41, $SEV_40, $SEV_39, $SEV_38, $SEV_37, $SEV_36, $SEV_35, $SEV_34, $SEV_33, $SEV_32, $SEV_31, $SEV_30, $SEV_29, $SEV_28, $SEV_27, $SEV_26, $SEV_25, $SEV_24, $SEV_23, $SEV_22, $SEV_21, $SEV_20, $SEV_19, $SEV_18, $SEV_17, $SEV_16, $SEV_15, $TEV_116, $TEV_115, $TEV_114, $TEV_113, $TEV_112, $TEV_111, $TEV_110, $TEV_109, $TEV_108, $TEV_107, $TEV_106, $TEV_105, $TEV_104, $TEV_103, $TEV_102, $TEV_101, $TEV_100, $TEV_99, $TEV_98, $TEV_97, $TEV_96, $TEV_95, $TEV_94, $TEV_93, $TEV_92, $TEV_91, $TEV_90, $TEV_89, $TEV_88, $TEV_87, $TEV_86, $TEV_85, $TEV_84, $TEV_83, $TEV_82, $TEV_81, $TEV_80, $TEV_79, $TEV_78, $TEV_77, $TEV_76, $TEV_75, $TEV_74, $TEV_73, $TEV_72, $TEV_71, $TEV_70, $TEV_69, $TEV_68, $TEV_67, $TEV_66, $TEV_65, $TEV_64, $TEV_63, $TEV_62, $TEV_61, $TEV_60} * Number of top-level inputs: ................... 0 (0) {} Notification: [Simulation] Strong Component statistics after passing the back-end: * Number of single strong components: ........... 291 (scalar:291, array:0, record:0) * Number of multi strong components: ............ 77 (algorithm:0, when:77, 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: ........... 482 (scalar:482, array:0, record:0) * Number of multi strong components: ............ 65 (algorithm:65, 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 0.0002058/0.4798, allocations: 243 kB / 1.158 GB, free: 1.762 MB / 0.8731 GB Error: Internal error NBEquation.WhenEquationBody.getBodyAttributes.getConditions failed for condition: not pro.not2.u