Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Buildings_latest_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.0.1-master/package.mo", uses=false) Using package Buildings with version 11.0.1 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.1-master/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_latest_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_latest_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.001109/0.001109, allocations: 112.2 kB / 16.43 MB, free: 6.508 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.001089/0.001089, allocations: 183.2 kB / 17.35 MB, free: 5.754 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.16/1.16, allocations: 222.9 MB / 241 MB, free: 15.19 MB / 206.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.1-master/package.mo): time 2.242/2.242, allocations: 461.9 MB / 0.7354 GB, free: 11.09 MB / 0.6075 GB Notification: Performance of FrontEnd - Absyn->SCode: time 1.519e-05/1.522e-05, allocations: 2.281 kB / 1.055 GB, free: 7.727 MB / 0.8262 GB Notification: Performance of NFInst.instantiate(Buildings.Controls.OBC.CDL.Logical.Validation.Proof): time 0.00501/0.005035, allocations: 4.235 MB / 1.059 GB, free: 3.477 MB / 0.8262 GB Notification: Performance of NFInst.instExpressions: time 0.004199/0.009245, allocations: 3.47 MB / 1.062 GB, free: 15.98 MB / 0.8419 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.0007361/0.009992, allocations: 27.94 kB / 1.062 GB, free: 15.96 MB / 0.8419 GB Notification: Performance of NFTyping.typeComponents: time 0.0004966/0.0105, allocations: 232.9 kB / 1.062 GB, free: 15.73 MB / 0.8419 GB Notification: Performance of NFTyping.typeBindings: time 0.0005659/0.01108, allocations: 217.5 kB / 1.063 GB, free: 15.52 MB / 0.8419 GB Notification: Performance of NFTyping.typeClassSections: time 0.002492/0.01358, allocations: 1.572 MB / 1.064 GB, free: 13.96 MB / 0.8419 GB Notification: Performance of NFFlatten.flatten: time 0.002843/0.01643, allocations: 3.585 MB / 1.068 GB, free: 10.37 MB / 0.8419 GB Notification: Performance of NFFlatten.resolveConnections: time 0.001717/0.01815, allocations: 1.533 MB / 1.069 GB, free: 8.773 MB / 0.8419 GB Notification: Performance of NFEvalConstants.evaluate: time 0.001261/0.01942, allocations: 1.247 MB / 1.07 GB, free: 7.523 MB / 0.8419 GB Notification: Performance of NFSimplifyModel.simplify: time 0.001177/0.0206, allocations: 1.338 MB / 1.072 GB, free: 6.18 MB / 0.8419 GB Notification: Performance of NFPackage.collectConstants: time 0.0006063/0.02121, allocations: 420 kB / 1.072 GB, free: 5.77 MB / 0.8419 GB Notification: Performance of NFFlatten.collectFunctions: time 0.000476/0.0217, allocations: 439.9 kB / 1.073 GB, free: 5.34 MB / 0.8419 GB Notification: Performance of combineBinaries: time 0.001953/0.02366, allocations: 3.811 MB / 1.076 GB, free: 1.488 MB / 0.8419 GB Notification: Performance of replaceArrayConstructors: time 0.3784/0.402, allocations: 2.091 MB / 1.078 GB, free: 19.89 MB / 0.8419 GB Notification: Performance of NFVerifyModel.verify: time 0.0007696/0.4028, allocations: 456.2 kB / 1.079 GB, free: 19.89 MB / 0.8419 GB Notification: Performance of FrontEnd: time 0.0004491/0.4033, allocations: 160.3 kB / 1.079 GB, free: 19.89 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.007253/0.4106, allocations: 10.39 MB / 1.089 GB, free: 16.75 MB / 0.8419 GB Notification: Performance of FunctionAlias: time 0.0002821/0.4109, allocations: 451.1 kB / 1.089 GB, free: 16.44 MB / 0.8419 GB Notification: Performance of Early Inline: time 0.009646/0.4205, allocations: 11.02 MB / 1.1 GB, free: 9.828 MB / 0.8419 GB Notification: Performance of simplify1: time 0.0006316/0.4212, allocations: 0.505 MB / 1.101 GB, free: 9.602 MB / 0.8419 GB Notification: Performance of Alias: time 0.01542/0.4366, allocations: 15.27 MB / 1.116 GB, free: 0.7422 MB / 0.8419 GB Notification: Performance of simplify2: time 0.0003903/0.437, allocations: 333.4 kB / 1.116 GB, free: 0.6328 MB / 0.8419 GB Notification: Performance of Events: time 0.002933/0.44, allocations: 2.766 MB / 1.119 GB, free: 15.07 MB / 0.8575 GB Notification: Performance of Detect States: time 0.0035/0.4435, allocations: 3.719 MB / 1.122 GB, free: 12.89 MB / 0.8575 GB Notification: Performance of Partitioning: time 0.002478/0.446, allocations: 2.406 MB / 1.125 GB, free: 11.57 MB / 0.8575 GB Notification: Performance of Causalize: time 0.009564/0.4555, allocations: 8.866 MB / 1.133 GB, free: 8.18 MB / 0.8575 GB Notification: Performance of After Index Reduction Inline: time 0.007345/0.4629, allocations: 7.661 MB / 1.141 GB, free: 3.754 MB / 0.8575 GB Notification: Performance of Inline: time 0.01169/0.4746, allocations: 12.92 MB / 1.153 GB, free: 11.7 MB / 0.8731 GB Notification: Performance of Partitioning: time 0.0006679/0.4753, allocations: 0.5018 MB / 1.154 GB, free: 11.37 MB / 0.8731 GB Notification: Performance of Cleanup: time 0.0006417/0.4759, allocations: 0.7009 MB / 1.155 GB, free: 10.75 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) pre(not latInp4.y) = false ($RES_SIM_13) slice: {}; [SCAL] (1) pre(not latInp3.y) = false ($RES_SIM_16) slice: {}; [SCAL] (1) pre(not pro1.not2.u) = false ($RES_SIM_29) slice: {}; [SCAL] (1) pre(not pro.not2.u) = false ($RES_SIM_32) slice: {}; [SCAL] (1) $TEV_77 = false ($RES_SIM_42) slice: {}; [SCAL] (1) pre(not pro.not2.u) = false ($RES_SIM_45) slice: {}; [SCAL] (1) pre(not pro1.not2.u) = false ($RES_SIM_48) slice: {}; [SCAL] (1) $TEV_73 = false ($RES_SIM_51) slice: {}; [SCAL] (1) $TEV_77 = false ($RES_SIM_58) slice: {}; [SCAL] (1) pre(not pro.not2.u) = false ($RES_SIM_61) slice: {}; [SCAL] (1) pre(not pro1.not2.u) = false ($RES_SIM_64) slice: {}; [SCAL] (1) $TEV_73 = false ($RES_SIM_67) slice: {}; [SCAL] (1) $TEV_73 = false ($RES_SIM_74) slice: {}; [SCAL] (1) pre(not pro1.not2.u) = false ($RES_SIM_77) slice: {}; [SCAL] (1) pre(not pro.not2.u) = false ($RES_SIM_80) slice: {}; [SCAL] (1) $TEV_77 = false ($RES_SIM_83) slice: {}; [SCAL] (1) $TEV_77 = false ($RES_SIM_90) slice: {}; [SCAL] (1) pre(not pro.not2.u) = false ($RES_SIM_93) slice: {}; [SCAL] (1) pre(not latInp.y) = false ($RES_SIM_96) slice: {}; [SCAL] (1) latInp.y = $PRE.latInp.y ($RES_SRT_929) slice: {}; [SCAL] (1) pro.not2.u = $PRE.pro.not2.u ($RES_SRT_928) slice: {}; [SCAL] (1) pro1.not2.u = $PRE.pro1.not2.u ($RES_SRT_927) slice: {}; [SCAL] (1) latInp3.y = $PRE.latInp3.y ($RES_SRT_926) slice: {}; [SCAL] (1) latInp4.y = $PRE.latInp4.y ($RES_SRT_925) slice: {}; Notification: Performance of Causalize: time 0.02162/0.4976, allocations: 19.38 MB / 1.173 GB, free: 11.95 MB / 0.8887 GB Notification: Performance of Tearing: time 2.353e-05/0.4976, allocations: 3.984 kB / 1.173 GB, free: 11.94 MB / 0.8887 GB Notification: Performance of Initialization: time 9.02e-07/0.4976, allocations: 4 kB / 1.173 GB, free: 11.94 MB / 0.8887 GB Notification: Performance of Tearing: time 3.087e-05/0.4976, allocations: 7.938 kB / 1.173 GB, free: 11.93 MB / 0.8887 GB Notification: Performance of Categorize: time 5.704e-05/0.4977, allocations: 12 kB / 1.173 GB, free: 11.92 MB / 0.8887 GB Notification: Performance of Solve: time 0.001891/0.4996, allocations: 1.194 MB / 1.175 GB, free: 10.69 MB / 0.8887 GB Notification: Performance of Jacobian: time 2.955e-06/0.4996, allocations: 0 / 1.175 GB, free: 10.69 MB / 0.8887 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.valTru.t_next, pro5.valInp.u1, 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.valTru.t_next, pro4.valInp.u1, pro3.holTru1.y, pro3.holTru.y, pro3.pasDeb.entryTime, pro3.pasDeb.passed, pro3.delChe2.t_next, pro3.delChe2.y, pro3.delChe1.y, pro3.delChe1.t_next, pro3.truDel1.t_next, pro3.valInp.u2, pro3.valTru.t_next, pro3.valInp.u1, pro2.holTru1.y, pro2.holTru.y, pro2.pasDeb.entryTime, pro2.pasDeb.passed, pro2.delChe2.t_next, pro2.delChe2.y, pro2.delChe1.t_next, pro2.delChe1.y, 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.t_next, pro1.delChe2.y, pro1.delChe1.y, pro1.delChe1.t_next, pro1.truDel1.t_next, pro1.valInp.u2, pro1.valTru.t_next, pro1.valInp.u1, 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.truDel1.t_next, pro.valInp.u2, pro.valInp.u1, pro.valTru.t_next} * Number of clocked states: ..................... 0 (0) {NOT YET AVAILABLE} * Number of discrete variables: ................. 279 (279) {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_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: ........... 285 (scalar:285, 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: ........... 476 (scalar:476, 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.0002002/0.4998, allocations: 226.3 kB / 1.175 GB, free: 10.46 MB / 0.8887 GB Error: Internal error NBEquation.WhenEquationBody.getBodyAttributes.getConditions failed for condition: not (not pro.not2.u)