Running command: translateModel(Modelica_StateGraph2.Examples.Applications.Deadlock,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_StateGraph2_Modelica_StateGraph2.Examples.Applications.Deadlock") Notification: Performance of loadModel(Modelica_StateGraph2): time 1.911/1.911, allocations: 208.4 MB / 220.6 MB, free: 15.44 MB / 186.7 MB Notification: Performance of FrontEnd - loaded program: time 4.518e-05/4.538e-05, allocations: 4 kB / 271.3 MB, free: 12.68 MB / 234.7 MB Notification: Performance of FrontEnd - Absyn->SCode: time 0.2969/0.297, allocations: 47.77 MB / 319 MB, free: 12.24 MB / 266.7 MB Notification: Performance of FrontEnd - scodeFlatten: time 0.1095/0.4065, allocations: 72.31 MB / 391.3 MB, free: 5.445 MB / 330.7 MB Notification: Performance of FrontEnd - mkProgramGraph: time 0.0001354/0.4067, allocations: 51.98 kB / 391.4 MB, free: 5.395 MB / 330.7 MB [/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/build/lib/omlibrary/Modelica_StateGraph2 2.0.3/package.mo:12150:5-12156:3:writable] Warning: Usage of non-standard operator (not specified in the Modelica specification): Connections.uniqueRoot. Functionality might be partially supported but is not guaranteed. Notification: Performance of FrontEnd - DAE generated: time 0.07589/0.4826, allocations: 21.77 MB / 413.2 MB, free: 15.58 MB / 362.7 MB Notification: Performance of FrontEnd: time 2.221e-06/0.4827, allocations: 0 / 413.2 MB, free: 15.58 MB / 362.7 MB Notification: Performance of Transformations before backend: time 0.0001346/0.4828, allocations: 63.97 kB / 413.2 MB, free: 15.52 MB / 362.7 MB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 526 * Number of variables: 526 Notification: Performance of Generate backend data structure: time 0.00286/0.4857, allocations: 1.562 MB / 414.8 MB, free: 13.87 MB / 362.7 MB Notification: Performance of prepare preOptimizeDAE: time 4.806e-05/0.4857, allocations: 15.98 kB / 414.8 MB, free: 13.86 MB / 362.7 MB Notification: Performance of preOpt normalInlineFunction (simulation): time 0.000488/0.4862, allocations: 217.5 kB / 415 MB, free: 13.64 MB / 362.7 MB Notification: Performance of preOpt evaluateParameters (simulation): time 0.002186/0.4884, allocations: 0.9037 MB / 415.9 MB, free: 12.7 MB / 362.7 MB Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.0001946/0.4887, allocations: 164.1 kB / 416.1 MB, free: 12.53 MB / 362.7 MB Notification: Performance of preOpt expandDerOperator (simulation): time 0.0003453/0.489, allocations: 208 kB / 416.3 MB, free: 12.33 MB / 362.7 MB Notification: Performance of preOpt clockPartitioning (simulation): time 0.004778/0.4938, allocations: 2.302 MB / 418.6 MB, free: 9.746 MB / 362.7 MB Notification: Performance of preOpt findStateOrder (simulation): time 5.994e-05/0.4939, allocations: 11.89 kB / 418.6 MB, free: 9.734 MB / 362.7 MB Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.0002612/0.4942, allocations: 88 kB / 418.7 MB, free: 9.648 MB / 362.7 MB Notification: Performance of preOpt inlineArrayEqn (simulation): time 6.04e-05/0.4942, allocations: 56 kB / 418.7 MB, free: 9.594 MB / 362.7 MB Notification: Performance of preOpt removeEqualRHS (simulation): time 0.003531/0.4978, allocations: 1.384 MB / 420.1 MB, free: 8.207 MB / 362.7 MB Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.01262/0.5104, allocations: 9.023 MB / 429.1 MB, free: 14.72 MB / 378.7 MB Notification: Performance of preOpt comSubExp (simulation): time 0.001802/0.5123, allocations: 1.304 MB / 430.4 MB, free: 13.23 MB / 378.7 MB Notification: Performance of preOpt resolveLoops (simulation): time 0.0005936/0.5129, allocations: 294.6 kB / 430.7 MB, free: 12.93 MB / 378.7 MB Notification: Performance of preOpt evalFunc (simulation): time 0.003273/0.5162, allocations: 2.095 MB / 432.8 MB, free: 10.69 MB / 378.7 MB Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.0006989/0.5169, allocations: 320.6 kB / 433.1 MB, free: 10.36 MB / 378.7 MB Notification: Performance of pre-optimization done (n=92): time 4.591e-06/0.5169, allocations: 0 / 433.1 MB, free: 10.36 MB / 378.7 MB Notification: Performance of matching and sorting (n=92): time 0.001369/0.5183, allocations: 0.5811 MB / 433.7 MB, free: 9.777 MB / 378.7 MB Notification: Performance of inlineWhenForInitialization (initialization): time 0.0001396/0.5185, allocations: 179 kB / 433.9 MB, free: 9.562 MB / 378.7 MB Notification: Performance of selectInitializationVariablesDAE (initialization): time 0.001573/0.5201, allocations: 0.8265 MB / 434.7 MB, free: 8.727 MB / 378.7 MB Notification: Performance of collectPreVariables (initialization): time 0.0001347/0.5202, allocations: 61.69 kB / 434.8 MB, free: 8.66 MB / 378.7 MB Notification: Performance of collectInitialEqns (initialization): time 0.0008046/0.521, allocations: 0.7332 MB / 435.5 MB, free: 7.914 MB / 378.7 MB Notification: Performance of collectInitialBindings (initialization): time 0.0002802/0.5213, allocations: 205.8 kB / 435.7 MB, free: 7.711 MB / 378.7 MB Notification: Performance of simplifyInitialFunctions (initialization): time 8.168e-05/0.5214, allocations: 40 kB / 435.8 MB, free: 7.672 MB / 378.7 MB Notification: Performance of setup shared object (initialization): time 0.0002874/0.5217, allocations: 414.7 kB / 436.2 MB, free: 7.258 MB / 378.7 MB Notification: Performance of preBalanceInitialSystem (initialization): time 0.0007443/0.5225, allocations: 300 kB / 436.4 MB, free: 6.965 MB / 378.7 MB Notification: Performance of partitionIndependentBlocks (initialization): time 0.001383/0.5239, allocations: 0.9904 MB / 437.4 MB, free: 5.645 MB / 378.7 MB Notification: Performance of analyzeInitialSystem (initialization): time 0.0009455/0.5248, allocations: 437.7 kB / 437.9 MB, free: 5.215 MB / 378.7 MB Notification: Performance of solveInitialSystemEqSystem (initialization): time 1.861e-05/0.5249, allocations: 8 kB / 437.9 MB, free: 5.207 MB / 378.7 MB Notification: Performance of matching and sorting (n=216) (initialization): time 0.002789/0.5277, allocations: 1.258 MB / 439.1 MB, free: 3.945 MB / 378.7 MB Notification: Performance of prepare postOptimizeDAE: time 3.663e-05/0.5277, allocations: 16.06 kB / 439.1 MB, free: 3.93 MB / 378.7 MB Notification: Performance of postOpt simplifyComplexFunction (initialization): time 3.625e-05/0.5278, allocations: 24 kB / 439.2 MB, free: 3.906 MB / 378.7 MB Notification: Performance of postOpt tearingSystem (initialization): time 6.051e-05/0.5279, allocations: 40.38 kB / 439.2 MB, free: 3.867 MB / 378.7 MB Notification: Performance of postOpt solveSimpleEquations (initialization): time 0.0003752/0.5283, allocations: 135.4 kB / 439.3 MB, free: 3.734 MB / 378.7 MB Notification: Performance of postOpt calculateStrongComponentJacobians (initialization): time 5.869e-05/0.5283, allocations: 47.8 kB / 439.4 MB, free: 3.688 MB / 378.7 MB Notification: Performance of postOpt simplifyAllExpressions (initialization): time 0.0009278/0.5293, allocations: 87.72 kB / 439.5 MB, free: 3.602 MB / 378.7 MB Notification: Performance of postOpt collapseArrayExpressions (initialization): time 0.0001698/0.5294, allocations: 91.94 kB / 439.6 MB, free: 3.512 MB / 378.7 MB Notification: Model statistics after passing the back-end for initialization: * Number of independent subsystems: 105 * Number of states: 0 () * Number of discrete variables: 204 ($PRE.request1.enableFire,$PRE.request2.enableFire,$PRE.release2.enableFire,$PRE.release1.enableFire,$PRE.reqest3.enableFire,$PRE.request4.enableFire,$PRE.release4.enableFire,$PRE.release3.enableFire,$PRE.start1.enableFire,$PRE.reserved1.enableFire,$PRE.reserved3.enableFire,$PRE.ready1.enableFire,$PRE.start2.enableFire,$PRE.reserved2.enableFire,$PRE.reserved4.enableFire,$PRE.ready2.enableFire,$PRE.idle2.oldActive,idle2.oldActive,$PRE.busy2.oldActive,busy2.oldActive,$PRE.requesting4.oldActive,requesting4.oldActive,$PRE.requesting2.oldActive,requesting2.oldActive,$PRE.idle1.oldActive,idle1.oldActive,$PRE.busy1.oldActive,busy1.oldActive,$PRE.s4.oldActive,s4.oldActive,$PRE.s3.oldActive,s3.oldActive,$PRE.free2.oldActive,free2.oldActive,$PRE.s2.oldActive,s2.oldActive,$PRE.requesting3.oldActive,requesting3.oldActive,$PRE.requesting1.oldActive,requesting1.oldActive,$PRE.s1.oldActive,s1.oldActive,$PRE.free1.oldActive,free1.oldActive,$whenCondition4,$whenCondition3,$whenCondition2,$whenCondition1,free1.outPort[2].available,free1.active,$PRE.free1.newActive,free1.newActive,free1.inport_fire,free1.outport_fire,$PRE.s1.newActive,s1.newActive,s1.inport_fire,s1.outport_fire,request1.enableFire,request1.conditionPort,$PRE.requesting1.newActive,requesting1.newActive,$PRE.requesting3.newActive,requesting3.newActive,requesting3.inport_fire,$PRE.s2.newActive,s2.newActive,s2.inport_fire,s2.outport_fire,request2.enableFire,request2.conditionPort,release2.enableFire,release1.enableFire,free2.outPort[2].available,free2.active,$PRE.free2.newActive,free2.newActive,free2.inport_fire,free2.outport_fire,$PRE.s3.newActive,s3.newActive,s3.inport_fire,s3.outport_fire,reqest3.enableFire,reqest3.conditionPort,$PRE.s4.newActive,s4.newActive,s4.inport_fire,s4.outport_fire,request4.enableFire,request4.conditionPort,release4.enableFire,release3.enableFire,$PRE.busy1.newActive,busy1.newActive,busy1.inport_fire,start1.fire,start1.enableFire,$PRE.start1.t_start,start1.t_start,reserved1.enableFire,reserved1.conditionPort,reserved3.enableFire,reserved3.conditionPort,ready1.fire,ready1.enableFire,$PRE.ready1.t_start,ready1.t_start,$PRE.idle1.newActive,idle1.newActive,idle1.inport_fire,idle1.outport_fire,$PRE.requesting2.newActive,requesting2.newActive,$PRE.requesting4.newActive,requesting4.newActive,requesting4.inport_fire,$PRE.busy2.newActive,busy2.newActive,busy2.inport_fire,start2.fire,start2.enableFire,$PRE.start2.t_start,start2.t_start,reserved2.enableFire,reserved2.conditionPort,reserved4.enableFire,reserved4.conditionPort,ready2.fire,ready2.enableFire,$PRE.ready2.t_start,ready2.t_start,$PRE.idle2.newActive,idle2.newActive,idle2.inport_fire,idle2.outport_fire,fallingEdge.y,$PRE.fallingEdge.not_u,fallingEdge.not_u,fallingEdge1.y,$PRE.fallingEdge1.not_u,fallingEdge1.not_u,s4.outPort[1].checkOneDelayedTransitionPerLoop,s3.outPort[1].checkOneDelayedTransitionPerLoop,busy2.outPort[1].checkOneDelayedTransitionPerLoop,busy1.outPort[1].checkOneDelayedTransitionPerLoop,s2.outPort[1].checkOneDelayedTransitionPerLoop,s1.outPort[1].checkOneDelayedTransitionPerLoop,free2.node.resume,free2.node.suspend,idle2.node.resume,idle2.node.suspend,idle1.node.resume,idle1.node.suspend,free1.node.resume,free1.node.suspend,ready2.condition,start2.condition,ready1.condition,start1.condition,release4.outPort.checkOneDelayedTransitionPerLoop,release3.outPort.checkOneDelayedTransitionPerLoop,free2.outPort[2].checkOneDelayedTransitionPerLoop,s4.inPort[1].checkUnaryConnection,idle2.inPort[1].checkUnaryConnection,ready2.outPort.checkOneDelayedTransitionPerLoop,idle2.outPort[1].checkOneDelayedTransitionPerLoop,start2.outPort.checkOneDelayedTransitionPerLoop,requesting4.inPort[1].checkOneDelayedTransitionPerLoop,busy2.inPort[1].checkOneDelayedTransitionPerLoop,busy2.inPort[1].checkUnaryConnection,requesting4.inPort[1].checkUnaryConnection,requesting2.inPort[1].checkUnaryConnection,idle1.inPort[1].checkUnaryConnection,ready1.outPort.checkOneDelayedTransitionPerLoop,idle1.outPort[1].checkOneDelayedTransitionPerLoop,start1.outPort.checkOneDelayedTransitionPerLoop,requesting3.inPort[1].checkOneDelayedTransitionPerLoop,busy1.inPort[1].checkOneDelayedTransitionPerLoop,busy1.inPort[1].checkUnaryConnection,requesting3.inPort[1].checkUnaryConnection,requesting1.inPort[1].checkUnaryConnection,free2.inPort[2].checkUnaryConnection,free2.inPort[1].checkUnaryConnection,s3.inPort[1].checkUnaryConnection,free1.inPort[2].checkUnaryConnection,release2.outPort.checkOneDelayedTransitionPerLoop,release1.outPort.checkOneDelayedTransitionPerLoop,free1.outPort[1].checkOneDelayedTransitionPerLoop,free1.inPort[1].checkUnaryConnection,s1.inPort[1].checkUnaryConnection,s2.inPort[1].checkUnaryConnection,reserved4.condition,reserved2.condition,reserved3.condition,reserved1.condition,release3.condition,release4.condition,request4.condition,reqest3.condition,release1.condition,release2.condition,request2.condition,request1.condition) * Number of discrete states: 0 () * Top-level inputs: 0 Notification: Strong component statistics for initialization (216): * Single equations (assignments): 216 * Array equations: 0 * Algorithm blocks: 0 * Record equations: 0 * When equations: 0 * If-equations: 0 * Equation systems (linear and non-linear blocks): 0 * Torn equation systems: 0 * Mixed (continuous/discrete) equation systems: 0 Notification: Performance of prepare postOptimizeDAE: time 0.0004252/0.5299, allocations: 319.5 kB / 439.9 MB, free: 3.18 MB / 378.7 MB Notification: Performance of postOpt lateInlineFunction (simulation): time 0.0001894/0.5301, allocations: 94.88 kB / 440 MB, free: 3.086 MB / 378.7 MB Notification: Performance of postOpt wrapFunctionCalls (simulation): time 0.001531/0.5316, allocations: 0.6708 MB / 440.6 MB, free: 2.402 MB / 378.7 MB Notification: Performance of postOpt inlineArrayEqn (simulation): time 1.32e-05/0.5317, allocations: 8 kB / 440.6 MB, free: 2.395 MB / 378.7 MB Notification: Performance of postOpt constantLinearSystem (simulation): time 8.342e-06/0.5317, allocations: 3.984 kB / 440.7 MB, free: 2.391 MB / 378.7 MB Notification: Performance of postOpt simplifysemiLinear (simulation): time 1.335e-05/0.5317, allocations: 3.984 kB / 440.7 MB, free: 2.387 MB / 378.7 MB Notification: Performance of postOpt removeSimpleEquations (simulation): time 0.004066/0.5358, allocations: 1.909 MB / 442.6 MB, free: 432 kB / 378.7 MB Notification: Performance of postOpt simplifyComplexFunction (simulation): time 6.234e-06/0.5358, allocations: 0 / 442.6 MB, free: 432 kB / 378.7 MB Notification: Performance of postOpt solveSimpleEquations (simulation): time 9.873e-05/0.5359, allocations: 27.86 kB / 442.6 MB, free: 404 kB / 378.7 MB Notification: Performance of postOpt tearingSystem (simulation): time 9.752e-06/0.536, allocations: 0 / 442.6 MB, free: 404 kB / 378.7 MB Notification: Performance of postOpt inputDerivativesUsed (simulation): time 5.391e-05/0.536, allocations: 23.97 kB / 442.6 MB, free: 380 kB / 378.7 MB Notification: Performance of postOpt calculateStrongComponentJacobians (simulation): time 1.044e-05/0.5361, allocations: 4 kB / 442.6 MB, free: 376 kB / 378.7 MB Notification: Performance of postOpt calculateStateSetsJacobians (simulation): time 2.194e-06/0.5361, allocations: 0 / 442.6 MB, free: 376 kB / 378.7 MB Notification: Performance of postOpt symbolicJacobian (simulation): time 0.2211/0.7572, allocations: 0.7042 MB / 443.3 MB, free: 98.66 MB / 378.7 MB Notification: Performance of postOpt removeConstants (simulation): time 0.0003547/0.7576, allocations: 208 kB / 443.5 MB, free: 98.56 MB / 378.7 MB Notification: Performance of postOpt simplifyTimeIndepFuncCalls (simulation): time 0.0001395/0.7578, allocations: 21.64 kB / 443.5 MB, free: 98.56 MB / 378.7 MB Notification: Performance of postOpt simplifyAllExpressions (simulation): time 0.0004152/0.7582, allocations: 33.28 kB / 443.6 MB, free: 98.56 MB / 378.7 MB Notification: Performance of postOpt findZeroCrossings (simulation): time 0.0003084/0.7585, allocations: 93.77 kB / 443.7 MB, free: 98.56 MB / 378.7 MB Notification: Performance of postOpt collapseArrayExpressions (simulation): time 9.887e-05/0.7586, allocations: 35.77 kB / 443.7 MB, free: 98.56 MB / 378.7 MB Notification: Performance of sorting global known variables: time 0.0008126/0.7595, allocations: 435.2 kB / 444.1 MB, free: 98.46 MB / 378.7 MB Notification: Performance of sort global known variables: time 8.41e-07/0.7595, allocations: 0.5 kB / 444.1 MB, free: 98.46 MB / 378.7 MB Notification: Performance of remove unused functions: time 0.001394/0.7609, allocations: 237.7 kB / 444.4 MB, free: 98.46 MB / 378.7 MB Notification: Model statistics after passing the back-end for simulation: * Number of independent subsystems: 1 * Number of states: 0 () * Number of discrete variables: 92 (start2.enableFire,ready2.enableFire,start1.enableFire,ready1.enableFire,$whenCondition4,$whenCondition3,$whenCondition2,$whenCondition1,free1.outPort[2].available,free1.active,free1.newActive,free1.oldActive,free1.inport_fire,free1.outport_fire,s1.newActive,s1.oldActive,s1.inport_fire,s1.outport_fire,request1.enableFire,request1.conditionPort,requesting1.newActive,requesting1.oldActive,requesting3.newActive,requesting3.oldActive,requesting3.inport_fire,s2.newActive,s2.oldActive,s2.inport_fire,s2.outport_fire,request2.enableFire,request2.conditionPort,release2.enableFire,release1.enableFire,free2.outPort[2].available,free2.active,free2.newActive,free2.oldActive,free2.inport_fire,free2.outport_fire,s3.newActive,s3.oldActive,s3.inport_fire,s3.outport_fire,reqest3.enableFire,reqest3.conditionPort,s4.newActive,s4.oldActive,s4.inport_fire,s4.outport_fire,request4.enableFire,request4.conditionPort,release4.enableFire,release3.enableFire,busy1.newActive,busy1.oldActive,busy1.inport_fire,start1.fire,start1.t_start,reserved1.enableFire,reserved1.conditionPort,reserved3.enableFire,reserved3.conditionPort,ready1.fire,ready1.t_start,idle1.newActive,idle1.oldActive,idle1.inport_fire,idle1.outport_fire,requesting2.newActive,requesting2.oldActive,requesting4.newActive,requesting4.oldActive,requesting4.inport_fire,busy2.newActive,busy2.oldActive,busy2.inport_fire,start2.fire,start2.t_start,reserved2.enableFire,reserved2.conditionPort,reserved4.enableFire,reserved4.conditionPort,ready2.fire,ready2.t_start,idle2.newActive,idle2.oldActive,idle2.inport_fire,idle2.outport_fire,fallingEdge.y,fallingEdge.not_u,fallingEdge1.y,fallingEdge1.not_u) * Number of discrete states: 16 (free1.newActive,s1.newActive,requesting1.newActive,requesting3.newActive,s2.newActive,free2.newActive,s3.newActive,s4.newActive,busy1.newActive,idle1.newActive,requesting2.newActive,requesting4.newActive,busy2.newActive,idle2.newActive,fallingEdge.not_u,fallingEdge1.not_u) * Top-level inputs: 0 Notification: Strong component statistics for simulation (92): * Single equations (assignments): 74 * Array equations: 0 * Algorithm blocks: 0 * Record equations: 0 * When equations: 18 * If-equations: 0 * Equation systems (linear and non-linear blocks): 0 * Torn equation systems: 0 * Mixed (continuous/discrete) equation systems: 0 Notification: Performance of Backend phase and start with SimCode phase: time 0.0002737/0.7612, allocations: 173 kB / 444.5 MB, free: 98.37 MB / 378.7 MB Notification: Performance of simCode: created initialization part: time 0.001813/0.763, allocations: 0.8237 MB / 445.4 MB, free: 98.37 MB / 378.7 MB Notification: Performance of simCode: created event and clocks part: time 4.957e-06/0.763, allocations: 0.9688 kB / 445.4 MB, free: 98.37 MB / 378.7 MB Notification: Performance of simCode: created simulation system equations: time 0.0005788/0.7636, allocations: 292.7 kB / 445.6 MB, free: 98.37 MB / 378.7 MB Notification: Performance of simCode: created of all other equations (e.g. parameter, nominal, assert, etc): time 0.0005732/0.7642, allocations: 106.8 kB / 445.7 MB, free: 98.37 MB / 378.7 MB Notification: Performance of simCode: created linear, non-linear and system jacobian parts: time 0.003977/0.7682, allocations: 1.742 MB / 447.5 MB, free: 97.84 MB / 378.7 MB Notification: Performance of simCode: some other stuff during SimCode phase: time 0.0008612/0.7691, allocations: 1.327 MB / 448.8 MB, free: 97.12 MB / 378.7 MB Notification: Performance of simCode: alias equations: time 0.0006499/0.7698, allocations: 192.3 kB / 449 MB, free: 97.11 MB / 378.7 MB Notification: Performance of simCode: all other stuff during SimCode phase: time 0.0002371/0.77, allocations: 89.44 kB / 449.1 MB, free: 97.1 MB / 378.7 MB Notification: Performance of SimCode: time 1.617e-06/0.77, allocations: 2.078 kB / 449.1 MB, free: 97.1 MB / 378.7 MB Notification: Performance of Templates: time 0.02541/0.7955, allocations: 7.28 MB / 456.4 MB, free: 96.62 MB / 378.7 MB