Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Buildings_13_Buildings.Controls.OBC.CDL.Logical.Validation.Proof.conf.json
loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.1.0+maint.om/package.mo", uses=false) [Timeout 180]
"Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.1.0+maint.om/package.mo): time 0.001911/0.001911, allocations: 80.88 kB / 21.56 MB, free: 2.934 MB / 18.57 MB
"
[Timeout remaining time 180]
loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.1.0+maint.om/package.mo", uses=false) [Timeout 180]
"Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.1.0+maint.om/package.mo): time 0.002082/0.002082, allocations: 162.8 kB / 24.97 MB, free: 8.605 MB / 18.57 MB
"
[Timeout remaining time 180]
loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.1.0+maint.om/package.mo", uses=false) [Timeout 180]
"Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.1.0+maint.om/package.mo): time 1.595/1.595, allocations: 177.1 MB / 205.4 MB, free: 4.457 MB / 186.7 MB
"
[Timeout remaining time 178]
loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 13.0.2-maint.13.x/package.mo", uses=false) [Timeout 180]
"Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 13.0.2-maint.13.x/package.mo): time 3.338/3.338, allocations: 389.5 MB / 0.6361 GB, free: 13.38 MB / 0.6042 GB
"
[Timeout remaining time 176]
Using package Buildings with version 13.0.2 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 13.0.2-maint.13.x/package.mo)
Using package Modelica with version 4.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.1.0+maint.om/package.mo)
Using package Complex with version 4.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.1.0+maint.om/package.mo)
Using package ModelicaServices with version 4.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.1.0+maint.om/package.mo)
Running command: translateModel(Buildings.Controls.OBC.CDL.Logical.Validation.Proof,tolerance=1e-06,outputFormat="empty",numberOfIntervals=2500,variableFilter="",fileNamePrefix="Buildings_13_Buildings.Controls.OBC.CDL.Logical.Validation.Proof")
translateModel(Buildings.Controls.OBC.CDL.Logical.Validation.Proof,tolerance=1e-06,outputFormat="empty",numberOfIntervals=2500,variableFilter="",fileNamePrefix="Buildings_13_Buildings.Controls.OBC.CDL.Logical.Validation.Proof") [Timeout 300]
"Notification: Performance of FrontEnd - Absyn->SCode: time 3.17e-05/3.17e-05, allocations: 6.25 kB / 0.776 GB, free: 13.93 MB / 0.7448 GB
Notification: Performance of NFInst.instantiate(Buildings.Controls.OBC.CDL.Logical.Validation.Proof): time 0.008635/0.008666, allocations: 4.024 MB / 0.7799 GB, free: 9.891 MB / 0.7448 GB
Notification: Performance of NFInst.instExpressions: time 0.007918/0.01658, allocations: 3.612 MB / 0.7834 GB, free: 6.258 MB / 0.7448 GB
Notification: Performance of NFInst.updateImplicitVariability: time 0.001659/0.01824, allocations: 27.94 kB / 0.7835 GB, free: 6.23 MB / 0.7448 GB
Notification: Performance of NFTyping.typeComponents: time 0.00118/0.01942, allocations: 229 kB / 0.7837 GB, free: 6.004 MB / 0.7448 GB
Notification: Performance of NFTyping.typeBindings: time 0.001834/0.02126, allocations: 245.3 kB / 0.7839 GB, free: 5.762 MB / 0.7448 GB
Notification: Performance of NFTyping.typeClassSections: time 0.004451/0.02571, allocations: 1.568 MB / 0.7854 GB, free: 4.191 MB / 0.7448 GB
Notification: Performance of NFFlatten.flatten: time 0.006325/0.03203, allocations: 3.568 MB / 0.7889 GB, free: 0.6172 MB / 0.7448 GB
Notification: Performance of NFFlatten.resolveConnections: time 0.002847/0.03488, allocations: 1.033 MB / 0.7899 GB, free: 15.5 MB / 0.7605 GB
Notification: Performance of NFEvalConstants.evaluate: time 0.004775/0.03965, allocations: 1.923 MB / 0.7918 GB, free: 13.57 MB / 0.7605 GB
Notification: Performance of NFSimplifyModel.simplify: time 0.002179/0.04183, allocations: 0.9112 MB / 0.7927 GB, free: 12.66 MB / 0.7605 GB
Notification: Performance of NFPackage.collectConstants: time 0.001337/0.04317, allocations: 388 kB / 0.7931 GB, free: 12.28 MB / 0.7605 GB
Notification: Performance of NFFlatten.collectFunctions: time 0.001349/0.04452, allocations: 408 kB / 0.7935 GB, free: 11.88 MB / 0.7605 GB
Notification: Performance of combineBinaries: time 0.0055/0.05002, allocations: 3.942 MB / 0.7973 GB, free: 7.914 MB / 0.7605 GB
Notification: Performance of replaceArrayConstructors: time 0.002386/0.0524, allocations: 1.959 MB / 0.7992 GB, free: 5.938 MB / 0.7605 GB
Notification: Performance of NFVerifyModel.verify: time 0.001107/0.05351, allocations: 200 kB / 0.7994 GB, free: 5.742 MB / 0.7605 GB
Notification: Performance of FrontEnd: time 0.0006354/0.05415, allocations: 162.2 kB / 0.7996 GB, free: 5.582 MB / 0.7605 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 [SIM] Bindings: time 0.5052/0.5594, allocations: 11.15 MB / 0.8105 GB, free: 29.31 MB / 0.7605 GB
Notification: Performance of [SIM] FunctionAlias: time 0.001942/0.5613, allocations: 1.845 MB / 0.8123 GB, free: 28.17 MB / 0.7605 GB
Notification: Performance of [SIM] Early Inline: time 0.01255/0.5739, allocations: 10.79 MB / 0.8228 GB, free: 21.52 MB / 0.7605 GB
Notification: Performance of [SIM] Simplify 1: time 0.002546/0.5764, allocations: 1.158 MB / 0.8239 GB, free: 21.07 MB / 0.7605 GB
Notification: Performance of [SIM] Alias: time 0.02504/0.6015, allocations: 14.95 MB / 0.8385 GB, free: 12.86 MB / 0.7605 GB
Notification: Performance of [SIM] Simplify 2: time 0.001878/0.6033, allocations: 0.836 MB / 0.8393 GB, free: 12.3 MB / 0.7605 GB
Notification: Performance of [SIM] Remove Stream: time 0.001618/0.605, allocations: 0.9568 MB / 0.8403 GB, free: 11.56 MB / 0.7605 GB
Notification: Performance of [SIM] Detect States: time 0.003659/0.6086, allocations: 3.344 MB / 0.8435 GB, free: 9.02 MB / 0.7605 GB
Notification: Performance of [SIM] Events: time 0.001599/0.6102, allocations: 1.475 MB / 0.845 GB, free: 8.086 MB / 0.7605 GB
Notification: Performance of [SIM] Partitioning: time 0.004108/0.6143, allocations: 3.248 MB / 0.8482 GB, free: 5.926 MB / 0.7605 GB
Notification: Performance of [SIM] Causalize: time 0.004839/0.6192, allocations: 3.777 MB / 0.8518 GB, free: 4.418 MB / 0.7605 GB
Notification: Performance of [SIM] After Index Reduction Inline: time 0.007023/0.6262, allocations: 7.865 MB / 0.8595 GB, free: 13.46 MB / 0.7761 GB
Notification: Performance of [INI] Simplify: time 0.006425/0.6326, allocations: 3.226 MB / 0.8627 GB, free: 10.14 MB / 0.7761 GB
Notification: Performance of [INI] Inline: time 0.01252/0.6451, allocations: 9.425 MB / 0.8719 GB, free: 0.7812 MB / 0.7761 GB
Notification: Performance of [INI] Partitioning: time 0.0006401/0.6458, allocations: 159.8 kB / 0.872 GB, free: 0.5938 MB / 0.7761 GB
Notification: Performance of [INI] Cleanup: time 0.002447/0.6482, allocations: 1.978 MB / 0.874 GB, free: 14.64 MB / 0.7917 GB
Notification: Performance of [INI] Causalize: time 0.01561/0.6638, allocations: 8.793 MB / 0.8825 GB, free: 5.672 MB / 0.7917 GB
Notification: Performance of [INI] Tearing: time 0.0002043/0.664, allocations: 224 kB / 0.8828 GB, free: 5.453 MB / 0.7917 GB
Notification: Performance of [SIM] Initialization: time 5.02e-06/0.664, allocations: 4 kB / 0.8828 GB, free: 5.449 MB / 0.7917 GB
Notification: Performance of [SIM] Remove Dummies: time 5.904e-05/0.6641, allocations: 10.11 kB / 0.8828 GB, free: 5.441 MB / 0.7917 GB
Notification: Performance of [SIM] Tearing: time 0.0001315/0.6642, allocations: 160 kB / 0.8829 GB, free: 5.285 MB / 0.7917 GB
Notification: Performance of [SIM] Categorize: time 6.039e-05/0.6643, allocations: 12 kB / 0.8829 GB, free: 5.273 MB / 0.7917 GB
Notification: Performance of [SIM] Solve: time 0.003324/0.6676, allocations: 1.87 MB / 0.8848 GB, free: 3.359 MB / 0.7917 GB
Notification: Performance of [SIM] Jacobian: time 1.64e-05/0.6676, allocations: 7.469 kB / 0.8848 GB, free: 3.355 MB / 0.7917 GB
Notification: Performance of [SIM] Minimize Homotopy System: time 7.81e-07/0.6676, allocations: 0 / 0.8848 GB, free: 3.355 MB / 0.7917 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: ......... 2
 * 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, latInp2.y, latInp1.y, latInp.y, pro5.yLocTru, pro5.yLocFal, 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.yLocTru, pro4.yLocFal, 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.yLocTru, pro3.yLocFal, 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.yLocTru, pro2.yLocFal, 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.yLocTru, pro1.yLocFal, 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.yLocTru, pro.yLocFal, 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) {}
 * Number of discrete variables: ................. 240 (240) {pro.u_s, pro.pasDel.y, pro.truFal.y, pro.valTru.u, pro.valFal.y, pro.cheDif1.u2, pro.cheDif1.y, pro.truDel1.u, pro.falTru.y, pro.delChe1.u, pro.booToInt.y, pro.booToInt1.y, pro.botFal.u2, pro.botFal.y, pro.not3.u, pro.cheStaMea.u2, pro.cheStaMea.y, pro.delChe2.u, pro.notBotTru.u, pro.cheDif2.y, pro.cheStaMea1.y, pro.holTru.clr, pro.equInp.y, pro.valEqu.y, pro1.u_s, pro1.pasDel.y, pro1.truFal.y, pro1.valTru.u, pro1.valFal.y, pro1.cheDif1.u2, pro1.cheDif1.y, pro1.truDel1.u, pro1.falTru.y, pro1.delChe1.u, pro1.booToInt.y, pro1.booToInt1.y, pro1.botFal.u2, pro1.botFal.y, pro1.not3.u, pro1.cheStaMea.u2, pro1.cheStaMea.y, pro1.delChe2.u, 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.valTru.u, pro2.valFal.y, pro2.cheDif1.u2, pro2.cheDif1.y, pro2.truDel1.u, pro2.falTru.y, pro2.delChe1.u, pro2.booToInt.y, pro2.booToInt1.y, pro2.botFal.u2, pro2.botFal.y, pro2.not3.u, pro2.cheStaMea.u2, pro2.cheStaMea.y, pro2.delChe2.u, 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.valTru.u, pro3.valFal.y, pro3.cheDif1.u2, pro3.cheDif1.y, pro3.truDel1.u, pro3.falTru.y, pro3.delChe1.u, pro3.booToInt.y, pro3.booToInt1.y, pro3.botFal.u2, pro3.botFal.y, pro3.not3.u, pro3.cheStaMea.u2, pro3.cheStaMea.y, pro3.delChe2.u, 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.valTru.u, pro4.valFal.y, pro4.cheDif1.u2, pro4.cheDif1.y, pro4.truDel1.u, pro4.falTru.y, pro4.delChe1.u, pro4.booToInt.y, pro4.booToInt1.y, pro4.botFal.u2, pro4.botFal.y, pro4.not3.u, pro4.cheStaMea.u2, pro4.cheStaMea.y, pro4.delChe2.u, 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.valTru.u, pro5.valFal.y, pro5.cheDif1.u2, pro5.cheDif1.y, pro5.truDel1.u, pro5.falTru.y, pro5.delChe1.u, pro5.booToInt.y, pro5.booToInt1.y, pro5.botFal.u2, pro5.botFal.y, pro5.not3.u, pro5.cheStaMea.u2, pro5.cheStaMea.y, pro5.delChe2.u, pro5.notBotTru.u, pro5.cheDif2.y, pro5.cheStaMea1.y, pro5.holTru.clr, pro5.equInp.y, pro5.valEqu.y, $WC_59, $WC_58, $WC_57, $WC_56, $WC_55, $WC_54, $WC_53, $WC_52, $WC_51, $WC_50, $WC_49, $WC_48, $WC_47, $WC_46, $WC_45, $WC_44, $WC_43, $WC_42, $WC_41, $WC_40, $WC_39, $WC_38, $WC_37, $WC_36, $WC_35, $WC_34, $WC_33, $WC_32, $WC_31, $WC_30, $WC_29, $WC_28, $WC_27, $WC_26, $WC_25, $WC_24, $WC_23, $WC_22, $WC_21, $WC_20, $WC_19, $WC_18, $WC_17, $WC_16, $WC_15, $WC_14, $WC_13, $WC_12, $WC_11, $WC_10, $WC_9, $WC_8, $WC_7, $WC_6, $WC_5, $WC_4, $WC_3, $WC_2, $WC_1, $WC_0, $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, $SEV_14, $SEV_13, $SEV_12, $SEV_11, $SEV_10, $SEV_9, $SEV_8, $SEV_7, $SEV_6, $SEV_5, $SEV_4, $SEV_3, $SEV_2, $SEV_1, $SEV_0, $TEV_9, $TEV_8, $TEV_7, $TEV_6, $TEV_5, $TEV_4, $TEV_3, $TEV_2, $TEV_1, $TEV_0}
 * Number of clocks: ............................. 0 (0) {}
 * Number of top-level inputs: ................... 0 (0) {}
