Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr AixLib_AixLib.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.0008047/0.0008047, allocations: 80.25 kB / 20.06 MB, free: 4.465 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.0009941/0.0009941, allocations: 173.9 kB / 23.36 MB, free: 1.16 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 0.8278/0.8278, allocations: 177.2 MB / 203.7 MB, free: 5.703 MB / 186.7 MB
"
[Timeout remaining time 179]
loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/package.mo", uses=false) [Timeout 180]
"Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/package.mo): time 0.03234/0.03234, allocations: 9.125 MB / 269.3 MB, free: 4.418 MB / 250.7 MB
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/EmbeddedTargets/STM32F4/Functions/HAL.mo:5:3-11:14:writable] Warning: External function annotation should occur on the external-clause, not on the function.
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Incubate/OperatingSystem/DynamicArray.mo:6:3-94:18:writable] Warning: External function annotation should occur on the external-clause, not on the function.
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Incubate/Utilities/Functions.mo:1041:3-1062:27:writable] Warning: External function annotation should occur on the external-clause, not on the function.
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Incubate/Utilities/Functions.mo:1064:3-1092:25:writable] Warning: External function annotation should occur on the external-clause, not on the function.
"
[Timeout remaining time 180]
loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/SDF master/package.mo", uses=false) [Timeout 180]
"Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/SDF master/package.mo): time 0.0003903/0.0003903, allocations: 23.97 kB / 328.7 MB, free: 20.59 MB / 266.7 MB
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/EmbeddedTargets/STM32F4/Functions/HAL.mo:5:3-11:14:writable] Warning: External function annotation should occur on the external-clause, not on the function.
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Incubate/OperatingSystem/DynamicArray.mo:6:3-94:18:writable] Warning: External function annotation should occur on the external-clause, not on the function.
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Incubate/Utilities/Functions.mo:1041:3-1062:27:writable] Warning: External function annotation should occur on the external-clause, not on the function.
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Incubate/Utilities/Functions.mo:1064:3-1092:25:writable] Warning: External function annotation should occur on the external-clause, not on the function.
"
[Timeout remaining time 180]
loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 3.0.0/package.mo", uses=false) [Timeout 180]
"Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 3.0.0/package.mo): time 1.445/1.445, allocations: 275 MB / 0.6476 GB, free: 2.477 MB / 0.4949 GB
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/EmbeddedTargets/STM32F4/Functions/HAL.mo:5:3-11:14:writable] Warning: External function annotation should occur on the external-clause, not on the function.
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Incubate/OperatingSystem/DynamicArray.mo:6:3-94:18:writable] Warning: External function annotation should occur on the external-clause, not on the function.
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Incubate/Utilities/Functions.mo:1041:3-1062:27:writable] Warning: External function annotation should occur on the external-clause, not on the function.
[/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Incubate/Utilities/Functions.mo:1064:3-1092:25:writable] Warning: External function annotation should occur on the external-clause, not on the function.
"
[Timeout remaining time 178]
Using package AixLib with version 3.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 3.0.0/package.mo)
Using package SDF with version 0.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/SDF master/package.mo)
Using package Modelica_DeviceDrivers with version 2.2.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/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(AixLib.Controls.OBC.CDL.Logical.Validation.Proof,tolerance=1e-06,outputFormat="empty",numberOfIntervals=2500,variableFilter="",fileNamePrefix="AixLib_AixLib.Controls.OBC.CDL.Logical.Validation.Proof")
translateModel(AixLib.Controls.OBC.CDL.Logical.Validation.Proof,tolerance=1e-06,outputFormat="empty",numberOfIntervals=2500,variableFilter="",fileNamePrefix="AixLib_AixLib.Controls.OBC.CDL.Logical.Validation.Proof") [Timeout 660]
"Notification: Performance of FrontEnd - Absyn->SCode: time 2.034e-05/2.034e-05, allocations: 2.312 kB / 0.9295 GB, free: 8.105 MB / 0.698 GB
Notification: Performance of NFInst.instantiate(AixLib.Controls.OBC.CDL.Logical.Validation.Proof): time 0.00407/0.00409, allocations: 3.804 MB / 0.9332 GB, free: 4.305 MB / 0.698 GB
Notification: Performance of NFInst.instExpressions: time 0.003571/0.007661, allocations: 3.523 MB / 0.9367 GB, free: 0.7695 MB / 0.698 GB
Notification: Performance of NFInst.updateImplicitVariability: time 0.0007138/0.008375, allocations: 31.94 kB / 0.9367 GB, free: 0.7383 MB / 0.698 GB
Notification: Performance of NFTyping.typeComponents: time 0.000386/0.008761, allocations: 229 kB / 0.9369 GB, free: 0.5117 MB / 0.698 GB
Notification: Performance of NFTyping.typeBindings: time 0.0004578/0.009219, allocations: 225.5 kB / 0.9371 GB, free: 296 kB / 0.698 GB
Notification: Performance of NFTyping.typeClassSections: time 0.002301/0.01152, allocations: 1.582 MB / 0.9387 GB, free: 14.71 MB / 0.7137 GB
Notification: Performance of NFFlatten.flatten: time 0.002555/0.01407, allocations: 3.573 MB / 0.9422 GB, free: 11.15 MB / 0.7137 GB
Notification: Performance of NFFlatten.resolveConnections: time 0.001066/0.01514, allocations: 1.01 MB / 0.9432 GB, free: 10.07 MB / 0.7137 GB
Notification: Performance of NFEvalConstants.evaluate: time 0.002026/0.01717, allocations: 1.911 MB / 0.945 GB, free: 8.16 MB / 0.7137 GB
Notification: Performance of NFSimplifyModel.simplify: time 0.0006653/0.01783, allocations: 1.005 MB / 0.946 GB, free: 7.152 MB / 0.7137 GB
Notification: Performance of NFPackage.collectConstants: time 0.0003144/0.01815, allocations: 420 kB / 0.9464 GB, free: 6.742 MB / 0.7137 GB
Notification: Performance of NFFlatten.collectFunctions: time 0.0003038/0.01845, allocations: 432 kB / 0.9468 GB, free: 6.32 MB / 0.7137 GB
Notification: Performance of combineBinaries: time 0.002053/0.0205, allocations: 4.355 MB / 0.9511 GB, free: 1.93 MB / 0.7137 GB
Notification: Performance of replaceArrayConstructors: time 0.001242/0.02174, allocations: 2.22 MB / 0.9532 GB, free: 15.68 MB / 0.7293 GB
Notification: Performance of NFVerifyModel.verify: time 0.0003983/0.02214, allocations: 200 kB / 0.9534 GB, free: 15.48 MB / 0.7293 GB
Notification: Performance of FrontEnd: time 0.0002376/0.02238, allocations: 158.2 kB / 0.9536 GB, free: 15.32 MB / 0.7293 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.008395/0.03078, allocations: 10.54 MB / 0.9639 GB, free: 4.457 MB / 0.7293 GB
Notification: Performance of [SIM] FunctionAlias: time 0.00199/0.03276, allocations: 1.9 MB / 0.9657 GB, free: 2.539 MB / 0.7293 GB
Notification: Performance of [SIM] Early Inline: time 0.008275/0.04104, allocations: 10 MB / 0.9755 GB, free: 8.441 MB / 0.7449 GB
Notification: Performance of [SIM] Simplify 1: time 0.001693/0.04273, allocations: 1.131 MB / 0.9766 GB, free: 7.215 MB / 0.7449 GB
Notification: Performance of [SIM] Alias: time 0.01278/0.05552, allocations: 14.85 MB / 0.9911 GB, free: 6.871 MB / 0.7605 GB
Notification: Performance of [SIM] Simplify 2: time 0.0007747/0.05629, allocations: 0.8476 MB / 0.9919 GB, free: 5.98 MB / 0.7605 GB
Notification: Performance of [SIM] Remove Stream: time 0.0008972/0.05719, allocations: 0.9925 MB / 0.9929 GB, free: 4.941 MB / 0.7605 GB
Notification: Performance of [SIM] Detect States: time 0.002306/0.05949, allocations: 3.499 MB / 0.9963 GB, free: 1.293 MB / 0.7605 GB
Notification: Performance of [SIM] Events: time 0.001216/0.06071, allocations: 1.377 MB / 0.9977 GB, free: 15.83 MB / 0.7762 GB
Notification: Performance of [SIM] Partitioning: time 0.003205/0.06392, allocations: 3.694 MB / 1.001 GB, free: 11.97 MB / 0.7762 GB
Notification: Performance of [SIM] Causalize: time 0.005744/0.06966, allocations: 6.111 MB / 1.007 GB, free: 5.746 MB / 0.7762 GB
Notification: Performance of [SIM] After Index Reduction Inline: time 0.005449/0.07511, allocations: 8.021 MB / 1.015 GB, free: 13.72 MB / 0.7918 GB
Notification: Performance of [INI] Simplify: time 0.004253/0.07936, allocations: 3.369 MB / 1.018 GB, free: 10.09 MB / 0.7918 GB
Notification: Performance of [INI] Inline: time 0.007884/0.08724, allocations: 10 MB / 1.028 GB, free: 48 kB / 0.7918 GB
Notification: Performance of [INI] Partitioning: time 0.0005751/0.08782, allocations: 198 kB / 1.028 GB, free: 15.8 MB / 0.8074 GB
Notification: Performance of [INI] Cleanup: time 0.002199/0.09002, allocations: 2.427 MB / 1.031 GB, free: 13.38 MB / 0.8074 GB
Notification: Performance of [INI] Causalize: time 0.01637/0.1064, allocations: 14.33 MB / 1.045 GB, free: 14.64 MB / 0.823 GB
Notification: Performance of [INI] Tearing: time 0.0001148/0.1065, allocations: 288 kB / 1.045 GB, free: 14.36 MB / 0.823 GB
Notification: Performance of [SIM] Initialization: time 2.515e-06/0.1065, allocations: 4 kB / 1.045 GB, free: 14.36 MB / 0.823 GB
Notification: Performance of [SIM] DAE-Mode: time 0.0003405/0.1068, allocations: 192.1 kB / 1.045 GB, free: 14.16 MB / 0.823 GB
Notification: Performance of [SIM] Remove Dummies: time 1.067e-05/0.1069, allocations: 3.094 kB / 1.045 GB, free: 14.15 MB / 0.823 GB
Notification: Performance of [SIM] Tearing: time 6.48e-05/0.1069, allocations: 196 kB / 1.045 GB, free: 13.96 MB / 0.823 GB
Notification: Performance of [SIM] Categorize: time 4.121e-05/0.107, allocations: 12 kB / 1.045 GB, free: 13.95 MB / 0.823 GB
Notification: Performance of [SIM] Solve: time 0.003375/0.1103, allocations: 2.227 MB / 1.048 GB, free: 11.68 MB / 0.823 GB
Notification: Performance of [SIM] Jacobian: time 0.0004981/0.1108, allocations: 380.2 kB / 1.048 GB, free: 11.24 MB / 0.823 GB
Notification: Performance of [SIM] Minimize Homotopy System: time 9.42e-07/0.1108, allocations: 0 / 1.048 GB, free: 11.24 MB / 0.823 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: ................. 293 (293) {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.samInpEdg.u, 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.samInpEdg.u, 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.samInpEdg.u, 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.samInpEdg.u, 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.samInpEdg.u, 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.samInpEdg.u, pro5.valEqu.y, $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, $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: ........... 299 (scalar:299, 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: ........... 514 (scalar:514, 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 (resizable: 0, generic: 0, entwined:0)
 * Number of algebraic-loop strong components: ... 0 (linear: 0, nonlinear:0)
Notification: Performance of backend: time 0.0002412/0.1111, allocations: 282.5 kB / 1.048 GB, free: 10.95 MB / 0.823 GB
Notification: Performance of SimCode: time 0.006486/0.1176, allocations: 7.411 MB / 1.055 GB, free: 3.348 MB / 0.823 GB
Notification: Performance of Templates: time 0.0199/0.1375, allocations: 16.32 MB / 1.071 GB, free: 3.234 MB / 0.8387 GB
"
[Timeout remaining time 660]
make -j1 -f AixLib_AixLib.Controls.OBC.CDL.Logical.Validation.Proof.makefile [Timeout 660]
(rm -f AixLib_AixLib.Controls.OBC.CDL.Logical.Validation.Proof.pipe ; mkfifo AixLib_AixLib.Controls.OBC.CDL.Logical.Validation.Proof.pipe ; head -c 1048576 < AixLib_AixLib.Controls.OBC.CDL.Logical.Validation.Proof.pipe >> ../files/AixLib_AixLib.Controls.OBC.CDL.Logical.Validation.Proof.sim & ./AixLib_AixLib.Controls.OBC.CDL.Logical.Validation.Proof  -abortSlowSimulation -alarm=480 -lv LOG_STATS > AixLib_AixLib.Controls.OBC.CDL.Logical.Validation.Proof.pipe 2>&1) [Timeout 480]
[Calling os._exit(0), Time elapsed: 6.250530836172402]
Failed to read output from testmodel.py, exit status != 0:
0.14278543088585138 0.151017799 0.12704869800000002
Calling exit ...
<OMPython.OMCSessionZMQ object at 0x7e3ad05b03e0>