Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Buildings_10_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 10.1.1-maint.10.0.x/package.mo", uses=false) Using package Buildings with version 10.1.1 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 10.1.1-maint.10.0.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_10_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_10_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.001163/0.001163, allocations: 111.8 kB / 16.42 MB, free: 6.52 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.001108/0.001108, allocations: 183.1 kB / 17.35 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.23/1.23, allocations: 222.9 MB / 241 MB, free: 15.11 MB / 206.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 10.1.1-maint.10.0.x/package.mo): time 2.182/2.182, allocations: 437 MB / 0.7111 GB, free: 4.43 MB / 0.5762 GB Notification: Performance of FrontEnd - Absyn->SCode: time 2.127e-05/2.129e-05, allocations: 6.219 kB / 1.019 GB, free: 9.449 MB / 0.795 GB Notification: Performance of NFInst.instantiate(Buildings.Controls.OBC.CDL.Logical.Validation.Proof): time 0.004942/0.004978, allocations: 4.244 MB / 1.023 GB, free: 5.191 MB / 0.795 GB Notification: Performance of NFInst.instExpressions: time 0.004607/0.009597, allocations: 3.647 MB / 1.027 GB, free: 1.523 MB / 0.795 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.0005625/0.01017, allocations: 31.94 kB / 1.027 GB, free: 1.492 MB / 0.795 GB Notification: Performance of NFTyping.typeComponents: time 0.0004114/0.01059, allocations: 232.9 kB / 1.027 GB, free: 1.262 MB / 0.795 GB Notification: Performance of NFTyping.typeBindings: time 0.0003975/0.01099, allocations: 217.6 kB / 1.027 GB, free: 1.047 MB / 0.795 GB Notification: Performance of NFTyping.typeClassSections: time 0.002566/0.0136, allocations: 1.697 MB / 1.029 GB, free: 15.36 MB / 0.8106 GB Notification: Performance of NFFlatten.flatten: time 0.003166/0.01677, allocations: 3.831 MB / 1.033 GB, free: 11.53 MB / 0.8106 GB Notification: Performance of NFFlatten.resolveConnections: time 0.001595/0.01837, allocations: 1.529 MB / 1.034 GB, free: 9.934 MB / 0.8106 GB Notification: Performance of NFEvalConstants.evaluate: time 0.001309/0.01969, allocations: 1.364 MB / 1.036 GB, free: 8.566 MB / 0.8106 GB Notification: Performance of NFSimplifyModel.simplify: time 0.00109/0.02079, allocations: 1.413 MB / 1.037 GB, free: 7.148 MB / 0.8106 GB Notification: Performance of NFPackage.collectConstants: time 0.0004685/0.02126, allocations: 456 kB / 1.037 GB, free: 6.703 MB / 0.8106 GB Notification: Performance of NFFlatten.collectFunctions: time 0.0004638/0.02173, allocations: 468 kB / 1.038 GB, free: 6.246 MB / 0.8106 GB Notification: Performance of combineBinaries: time 0.002173/0.02391, allocations: 3.964 MB / 1.042 GB, free: 2.242 MB / 0.8106 GB Notification: Performance of replaceArrayConstructors: time 0.0009917/0.02491, allocations: 2.104 MB / 1.044 GB, free: 108 kB / 0.8106 GB Notification: Performance of NFVerifyModel.verify: time 0.0004989/0.02542, allocations: 462.8 kB / 1.044 GB, free: 15.65 MB / 0.8262 GB Notification: Performance of FrontEnd: time 0.0003271/0.02575, allocations: 162.2 kB / 1.044 GB, free: 15.49 MB / 0.8262 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.009033/0.03479, allocations: 10.84 MB / 1.055 GB, free: 4.355 MB / 0.8262 GB Notification: Performance of FunctionAlias: time 0.0003589/0.03516, allocations: 471.5 kB / 1.055 GB, free: 3.895 MB / 0.8262 GB Notification: Performance of Early Inline: time 0.01002/0.04519, allocations: 11.86 MB / 1.067 GB, free: 7.926 MB / 0.8419 GB Notification: Performance of simplify1: time 0.0005531/0.04577, allocations: 0.5537 MB / 1.067 GB, free: 7.371 MB / 0.8419 GB Notification: Performance of Alias: time 0.4231/0.4688, allocations: 15.53 MB / 1.083 GB, free: 41.68 MB / 0.8419 GB Notification: Performance of simplify2: time 0.0006271/0.4695, allocations: 395.6 kB / 1.083 GB, free: 41.67 MB / 0.8419 GB Notification: Performance of Detect States: time 0.003646/0.4732, allocations: 3.966 MB / 1.087 GB, free: 41.34 MB / 0.8419 GB Notification: Performance of Events: time 0.003949/0.4771, allocations: 3.309 MB / 1.09 GB, free: 40.48 MB / 0.8419 GB Notification: Performance of Partitioning: time 0.003064/0.4802, allocations: 2.765 MB / 1.093 GB, free: 39.68 MB / 0.8419 GB Notification: Performance of Causalize: time 0.01184/0.4921, allocations: 10.25 MB / 1.103 GB, free: 35.9 MB / 0.8419 GB Notification: Performance of After Index Reduction Inline: time 0.009895/0.502, allocations: 9.077 MB / 1.112 GB, free: 30.64 MB / 0.8419 GB Notification: Performance of Inline: time 0.01514/0.5171, allocations: 14.68 MB / 1.126 GB, free: 22.21 MB / 0.8419 GB Notification: Performance of Partitioning: time 0.0009133/0.5181, allocations: 0.5557 MB / 1.127 GB, free: 21.85 MB / 0.8419 GB Notification: Performance of Cleanup: time 0.000915/0.519, allocations: 0.7828 MB / 1.127 GB, free: 21.46 MB / 0.8419 GB Warning: NBResolveSingularities.balanceInitialization reports an overdetermined initialization! Checking for consistency is not yet supported, following equations had to be removed: [SCAL] (1) $TEV_61 = false ($RES_SIM_10) slice: {}; [SCAL] (1) not $TEV_69 = false ($RES_SIM_19) slice: {}; [SCAL] (1) $TEV_72 = false ($RES_SIM_25) slice: {}; [SCAL] (1) $TEV_75 = false ($RES_SIM_32) slice: {}; [SCAL] (1) not $TEV_83 = false ($RES_SIM_41) slice: {}; [SCAL] (1) $TEV_86 = false ($RES_SIM_47) slice: {}; [SCAL] (1) $TEV_89 = false ($RES_SIM_54) slice: {}; [SCAL] (1) $TEV_86 = false ($RES_SIM_60) slice: {}; [SCAL] (1) not $TEV_86 = false ($RES_SIM_63) slice: {}; [SCAL] (1) not $TEV_83 = false ($RES_SIM_66) slice: {}; [SCAL] (1) $TEV_83 = false ($RES_SIM_69) slice: {}; [SCAL] (1) $TEV_101 = false ($RES_SIM_76) slice: {}; [SCAL] (1) $TEV_86 = false ($RES_SIM_82) slice: {}; [SCAL] (1) not $TEV_86 = false ($RES_SIM_85) slice: {}; [SCAL] (1) not $TEV_83 = false ($RES_SIM_88) slice: {}; [SCAL] (1) $TEV_83 = false ($RES_SIM_91) slice: {}; [SCAL] (1) $TEV_113 = false ($RES_SIM_98) slice: {}; [SCAL] (1) $TEV_83 = false ($RES_SIM_104) slice: {}; [SCAL] (1) not $TEV_83 = false ($RES_SIM_107) slice: {}; [SCAL] (1) not $TEV_86 = false ($RES_SIM_110) slice: {}; [SCAL] (1) $TEV_86 = false ($RES_SIM_113) slice: {}; [SCAL] (1) $TEV_125 = false ($RES_SIM_120) slice: {}; [SCAL] (1) $TEV_86 = false ($RES_SIM_126) slice: {}; [SCAL] (1) not $TEV_86 = false ($RES_SIM_129) slice: {}; [SCAL] (1) $TEV_135 = false ($RES_SIM_135) slice: {}; [SCAL] (1) latInp.y = $PRE.latInp.y ($RES_SRT_1031) slice: {}; [SCAL] (1) pro.not2.u = $PRE.pro.not2.u ($RES_SRT_1030) slice: {}; [SCAL] (1) pro1.not2.u = $PRE.pro1.not2.u ($RES_SRT_1029) slice: {}; [SCAL] (1) latInp3.y = $PRE.latInp3.y ($RES_SRT_1028) slice: {}; [SCAL] (1) latInp4.y = $PRE.latInp4.y ($RES_SRT_1027) slice: {}; Notification: Performance of Causalize: time 0.02288/0.5419, allocations: 23.18 MB / 1.15 GB, free: 9.234 MB / 0.8419 GB Notification: Performance of Tearing: time 3.289e-05/0.542, allocations: 3.469 kB / 1.15 GB, free: 9.234 MB / 0.8419 GB Notification: Performance of Initialization: time 1.493e-06/0.542, allocations: 0 / 1.15 GB, free: 9.234 MB / 0.8419 GB Notification: Performance of Tearing: time 4.282e-05/0.542, allocations: 13.91 kB / 1.15 GB, free: 9.227 MB / 0.8419 GB Notification: Performance of Categorize: time 6.706e-05/0.5421, allocations: 16 kB / 1.15 GB, free: 9.211 MB / 0.8419 GB Notification: Performance of Solve: time 0.002003/0.5441, allocations: 1.373 MB / 1.151 GB, free: 8.078 MB / 0.8419 GB Notification: Performance of Jacobian: time 3.427e-06/0.5441, allocations: 4 kB / 1.151 GB, free: 8.074 MB / 0.8419 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: ................. 345 (345) {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_158, $SEV_157, $SEV_156, $SEV_155, $SEV_154, $SEV_153, $SEV_152, $SEV_151, $SEV_150, $SEV_149, $SEV_148, $SEV_147, $SEV_146, $SEV_145, $SEV_144, $SEV_143, $SEV_142, $SEV_141, $SEV_140, $SEV_139, $SEV_138, $SEV_137, $SEV_136, $SEV_135, $SEV_134, $SEV_133, $SEV_132, $SEV_131, $SEV_130, $SEV_129, $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_146, $TEV_145, $TEV_144, $TEV_143, $TEV_142, $TEV_141, $TEV_140, $TEV_139, $TEV_138, $TEV_137, $TEV_136, $TEV_135, $TEV_134, $TEV_133, $TEV_132, $TEV_131, $TEV_130, $TEV_129, $TEV_128, $TEV_127, $TEV_126, $TEV_125, $TEV_124, $TEV_123, $TEV_122, $TEV_121, $TEV_120, $TEV_119, $TEV_118, $TEV_117, $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: ........... 351 (scalar:351, 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: ........... 560 (scalar:560, 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.0001863/0.5443, allocations: 254.4 kB / 1.152 GB, free: 7.938 MB / 0.8419 GB Error: Internal error NBEquation.WhenEquationBody.getBodyAttributes.getConditions failed for condition: not (not pro.not2.u)