Notification: [Simulation] Strong Component statistics after passing the back-end:
 * Number of single strong components: ........... 246 (scalar:246, 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 (resizable: 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: ........... 401 (scalar:401, array:0, record:0)
 * Number of multi strong components: ............ 53 (algorithm:53, when:0, if:0, tuple:0)
 * Number of for-loop strong components: ......... 0 (resizable: 0, generic: 0, entwined:0)
 * Number of algebraic-loop strong components: ... 0 (linear: 0, nonlinear:0)
Notification: Performance of backend: time 0.0003045/0.6679, allocations: 239.2 kB / 0.885 GB, free: 3.105 MB / 0.7917 GB
Notification: Performance of SimCode: time 0.006852/0.6748, allocations: 3.503 MB / 0.8884 GB, free: 15.45 MB / 0.8073 GB
Notification: Performance of Templates: time 0.04418/0.719, allocations: 21.55 MB / 0.9095 GB, free: 10.22 MB / 0.823 GB
"
[Timeout remaining time 299]
make -j1 -f Buildings_13_Buildings.Controls.OBC.CDL.Logical.Validation.Proof.makefile [Timeout 300]
(rm -f Buildings_13_Buildings.Controls.OBC.CDL.Logical.Validation.Proof.pipe ; mkfifo Buildings_13_Buildings.Controls.OBC.CDL.Logical.Validation.Proof.pipe ; head -c 1048576 < Buildings_13_Buildings.Controls.OBC.CDL.Logical.Validation.Proof.pipe >> ../files/Buildings_13_Buildings.Controls.OBC.CDL.Logical.Validation.Proof.sim & ./Buildings_13_Buildings.Controls.OBC.CDL.Logical.Validation.Proof -abortSlowSimulation -alarm=240  -lv LOG_STATS > Buildings_13_Buildings.Controls.OBC.CDL.Logical.Validation.Proof.pipe 2>&1) [Timeout 240]
[Calling sys.exit(0), Time elapsed: 9.582136501558125]