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.007026/0.007026, 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.0002288/0.0002288, 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.0002441/0.0002441, 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.1161/0.1161, 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.001322/0.001322, 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.1983/0.1983, allocations: 0 / 0, free: 0 / 0 " [Timeout remaining time 180] 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.42e-07/9.42e-07, allocations: 0 / 0, free: 0 / 0 Notification: Performance of FrontEnd - Absyn->SCode: time 1.373e-05/1.467e-05, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFInst.instantiate(AixLib.Controls.HVACAgentBasedControl.Examples.BookTrading.NetworkCommunication2): time 0.009451/0.009466, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFInst.instExpressions: time 0.008451/0.01792, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFInst.updateImplicitVariability: time 0.0005552/0.01847, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFTyping.typeComponents: time 0.000891/0.01936, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFTyping.typeBindings: time 0.0009051/0.02027, 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.003582/0.02385, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFFlatten.flatten: time 0.00284/0.02669, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFFlatten.resolveConnections: time 0.001992/0.02868, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFEvalConstants.evaluate: time 0.002461/0.03114, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFSimplifyModel.simplify: time 0.0009807/0.03212, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFPackage.collectConstants: time 0.0003576/0.03248, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFFlatten.collectFunctions: time 0.0005966/0.03308, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFScalarize.scalarize: time 0.0006911/0.03377, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFVerifyModel.verify: time 0.0007272/0.0345, allocations: 0 / 0, free: 0 / 0 Notification: Performance of NFConvertDAE.convert: time 0.003059/0.03755, allocations: 0 / 0, free: 0 / 0 Notification: Performance of FrontEnd - DAE generated: time 0.0002867/0.03784, allocations: 0 / 0, free: 0 / 0 Notification: Performance of FrontEnd: time 1.493e-06/0.03784, allocations: 0 / 0, free: 0 / 0 Notification: Performance of Transformations before backend: time 1.416e-05/0.03786, 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.004928/0.04279, allocations: 0 / 0, free: 0 / 0 Notification: Performance of prepare preOptimizeDAE: time 0.0001391/0.04292, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt normalInlineFunction (simulation): time 0.001053/0.04398, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt evaluateParameters (simulation): time 0.001523/0.0455, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.0003077/0.04581, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt expandDerOperator (simulation): time 0.0004346/0.04624, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt clockPartitioning (simulation): time 0.003185/0.04943, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt findStateOrder (simulation): time 8.827e-05/0.04952, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.0002903/0.04981, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt inlineArrayEqn (simulation): time 5.819e-05/0.04987, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt removeEqualRHS (simulation): time 0.001419/0.05128, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.006627/0.05791, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt comSubExp (simulation): time 0.001412/0.05932, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt resolveLoops (simulation): time 0.0006084/0.05993, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt evalFunc (simulation): time 8.619e-05/0.06002, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.001508/0.06153, allocations: 0 / 0, free: 0 / 0 Notification: Performance of pre-optimization done (n=249): time 2.655e-05/0.06155, allocations: 0 / 0, free: 0 / 0 Notification: Performance of matching and sorting (n=249): time 0.003434/0.06499, allocations: 0 / 0, free: 0 / 0 Notification: Performance of inlineWhenForInitialization (initialization): time 0.0002183/0.06521, allocations: 0 / 0, free: 0 / 0 Notification: Performance of selectInitializationVariablesDAE (initialization): time 0.000587/0.06579, allocations: 0 / 0, free: 0 / 0 Notification: Performance of collectPreVariables (initialization): time 0.000371/0.06616, allocations: 0 / 0, free: 0 / 0 Notification: Performance of collectInitialEqns (initialization): time 0.0004556/0.06662, allocations: 0 / 0, free: 0 / 0 Notification: Performance of collectInitialBindings (initialization): time 0.0005372/0.06716, allocations: 0 / 0, free: 0 / 0 Notification: Performance of simplifyInitialFunctions (initialization): time 0.0008904/0.06805, allocations: 0 / 0, free: 0 / 0 Notification: Performance of setup shared object (initialization): time 4.357e-05/0.06809, allocations: 0 / 0, free: 0 / 0 Notification: Performance of preBalanceInitialSystem (initialization): time 0.0005096/0.0686, allocations: 0 / 0, free: 0 / 0 Notification: Performance of partitionIndependentBlocks (initialization): time 0.0008537/0.06945, allocations: 0 / 0, free: 0 / 0 Notification: Performance of analyzeInitialSystem (initialization): time 0.002033/0.07149, allocations: 0 / 0, free: 0 / 0 Notification: Performance of solveInitialSystemEqSystem (initialization): time 5.666e-05/0.07154, allocations: 0 / 0, free: 0 / 0 Notification: Performance of matching and sorting (n=400) (initialization): time 0.002999/0.07454, allocations: 0 / 0, free: 0 / 0 Notification: Performance of prepare postOptimizeDAE: time 9.083e-05/0.07463, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt simplifyComplexFunction (initialization): time 5.316e-05/0.07469, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt tearingSystem (initialization): time 5.73e-05/0.07474, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt solveSimpleEquations (initialization): time 0.001058/0.0758, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt calculateStrongComponentJacobians (initialization): time 7.859e-05/0.07588, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt simplifyAllExpressions (initialization): time 0.0007207/0.0766, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt collapseArrayExpressions (initialization): time 0.0002218/0.07682, 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.001081/0.0779, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt lateInlineFunction (simulation): time 0.0003143/0.07822, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt wrapFunctionCalls (simulation): time 0.0002455/0.07846, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt inlineArrayEqn (simulation): time 2.502e-05/0.07849, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt constantLinearSystem (simulation): time 9.348e-06/0.0785, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt simplifysemiLinear (simulation): time 3.238e-05/0.07853, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt removeSimpleEquations (simulation): time 0.005075/0.08361, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt simplifyComplexFunction (simulation): time 2.309e-05/0.08363, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt solveSimpleEquations (simulation): time 0.0003336/0.08396, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt tearingSystem (simulation): time 1.845e-05/0.08398, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt inputDerivativesUsed (simulation): time 0.0001782/0.08416, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt calculateStrongComponentJacobians (simulation): time 2.848e-05/0.08419, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt calculateStateSetsJacobians (simulation): time 4.458e-06/0.08419, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt symbolicJacobian (simulation): time 0.003674/0.08787, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt removeConstants (simulation): time 0.0001324/0.088, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt simplifyTimeIndepFuncCalls (simulation): time 0.0004193/0.08842, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt simplifyAllExpressions (simulation): time 0.0004487/0.08887, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt findZeroCrossings (simulation): time 0.0005037/0.08937, allocations: 0 / 0, free: 0 / 0 Notification: Performance of postOpt collapseArrayExpressions (simulation): time 0.0001863/0.08956, allocations: 0 / 0, free: 0 / 0 Notification: Performance of sorting global known variables: time 0.0002003/0.08976, allocations: 0 / 0, free: 0 / 0 Notification: Performance of sort global known variables: time 1.868e-05/0.08977, allocations: 0 / 0, free: 0 / 0 Notification: Performance of remove unused functions: time 0.001777/0.09155, 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.001343/0.0929, allocations: 0 / 0, free: 0 / 0 Notification: Performance of simCode: created initialization part: time 0.001952/0.09485, allocations: 0 / 0, free: 0 / 0 Notification: Performance of simCode: created event and clocks part: time 2.896e-06/0.09485, allocations: 0 / 0, free: 0 / 0 Notification: Performance of simCode: created simulation system equations: time 0.0009923/0.09584, allocations: 0 / 0, free: 0 / 0 Notification: Performance of simCode: created of all other equations (e.g. parameter, nominal, assert, etc): time 0.001504/0.09735, allocations: 0 / 0, free: 0 / 0 Notification: Performance of simCode: created linear, non-linear and system jacobian parts: time 0.003197/0.1005, allocations: 0 / 0, free: 0 / 0 Notification: Performance of simCode: some other stuff during SimCode phase: time 0.0003796/0.1009, allocations: 0 / 0, free: 0 / 0 Notification: Performance of simCode: alias equations: time 0.000501/0.1014, allocations: 0 / 0, free: 0 / 0 Notification: Performance of simCode: all other stuff during SimCode phase: time 0.001007/0.1024, allocations: 0 / 0, free: 0 / 0 Notification: Performance of SimCode: time 6.153e-05/0.1025, allocations: 0 / 0, free: 0 / 0 Notification: Performance of Templates: time 0.005502/0.108, allocations: 0 / 0, free: 0 / 0 " [Timeout remaining time 660] [Calling sys.exit(0), Time elapsed: 241.1675035217777]