Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_3.2.3_Modelica.Electrical.Digital.Examples.Counter3.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 3.2.3+maint.om/package.mo", uses=false) Using package Modelica with version 3.2.3 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+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(Modelica.Electrical.Digital.Examples.Counter3,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|Counter.FF1.RS1.TD1.x|Counter.FF1.RS2.TD1.x|Counter.FF2.RS1.TD1.x|Counter.FF2.RS2.TD1.x|Counter.FF3.RS1.TD1.x|Counter.FF3.RS2.TD1.x",fileNamePrefix="Modelica_3.2.3_Modelica.Electrical.Digital.Examples.Counter3") translateModel(Modelica.Electrical.Digital.Examples.Counter3,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|Counter.FF1.RS1.TD1.x|Counter.FF1.RS2.TD1.x|Counter.FF2.RS1.TD1.x|Counter.FF2.RS2.TD1.x|Counter.FF3.RS1.TD1.x|Counter.FF3.RS2.TD1.x",fileNamePrefix="Modelica_3.2.3_Modelica.Electrical.Digital.Examples.Counter3") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001353/0.001353, allocations: 107.3 kB / 18.41 MB, free: 4.688 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.001585/0.001585, allocations: 193.4 kB / 19.35 MB, free: 3.762 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+maint.om/package.mo): time 1.726/1.726, allocations: 205.1 MB / 225.2 MB, free: 12.23 MB / 190.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 2.797e-05/2.798e-05, allocations: 3.125 kB / 329.2 MB, free: 3.355 MB / 270.1 MB Notification: Performance of NFInst.instantiate(Modelica.Electrical.Digital.Examples.Counter3): time 0.005214/0.00525, allocations: 3.568 MB / 332.7 MB, free: 15.77 MB / 286.1 MB Notification: Performance of NFInst.instExpressions: time 0.003523/0.008809, allocations: 1.724 MB / 334.5 MB, free: 14.04 MB / 286.1 MB Notification: Performance of NFInst.updateImplicitVariability: time 0.0002007/0.009023, allocations: 11.94 kB / 334.5 MB, free: 14.02 MB / 286.1 MB Notification: Performance of NFTyping.typeComponents: time 0.0003841/0.009414, allocations: 134.8 kB / 334.6 MB, free: 13.89 MB / 286.1 MB Notification: Performance of NFTyping.typeBindings: time 0.0002279/0.00965, allocations: 91.14 kB / 334.7 MB, free: 13.8 MB / 286.1 MB Notification: Performance of NFTyping.typeClassSections: time 0.0009199/0.0106, allocations: 0.4955 MB / 335.2 MB, free: 13.3 MB / 286.1 MB Notification: Performance of NFFlatten.flatten: time 0.001191/0.0118, allocations: 1.3 MB / 336.5 MB, free: 12 MB / 286.1 MB Notification: Performance of NFFlatten.resolveConnections: time 0.0008574/0.01266, allocations: 0.6058 MB / 337.1 MB, free: 11.38 MB / 286.1 MB Notification: Performance of NFEvalConstants.evaluate: time 0.001626/0.0143, allocations: 1.56 MB / 338.6 MB, free: 9.812 MB / 286.1 MB Notification: Performance of NFSimplifyModel.simplify: time 0.0007707/0.01508, allocations: 0.6811 MB / 339.3 MB, free: 9.129 MB / 286.1 MB Notification: Performance of NFPackage.collectConstants: time 0.0002378/0.01533, allocations: 160 kB / 339.5 MB, free: 8.973 MB / 286.1 MB Notification: Performance of NFFlatten.collectFunctions: time 0.0002328/0.01557, allocations: 152 kB / 339.6 MB, free: 8.824 MB / 286.1 MB Notification: Performance of combineBinaries: time 0.001162/0.01674, allocations: 1.392 MB / 341 MB, free: 7.418 MB / 286.1 MB Notification: Performance of replaceArrayConstructors: time 0.0004488/0.01719, allocations: 0.7198 MB / 341.7 MB, free: 6.688 MB / 286.1 MB Notification: Performance of NFVerifyModel.verify: time 0.000177/0.01738, allocations: 147.6 kB / 341.9 MB, free: 6.543 MB / 286.1 MB Notification: Performance of FrontEnd: time 9.953e-05/0.01748, allocations: 35.69 kB / 341.9 MB, free: 6.508 MB / 286.1 MB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 237 (231) * Number of variables: 237 (177) Notification: Performance of Bindings: time 0.004646/0.02213, allocations: 4.487 MB / 346.4 MB, free: 1.867 MB / 286.1 MB Notification: Performance of FunctionAlias: time 0.0003423/0.02248, allocations: 307.3 kB / 346.7 MB, free: 1.566 MB / 286.1 MB Notification: Performance of Early Inline: time 0.003432/0.02593, allocations: 3.067 MB / 349.8 MB, free: 14.46 MB / 302.1 MB Notification: Performance of simplify1: time 0.0002955/0.02624, allocations: 207.4 kB / 350 MB, free: 14.26 MB / 302.1 MB Notification: Performance of Alias: time 0.004687/0.03093, allocations: 3.692 MB / 353.7 MB, free: 10.32 MB / 302.1 MB Notification: Performance of simplify2: time 0.0002617/0.03121, allocations: 163.5 kB / 353.8 MB, free: 10.16 MB / 302.1 MB Notification: Performance of Events: time 0.0008338/0.03205, allocations: 0.5796 MB / 354.4 MB, free: 9.562 MB / 302.1 MB Notification: Performance of Detect States: time 0.001704/0.03377, allocations: 1.589 MB / 356 MB, free: 7.93 MB / 302.1 MB Notification: Performance of Partitioning: time 0.001462/0.03524, allocations: 1.292 MB / 357.3 MB, free: 6.617 MB / 302.1 MB Notification: Performance of Causalize: time 0.006411/0.04166, allocations: 5.834 MB / 363.1 MB, free: 0.7656 MB / 302.1 MB Notification: Performance of After Index Reduction Inline: time 0.003213/0.04489, allocations: 2.943 MB / 366.1 MB, free: 13.78 MB / 318.1 MB Notification: Performance of Inline: time 0.005517/0.05042, allocations: 5.031 MB / 371.1 MB, free: 8.637 MB / 318.1 MB Notification: Performance of Partitioning: time 0.0003456/0.05078, allocations: 284.1 kB / 371.4 MB, free: 8.336 MB / 318.1 MB Notification: Performance of Cleanup: time 0.0003449/0.05113, allocations: 251.5 kB / 371.6 MB, free: 8.09 MB / 318.1 MB Notification: Performance of Causalize: time 0.2844/0.3356, allocations: 8.241 MB / 379.9 MB, free: 38.95 MB / 318.1 MB Notification: Performance of Tearing: time 2.324e-05/0.3356, allocations: 0 / 379.9 MB, free: 38.95 MB / 318.1 MB Notification: Performance of Initialization: time 9.91e-07/0.3356, allocations: 0 / 379.9 MB, free: 38.95 MB / 318.1 MB Notification: Performance of Tearing: time 2.383e-05/0.3357, allocations: 1.469 kB / 379.9 MB, free: 38.95 MB / 318.1 MB Notification: Performance of Categorize: time 6.476e-05/0.3357, allocations: 6.656 kB / 379.9 MB, free: 38.95 MB / 318.1 MB Error: Internal error NBSolve.solveStrongComponent failed with status = Solve.UNSOLVABLE while trying to solve following strong component: BLOCK: Sliced Component (status = Solve.UNPROCESSED) ------------------------------------------------------ ### Variable: Counter.FF1.And1.auxiliary[1 + $i1] ### Equation: [FOR-] (2) ($RES_SIM_102) [----] for $i1 in 1:2 loop [----] [SCAL] (1) Counter.FF1.And1.auxiliary[$i1 + 1] = ({{Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X'}})[Counter.FF1.And1.auxiliary[$i1], Counter.FF1.And1.x[$i1 + 1]] ($RES_SIM_103) [----] end for; slice: {1, 0}