Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.BookTrading.NetworkCommunication2.conf.json loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/package.mo", uses=false) [Timeout 180] "[:1:22-1:33:writable] Warning: Modelica only supports 32-bit signed integers! Transforming: 13743895347 into a real Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/package.mo): time 0.01704/0.01704, allocations: 0 / 0, free: 0 / 0 [/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/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.0001796/0.0001796, allocations: 0 / 0, free: 0 / 0 " [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.0002137/0.0002137, allocations: 0 / 0, free: 0 / 0 " [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.09723/0.09723, allocations: 0 / 0, free: 0 / 0 " [Timeout remaining time 180] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/SDF 0.4.5/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/SDF 0.4.5/package.mo): time 0.005196/0.005196, allocations: 0 / 0, free: 0 / 0 " [Timeout remaining time 180] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 3.0.1/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 3.0.1/package.mo): time 0.484/0.484, allocations: 0 / 0, free: 0 / 0 " [Timeout remaining time 179] Using package AixLib with version 3.0.1 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 3.0.1/package.mo) Using package SDF with version 0.4.5 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/SDF 0.4.5/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) Using package Modelica_DeviceDrivers with version 2.2.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/package.mo) Running command: simulate(AixLib.Controls.HVACAgentBasedControl.Examples.BookTrading.NetworkCommunication2,startTime=0,stopTime=60,tolerance=1e-12,numberOfIntervals=2500,outputFormat="empty",variableFilter="",fileNamePrefix="AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.BookTrading.NetworkCommunication2",simflags="-abortSlowSimulation -alarm=240 -lv LOG_STATS") simulate(AixLib.Controls.HVACAgentBasedControl.Examples.BookTrading.NetworkCommunication2,startTime=0,stopTime=60,tolerance=1e-12,numberOfIntervals=2500,outputFormat="empty",variableFilter="",fileNamePrefix="AixLib_AixLib.Controls.HVACAgentBasedControl.Examples.BookTrading.NetworkCommunication2",simflags="-abortSlowSimulation -alarm=240 -lv LOG_STATS") [Timeout 900] "Notification: Performance of FrontEnd - loaded program: time 9.02e-07/9.02e-07, allocations: 0 / 0, free: 0 / 0 Notification: Performance of FrontEnd - Absyn->SCode: time 2.007e-05/2.097e-05, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFInst.instantiate(AixLib.Controls.HVACAgentBasedControl.Examples.BookTrading.NetworkCommunication2): time 0.01419/0.01421, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFInst.instExpressions: time 0.01265/0.02686, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFInst.updateImplicitVariability: time 0.0005332/0.02739, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFTyping.typeComponents: time 0.003713/0.0311, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFTyping.typeBindings: time 0.0006759/0.03178, allocations: 0 / 0, free: 0 / 0 [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Blocks/Packaging/SerialPackager.mo:130:7-137:16:writable] Warning: Pure function 'Modelica_DeviceDrivers.Blocks.Packaging.SerialPackager.Internal.DummyFunctions.clear' contains a call to impure function 'Modelica_DeviceDrivers.Packaging.SerialPackager_.clear'. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Blocks/Packaging/SerialPackager.mo:30:7-39:18:writable] Warning: Pure function 'Modelica_DeviceDrivers.Blocks.Packaging.SerialPackager.Internal.DummyFunctions.addReal' contains a call to impure function 'Modelica_DeviceDrivers.Packaging.SerialPackager_.addReal'. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Blocks/Packaging/SerialPackager.mo:74:7-84:18:writable] Warning: Pure function 'Modelica_DeviceDrivers.Blocks.Packaging.SerialPackager.Internal.DummyFunctions.getReal' contains a call to impure function 'Modelica_DeviceDrivers.Packaging.SerialPackager_.getReal'. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Blocks/Communication.mo:1170:7-1181:18:writable] Warning: Pure function 'Modelica_DeviceDrivers.Blocks.Communication.Internal.DummyFunctions.readUDP' contains a call to impure function 'Modelica_DeviceDrivers.Communication.UDPSocket_.read'. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 3.0.1/Controls/HVACAgentBasedControl/BaseClasses/Internal/sendToUDP.mo:2:1-28:14:writable] Warning: Pure function 'AixLib.Controls.HVACAgentBasedControl.BaseClasses.Internal.sendToUDP' contains a call to impure function 'AixLib.Controls.HVACAgentBasedControl.BaseClasses.Internal.sendTo'. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Blocks/Packaging/SerialPackager.mo:63:7-72:21:writable] Warning: Pure function 'Modelica_DeviceDrivers.Blocks.Packaging.SerialPackager.Internal.DummyFunctions.addInteger' contains a call to impure function 'Modelica_DeviceDrivers.Packaging.SerialPackager_.addInteger'. [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 2.2.0/Blocks/Packaging/SerialPackager.mo:107:7-117:21:writable] Warning: Pure function 'Modelica_DeviceDrivers.Blocks.Packaging.SerialPackager.Internal.DummyFunctions.getInteger' contains a call to impure function 'Modelica_DeviceDrivers.Packaging.SerialPackager_.getInteger'. Notification: Performance of NFTyping.typeClassSections: time 0.005696/0.03747, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFFlatten.flatten: time 0.002521/0.04, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFFlatten.resolveConnections: time 0.001734/0.04173, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFEvalConstants.evaluate: time 0.002184/0.04391, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFSimplifyModel.simplify: time 0.001069/0.04498, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFPackage.collectConstants: time 0.0003229/0.04531, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFFlatten.collectFunctions: time 0.0006142/0.04592, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFScalarize.scalarize: time 0.0007694/0.04669, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFVerifyModel.verify: time 0.000838/0.04753, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFConvertDAE.convert: time 0.002714/0.05024, allocations: 0 / 0, free: 0 / 0 Notification: Performance of FrontEnd - DAE generated: time 0.0002801/0.05052, allocations: 0 / 0, free: 0 / 0 Notification: Performance of FrontEnd: time 2.374e-06/0.05052, allocations: 0 / 0, free: 0 / 0 Notification: Performance of Transformations before backend: time 1.922e-05/0.05054, allocations: 0 / 0, free: 0 / 0 Warning: Alias equations of external objects are not Modelica compliant as in: bookBuyerAgent1.messageID.pkgOut[1].pkg = bookBuyerAgent1.messageID.pkgIn.pkg bookBuyerAgent1.performative.pkgOut[1].pkg = bookBuyerAgent1.performative.pkgIn.pkg bookBuyerAgent1.getontology.pkgOut[1].pkg = bookBuyerAgent1.getontology.pkgIn.pkg bookBuyerAgent1.getreply_to.pkgOut[1].pkg = bookBuyerAgent1.getreply_to.pkgIn.pkg bookBuyerAgent1.getreceiver.pkgOut[1].pkg = bookBuyerAgent1.getreceiver.pkgIn.pkg bookBuyerAgent1.getsender.pkgOut[1].pkg = bookBuyerAgent1.getsender.pkgIn.pkg bookBuyerAgent1.getperformative.pkgOut[1].pkg = bookBuyerAgent1.getperformative.pkgIn.pkg bookBuyerAgent1.ontology.pkgOut[1].pkg = bookBuyerAgent1.ontology.pkgIn.pkg bookBuyerAgent1.reply_to.pkgOut[1].pkg = bookBuyerAgent1.reply_to.pkgIn.pkg bookBuyerAgent1.receiver.pkgOut[1].pkg = bookBuyerAgent1.receiver.pkgIn.pkg bookBuyerAgent1.sender.pkgOut[1].pkg = bookBuyerAgent1.sender.pkgIn.pkg bookBuyerAgent1.get_content.pkgOut[1].pkg = bookBuyerAgent1.get_content.pkgIn.pkg bookBuyerAgent1.content.pkgOut[1].pkg = bookBuyerAgent1.content.pkgIn.pkg bookBuyerAgent1.messageID.pkgOut[1].pkg = bookBuyerAgent1.uDPSend_adapted.pkgIn.pkg bookBuyerAgent1.ontology.pkgOut[1].pkg = bookBuyerAgent1.messageID.pkgIn.pkg bookBuyerAgent1.getontology.pkgOut[1].pkg = bookBuyerAgent1.getMessageID.pkgIn.pkg bookBuyerAgent1.performative.pkgOut[1].pkg = bookBuyerAgent1.sender.pkgIn.pkg bookBuyerAgent1.performative.pkgIn.pkg = bookBuyerAgent1.packager.pkgOut.pkg bookBuyerAgent1.get_content.pkgOut[1].pkg = bookBuyerAgent1.getontology.pkgIn.pkg bookBuyerAgent1.getreply_to.pkgOut[1].pkg = bookBuyerAgent1.get_content.pkgIn.pkg bookBuyerAgent1.getreceiver.pkgOut[1].pkg = bookBuyerAgent1.getreply_to.pkgIn.pkg bookBuyerAgent1.getsender.pkgOut[1].pkg = bookBuyerAgent1.getreceiver.pkgIn.pkg bookBuyerAgent1.getperformative.pkgOut[1].pkg = bookBuyerAgent1.getsender.pkgIn.pkg bookBuyerAgent1.getperformative.pkgIn.pkg = bookBuyerAgent1.uDPReceive_adapted.pkgOut.pkg bookBuyerAgent1.content.pkgOut[1].pkg = bookBuyerAgent1.ontology.pkgIn.pkg bookBuyerAgent1.reply_to.pkgOut[1].pkg = bookBuyerAgent1.content.pkgIn.pkg bookBuyerAgent1.receiver.pkgOut[1].pkg = bookBuyerAgent1.reply_to.pkgIn.pkg bookBuyerAgent1.sender.pkgOut[1].pkg = bookBuyerAgent1.receiver.pkgIn.pkg Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 585 * Number of variables: 585 Notification: Performance of Generate backend data structure: time 0.004846/0.05539, allocations: 0 / 0, free: 0 / 0 Notification: Performance of prepare preOptimizeDAE: time 0.0001462/0.05553, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt normalInlineFunction (simulation): time 0.001037/0.05657, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt evaluateParameters (simulation): time 0.00153/0.0581, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.0002894/0.05839, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt expandDerOperator (simulation): time 0.0003584/0.05875, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt clockPartitioning (simulation): time 0.002935/0.06168, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt findStateOrder (simulation): time 6.351e-05/0.06175, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.0002252/0.06197, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt inlineArrayEqn (simulation): time 5.766e-05/0.06203, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt removeEqualRHS (simulation): time 0.001567/0.0636, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.006462/0.07006, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt comSubExp (simulation): time 0.001424/0.07148, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt resolveLoops (simulation): time 0.0006073/0.07209, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt evalFunc (simulation): time 6.994e-05/0.07216, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.001432/0.07359, allocations: 0 / 0, free: 0 / 0 Notification: Performance of pre-optimization done (n=249): time 1.399e-05/0.07361, allocations: 0 / 0, free: 0 / 0 Notification: Performance of matching and sorting (n=249): time 0.002309/0.07592, allocations: 0 / 0, free: 0 / 0 Notification: Performance of inlineWhenForInitialization (initialization): time 0.0002138/0.07613, allocations: 0 / 0, free: 0 / 0 Notification: Performance of selectInitializationVariablesDAE (initialization): time 0.0005368/0.07667, allocations: 0 / 0, free: 0 / 0 Notification: Performance of collectPreVariables (initialization): time 0.0003428/0.07701, allocations: 0 / 0, free: 0 / 0 Notification: Performance of collectInitialEqns (initialization): time 0.0004605/0.07747, allocations: 0 / 0, free: 0 / 0 Notification: Performance of collectInitialBindings (initialization): time 0.0005521/0.07802, allocations: 0 / 0, free: 0 / 0 Notification: Performance of simplifyInitialFunctions (initialization): time 0.0007652/0.07879, allocations: 0 / 0, free: 0 / 0 Notification: Performance of setup shared object (initialization): time 3.858e-05/0.07883, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preBalanceInitialSystem (initialization): time 0.0004981/0.07932, allocations: 0 / 0, free: 0 / 0 Notification: Performance of partitionIndependentBlocks (initialization): time 0.0007634/0.08009, allocations: 0 / 0, free: 0 / 0 Notification: Performance of analyzeInitialSystem (initialization): time 0.001919/0.08201, allocations: 0 / 0, free: 0 / 0 Notification: Performance of solveInitialSystemEqSystem (initialization): time 3.431e-05/0.08204, allocations: 0 / 0, free: 0 / 0 Notification: Performance of matching and sorting (n=400) (initialization): time 0.002327/0.08437, allocations: 0 / 0, free: 0 / 0 Notification: Performance of prepare postOptimizeDAE: time 7.221e-05/0.08444, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt simplifyComplexFunction (initialization): time 4.836e-05/0.08449, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt tearingSystem (initialization): time 6.833e-05/0.08456, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt solveSimpleEquations (initialization): time 0.001201/0.08576, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt calculateStrongComponentJacobians (initialization): time 8.585e-05/0.08584, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt simplifyAllExpressions (initialization): time 0.0007501/0.08659, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt collapseArrayExpressions (initialization): time 0.0001871/0.08678, allocations: 0 / 0, free: 0 / 0 Warning: Assuming fixed start value for the following 23 variables: bookBuyerAgent1.proposals[3,2]:DISCRETE(start = 9999.0 fixed = true ) type: Real [3,2] bookBuyerAgent1.proposals[3,1]:DISCRETE(start = 9999.0 fixed = true ) type: Real [3,2] bookBuyerAgent1.proposals[2,2]:DISCRETE(start = 9999.0 fixed = true ) type: Real [3,2] bookBuyerAgent1.proposals[2,1]:DISCRETE(start = 9999.0 fixed = true ) type: Real [3,2] bookBuyerAgent1.proposals[1,2]:DISCRETE(start = 9999.0 fixed = true ) type: Real [3,2] bookBuyerAgent1.proposals[1,1]:DISCRETE(start = 9999.0 fixed = true ) type: Real [3,2] bookBuyerAgent1.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent1.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent1.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) \"Input for receiving agent name\" type: Real bookBuyerAgent1.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] bookBuyerAgent1.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent1.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent1.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent1.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] bookBuyerAgent1.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] bookBuyerAgent1.lowestPrice:DISCRETE(start = 9.999999e6 fixed = true ) type: Real bookBuyerAgent1.counterProposals:DISCRETE(start = 1 fixed = true ) type: Integer bookBuyerAgent1.counter:DISCRETE(start = 1 fixed = true ) type: Integer bookBuyerAgent1.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real bookBuyerAgent1.requestsDone:DISCRETE(start = false fixed = true ) type: Boolean bookBuyerAgent1.bookOffered:DISCRETE(start = false fixed = true ) type: Boolean bookBuyerAgent1.bookBought:DISCRETE(flow=false fixed = true ) \"Indicator that turns true if a book was succesfully bought\" type: Boolean bookBuyerAgent1.integerChange.u:DISCRETE(flow=false fixed = true ) \"Connector of Integer input signal\" type: Integer Notification: Model statistics after passing the back-end for initialization: * Number of independent subsystems: 102 * Number of states: 0 () * Number of discrete variables: 345 ($PRE.bookBuyerAgent1.transitionWithSignal.enableFire,$PRE.bookBuyerAgent1.transition.enableFire,$PRE.bookBuyerAgent1.newMessage.enableFire,$PRE.bookBuyerAgent1.offer.enableFire,$PRE.bookBuyerAgent1.refuse.enableFire,$PRE.bookBuyerAgent1.done.enableFire,$PRE.bookBuyerAgent1.notDone.enableFire,$PRE.bookBuyerAgent1.confirmation.enableFire,$PRE.bookBuyerAgent1.transition1.enableFire,$PRE.bookBuyerAgent1.transition3.enableFire,$PRE.bookBuyerAgent1.newMessage1.enableFire,$PRE.bookBuyerAgent1.abort.enableFire,$PRE.bookBuyerAgent1.transitionWithSignal1.enableFire,$PRE.bookBuyerAgent1.noOffers.enableFire,$PRE.bookBuyerAgent1.abortAction.enableFire,$PRE.bookBuyerAgent1.abortAction1.enableFire,$PRE.bookBuyerAgent1.transition2.enableFire,$PRE.bookBuyerAgent1.proposals[3,2],bookBuyerAgent1.proposals[3,2],$PRE.bookBuyerAgent1.proposals[3,1],bookBuyerAgent1.proposals[3,1],$PRE.bookBuyerAgent1.proposals[2,2],bookBuyerAgent1.proposals[2,2],$PRE.bookBuyerAgent1.proposals[2,1],bookBuyerAgent1.proposals[2,1],$PRE.bookBuyerAgent1.proposals[1,2],bookBuyerAgent1.proposals[1,2],$PRE.bookBuyerAgent1.proposals[1,1],bookBuyerAgent1.proposals[1,1],$PRE.bookBuyerAgent1.messageID.u[1],bookBuyerAgent1.messageID.u[1],$PRE.bookBuyerAgent1.receiver.u[1],bookBuyerAgent1.receiver.u[1],$PRE.bookBuyerAgent1.uDPSend_adapted.receiver,bookBuyerAgent1.uDPSend_adapted.receiver,$PRE.bookBuyerAgent1.ontology.u[1],bookBuyerAgent1.ontology.u[1],$PRE.bookBuyerAgent1.reply_to.u[1],bookBuyerAgent1.reply_to.u[1],$PRE.bookBuyerAgent1.sender.u[1],bookBuyerAgent1.sender.u[1],$PRE.bookBuyerAgent1.performative.u[1],bookBuyerAgent1.performative.u[1],$PRE.bookBuyerAgent1.content.u[2],bookBuyerAgent1.content.u[2],$PRE.bookBuyerAgent1.content.u[1],bookBuyerAgent1.content.u[1],$PRE.bookBuyerAgent1.lowestPrice,bookBuyerAgent1.lowestPrice,$PRE.bookBuyerAgent1.counterProposals,bookBuyerAgent1.counterProposals,$PRE.bookBuyerAgent1.counter,bookBuyerAgent1.counter,bookBuyerAgent1.messageID.pkgOut[1].dummy,$PRE.bookBuyerAgent1.messageID.pkgOut[1].dummy,bookBuyerAgent1.getMessageID.dummy,$PRE.bookBuyerAgent1.getMessageID.dummy,bookBuyerAgent1.performative.pkgOut[1].dummy,$PRE.bookBuyerAgent1.performative.pkgOut[1].dummy,bookBuyerAgent1.getontology.dummy,$PRE.bookBuyerAgent1.getontology.dummy,bookBuyerAgent1.getontology.y[1],$PRE.bookBuyerAgent1.getontology.y[1],bookBuyerAgent1.getontology.pkgOut[1].dummy,$PRE.bookBuyerAgent1.getontology.pkgOut[1].dummy,bookBuyerAgent1.getreply_to.dummy,$PRE.bookBuyerAgent1.getreply_to.dummy,bookBuyerAgent1.getreply_to.y[1],$PRE.bookBuyerAgent1.getreply_to.y[1],bookBuyerAgent1.getreply_to.pkgOut[1].dummy,$PRE.bookBuyerAgent1.getreply_to.pkgOut[1].dummy,bookBuyerAgent1.getreceiver.dummy,$PRE.bookBuyerAgent1.getreceiver.dummy,bookBuyerAgent1.getreceiver.y[1],$PRE.bookBuyerAgent1.getreceiver.y[1],bookBuyerAgent1.getreceiver.pkgOut[1].dummy,$PRE.bookBuyerAgent1.getreceiver.pkgOut[1].dummy,bookBuyerAgent1.getsender.dummy,$PRE.bookBuyerAgent1.getsender.dummy,bookBuyerAgent1.getsender.y[1],$PRE.bookBuyerAgent1.getsender.y[1],bookBuyerAgent1.getsender.pkgOut[1].dummy,$PRE.bookBuyerAgent1.getsender.pkgOut[1].dummy,bookBuyerAgent1.getperformative.dummy,$PRE.bookBuyerAgent1.getperformative.dummy,bookBuyerAgent1.getperformative.pkgOut[1].dummy,$PRE.bookBuyerAgent1.getperformative.pkgOut[1].dummy,bookBuyerAgent1.ontology.pkgOut[1].dummy,$PRE.bookBuyerAgent1.ontology.pkgOut[1].dummy,bookBuyerAgent1.reply_to.pkgOut[1].dummy,$PRE.bookBuyerAgent1.reply_to.pkgOut[1].dummy,bookBuyerAgent1.receiver.pkgOut[1].dummy,$PRE.bookBuyerAgent1.receiver.pkgOut[1].dummy,bookBuyerAgent1.sender.pkgOut[1].dummy,$PRE.bookBuyerAgent1.sender.pkgOut[1].dummy,$PRE.bookBuyerAgent1.uDPSend_adapted.dummy,bookBuyerAgent1.uDPSend_adapted.dummy,bookBuyerAgent1.uDPReceive_adapted.nRecvbufOverwrites,$PRE.bookBuyerAgent1.uDPReceive_adapted.nRecvbufOverwrites,bookBuyerAgent1.uDPReceive_adapted.nRecvBytes,$PRE.bookBuyerAgent1.uDPReceive_adapted.nRecvBytes,bookBuyerAgent1.uDPReceive_adapted.pkgOut.dummy,$PRE.bookBuyerAgent1.uDPReceive_adapted.pkgOut.dummy,bookBuyerAgent1.get_content.dummy,$PRE.bookBuyerAgent1.get_content.dummy,bookBuyerAgent1.get_content.y[2],$PRE.bookBuyerAgent1.get_content.y[2],bookBuyerAgent1.get_content.y[1],$PRE.bookBuyerAgent1.get_content.y[1],bookBuyerAgent1.get_content.pkgOut[1].dummy,$PRE.bookBuyerAgent1.get_content.pkgOut[1].dummy,bookBuyerAgent1.content.pkgOut[1].dummy,$PRE.bookBuyerAgent1.content.pkgOut[1].dummy,bookBuyerAgent1.packager.pkgOut.dummy,$PRE.bookBuyerAgent1.packager.pkgOut.dummy,bookBuyerAgent1.getontology.pkgOut[1].trigger,$whenCondition2,$PRE.bookBuyerAgent1.requestsDone,$PRE.bookBuyerAgent1.bookOffered,$PRE.bookBuyerAgent1.notServed.oldActive,$PRE.bookBuyerAgent1.notServed.newActive,$PRE.bookBuyerAgent1.notServed.localActive,$PRE.bookBuyerAgent1.abortAction1.t_start,$PRE.bookBuyerAgent1.abortAction.t_start,$PRE.bookBuyerAgent1.noOffers.t_start,$PRE.bookBuyerAgent1.stateOfOffers.oldActive,$PRE.bookBuyerAgent1.stateOfOffers.newActive,$PRE.bookBuyerAgent1.stateOfOffers.localActive,$PRE.bookBuyerAgent1.abort.t_start,$PRE.bookBuyerAgent1.bookBought,$PRE.bookBuyerAgent1.transition3.t_start,$PRE.bookBuyerAgent1.transition1.t_start,$PRE.bookBuyerAgent1.setDone.oldActive,$PRE.bookBuyerAgent1.setDone.newActive,$PRE.bookBuyerAgent1.setDone.localActive,$PRE.bookBuyerAgent1.confirmation.t_start,$PRE.bookBuyerAgent1.check1.oldActive,$PRE.bookBuyerAgent1.check1.newActive,$PRE.bookBuyerAgent1.check1.localActive,$PRE.bookBuyerAgent1.sendBuy.oldActive,$PRE.bookBuyerAgent1.sendBuy.newActive,$PRE.bookBuyerAgent1.sendBuy.localActive,$PRE.bookBuyerAgent1.sendRequest.oldActive,$PRE.bookBuyerAgent1.sendRequest.newActive,$PRE.bookBuyerAgent1.sendRequest.localActive,$PRE.bookBuyerAgent1.notDone.t_start,$PRE.bookBuyerAgent1.done.t_start,$PRE.bookBuyerAgent1.refuse.t_start,$PRE.bookBuyerAgent1.offer.t_start,$PRE.bookBuyerAgent1.check.oldActive,$PRE.bookBuyerAgent1.check.newActive,$PRE.bookBuyerAgent1.check.localActive,$PRE.bookBuyerAgent1.transition.t_start,$PRE.bookBuyerAgent1.integerChange.u,$PRE.bookBuyerAgent1.composeBuy.oldActive,$PRE.bookBuyerAgent1.composeBuy.newActive,$PRE.bookBuyerAgent1.composeBuy.localActive,$PRE.bookBuyerAgent1.collectProposal.oldActive,$PRE.bookBuyerAgent1.collectProposal.newActive,$PRE.bookBuyerAgent1.collectProposal.localActive,$PRE.bookBuyerAgent1.composeRequest.oldActive,$PRE.bookBuyerAgent1.composeRequest.newActive,$PRE.bookBuyerAgent1.composeRequest.localActive,$PRE.bookBuyerAgent1.waiting.oldActive,$PRE.bookBuyerAgent1.waiting.newActive,$PRE.bookBuyerAgent1.waiting.localActive,bookBuyerAgent1.transition2.enableFire,bookBuyerAgent1.notServed.oldActive,bookBuyerAgent1.notServed.newActive,bookBuyerAgent1.notServed.inPort[2].occupied,bookBuyerAgent1.notServed.localActive,bookBuyerAgent1.notServed.active,bookBuyerAgent1.abortAction1.t_start,bookBuyerAgent1.abortAction1.fire,bookBuyerAgent1.abortAction1.enableFire,bookBuyerAgent1.abortAction.t_start,bookBuyerAgent1.abortAction.fire,bookBuyerAgent1.abortAction.enableFire,bookBuyerAgent1.noOffers.t_start,bookBuyerAgent1.noOffers.fire,bookBuyerAgent1.noOffers.enableFire,bookBuyerAgent1.transitionWithSignal1.enableFire,bookBuyerAgent1.stateOfOffers.oldActive,bookBuyerAgent1.stateOfOffers.newActive,bookBuyerAgent1.stateOfOffers.outPort[2].available,bookBuyerAgent1.stateOfOffers.localActive,bookBuyerAgent1.stateOfOffers.active,bookBuyerAgent1.abort.t_start,bookBuyerAgent1.abort.fire,bookBuyerAgent1.abort.enableFire,bookBuyerAgent1.newMessage1.enableFire,bookBuyerAgent1.newMessage1.localCondition,bookBuyerAgent1.bookBought,bookBuyerAgent1.transition3.t_start,bookBuyerAgent1.transition3.fire,bookBuyerAgent1.transition3.enableFire,bookBuyerAgent1.transition1.t_start,bookBuyerAgent1.transition1.fire,bookBuyerAgent1.transition1.enableFire,bookBuyerAgent1.setDone.oldActive,bookBuyerAgent1.setDone.newActive,bookBuyerAgent1.setDone.localActive,bookBuyerAgent1.setDone.active,bookBuyerAgent1.confirmation.t_start,bookBuyerAgent1.confirmation.fire,bookBuyerAgent1.confirmation.enableFire,bookBuyerAgent1.confirmation.localCondition,bookBuyerAgent1.check1.oldActive,bookBuyerAgent1.check1.newActive,bookBuyerAgent1.check1.outPort[2].available,bookBuyerAgent1.check1.localActive,bookBuyerAgent1.check1.active,bookBuyerAgent1.sendBuy.active,bookBuyerAgent1.sendBuy.oldActive,bookBuyerAgent1.sendBuy.newActive,bookBuyerAgent1.sendBuy.outPort[2].available,bookBuyerAgent1.sendBuy.localActive,bookBuyerAgent1.sendRequest.active,bookBuyerAgent1.sendRequest.oldActive,bookBuyerAgent1.sendRequest.newActive,bookBuyerAgent1.sendRequest.outPort[2].available,bookBuyerAgent1.sendRequest.localActive,bookBuyerAgent1.notDone.t_start,bookBuyerAgent1.notDone.fire,bookBuyerAgent1.notDone.enableFire,bookBuyerAgent1.done.t_start,bookBuyerAgent1.done.fire,bookBuyerAgent1.done.enableFire,bookBuyerAgent1.refuse.t_start,bookBuyerAgent1.refuse.fire,bookBuyerAgent1.refuse.enableFire,bookBuyerAgent1.refuse.localCondition,bookBuyerAgent1.offer.t_start,bookBuyerAgent1.offer.fire,bookBuyerAgent1.offer.enableFire,bookBuyerAgent1.offer.localCondition,bookBuyerAgent1.newMessage.enableFire,bookBuyerAgent1.check.oldActive,bookBuyerAgent1.check.newActive,bookBuyerAgent1.check.outPort[2].available,bookBuyerAgent1.check.localActive,bookBuyerAgent1.check.active,bookBuyerAgent1.transition.t_start,bookBuyerAgent1.transition.fire,bookBuyerAgent1.transition.enableFire,bookBuyerAgent1.transitionWithSignal.enableFire,bookBuyerAgent1.transitionWithSignal.localCondition,bookBuyerAgent1.sampleTrigger.y,bookBuyerAgent1.integerChange.u,bookBuyerAgent1.composeBuy.oldActive,bookBuyerAgent1.composeBuy.newActive,bookBuyerAgent1.composeBuy.localActive,bookBuyerAgent1.composeBuy.active,bookBuyerAgent1.collectProposal.oldActive,bookBuyerAgent1.collectProposal.newActive,bookBuyerAgent1.collectProposal.outPort[2].available,bookBuyerAgent1.collectProposal.localActive,bookBuyerAgent1.collectProposal.active,bookBuyerAgent1.composeRequest.oldActive,bookBuyerAgent1.composeRequest.newActive,bookBuyerAgent1.composeRequest.inPort[3].occupied,bookBuyerAgent1.composeRequest.inPort[2].occupied,bookBuyerAgent1.composeRequest.localActive,bookBuyerAgent1.composeRequest.active,bookBuyerAgent1.waiting.oldActive,bookBuyerAgent1.waiting.newActive,bookBuyerAgent1.waiting.inPort[4].occupied,bookBuyerAgent1.waiting.inPort[3].occupied,bookBuyerAgent1.waiting.inPort[2].occupied,bookBuyerAgent1.waiting.localActive,bookBuyerAgent1.waiting.active,bookBuyerAgent1.bookOffered,bookBuyerAgent1.requestsDone,bookBuyerAgent1.stateGraphRoot.activeSteps,bookBuyerAgent1.messageID.pkgOut[1].backwardTrigger,bookBuyerAgent1.messageID.pkgOut[1].trigger,bookBuyerAgent1.getMessageID.y[1],$PRE.bookBuyerAgent1.getMessageID.y[1],bookBuyerAgent1.getperformative.y[1],$PRE.bookBuyerAgent1.getperformative.y[1],$whenCondition23,$whenCondition22,$whenCondition21,$whenCondition20,$whenCondition19,$whenCondition18,$whenCondition17,$whenCondition16,$whenCondition1,$whenCondition3,$whenCondition4,$whenCondition5,$whenCondition6,$whenCondition7,$whenCondition8,$whenCondition9,$whenCondition10,$whenCondition11,$whenCondition12,$whenCondition13,$whenCondition14,$whenCondition15,bookBuyerAgent1.transitionWithSignal.t_start,$PRE.bookBuyerAgent1.transitionWithSignal.t_start,bookBuyerAgent1.newMessage.t_start,$PRE.bookBuyerAgent1.newMessage.t_start,bookBuyerAgent1.newMessage1.t_start,$PRE.bookBuyerAgent1.newMessage1.t_start,bookBuyerAgent1.transitionWithSignal1.t_start,$PRE.bookBuyerAgent1.transitionWithSignal1.t_start,bookBuyerAgent1.transition2.t_start,$PRE.bookBuyerAgent1.transition2.t_start,bookBuyerAgent1.getMessageID.pkgIn.backwardTrigger,bookBuyerAgent1.getMessageID.pkgIn.userPkgBitSize,messageNotification.y,bookBuyerAgent1.stateGraphRoot.suspend,bookBuyerAgent1.stateGraphRoot.resume,bookBuyerAgent1.transition.condition,bookBuyerAgent1.transition1.condition,bookBuyerAgent1.transition3.condition,bookBuyerAgent1.abort.condition,bookBuyerAgent1.noOffers.condition,bookBuyerAgent1.abortAction.condition,bookBuyerAgent1.abortAction1.condition,bookBuyerAgent1.transition2.condition,bookBuyerAgent1.getMessageID.pkgIn.autoPkgBitSize,bookBuyerAgent1.getontology.pkgIn.autoPkgBitSize,bookBuyerAgent1.getreply_to.pkgIn.autoPkgBitSize,bookBuyerAgent1.getreceiver.pkgIn.autoPkgBitSize,bookBuyerAgent1.getsender.pkgIn.autoPkgBitSize,bookBuyerAgent1.getperformative.pkgIn.autoPkgBitSize,bookBuyerAgent1.uDPReceive_adapted.bufferSize,bookBuyerAgent1.get_content.pkgIn.autoPkgBitSize,bookBuyerAgent1.messageID.pkgIn.autoPkgBitSize,bookBuyerAgent1.performative.pkgIn.autoPkgBitSize,bookBuyerAgent1.ontology.pkgIn.autoPkgBitSize,bookBuyerAgent1.reply_to.pkgIn.autoPkgBitSize,bookBuyerAgent1.receiver.pkgIn.autoPkgBitSize,bookBuyerAgent1.sender.pkgIn.autoPkgBitSize,bookBuyerAgent1.uDPSend_adapted.pkgIn.autoPkgBitSize,bookBuyerAgent1.uDPSend_adapted.pkgIn.userPkgBitSize,bookBuyerAgent1.content.pkgIn.autoPkgBitSize,bookBuyerAgent1.packager.bufferSize,bookBuyerAgent1.packager.backwardPropagatedBufferSize,bookBuyerAgent1.uDPSend_adapted.bufferSize) * Number of discrete states: 0 () * Number of clocked states: 0 () * Top-level inputs: 0 Notification: Strong component statistics for initialization (392): * Single equations (assignments): 390 * Array equations: 0 * Algorithm blocks: 1 * Record equations: 1 * When equations: 0 * If-equations: 0 * Equation systems (not torn): 0 * Torn equation systems: 0 * Mixed (continuous/discrete) equation systems: 0 Notification: Performance of prepare postOptimizeDAE: time 0.001135/0.08792, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt lateInlineFunction (simulation): time 0.0002989/0.08821, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt wrapFunctionCalls (simulation): time 0.0002417/0.08846, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt inlineArrayEqn (simulation): time 2.605e-05/0.08848, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt constantLinearSystem (simulation): time 1.458e-05/0.0885, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt simplifysemiLinear (simulation): time 2.1e-05/0.08852, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt removeSimpleEquations (simulation): time 0.004143/0.09266, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt simplifyComplexFunction (simulation): time 1.903e-05/0.09268, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt solveSimpleEquations (simulation): time 0.0003742/0.09305, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt tearingSystem (simulation): time 1.927e-05/0.09307, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt inputDerivativesUsed (simulation): time 0.0001525/0.09323, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt calculateStrongComponentJacobians (simulation): time 2.734e-05/0.09325, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt calculateStateSetsJacobians (simulation): time 4.709e-06/0.09326, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt symbolicJacobian (simulation): time 0.002671/0.09593, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt removeConstants (simulation): time 0.0001516/0.09608, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt simplifyTimeIndepFuncCalls (simulation): time 0.0004056/0.09649, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt simplifyAllExpressions (simulation): time 0.0004273/0.09691, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt findZeroCrossings (simulation): time 0.0004201/0.09733, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt collapseArrayExpressions (simulation): time 0.0001662/0.0975, allocations: 0 / 0, free: 0 / 0 Notification: Performance of sorting global known variables: time 0.0001571/0.09766, allocations: 0 / 0, free: 0 / 0 Notification: Performance of sort global known variables: time 1.506e-05/0.09767, allocations: 0 / 0, free: 0 / 0 Notification: Performance of remove unused functions: time 0.001631/0.0993, allocations: 0 / 0, free: 0 / 0 Notification: Model statistics after passing the back-end for simulation: * Number of independent subsystems: 9 * Number of states: 1 (synchronizeRealtime.dummyState) * Number of discrete variables: 210 (bookBuyerAgent1.transition2.t_start,bookBuyerAgent1.transitionWithSignal1.t_start,bookBuyerAgent1.newMessage1.t_start,bookBuyerAgent1.newMessage.t_start,bookBuyerAgent1.transitionWithSignal.t_start,bookBuyerAgent1.get_content.pkgIn.autoPkgBitSize,bookBuyerAgent1.uDPReceive_adapted.bufferSize,bookBuyerAgent1.getperformative.pkgIn.autoPkgBitSize,bookBuyerAgent1.getsender.pkgIn.autoPkgBitSize,bookBuyerAgent1.getreceiver.pkgIn.autoPkgBitSize,bookBuyerAgent1.getreply_to.pkgIn.autoPkgBitSize,bookBuyerAgent1.getontology.pkgIn.autoPkgBitSize,bookBuyerAgent1.getMessageID.pkgIn.autoPkgBitSize,bookBuyerAgent1.abortAction1.enableFire,bookBuyerAgent1.abortAction.enableFire,bookBuyerAgent1.noOffers.enableFire,bookBuyerAgent1.done.enableFire,bookBuyerAgent1.notDone.enableFire,bookBuyerAgent1.refuse.enableFire,bookBuyerAgent1.offer.enableFire,bookBuyerAgent1.abort.enableFire,bookBuyerAgent1.confirmation.enableFire,bookBuyerAgent1.notServed.active,bookBuyerAgent1.stateOfOffers.active,bookBuyerAgent1.messageID.pkgOut[1].backwardTrigger,bookBuyerAgent1.messageID.pkgOut[1].trigger,bookBuyerAgent1.transition3.enableFire,bookBuyerAgent1.transition1.enableFire,bookBuyerAgent1.setDone.active,bookBuyerAgent1.check1.active,bookBuyerAgent1.sendBuy.active,bookBuyerAgent1.sendRequest.active,bookBuyerAgent1.transition.enableFire,bookBuyerAgent1.check.active,bookBuyerAgent1.composeBuy.active,bookBuyerAgent1.collectProposal.active,bookBuyerAgent1.composeRequest.active,bookBuyerAgent1.waiting.active,bookBuyerAgent1.getontology.pkgOut[1].trigger,$whenCondition15,$whenCondition14,$whenCondition13,$whenCondition12,$whenCondition11,$whenCondition10,$whenCondition9,$whenCondition8,$whenCondition7,$whenCondition6,$whenCondition5,$whenCondition4,$whenCondition3,$whenCondition2,$whenCondition1,$whenCondition16,$whenCondition17,$whenCondition18,$whenCondition19,$whenCondition20,$whenCondition21,$whenCondition22,$whenCondition23,bookBuyerAgent1.packager.pkgOut.dummy,bookBuyerAgent1.content.pkgOut[1].dummy,bookBuyerAgent1.content.u[1],bookBuyerAgent1.content.u[2],bookBuyerAgent1.get_content.pkgOut[1].dummy,bookBuyerAgent1.get_content.y[1],bookBuyerAgent1.get_content.y[2],bookBuyerAgent1.get_content.dummy,bookBuyerAgent1.uDPReceive_adapted.pkgOut.dummy,bookBuyerAgent1.uDPReceive_adapted.nRecvBytes,bookBuyerAgent1.uDPReceive_adapted.nRecvbufOverwrites,bookBuyerAgent1.uDPSend_adapted.bufferSize,bookBuyerAgent1.uDPSend_adapted.dummy,bookBuyerAgent1.uDPSend_adapted.receiver,bookBuyerAgent1.sender.pkgOut[1].dummy,bookBuyerAgent1.sender.u[1],bookBuyerAgent1.receiver.pkgOut[1].dummy,bookBuyerAgent1.receiver.u[1],bookBuyerAgent1.reply_to.pkgOut[1].dummy,bookBuyerAgent1.reply_to.u[1],bookBuyerAgent1.ontology.pkgOut[1].dummy,bookBuyerAgent1.ontology.u[1],bookBuyerAgent1.getperformative.pkgOut[1].dummy,bookBuyerAgent1.getperformative.y[1],bookBuyerAgent1.getperformative.dummy,bookBuyerAgent1.getsender.pkgOut[1].dummy,bookBuyerAgent1.getsender.y[1],bookBuyerAgent1.getsender.dummy,bookBuyerAgent1.getreceiver.pkgOut[1].dummy,bookBuyerAgent1.getreceiver.y[1],bookBuyerAgent1.getreceiver.dummy,bookBuyerAgent1.getreply_to.pkgOut[1].dummy,bookBuyerAgent1.getreply_to.y[1],bookBuyerAgent1.getreply_to.dummy,bookBuyerAgent1.getontology.pkgOut[1].dummy,bookBuyerAgent1.getontology.y[1],bookBuyerAgent1.getontology.dummy,bookBuyerAgent1.performative.pkgOut[1].dummy,bookBuyerAgent1.performative.u[1],bookBuyerAgent1.getMessageID.y[1],bookBuyerAgent1.getMessageID.dummy,bookBuyerAgent1.messageID.pkgOut[1].dummy,bookBuyerAgent1.messageID.u[1],bookBuyerAgent1.stateGraphRoot.activeSteps,bookBuyerAgent1.proposals[1,1],bookBuyerAgent1.proposals[1,2],bookBuyerAgent1.proposals[2,1],bookBuyerAgent1.proposals[2,2],bookBuyerAgent1.proposals[3,1],bookBuyerAgent1.proposals[3,2],bookBuyerAgent1.counter,bookBuyerAgent1.counterProposals,bookBuyerAgent1.requestsDone,bookBuyerAgent1.lowestPrice,bookBuyerAgent1.bookOffered,bookBuyerAgent1.waiting.localActive,bookBuyerAgent1.waiting.inPort[2].occupied,bookBuyerAgent1.waiting.inPort[3].occupied,bookBuyerAgent1.waiting.inPort[4].occupied,bookBuyerAgent1.waiting.newActive,bookBuyerAgent1.waiting.oldActive,bookBuyerAgent1.composeRequest.localActive,bookBuyerAgent1.composeRequest.inPort[2].occupied,bookBuyerAgent1.composeRequest.inPort[3].occupied,bookBuyerAgent1.composeRequest.newActive,bookBuyerAgent1.composeRequest.oldActive,bookBuyerAgent1.collectProposal.localActive,bookBuyerAgent1.collectProposal.outPort[2].available,bookBuyerAgent1.collectProposal.newActive,bookBuyerAgent1.collectProposal.oldActive,bookBuyerAgent1.composeBuy.localActive,bookBuyerAgent1.composeBuy.newActive,bookBuyerAgent1.composeBuy.oldActive,bookBuyerAgent1.integerChange.u,bookBuyerAgent1.sampleTrigger.y,bookBuyerAgent1.transitionWithSignal.localCondition,bookBuyerAgent1.transitionWithSignal.enableFire,bookBuyerAgent1.transition.fire,bookBuyerAgent1.transition.t_start,bookBuyerAgent1.check.localActive,bookBuyerAgent1.check.outPort[2].available,bookBuyerAgent1.check.newActive,bookBuyerAgent1.check.oldActive,bookBuyerAgent1.newMessage.enableFire,bookBuyerAgent1.offer.localCondition,bookBuyerAgent1.offer.fire,bookBuyerAgent1.offer.t_start,bookBuyerAgent1.refuse.localCondition,bookBuyerAgent1.refuse.fire,bookBuyerAgent1.refuse.t_start,bookBuyerAgent1.done.fire,bookBuyerAgent1.done.t_start,bookBuyerAgent1.notDone.fire,bookBuyerAgent1.notDone.t_start,bookBuyerAgent1.sendRequest.localActive,bookBuyerAgent1.sendRequest.outPort[2].available,bookBuyerAgent1.sendRequest.newActive,bookBuyerAgent1.sendRequest.oldActive,bookBuyerAgent1.sendBuy.localActive,bookBuyerAgent1.sendBuy.outPort[2].available,bookBuyerAgent1.sendBuy.newActive,bookBuyerAgent1.sendBuy.oldActive,bookBuyerAgent1.check1.localActive,bookBuyerAgent1.check1.outPort[2].available,bookBuyerAgent1.check1.newActive,bookBuyerAgent1.check1.oldActive,bookBuyerAgent1.confirmation.localCondition,bookBuyerAgent1.confirmation.fire,bookBuyerAgent1.confirmation.t_start,bookBuyerAgent1.setDone.localActive,bookBuyerAgent1.setDone.newActive,bookBuyerAgent1.setDone.oldActive,bookBuyerAgent1.transition1.fire,bookBuyerAgent1.transition1.t_start,bookBuyerAgent1.transition3.fire,bookBuyerAgent1.transition3.t_start,bookBuyerAgent1.bookBought,bookBuyerAgent1.newMessage1.localCondition,bookBuyerAgent1.newMessage1.enableFire,bookBuyerAgent1.abort.fire,bookBuyerAgent1.abort.t_start,bookBuyerAgent1.stateOfOffers.localActive,bookBuyerAgent1.stateOfOffers.outPort[2].available,bookBuyerAgent1.stateOfOffers.newActive,bookBuyerAgent1.stateOfOffers.oldActive,bookBuyerAgent1.transitionWithSignal1.enableFire,bookBuyerAgent1.noOffers.fire,bookBuyerAgent1.noOffers.t_start,bookBuyerAgent1.abortAction.fire,bookBuyerAgent1.abortAction.t_start,bookBuyerAgent1.abortAction1.fire,bookBuyerAgent1.abortAction1.t_start,bookBuyerAgent1.notServed.localActive,bookBuyerAgent1.notServed.inPort[2].occupied,bookBuyerAgent1.notServed.newActive,bookBuyerAgent1.notServed.oldActive,bookBuyerAgent1.transition2.enableFire,bookBuyerAgent1.packager.backwardPropagatedBufferSize,bookBuyerAgent1.packager.bufferSize,bookBuyerAgent1.content.pkgIn.autoPkgBitSize,bookBuyerAgent1.uDPSend_adapted.pkgIn.userPkgBitSize,bookBuyerAgent1.uDPSend_adapted.pkgIn.autoPkgBitSize,bookBuyerAgent1.sender.pkgIn.autoPkgBitSize,bookBuyerAgent1.receiver.pkgIn.autoPkgBitSize,bookBuyerAgent1.reply_to.pkgIn.autoPkgBitSize,bookBuyerAgent1.ontology.pkgIn.autoPkgBitSize,bookBuyerAgent1.performative.pkgIn.autoPkgBitSize,bookBuyerAgent1.messageID.pkgIn.autoPkgBitSize) * Number of discrete states: 46 (bookBuyerAgent1.waiting.newActive,bookBuyerAgent1.composeRequest.newActive,bookBuyerAgent1.collectProposal.newActive,bookBuyerAgent1.composeBuy.newActive,bookBuyerAgent1.check.newActive,bookBuyerAgent1.sendRequest.newActive,bookBuyerAgent1.sendBuy.newActive,bookBuyerAgent1.check1.newActive,bookBuyerAgent1.setDone.newActive,bookBuyerAgent1.stateOfOffers.newActive,bookBuyerAgent1.notServed.newActive,$whenCondition23,$whenCondition22,bookBuyerAgent1.bookBought,$whenCondition21,$whenCondition20,bookBuyerAgent1.proposals[3,2],bookBuyerAgent1.proposals[3,1],bookBuyerAgent1.proposals[2,2],bookBuyerAgent1.proposals[2,1],bookBuyerAgent1.proposals[1,2],bookBuyerAgent1.proposals[1,1],$whenCondition19,bookBuyerAgent1.requestsDone,$whenCondition18,bookBuyerAgent1.messageID.u[1],bookBuyerAgent1.receiver.u[1],bookBuyerAgent1.uDPSend_adapted.receiver,bookBuyerAgent1.ontology.u[1],bookBuyerAgent1.reply_to.u[1],bookBuyerAgent1.sender.u[1],bookBuyerAgent1.performative.u[1],bookBuyerAgent1.content.u[2],bookBuyerAgent1.content.u[1],$whenCondition17,bookBuyerAgent1.bookOffered,bookBuyerAgent1.lowestPrice,bookBuyerAgent1.counterProposals,bookBuyerAgent1.counter,$whenCondition16,bookBuyerAgent1.integerChange.u,bookBuyerAgent1.transitionWithSignal.t_start,bookBuyerAgent1.newMessage.t_start,bookBuyerAgent1.newMessage1.t_start,bookBuyerAgent1.transitionWithSignal1.t_start,bookBuyerAgent1.transition2.t_start) * Number of clocked states: 0 () * Top-level inputs: 0 Notification: Strong component statistics for simulation (210): * Single equations (assignments): 137 * Array equations: 0 * Algorithm blocks: 1 * Record equations: 1 * When equations: 71 * If-equations: 0 * Equation systems (not torn): 0 * Torn equation systems: 0 * Mixed (continuous/discrete) equation systems: 0 Notification: Performance of Backend phase and start with SimCode phase: time 0.001486/0.1008, allocations: 0 / 0, free: 0 / 0 Notification: Performance of simCode: created initialization part: time 0.001665/0.1025, allocations: 0 / 0, free: 0 / 0 Notification: Performance of simCode: created event and clocks part: time 1.635e-05/0.1025, allocations: 0 / 0, free: 0 / 0 Notification: Performance of simCode: created simulation system equations: time 0.0008245/0.1033, allocations: 0 / 0, free: 0 / 0 Notification: Performance of simCode: created of all other equations (e.g. parameter, nominal, assert, etc): time 0.001263/0.1046, allocations: 0 / 0, free: 0 / 0 Notification: Performance of simCode: created linear, non-linear and system jacobian parts: time 0.003194/0.1078, allocations: 0 / 0, free: 0 / 0 Notification: Performance of simCode: some other stuff during SimCode phase: time 0.0003697/0.1081, allocations: 0 / 0, free: 0 / 0 Notification: Performance of simCode: alias equations: time 0.0004692/0.1086, allocations: 0 / 0, free: 0 / 0 Notification: Performance of simCode: all other stuff during SimCode phase: time 0.0008542/0.1094, allocations: 0 / 0, free: 0 / 0 Notification: Performance of SimCode: time 5.404e-05/0.1095, allocations: 0 / 0, free: 0 / 0 Notification: Performance of Templates: time 0.006167/0.1157, allocations: 0 / 0, free: 0 / 0 " [Timeout remaining time 660] [Calling sys.exit(0), Time elapsed: 241.4650133419782]