Running: ./testmodel.py --libraries=/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr AixLib_master_AixLib.Controls.HVACAgentBasedControl.Examples.BookTrading.BookTrading.conf.json Using package SDF with version 0.0.0 (/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/SDF master/package.mo) Using package NcDataReader2 with version 2.5.0 (/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/NcDataReader2 2.5.0/package.mo) Using package Modelica_Synchronous with version 0.93.0 (/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_Synchronous 0.93.0/package.mo) Using package Modelica_DeviceDrivers with version 1.7.0 (/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 1.7.0/package.mo) Using package ModelicaServices with version 3.2.3 (/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 3.2.3+maint.om/package.mo) Using package Modelica with version 3.2.3 (/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+maint.om/package.mo) Using package Complex with version 3.2.3 (/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 3.2.3+maint.om/package.mo) Using package AixLib with version 1.0.0 (/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/package.mo) Running command: translateModel(AixLib.Controls.HVACAgentBasedControl.Examples.BookTrading.BookTrading,tolerance=1e-12,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="AixLib_master_AixLib.Controls.HVACAgentBasedControl.Examples.BookTrading.BookTrading") [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Types/Azimuth/package.mo:11:4-12:70:writable] Warning: Elements in the package.mo-file need to be in the same relative order as the package.order file. Got element named NW but it was already added because it was not the next element in the list at that time. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Types/Azimuth/package.mo:11:4-12:70:writable] Warning: Got element NW that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Types/Azimuth/package.mo:13:4-14:65:writable] Warning: Elements in the package.mo-file need to be in the same relative order as the package.order file. Got element named N but it was already added because it was not the next element in the list at that time. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Types/Azimuth/package.mo:13:4-14:65:writable] Warning: Got element N that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Types/Azimuth/package.mo:15:4-16:70:writable] Warning: Elements in the package.mo-file need to be in the same relative order as the package.order file. Got element named NE but it was already added because it was not the next element in the list at that time. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Types/Azimuth/package.mo:15:4-16:70:writable] Warning: Got element NE that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Types/Azimuth/package.mo:17:4-18:64:writable] Warning: Elements in the package.mo-file need to be in the same relative order as the package.order file. Got element named E but it was already added because it was not the next element in the list at that time. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Types/Azimuth/package.mo:17:4-18:64:writable] Warning: Got element E that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Types/Azimuth/package.mo:19:4-20:70:writable] Warning: Elements in the package.mo-file need to be in the same relative order as the package.order file. Got element named SE but it was already added because it was not the next element in the list at that time. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Types/Azimuth/package.mo:19:4-20:70:writable] Warning: Got element SE that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Types/Azimuth/package.mo:2:1-45:12:writable] Warning: SE was referenced in the package.order file, but was not found in package.mo, SE/package.mo or SE.mo. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:9:3-25:68:writable] Warning: Got element refrigerantConstants that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:85:13-94:23:writable] Warning: Got element SmoothTransition that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:97:13-104:12:writable] Warning: Got element f_Idg that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:106:13-128:12:writable] Warning: Got element f_Res that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:130:13-137:15:writable] Warning: Got element t_fIdg_t that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:139:13-148:17:writable] Warning: Got element tt_fIdg_tt that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:150:13-171:15:writable] Warning: Got element t_fRes_t that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:173:13-196:17:writable] Warning: Got element tt_fRes_tt that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:198:13-221:15:writable] Warning: Got element d_fRes_d that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:223:13-256:17:writable] Warning: Got element dd_fRes_dd that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:258:13-284:17:writable] Warning: Got element td_fRes_td that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:286:13-296:19:writable] Warning: Got element ttt_fIdg_ttt that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:298:13-325:19:writable] Warning: Got element ttt_fRes_ttt that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:327:13-373:19:writable] Warning: Got element ddd_fRes_ddd that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:375:13-409:19:writable] Warning: Got element tdd_fRes_tdd that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:411:13-440:19:writable] Warning: Got element ttd_fRes_ttd that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:445:13-466:25:writable] Warning: Got element saturationPressure that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:468:13-490:28:writable] Warning: Got element saturationTemperature that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:492:13-517:20:writable] Warning: Got element bubbleDensity that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:519:13-549:17:writable] Warning: Got element dewDensity that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:551:13-571:21:writable] Warning: Got element bubbleEnthalpy that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:573:13-594:18:writable] Warning: Got element dewEnthalpy that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:596:13-616:20:writable] Warning: Got element bubbleEntropy that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:618:13-638:17:writable] Warning: Got element dewEntropy that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:643:25-775:21:writable] Warning: Got element temperature_ph that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:777:25-909:21:writable] Warning: Got element temperature_ps that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:911:25-1069:17:writable] Warning: Got element density_pT that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:1073:13-1142:23:writable] Warning: Got element dynamicViscosity that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:1144:13-1210:26:writable] Warning: Got element thermalConductivity that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Horner/package.mo:1212:13-1226:21:writable] Warning: Got element surfaceTension that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:8:3-24:68:writable] Warning: Got element refrigerantConstants that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:84:13-93:23:writable] Warning: Got element SmoothTransition that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:96:13-103:12:writable] Warning: Got element f_Idg that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:105:13-127:12:writable] Warning: Got element f_Res that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:129:13-136:15:writable] Warning: Got element t_fIdg_t that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:138:13-147:17:writable] Warning: Got element tt_fIdg_tt that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:149:13-170:15:writable] Warning: Got element t_fRes_t that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:172:13-195:17:writable] Warning: Got element tt_fRes_tt that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:197:13-220:15:writable] Warning: Got element d_fRes_d that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:222:13-255:17:writable] Warning: Got element dd_fRes_dd that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:257:13-283:17:writable] Warning: Got element td_fRes_td that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:285:13-295:19:writable] Warning: Got element ttt_fIdg_ttt that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:297:13-324:19:writable] Warning: Got element ttt_fRes_ttt that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:326:13-372:19:writable] Warning: Got element ddd_fRes_ddd that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:374:13-408:19:writable] Warning: Got element tdd_fRes_tdd that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:410:13-439:19:writable] Warning: Got element ttd_fRes_ttd that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:444:13-465:25:writable] Warning: Got element saturationPressure that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:467:13-488:28:writable] Warning: Got element saturationTemperature that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:490:13-520:20:writable] Warning: Got element bubbleDensity that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:522:13-550:17:writable] Warning: Got element dewDensity that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:552:13-575:21:writable] Warning: Got element bubbleEnthalpy that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:577:13-601:18:writable] Warning: Got element dewEnthalpy that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:603:13-626:20:writable] Warning: Got element bubbleEntropy that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:628:13-651:17:writable] Warning: Got element dewEntropy that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:656:25-803:21:writable] Warning: Got element temperature_ph that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:805:25-951:21:writable] Warning: Got element temperature_ps that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:953:25-1141:17:writable] Warning: Got element density_pT that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:1145:13-1214:23:writable] Warning: Got element dynamicViscosity that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:1216:13-1282:26:writable] Warning: Got element thermalConductivity that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_473_Formula/package.mo:1284:13-1298:21:writable] Warning: Got element surfaceTension that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Record/package.mo:8:3-24:68:writable] Warning: Got element refrigerantConstants that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Record/package.mo:84:13-87:10:writable] Warning: Got element EoS that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Record/package.mo:89:13-93:11:writable] Warning: Got element BDSP that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Record/package.mo:95:13-99:10:writable] Warning: Got element TSP that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Record/package.mo:101:13-110:23:writable] Warning: Got element SmoothTransition that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Record/package.mo:114:13-183:23:writable] Warning: Got element dynamicViscosity that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Record/package.mo:185:13-251:26:writable] Warning: Got element thermalConductivity that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Record/package.mo:253:13-267:21:writable] Warning: Got element surfaceTension that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:8:3-24:68:writable] Warning: Got element refrigerantConstants that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:84:13-93:23:writable] Warning: Got element SmoothTransition that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:96:13-103:12:writable] Warning: Got element f_Idg that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:105:13-127:12:writable] Warning: Got element f_Res that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:129:13-136:15:writable] Warning: Got element t_fIdg_t that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:138:13-147:17:writable] Warning: Got element tt_fIdg_tt that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:149:13-170:15:writable] Warning: Got element t_fRes_t that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:172:13-195:17:writable] Warning: Got element tt_fRes_tt that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:197:13-220:15:writable] Warning: Got element d_fRes_d that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:222:13-255:17:writable] Warning: Got element dd_fRes_dd that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:257:13-283:17:writable] Warning: Got element td_fRes_td that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:285:13-295:19:writable] Warning: Got element ttt_fIdg_ttt that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:297:13-324:19:writable] Warning: Got element ttt_fRes_ttt that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:326:13-372:19:writable] Warning: Got element ddd_fRes_ddd that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:374:13-408:19:writable] Warning: Got element tdd_fRes_tdd that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:410:13-439:19:writable] Warning: Got element ttd_fRes_ttd that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:444:13-465:25:writable] Warning: Got element saturationPressure that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:467:13-488:28:writable] Warning: Got element saturationTemperature that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:490:13-520:20:writable] Warning: Got element bubbleDensity that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:522:13-550:17:writable] Warning: Got element dewDensity that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:552:13-575:21:writable] Warning: Got element bubbleEnthalpy that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:577:13-601:18:writable] Warning: Got element dewEnthalpy that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:603:13-626:20:writable] Warning: Got element bubbleEntropy that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:628:13-651:17:writable] Warning: Got element dewEntropy that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:656:25-804:21:writable] Warning: Got element temperature_ph that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:806:25-953:21:writable] Warning: Got element temperature_ps that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:955:25-1099:17:writable] Warning: Got element density_pT that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:1103:13-1172:23:writable] Warning: Got element dynamicViscosity that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:1174:13-1240:26:writable] Warning: Got element thermalConductivity that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A_HEoS/R410a_IIR_P1_48_T233_340_Formula/package.mo:1242:13-1256:21:writable] Warning: Got element surfaceTension that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A/package.mo:18:3-19:54:writable] Warning: Got element A that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A/package.mo:21:3-22:54:writable] Warning: Got element B that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A/package.mo:24:3-25:54:writable] Warning: Got element C that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A/package.mo:27:3-28:53:writable] Warning: Elements in the package.mo-file need to be in the same relative order as the package.order file. Got element named b but it was already added because it was not the next element in the list at that time. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A/package.mo:27:3-28:53:writable] Warning: Got element b that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A/package.mo:30:3-31:53:writable] Warning: Elements in the package.mo-file need to be in the same relative order as the package.order file. Got element named k but it was already added because it was not the next element in the list at that time. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A/package.mo:30:3-31:53:writable] Warning: Got element k that was not referenced in the package.order file. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Media/Refrigerants/R410A/package.mo:2:1-71:10:writable] Warning: k was referenced in the package.order file, but was not found in package.mo, k/package.mo or k.mo. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Fluid/HeatExchangers/Radiators/BaseClasses/package.order:0:0-0:0:readonly] Warning: Found duplicate names in package.order file: RadiatorTypes. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/Electrical/Machines/package.order:0:0-0:0:readonly] Warning: Found duplicate names in package.order file: PVInverterRMS. Notification: Performance of loadFile(/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/AixLib 1.0.0-master/package.mo): time 2.127/2.127, allocations: 257.8 MB / 272.7 MB, free: 14.94 MB / 234.8 MB Notification: Performance of loadFile(/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 3.2.3+maint.om/package.mo): time 0.001262/0.001261, allocations: 176.6 kB / 328.3 MB, free: 13.34 MB / 266.8 MB Notification: Performance of loadFile(/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+maint.om/package.mo): time 1.715/1.715, allocations: 205.4 MB / 0.5753 GB, free: 15.54 MB / 458.8 MB Notification: Performance of loadFile(/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 3.2.3+maint.om/package.mo): time 0.0009254/0.000925, allocations: 90.08 kB / 0.6759 GB, free: 15.79 MB / 474.8 MB Notification: Performance of loadFile(/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 1.7.0/package.mo): time 0.06781/0.06781, allocations: 10.76 MB / 0.787 GB, free: 14.39 MB / 0.573 GB Notification: Performance of loadFile(/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_Synchronous 0.93.0/package.mo): time 0.07754/0.07754, allocations: 12.2 MB / 0.902 GB, free: 139.8 MB / 0.6043 GB Notification: Performance of loadFile(/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/NcDataReader2 2.5.0/package.mo): time 0.002466/0.002465, allocations: 273.8 kB / 1.008 GB, free: 31.17 MB / 0.6043 GB [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/SDF master/package.mo:9:42-9:258:writable] Notification: This is an open source dummy package of a commercial library. If you want it to be supported, you will need to add an implemention on our github repository: https://github.com/Modelica-OpenVendorSpecificLibraries. Notification: Performance of loadFile(/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/SDF master/package.mo): time 0.0003882/0.0003881, allocations: 11.19 kB / 1.114 GB, free: 170.6 MB / 0.6355 GB Warning: Requested package Modelica_Synchronous of version 0.92.2, but this package was already loaded with version 0.93.0. There are no conversion annotations and 0.92.2 is older than 0.93.0, so the libraries are probably incompatible. Notification: AixLib requested package SDF of version 0.4.1. SDF 0.0.0 is used instead which states that it is fully compatible without conversion script needed. [/var/lib/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_DeviceDrivers 1.7.0/package.mo:11:16-11:38:writable] Warning: Conversion-annotation contains unknown element: nonFromVersion. Warning: Requested package Modelica_Synchronous of version 0.92.1, but this package was already loaded with version 0.93.0. There are no conversion annotations and 0.92.1 is older than 0.93.0, so the libraries are probably incompatible. Notification: Performance of FrontEnd - loaded program: time 0.001237/0.001237, allocations: 36 kB / 1.234 GB, free: 50.44 MB / 0.6355 GB Notification: Performance of FrontEnd - Absyn->SCode: time 0.5796/0.5808, allocations: 107.6 MB / 1.34 GB, free: 81.05 MB / 0.6824 GB Notification: Performance of NFInst.instantiate(AixLib.Controls.HVACAgentBasedControl.Examples.BookTrading.BookTrading): time 0.01886/0.5997, allocations: 17.8 MB / 1.357 GB, free: 71.52 MB / 0.6824 GB Notification: Performance of NFInst.instExpressions: time 0.02206/0.6218, allocations: 13.66 MB / 1.37 GB, free: 61.61 MB / 0.6824 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.00628/0.6282, allocations: 277.3 kB / 1.37 GB, free: 61.48 MB / 0.6824 GB Notification: Performance of NFTyping.typeComponents: time 0.003561/0.6318, allocations: 1.212 MB / 1.372 GB, free: 60.69 MB / 0.6824 GB Notification: Performance of NFTyping.typeBindings: time 0.005172/0.637, allocations: 0.9459 MB / 1.373 GB, free: 60.05 MB / 0.6824 GB Notification: Performance of NFTyping.typeClassSections: time 0.01609/0.6531, allocations: 5.3 MB / 1.378 GB, free: 57.25 MB / 0.6824 GB Notification: Performance of NFFlatten.flatten: time 0.0153/0.6684, allocations: 8.6 MB / 1.386 GB, free: 52.7 MB / 0.6824 GB Notification: Performance of NFFlatten.resolveConnections: time 0.01348/0.6819, allocations: 8.129 MB / 1.394 GB, free: 50.28 MB / 0.6824 GB Notification: Performance of NFEvalConstants.evaluate: time 0.008027/0.69, allocations: 3.859 MB / 1.398 GB, free: 48.63 MB / 0.6824 GB Notification: Performance of NFSimplifyModel.simplify: time 0.006554/0.6966, allocations: 4.391 MB / 1.402 GB, free: 46.41 MB / 0.6824 GB Notification: Performance of NFPackage.collectConstants: time 0.002655/0.6993, allocations: 0.5351 MB / 1.403 GB, free: 46.41 MB / 0.6824 GB Notification: Performance of NFFlatten.collectFunctions: time 0.002175/0.7014, allocations: 0.6283 MB / 1.403 GB, free: 46.38 MB / 0.6824 GB Notification: Performance of NFScalarize.scalarize: time 0.00277/0.7042, allocations: 2.572 MB / 1.406 GB, free: 45.21 MB / 0.6824 GB Notification: Performance of NFVerifyModel.verify: time 0.002976/0.7072, allocations: 2.065 MB / 1.408 GB, free: 43.91 MB / 0.6824 GB Notification: Performance of NFConvertDAE.convert: time 0.01749/0.7247, allocations: 14.26 MB / 1.422 GB, free: 36.17 MB / 0.6824 GB Notification: Performance of FrontEnd - DAE generated: time 3.808e-06/0.7248, allocations: 0 / 1.422 GB, free: 36.17 MB / 0.6824 GB Notification: Performance of FrontEnd: time 3.016e-06/0.7248, allocations: 0 / 1.422 GB, free: 36.17 MB / 0.6824 GB Notification: Performance of Transformations before backend: time 0.0005017/0.7253, allocations: 4 kB / 1.422 GB, free: 36.16 MB / 0.6824 GB Warning: Alias equations of external objects are not Modelica compliant as in: bookBuyerAgent2.messageID.pkgOut[1].pkg = bookBuyerAgent2.messageID.pkgIn.pkg bookBuyerAgent2.performative.pkgOut[1].pkg = bookBuyerAgent2.performative.pkgIn.pkg bookBuyerAgent2.getontology.pkgOut[1].pkg = bookBuyerAgent2.getontology.pkgIn.pkg bookBuyerAgent2.getreply_to.pkgOut[1].pkg = bookBuyerAgent2.getreply_to.pkgIn.pkg bookBuyerAgent2.getreceiver.pkgOut[1].pkg = bookBuyerAgent2.getreceiver.pkgIn.pkg bookBuyerAgent2.getsender.pkgOut[1].pkg = bookBuyerAgent2.getsender.pkgIn.pkg bookBuyerAgent2.getperformative.pkgOut[1].pkg = bookBuyerAgent2.getperformative.pkgIn.pkg bookBuyerAgent2.ontology.pkgOut[1].pkg = bookBuyerAgent2.ontology.pkgIn.pkg bookBuyerAgent2.reply_to.pkgOut[1].pkg = bookBuyerAgent2.reply_to.pkgIn.pkg bookBuyerAgent2.receiver.pkgOut[1].pkg = bookBuyerAgent2.receiver.pkgIn.pkg bookBuyerAgent2.sender.pkgOut[1].pkg = bookBuyerAgent2.sender.pkgIn.pkg bookBuyerAgent2.get_content.pkgOut[1].pkg = bookBuyerAgent2.get_content.pkgIn.pkg bookBuyerAgent2.content.pkgOut[1].pkg = bookBuyerAgent2.content.pkgIn.pkg 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 bookSellerAgent2.messageID.pkgOut[1].pkg = bookSellerAgent2.messageID.pkgIn.pkg bookSellerAgent2.performative.pkgOut[1].pkg = bookSellerAgent2.performative.pkgIn.pkg bookSellerAgent2.getontology.pkgOut[1].pkg = bookSellerAgent2.getontology.pkgIn.pkg bookSellerAgent2.getreply_to.pkgOut[1].pkg = bookSellerAgent2.getreply_to.pkgIn.pkg bookSellerAgent2.getreceiver.pkgOut[1].pkg = bookSellerAgent2.getreceiver.pkgIn.pkg bookSellerAgent2.getsender.pkgOut[1].pkg = bookSellerAgent2.getsender.pkgIn.pkg bookSellerAgent2.getperformative.pkgOut[1].pkg = bookSellerAgent2.getperformative.pkgIn.pkg bookSellerAgent2.ontology.pkgOut[1].pkg = bookSellerAgent2.ontology.pkgIn.pkg bookSellerAgent2.reply_to.pkgOut[1].pkg = bookSellerAgent2.reply_to.pkgIn.pkg bookSellerAgent2.receiver.pkgOut[1].pkg = bookSellerAgent2.receiver.pkgIn.pkg bookSellerAgent2.sender.pkgOut[1].pkg = bookSellerAgent2.sender.pkgIn.pkg bookSellerAgent2.get_content.pkgOut[1].pkg = bookSellerAgent2.get_content.pkgIn.pkg bookSellerAgent2.content.pkgOut[1].pkg = bookSellerAgent2.content.pkgIn.pkg bookSellerAgent1.messageID.pkgOut[1].pkg = bookSellerAgent1.messageID.pkgIn.pkg bookSellerAgent1.performative.pkgOut[1].pkg = bookSellerAgent1.performative.pkgIn.pkg bookSellerAgent1.getontology.pkgOut[1].pkg = bookSellerAgent1.getontology.pkgIn.pkg bookSellerAgent1.getreply_to.pkgOut[1].pkg = bookSellerAgent1.getreply_to.pkgIn.pkg bookSellerAgent1.getreceiver.pkgOut[1].pkg = bookSellerAgent1.getreceiver.pkgIn.pkg bookSellerAgent1.getsender.pkgOut[1].pkg = bookSellerAgent1.getsender.pkgIn.pkg bookSellerAgent1.getperformative.pkgOut[1].pkg = bookSellerAgent1.getperformative.pkgIn.pkg bookSellerAgent1.ontology.pkgOut[1].pkg = bookSellerAgent1.ontology.pkgIn.pkg bookSellerAgent1.reply_to.pkgOut[1].pkg = bookSellerAgent1.reply_to.pkgIn.pkg bookSellerAgent1.receiver.pkgOut[1].pkg = bookSellerAgent1.receiver.pkgIn.pkg bookSellerAgent1.sender.pkgOut[1].pkg = bookSellerAgent1.sender.pkgIn.pkg bookSellerAgent1.get_content.pkgOut[1].pkg = bookSellerAgent1.get_content.pkgIn.pkg bookSellerAgent1.content.pkgOut[1].pkg = bookSellerAgent1.content.pkgIn.pkg bookSellerAgent.messageID.pkgOut[1].pkg = bookSellerAgent.messageID.pkgIn.pkg bookSellerAgent.performative.pkgOut[1].pkg = bookSellerAgent.performative.pkgIn.pkg bookSellerAgent.getontology.pkgOut[1].pkg = bookSellerAgent.getontology.pkgIn.pkg bookSellerAgent.getreply_to.pkgOut[1].pkg = bookSellerAgent.getreply_to.pkgIn.pkg bookSellerAgent.getreceiver.pkgOut[1].pkg = bookSellerAgent.getreceiver.pkgIn.pkg bookSellerAgent.getsender.pkgOut[1].pkg = bookSellerAgent.getsender.pkgIn.pkg bookSellerAgent.getperformative.pkgOut[1].pkg = bookSellerAgent.getperformative.pkgIn.pkg bookSellerAgent.ontology.pkgOut[1].pkg = bookSellerAgent.ontology.pkgIn.pkg bookSellerAgent.reply_to.pkgOut[1].pkg = bookSellerAgent.reply_to.pkgIn.pkg bookSellerAgent.receiver.pkgOut[1].pkg = bookSellerAgent.receiver.pkgIn.pkg bookSellerAgent.sender.pkgOut[1].pkg = bookSellerAgent.sender.pkgIn.pkg bookSellerAgent.get_content.pkgOut[1].pkg = bookSellerAgent.get_content.pkgIn.pkg bookSellerAgent.content.pkgOut[1].pkg = bookSellerAgent.content.pkgIn.pkg bookBuyerAgent.messageID.pkgOut[1].pkg = bookBuyerAgent.messageID.pkgIn.pkg bookBuyerAgent.performative.pkgOut[1].pkg = bookBuyerAgent.performative.pkgIn.pkg bookBuyerAgent.getontology.pkgOut[1].pkg = bookBuyerAgent.getontology.pkgIn.pkg bookBuyerAgent.getreply_to.pkgOut[1].pkg = bookBuyerAgent.getreply_to.pkgIn.pkg bookBuyerAgent.getreceiver.pkgOut[1].pkg = bookBuyerAgent.getreceiver.pkgIn.pkg bookBuyerAgent.getsender.pkgOut[1].pkg = bookBuyerAgent.getsender.pkgIn.pkg bookBuyerAgent.getperformative.pkgOut[1].pkg = bookBuyerAgent.getperformative.pkgIn.pkg bookBuyerAgent.ontology.pkgOut[1].pkg = bookBuyerAgent.ontology.pkgIn.pkg bookBuyerAgent.reply_to.pkgOut[1].pkg = bookBuyerAgent.reply_to.pkgIn.pkg bookBuyerAgent.receiver.pkgOut[1].pkg = bookBuyerAgent.receiver.pkgIn.pkg bookBuyerAgent.sender.pkgOut[1].pkg = bookBuyerAgent.sender.pkgIn.pkg bookBuyerAgent.get_content.pkgOut[1].pkg = bookBuyerAgent.get_content.pkgIn.pkg bookBuyerAgent.content.pkgOut[1].pkg = bookBuyerAgent.content.pkgIn.pkg bookBuyerAgent2.messageID.pkgOut[1].pkg = bookBuyerAgent2.uDPSend_adapted.pkgIn.pkg bookBuyerAgent2.ontology.pkgOut[1].pkg = bookBuyerAgent2.messageID.pkgIn.pkg bookBuyerAgent2.getontology.pkgOut[1].pkg = bookBuyerAgent2.getMessageID.pkgIn.pkg bookBuyerAgent2.performative.pkgOut[1].pkg = bookBuyerAgent2.sender.pkgIn.pkg bookBuyerAgent2.performative.pkgIn.pkg = bookBuyerAgent2.packager.pkgOut.pkg bookBuyerAgent2.get_content.pkgOut[1].pkg = bookBuyerAgent2.getontology.pkgIn.pkg bookBuyerAgent2.getreply_to.pkgOut[1].pkg = bookBuyerAgent2.get_content.pkgIn.pkg bookBuyerAgent2.getreceiver.pkgOut[1].pkg = bookBuyerAgent2.getreply_to.pkgIn.pkg bookBuyerAgent2.getsender.pkgOut[1].pkg = bookBuyerAgent2.getreceiver.pkgIn.pkg bookBuyerAgent2.getperformative.pkgOut[1].pkg = bookBuyerAgent2.getsender.pkgIn.pkg bookBuyerAgent2.getperformative.pkgIn.pkg = bookBuyerAgent2.uDPReceive_adapted.pkgOut.pkg bookBuyerAgent2.content.pkgOut[1].pkg = bookBuyerAgent2.ontology.pkgIn.pkg bookBuyerAgent2.reply_to.pkgOut[1].pkg = bookBuyerAgent2.content.pkgIn.pkg bookBuyerAgent2.receiver.pkgOut[1].pkg = bookBuyerAgent2.reply_to.pkgIn.pkg bookBuyerAgent2.sender.pkgOut[1].pkg = bookBuyerAgent2.receiver.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 bookSellerAgent2.messageID.pkgOut[1].pkg = bookSellerAgent2.uDPSend_adapted.pkgIn.pkg bookSellerAgent2.ontology.pkgOut[1].pkg = bookSellerAgent2.messageID.pkgIn.pkg bookSellerAgent2.getontology.pkgOut[1].pkg = bookSellerAgent2.getMessageID.pkgIn.pkg bookSellerAgent2.performative.pkgOut[1].pkg = bookSellerAgent2.sender.pkgIn.pkg bookSellerAgent2.performative.pkgIn.pkg = bookSellerAgent2.packager.pkgOut.pkg bookSellerAgent2.get_content.pkgOut[1].pkg = bookSellerAgent2.getontology.pkgIn.pkg bookSellerAgent2.getreply_to.pkgOut[1].pkg = bookSellerAgent2.get_content.pkgIn.pkg bookSellerAgent2.getreceiver.pkgOut[1].pkg = bookSellerAgent2.getreply_to.pkgIn.pkg bookSellerAgent2.getsender.pkgOut[1].pkg = bookSellerAgent2.getreceiver.pkgIn.pkg bookSellerAgent2.getperformative.pkgOut[1].pkg = bookSellerAgent2.getsender.pkgIn.pkg bookSellerAgent2.getperformative.pkgIn.pkg = bookSellerAgent2.uDPReceive_adapted.pkgOut.pkg bookSellerAgent2.content.pkgOut[1].pkg = bookSellerAgent2.ontology.pkgIn.pkg bookSellerAgent2.reply_to.pkgOut[1].pkg = bookSellerAgent2.content.pkgIn.pkg bookSellerAgent2.receiver.pkgOut[1].pkg = bookSellerAgent2.reply_to.pkgIn.pkg bookSellerAgent2.sender.pkgOut[1].pkg = bookSellerAgent2.receiver.pkgIn.pkg bookSellerAgent1.messageID.pkgOut[1].pkg = bookSellerAgent1.uDPSend_adapted.pkgIn.pkg bookSellerAgent1.ontology.pkgOut[1].pkg = bookSellerAgent1.messageID.pkgIn.pkg bookSellerAgent1.getontology.pkgOut[1].pkg = bookSellerAgent1.getMessageID.pkgIn.pkg bookSellerAgent1.performative.pkgOut[1].pkg = bookSellerAgent1.sender.pkgIn.pkg bookSellerAgent1.performative.pkgIn.pkg = bookSellerAgent1.packager.pkgOut.pkg bookSellerAgent1.get_content.pkgOut[1].pkg = bookSellerAgent1.getontology.pkgIn.pkg bookSellerAgent1.getreply_to.pkgOut[1].pkg = bookSellerAgent1.get_content.pkgIn.pkg bookSellerAgent1.getreceiver.pkgOut[1].pkg = bookSellerAgent1.getreply_to.pkgIn.pkg bookSellerAgent1.getsender.pkgOut[1].pkg = bookSellerAgent1.getreceiver.pkgIn.pkg bookSellerAgent1.getperformative.pkgOut[1].pkg = bookSellerAgent1.getsender.pkgIn.pkg bookSellerAgent1.getperformative.pkgIn.pkg = bookSellerAgent1.uDPReceive_adapted.pkgOut.pkg bookSellerAgent1.content.pkgOut[1].pkg = bookSellerAgent1.ontology.pkgIn.pkg bookSellerAgent1.reply_to.pkgOut[1].pkg = bookSellerAgent1.content.pkgIn.pkg bookSellerAgent1.receiver.pkgOut[1].pkg = bookSellerAgent1.reply_to.pkgIn.pkg bookSellerAgent1.sender.pkgOut[1].pkg = bookSellerAgent1.receiver.pkgIn.pkg bookSellerAgent.messageID.pkgOut[1].pkg = bookSellerAgent.uDPSend_adapted.pkgIn.pkg bookSellerAgent.ontology.pkgOut[1].pkg = bookSellerAgent.messageID.pkgIn.pkg bookSellerAgent.getontology.pkgOut[1].pkg = bookSellerAgent.getMessageID.pkgIn.pkg bookSellerAgent.performative.pkgOut[1].pkg = bookSellerAgent.sender.pkgIn.pkg bookSellerAgent.performative.pkgIn.pkg = bookSellerAgent.packager.pkgOut.pkg bookSellerAgent.get_content.pkgOut[1].pkg = bookSellerAgent.getontology.pkgIn.pkg bookSellerAgent.getreply_to.pkgOut[1].pkg = bookSellerAgent.get_content.pkgIn.pkg bookSellerAgent.getreceiver.pkgOut[1].pkg = bookSellerAgent.getreply_to.pkgIn.pkg bookSellerAgent.getsender.pkgOut[1].pkg = bookSellerAgent.getreceiver.pkgIn.pkg bookSellerAgent.getperformative.pkgOut[1].pkg = bookSellerAgent.getsender.pkgIn.pkg bookSellerAgent.getperformative.pkgIn.pkg = bookSellerAgent.uDPReceive_adapted.pkgOut.pkg bookSellerAgent.content.pkgOut[1].pkg = bookSellerAgent.ontology.pkgIn.pkg bookSellerAgent.reply_to.pkgOut[1].pkg = bookSellerAgent.content.pkgIn.pkg bookSellerAgent.receiver.pkgOut[1].pkg = bookSellerAgent.reply_to.pkgIn.pkg bookSellerAgent.sender.pkgOut[1].pkg = bookSellerAgent.receiver.pkgIn.pkg bookBuyerAgent.messageID.pkgOut[1].pkg = bookBuyerAgent.uDPSend_adapted.pkgIn.pkg bookBuyerAgent.ontology.pkgOut[1].pkg = bookBuyerAgent.messageID.pkgIn.pkg bookBuyerAgent.getontology.pkgOut[1].pkg = bookBuyerAgent.getMessageID.pkgIn.pkg bookBuyerAgent.performative.pkgOut[1].pkg = bookBuyerAgent.sender.pkgIn.pkg bookBuyerAgent.performative.pkgIn.pkg = bookBuyerAgent.packager.pkgOut.pkg bookBuyerAgent.get_content.pkgOut[1].pkg = bookBuyerAgent.getontology.pkgIn.pkg bookBuyerAgent.getreply_to.pkgOut[1].pkg = bookBuyerAgent.get_content.pkgIn.pkg bookBuyerAgent.getreceiver.pkgOut[1].pkg = bookBuyerAgent.getreply_to.pkgIn.pkg bookBuyerAgent.getsender.pkgOut[1].pkg = bookBuyerAgent.getreceiver.pkgIn.pkg bookBuyerAgent.getperformative.pkgOut[1].pkg = bookBuyerAgent.getsender.pkgIn.pkg bookBuyerAgent.getperformative.pkgIn.pkg = bookBuyerAgent.uDPReceive_adapted.pkgOut.pkg bookBuyerAgent.content.pkgOut[1].pkg = bookBuyerAgent.ontology.pkgIn.pkg bookBuyerAgent.reply_to.pkgOut[1].pkg = bookBuyerAgent.content.pkgIn.pkg bookBuyerAgent.receiver.pkgOut[1].pkg = bookBuyerAgent.reply_to.pkgIn.pkg bookBuyerAgent.sender.pkgOut[1].pkg = bookBuyerAgent.receiver.pkgIn.pkg Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 3024 * Number of variables: 3024 Notification: Performance of Generate backend data structure: time 0.03278/0.7581, allocations: 23.5 MB / 1.445 GB, free: 15.8 MB / 0.6824 GB Notification: Performance of prepare preOptimizeDAE: time 3.566e-05/0.7582, allocations: 10.12 kB / 1.445 GB, free: 15.8 MB / 0.6824 GB Notification: Performance of preOpt normalInlineFunction (simulation): time 0.004174/0.7624, allocations: 1.263 MB / 1.446 GB, free: 15.18 MB / 0.6824 GB Notification: Performance of preOpt evaluateParameters (simulation): time 0.0106/0.773, allocations: 4.808 MB / 1.451 GB, free: 11.57 MB / 0.6824 GB Notification: Performance of preOpt simplifyIfEquations (simulation): time 0.001315/0.7744, allocations: 1.01 MB / 1.452 GB, free: 11.11 MB / 0.6824 GB Notification: Performance of preOpt expandDerOperator (simulation): time 0.003102/0.7775, allocations: 1.265 MB / 1.453 GB, free: 10.72 MB / 0.6824 GB Notification: Performance of preOpt clockPartitioning (simulation): time 0.03358/0.8111, allocations: 13.55 MB / 1.466 GB, free: 2.586 MB / 0.6824 GB Notification: Performance of preOpt findStateOrder (simulation): time 0.0002283/0.8113, allocations: 14.56 kB / 1.466 GB, free: 2.578 MB / 0.6824 GB Notification: Performance of preOpt replaceEdgeChange (simulation): time 0.001663/0.813, allocations: 0.5047 MB / 1.467 GB, free: 2.219 MB / 0.6824 GB Notification: Performance of preOpt inlineArrayEqn (simulation): time 0.0002654/0.8133, allocations: 273.1 kB / 1.467 GB, free: 2.219 MB / 0.6824 GB Notification: Performance of preOpt removeEqualRHS (simulation): time 0.02655/0.8399, allocations: 10.59 MB / 1.477 GB, free: 7.875 MB / 0.698 GB Notification: Performance of preOpt removeSimpleEquations (simulation): time 0.06878/0.9087, allocations: 35 MB / 1.511 GB, free: 4.41 MB / 0.7293 GB Notification: Performance of preOpt comSubExp (simulation): time 0.02478/0.9335, allocations: 14.32 MB / 1.525 GB, free: 6.004 MB / 0.7449 GB Notification: Performance of preOpt evalFunc (simulation): time 0.0004783/0.934, allocations: 136 kB / 1.526 GB, free: 5.875 MB / 0.7449 GB Notification: Performance of preOpt encapsulateWhenConditions (simulation): time 0.01627/0.9503, allocations: 8.048 MB / 1.533 GB, free: 13.46 MB / 0.7605 GB Notification: Performance of pre-optimization done (n=1286): time 2.189e-05/0.9504, allocations: 0 / 1.533 GB, free: 13.46 MB / 0.7605 GB Notification: Performance of matching and sorting (n=1286): time 0.04356/0.9939, allocations: 22.29 MB / 1.555 GB, free: 6.156 MB / 0.7762 GB Notification: Performance of inlineWhenForInitialization (initialization): time 0.002141/0.9961, allocations: 2.519 MB / 1.558 GB, free: 3.227 MB / 0.7762 GB Notification: Performance of selectInitializationVariablesDAE (initialization): time 0.00676/1.003, allocations: 3.399 MB / 1.561 GB, free: 15.8 MB / 0.7918 GB Notification: Performance of collectPreVariables (initialization): time 0.002255/1.005, allocations: 0.7202 MB / 1.562 GB, free: 15.07 MB / 0.7918 GB Notification: Performance of collectInitialEqns (initialization): time 0.004056/1.009, allocations: 3.262 MB / 1.565 GB, free: 11.78 MB / 0.7918 GB Notification: Performance of collectInitialBindings (initialization): time 0.005119/1.014, allocations: 3.109 MB / 1.568 GB, free: 8.629 MB / 0.7918 GB Notification: Performance of simplifyInitialFunctions (initialization): time 0.001087/1.015, allocations: 308 kB / 1.568 GB, free: 8.328 MB / 0.7918 GB Notification: Performance of setup shared object (initialization): time 0.001159/1.017, allocations: 0.933 MB / 1.569 GB, free: 7.387 MB / 0.7918 GB Notification: Performance of preBalanceInitialSystem (initialization): time 0.01034/1.027, allocations: 3.962 MB / 1.573 GB, free: 3.418 MB / 0.7918 GB Notification: Performance of partitionIndependentBlocks (initialization): time 0.01425/1.041, allocations: 7.932 MB / 1.581 GB, free: 9.801 MB / 0.8074 GB Notification: Performance of analyzeInitialSystem (initialization): time 0.01261/1.054, allocations: 5.1 MB / 1.586 GB, free: 4.672 MB / 0.8074 GB Notification: Performance of solveInitialSystemEqSystem (initialization): time 0.0001356/1.054, allocations: 36 kB / 1.586 GB, free: 4.637 MB / 0.8074 GB Warning: The linear system: 1 : $PRE.bookBuyerAgent.proposals[2,2] = bookBuyerAgent.proposals[2,2] 2 : bookBuyerAgent.proposals[2,2] = $PRE.bookBuyerAgent.proposals[2,2] [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ bookBuyerAgent.proposals[2,2] ; $PRE.bookBuyerAgent.proposals[2,2] ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.bookBuyerAgent.proposals[2,2] since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.bookBuyerAgent.proposals[2,1] = bookBuyerAgent.proposals[2,1] 2 : bookBuyerAgent.proposals[2,1] = $PRE.bookBuyerAgent.proposals[2,1] [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ bookBuyerAgent.proposals[2,1] ; $PRE.bookBuyerAgent.proposals[2,1] ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.bookBuyerAgent.proposals[2,1] since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.bookBuyerAgent.proposals[1,2] = bookBuyerAgent.proposals[1,2] 2 : bookBuyerAgent.proposals[1,2] = $PRE.bookBuyerAgent.proposals[1,2] [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ bookBuyerAgent.proposals[1,2] ; $PRE.bookBuyerAgent.proposals[1,2] ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.bookBuyerAgent.proposals[1,2] since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.bookBuyerAgent.proposals[1,1] = bookBuyerAgent.proposals[1,1] 2 : bookBuyerAgent.proposals[1,1] = $PRE.bookBuyerAgent.proposals[1,1] [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ bookBuyerAgent.proposals[1,1] ; $PRE.bookBuyerAgent.proposals[1,1] ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.bookBuyerAgent.proposals[1,1] since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.bookSellerAgent.bookList[2,2] = bookSellerAgent.bookList[2,2] 2 : bookSellerAgent.bookList[2,2] = $PRE.bookSellerAgent.bookList[2,2] [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ bookSellerAgent.bookList[2,2] ; $PRE.bookSellerAgent.bookList[2,2] ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.bookSellerAgent.bookList[2,2] since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.bookSellerAgent.bookList[2,1] = bookSellerAgent.bookList[2,1] 2 : bookSellerAgent.bookList[2,1] = $PRE.bookSellerAgent.bookList[2,1] [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ bookSellerAgent.bookList[2,1] ; $PRE.bookSellerAgent.bookList[2,1] ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.bookSellerAgent.bookList[2,1] since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.bookSellerAgent.bookList[1,2] = bookSellerAgent.bookList[1,2] 2 : bookSellerAgent.bookList[1,2] = $PRE.bookSellerAgent.bookList[1,2] [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ bookSellerAgent.bookList[1,2] ; $PRE.bookSellerAgent.bookList[1,2] ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.bookSellerAgent.bookList[1,2] since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.bookSellerAgent.bookList[1,1] = bookSellerAgent.bookList[1,1] 2 : bookSellerAgent.bookList[1,1] = $PRE.bookSellerAgent.bookList[1,1] [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ bookSellerAgent.bookList[1,1] ; $PRE.bookSellerAgent.bookList[1,1] ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.bookSellerAgent.bookList[1,1] since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.bookSellerAgent1.bookList[2,2] = bookSellerAgent1.bookList[2,2] 2 : bookSellerAgent1.bookList[2,2] = $PRE.bookSellerAgent1.bookList[2,2] [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ bookSellerAgent1.bookList[2,2] ; $PRE.bookSellerAgent1.bookList[2,2] ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.bookSellerAgent1.bookList[2,2] since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.bookSellerAgent1.bookList[2,1] = bookSellerAgent1.bookList[2,1] 2 : bookSellerAgent1.bookList[2,1] = $PRE.bookSellerAgent1.bookList[2,1] [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ bookSellerAgent1.bookList[2,1] ; $PRE.bookSellerAgent1.bookList[2,1] ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.bookSellerAgent1.bookList[2,1] since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.bookSellerAgent1.bookList[1,2] = bookSellerAgent1.bookList[1,2] 2 : bookSellerAgent1.bookList[1,2] = $PRE.bookSellerAgent1.bookList[1,2] [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ bookSellerAgent1.bookList[1,2] ; $PRE.bookSellerAgent1.bookList[1,2] ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.bookSellerAgent1.bookList[1,2] since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.bookSellerAgent1.bookList[1,1] = bookSellerAgent1.bookList[1,1] 2 : bookSellerAgent1.bookList[1,1] = $PRE.bookSellerAgent1.bookList[1,1] [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ bookSellerAgent1.bookList[1,1] ; $PRE.bookSellerAgent1.bookList[1,1] ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.bookSellerAgent1.bookList[1,1] since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.bookSellerAgent2.bookList[3,2] = bookSellerAgent2.bookList[3,2] 2 : bookSellerAgent2.bookList[3,2] = $PRE.bookSellerAgent2.bookList[3,2] [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ bookSellerAgent2.bookList[3,2] ; $PRE.bookSellerAgent2.bookList[3,2] ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.bookSellerAgent2.bookList[3,2] since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.bookSellerAgent2.bookList[3,1] = bookSellerAgent2.bookList[3,1] 2 : bookSellerAgent2.bookList[3,1] = $PRE.bookSellerAgent2.bookList[3,1] [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ bookSellerAgent2.bookList[3,1] ; $PRE.bookSellerAgent2.bookList[3,1] ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.bookSellerAgent2.bookList[3,1] since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.bookSellerAgent2.bookList[2,2] = bookSellerAgent2.bookList[2,2] 2 : bookSellerAgent2.bookList[2,2] = $PRE.bookSellerAgent2.bookList[2,2] [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ bookSellerAgent2.bookList[2,2] ; $PRE.bookSellerAgent2.bookList[2,2] ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.bookSellerAgent2.bookList[2,2] since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.bookSellerAgent2.bookList[2,1] = bookSellerAgent2.bookList[2,1] 2 : bookSellerAgent2.bookList[2,1] = $PRE.bookSellerAgent2.bookList[2,1] [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ bookSellerAgent2.bookList[2,1] ; $PRE.bookSellerAgent2.bookList[2,1] ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.bookSellerAgent2.bookList[2,1] since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.bookSellerAgent2.bookList[1,2] = bookSellerAgent2.bookList[1,2] 2 : bookSellerAgent2.bookList[1,2] = $PRE.bookSellerAgent2.bookList[1,2] [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ bookSellerAgent2.bookList[1,2] ; $PRE.bookSellerAgent2.bookList[1,2] ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.bookSellerAgent2.bookList[1,2] since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.bookSellerAgent2.bookList[1,1] = bookSellerAgent2.bookList[1,1] 2 : bookSellerAgent2.bookList[1,1] = $PRE.bookSellerAgent2.bookList[1,1] [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ bookSellerAgent2.bookList[1,1] ; $PRE.bookSellerAgent2.bookList[1,1] ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.bookSellerAgent2.bookList[1,1] since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.bookBuyerAgent1.proposals[2,2] = bookBuyerAgent1.proposals[2,2] 2 : bookBuyerAgent1.proposals[2,2] = $PRE.bookBuyerAgent1.proposals[2,2] [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ bookBuyerAgent1.proposals[2,2] ; $PRE.bookBuyerAgent1.proposals[2,2] ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.bookBuyerAgent1.proposals[2,2] since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.bookBuyerAgent1.proposals[2,1] = bookBuyerAgent1.proposals[2,1] 2 : bookBuyerAgent1.proposals[2,1] = $PRE.bookBuyerAgent1.proposals[2,1] [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ bookBuyerAgent1.proposals[2,1] ; $PRE.bookBuyerAgent1.proposals[2,1] ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.bookBuyerAgent1.proposals[2,1] since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.bookBuyerAgent1.proposals[1,2] = bookBuyerAgent1.proposals[1,2] 2 : bookBuyerAgent1.proposals[1,2] = $PRE.bookBuyerAgent1.proposals[1,2] [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ bookBuyerAgent1.proposals[1,2] ; $PRE.bookBuyerAgent1.proposals[1,2] ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.bookBuyerAgent1.proposals[1,2] since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.bookBuyerAgent1.proposals[1,1] = bookBuyerAgent1.proposals[1,1] 2 : bookBuyerAgent1.proposals[1,1] = $PRE.bookBuyerAgent1.proposals[1,1] [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ bookBuyerAgent1.proposals[1,1] ; $PRE.bookBuyerAgent1.proposals[1,1] ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.bookBuyerAgent1.proposals[1,1] since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.bookBuyerAgent2.proposals[2,2] = bookBuyerAgent2.proposals[2,2] 2 : bookBuyerAgent2.proposals[2,2] = $PRE.bookBuyerAgent2.proposals[2,2] [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ bookBuyerAgent2.proposals[2,2] ; $PRE.bookBuyerAgent2.proposals[2,2] ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.bookBuyerAgent2.proposals[2,2] since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.bookBuyerAgent2.proposals[2,1] = bookBuyerAgent2.proposals[2,1] 2 : bookBuyerAgent2.proposals[2,1] = $PRE.bookBuyerAgent2.proposals[2,1] [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ bookBuyerAgent2.proposals[2,1] ; $PRE.bookBuyerAgent2.proposals[2,1] ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.bookBuyerAgent2.proposals[2,1] since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.bookBuyerAgent2.proposals[1,2] = bookBuyerAgent2.proposals[1,2] 2 : bookBuyerAgent2.proposals[1,2] = $PRE.bookBuyerAgent2.proposals[1,2] [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ bookBuyerAgent2.proposals[1,2] ; $PRE.bookBuyerAgent2.proposals[1,2] ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.bookBuyerAgent2.proposals[1,2] since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Warning: The linear system: 1 : $PRE.bookBuyerAgent2.proposals[1,1] = bookBuyerAgent2.proposals[1,1] 2 : bookBuyerAgent2.proposals[1,1] = $PRE.bookBuyerAgent2.proposals[1,1] [ -1.0 , 1.0 ; 1.0 , -1.0 ] * [ bookBuyerAgent2.proposals[1,1] ; $PRE.bookBuyerAgent2.proposals[1,1] ] = [ 0.0 ; 0.0 ] might be structurally or numerically singular for variable $PRE.bookBuyerAgent2.proposals[1,1] since U(2,2) = 0.0. It might be hard to solve. Compilation continues anyway. Notification: Performance of matching and sorting (n=2084) (initialization): time 0.03978/1.094, allocations: 19.1 MB / 1.604 GB, free: 408 kB / 0.823 GB Notification: Performance of prepare postOptimizeDAE: time 0.0003102/1.094, allocations: 254.2 kB / 1.605 GB, free: 116 kB / 0.823 GB Notification: Performance of postOpt simplifyComplexFunction (initialization): time 0.0002568/1.095, allocations: 120 kB / 1.605 GB, free: 15.99 MB / 0.8387 GB Notification: Performance of postOpt tearingSystem (initialization): time 0.001203/1.096, allocations: 0.6933 MB / 1.605 GB, free: 15.22 MB / 0.8387 GB Notification: Performance of postOpt solveSimpleEquations (initialization): time 0.007435/1.103, allocations: 1.769 MB / 1.607 GB, free: 13.45 MB / 0.8387 GB Notification: Performance of postOpt calculateStrongComponentJacobians (initialization): time 0.03192/1.135, allocations: 36.38 MB / 1.643 GB, free: 5.629 MB / 0.8699 GB Notification: Performance of postOpt simplifyAllExpressions (initialization): time 0.008266/1.143, allocations: 1.332 MB / 1.644 GB, free: 4.285 MB / 0.8699 GB Notification: Performance of postOpt collapseArrayExpressions (initialization): time 0.00177/1.145, allocations: 0.6718 MB / 1.645 GB, free: 3.613 MB / 0.8699 GB Warning: Assuming fixed start value for the following 123 variables: bookBuyerAgent.proposals[3,2]:DISCRETE(start = 9999.0 fixed = true ) type: Real [3,2] bookBuyerAgent.proposals[3,1]:DISCRETE(start = 9999.0 fixed = true ) type: Real [3,2] bookBuyerAgent.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) "Input for receiving agent name" type: Real bookBuyerAgent.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] bookBuyerAgent.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] bookBuyerAgent.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] bookBuyerAgent.lowestPrice:DISCRETE(start = 9999999.0 fixed = true ) type: Real bookBuyerAgent.counterProposals:DISCRETE(start = 1 fixed = true ) type: Integer bookBuyerAgent.counter:DISCRETE(start = 1 fixed = true ) type: Integer bookBuyerAgent.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real bookBuyerAgent.bookBought:DISCRETE(flow=false fixed = true ) "Indicator that turns true if a book was succesfully bought" type: Boolean bookBuyerAgent.integerChange.u:DISCRETE(flow=false fixed = true ) "Connector of Integer input signal" type: Integer bookBuyerAgent.bookOffered:DISCRETE(start = false fixed = true ) type: Boolean bookBuyerAgent.requestsDone:DISCRETE(start = false fixed = true ) type: Boolean bookSellerAgent.bookList[3,2]:DISCRETE(start = 20.0 fixed = true ) type: Real [3,2] bookSellerAgent.bookList[3,1]:DISCRETE(start = 3551555588.0 fixed = true ) type: Real [3,2] bookSellerAgent.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] bookSellerAgent.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] bookSellerAgent.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) "Input for receiving agent name" type: Real bookSellerAgent.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] bookSellerAgent.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent.content_2_current:DISCRETE(start = 0.0 fixed = true ) type: Real bookSellerAgent.content_1_current:DISCRETE(start = 0.0 fixed = true ) type: Real bookSellerAgent.sender_current:DISCRETE(start = 0 fixed = true ) type: Integer bookSellerAgent.index:DISCRETE(start = 1.0 fixed = true ) type: Real bookSellerAgent.bookToSell:DISCRETE(start = false fixed = true ) type: Boolean bookSellerAgent.bookInStock:DISCRETE(start = false fixed = true ) type: Boolean bookSellerAgent.counter:DISCRETE(start = 1 fixed = true ) type: Integer bookSellerAgent.searchedBook:DISCRETE(start = 0.0 fixed = true ) type: Real bookSellerAgent.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real bookSellerAgent.integerChange.u:DISCRETE(flow=false fixed = true ) "Connector of Integer input signal" type: Integer bookSellerAgent.performative_current:DISCRETE(start = 0 fixed = true ) type: Integer bookSellerAgent1.bookList[3,2]:DISCRETE(start = 20.0 fixed = true ) type: Real [3,2] bookSellerAgent1.bookList[3,1]:DISCRETE(start = 3551555556.0 fixed = true ) type: Real [3,2] bookSellerAgent1.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent1.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] bookSellerAgent1.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] bookSellerAgent1.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent1.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent1.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) "Input for receiving agent name" type: Real bookSellerAgent1.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] bookSellerAgent1.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent1.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent1.content_2_current:DISCRETE(start = 0.0 fixed = true ) type: Real bookSellerAgent1.content_1_current:DISCRETE(start = 0.0 fixed = true ) type: Real bookSellerAgent1.sender_current:DISCRETE(start = 0 fixed = true ) type: Integer bookSellerAgent1.index:DISCRETE(start = 1.0 fixed = true ) type: Real bookSellerAgent1.bookToSell:DISCRETE(start = false fixed = true ) type: Boolean bookSellerAgent1.bookInStock:DISCRETE(start = false fixed = true ) type: Boolean bookSellerAgent1.counter:DISCRETE(start = 1 fixed = true ) type: Integer bookSellerAgent1.searchedBook:DISCRETE(start = 0.0 fixed = true ) type: Real bookSellerAgent1.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real bookSellerAgent1.integerChange.u:DISCRETE(flow=false fixed = true ) "Connector of Integer input signal" type: Integer bookSellerAgent1.performative_current:DISCRETE(start = 0 fixed = true ) type: Integer bookSellerAgent2.bookList[4,2]:DISCRETE(start = 15.0 fixed = true ) type: Real [4,2] bookSellerAgent2.bookList[4,1]:DISCRETE(start = 3551555580.0 fixed = true ) type: Real [4,2] bookSellerAgent2.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent2.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] bookSellerAgent2.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] bookSellerAgent2.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent2.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent2.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) "Input for receiving agent name" type: Real bookSellerAgent2.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] bookSellerAgent2.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent2.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookSellerAgent2.content_2_current:DISCRETE(start = 0.0 fixed = true ) type: Real bookSellerAgent2.content_1_current:DISCRETE(start = 0.0 fixed = true ) type: Real bookSellerAgent2.sender_current:DISCRETE(start = 0 fixed = true ) type: Integer bookSellerAgent2.index:DISCRETE(start = 1.0 fixed = true ) type: Real bookSellerAgent2.bookToSell:DISCRETE(start = false fixed = true ) type: Boolean bookSellerAgent2.bookInStock:DISCRETE(start = false fixed = true ) type: Boolean bookSellerAgent2.counter:DISCRETE(start = 1 fixed = true ) type: Integer bookSellerAgent2.searchedBook:DISCRETE(start = 0.0 fixed = true ) type: Real bookSellerAgent2.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real bookSellerAgent2.integerChange.u:DISCRETE(flow=false fixed = true ) "Connector of Integer input signal" type: Integer bookSellerAgent2.performative_current:DISCRETE(start = 0 fixed = true ) type: Integer 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.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 = 9999999.0 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.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 bookBuyerAgent1.bookOffered:DISCRETE(start = false fixed = true ) type: Boolean bookBuyerAgent1.requestsDone:DISCRETE(start = false fixed = true ) type: Boolean bookBuyerAgent2.proposals[3,2]:DISCRETE(start = 9999.0 fixed = true ) type: Real [3,2] bookBuyerAgent2.proposals[3,1]:DISCRETE(start = 9999.0 fixed = true ) type: Real [3,2] bookBuyerAgent2.messageID.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent2.receiver.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent2.uDPSend_adapted.receiver:DISCRETE(flow=false fixed = true ) "Input for receiving agent name" type: Real bookBuyerAgent2.ontology.u[1]:DISCRETE(flow=false fixed = true ) type: Real [1] bookBuyerAgent2.reply_to.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent2.sender.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent2.performative.u[1]:DISCRETE(flow=false fixed = true ) type: Integer [1] bookBuyerAgent2.content.u[2]:DISCRETE(flow=false fixed = true ) type: Real [2] bookBuyerAgent2.content.u[1]:DISCRETE(flow=false fixed = true ) type: Real [2] bookBuyerAgent2.lowestPrice:DISCRETE(start = 9999999.0 fixed = true ) type: Real bookBuyerAgent2.counterProposals:DISCRETE(start = 1 fixed = true ) type: Integer bookBuyerAgent2.counter:DISCRETE(start = 1 fixed = true ) type: Integer bookBuyerAgent2.uDPSend_adapted.dummy:DISCRETE(fixed = true protected = true ) type: Real bookBuyerAgent2.bookBought:DISCRETE(flow=false fixed = true ) "Indicator that turns true if a book was succesfully bought" type: Boolean bookBuyerAgent2.integerChange.u:DISCRETE(flow=false fixed = true ) "Connector of Integer input signal" type: Integer bookBuyerAgent2.bookOffered:DISCRETE(start = false fixed = true ) type: Boolean bookBuyerAgent2.requestsDone:DISCRETE(start = false fixed = true ) type: Boolean Notification: Model statistics after passing the back-end for initialization: * Number of independent subsystems: 546 * Number of states: 0 () * Number of discrete variables: 1771 ($PRE.bookBuyerAgent.transitionWithSignal.enableFire,$PRE.bookBuyerAgent.transition.enableFire,$PRE.bookBuyerAgent.newMessage.enableFire,$PRE.bookBuyerAgent.offer.enableFire,$PRE.bookBuyerAgent.refuse.enableFire,$PRE.bookBuyerAgent.done.enableFire,$PRE.bookBuyerAgent.notDone.enableFire,$PRE.bookBuyerAgent.confirmation.enableFire,$PRE.bookBuyerAgent.transition1.enableFire,$PRE.bookBuyerAgent.transition3.enableFire,$PRE.bookBuyerAgent.newMessage1.enableFire,$PRE.bookBuyerAgent.abort.enableFire,$PRE.bookBuyerAgent.transitionWithSignal1.enableFire,$PRE.bookBuyerAgent.noOffers.enableFire,$PRE.bookBuyerAgent.abortAction.enableFire,$PRE.bookBuyerAgent.abortAction1.enableFire,$PRE.bookBuyerAgent.transition2.enableFire,$PRE.bookSellerAgent.newMessage.enableFire,$PRE.bookSellerAgent.OfferRequestsServer.enableFire,$PRE.bookSellerAgent.PurchaseOrdersServer.enableFire,$PRE.bookSellerAgent.transition.enableFire,$PRE.bookSellerAgent.transition1.enableFire,$PRE.bookSellerAgent.transition2.enableFire,$PRE.bookSellerAgent.transition3.enableFire,$PRE.bookSellerAgent.transition4.enableFire,$PRE.bookSellerAgent.transition5.enableFire,$PRE.bookSellerAgent1.newMessage.enableFire,$PRE.bookSellerAgent1.OfferRequestsServer.enableFire,$PRE.bookSellerAgent1.PurchaseOrdersServer.enableFire,$PRE.bookSellerAgent1.transition.enableFire,$PRE.bookSellerAgent1.transition1.enableFire,$PRE.bookSellerAgent1.transition2.enableFire,$PRE.bookSellerAgent1.transition3.enableFire,$PRE.bookSellerAgent1.transition4.enableFire,$PRE.bookSellerAgent1.transition5.enableFire,$PRE.bookSellerAgent2.newMessage.enableFire,$PRE.bookSellerAgent2.OfferRequestsServer.enableFire,$PRE.bookSellerAgent2.PurchaseOrdersServer.enableFire,$PRE.bookSellerAgent2.transition.enableFire,$PRE.bookSellerAgent2.transition1.enableFire,$PRE.bookSellerAgent2.transition2.enableFire,$PRE.bookSellerAgent2.transition3.enableFire,$PRE.bookSellerAgent2.transition4.enableFire,$PRE.bookSellerAgent2.transition5.enableFire,$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.bookBuyerAgent2.transitionWithSignal.enableFire,$PRE.bookBuyerAgent2.transition.enableFire,$PRE.bookBuyerAgent2.newMessage.enableFire,$PRE.bookBuyerAgent2.offer.enableFire,$PRE.bookBuyerAgent2.refuse.enableFire,$PRE.bookBuyerAgent2.done.enableFire,$PRE.bookBuyerAgent2.notDone.enableFire,$PRE.bookBuyerAgent2.confirmation.enableFire,$PRE.bookBuyerAgent2.transition1.enableFire,$PRE.bookBuyerAgent2.transition3.enableFire,$PRE.bookBuyerAgent2.newMessage1.enableFire,$PRE.bookBuyerAgent2.abort.enableFire,$PRE.bookBuyerAgent2.transitionWithSignal1.enableFire,$PRE.bookBuyerAgent2.noOffers.enableFire,$PRE.bookBuyerAgent2.abortAction.enableFire,$PRE.bookBuyerAgent2.abortAction1.enableFire,$PRE.bookBuyerAgent2.transition2.enableFire,$PRE.bookBuyerAgent.proposals[3,2],bookBuyerAgent.proposals[3,2],$PRE.bookBuyerAgent.proposals[3,1],bookBuyerAgent.proposals[3,1],$PRE.bookBuyerAgent.messageID.u[1],bookBuyerAgent.messageID.u[1],$PRE.bookBuyerAgent.receiver.u[1],bookBuyerAgent.receiver.u[1],$PRE.bookBuyerAgent.uDPSend_adapted.receiver,bookBuyerAgent.uDPSend_adapted.receiver,$PRE.bookBuyerAgent.ontology.u[1],bookBuyerAgent.ontology.u[1],$PRE.bookBuyerAgent.reply_to.u[1],bookBuyerAgent.reply_to.u[1],$PRE.bookBuyerAgent.sender.u[1],bookBuyerAgent.sender.u[1],$PRE.bookBuyerAgent.performative.u[1],bookBuyerAgent.performative.u[1],$PRE.bookBuyerAgent.content.u[2],bookBuyerAgent.content.u[2],$PRE.bookBuyerAgent.content.u[1],bookBuyerAgent.content.u[1],$PRE.bookBuyerAgent.lowestPrice,bookBuyerAgent.lowestPrice,$PRE.bookBuyerAgent.counterProposals,bookBuyerAgent.counterProposals,$PRE.bookBuyerAgent.counter,bookBuyerAgent.counter,$PRE.bookBuyerAgent.messageID.pkgOut[1].dummy,bookBuyerAgent.messageID.pkgOut[1].dummy,$PRE.bookBuyerAgent.getMessageID.dummy,bookBuyerAgent.getMessageID.dummy,$PRE.bookBuyerAgent.performative.pkgOut[1].dummy,bookBuyerAgent.performative.pkgOut[1].dummy,$PRE.bookBuyerAgent.getontology.dummy,bookBuyerAgent.getontology.dummy,$PRE.bookBuyerAgent.getontology.y[1],bookBuyerAgent.getontology.y[1],$PRE.bookBuyerAgent.getontology.pkgOut[1].dummy,bookBuyerAgent.getontology.pkgOut[1].dummy,$PRE.bookBuyerAgent.getreply_to.dummy,bookBuyerAgent.getreply_to.dummy,$PRE.bookBuyerAgent.getreply_to.y[1],bookBuyerAgent.getreply_to.y[1],$PRE.bookBuyerAgent.getreply_to.pkgOut[1].dummy,bookBuyerAgent.getreply_to.pkgOut[1].dummy,$PRE.bookBuyerAgent.getreceiver.dummy,bookBuyerAgent.getreceiver.dummy,$PRE.bookBuyerAgent.getreceiver.y[1],bookBuyerAgent.getreceiver.y[1],$PRE.bookBuyerAgent.getreceiver.pkgOut[1].dummy,bookBuyerAgent.getreceiver.pkgOut[1].dummy,$PRE.bookBuyerAgent.getsender.dummy,bookBuyerAgent.getsender.dummy,$PRE.bookBuyerAgent.getsender.y[1],bookBuyerAgent.getsender.y[1],$PRE.bookBuyerAgent.getsender.pkgOut[1].dummy,bookBuyerAgent.getsender.pkgOut[1].dummy,$PRE.bookBuyerAgent.getperformative.dummy,bookBuyerAgent.getperformative.dummy,$PRE.bookBuyerAgent.getperformative.pkgOut[1].dummy,bookBuyerAgent.getperformative.pkgOut[1].dummy,$PRE.bookBuyerAgent.ontology.pkgOut[1].dummy,bookBuyerAgent.ontology.pkgOut[1].dummy,$PRE.bookBuyerAgent.reply_to.pkgOut[1].dummy,bookBuyerAgent.reply_to.pkgOut[1].dummy,$PRE.bookBuyerAgent.receiver.pkgOut[1].dummy,bookBuyerAgent.receiver.pkgOut[1].dummy,$PRE.bookBuyerAgent.sender.pkgOut[1].dummy,bookBuyerAgent.sender.pkgOut[1].dummy,$PRE.bookBuyerAgent.uDPSend_adapted.dummy,bookBuyerAgent.uDPSend_adapted.dummy,$PRE.bookBuyerAgent.uDPReceive_adapted.nRecvbufOverwrites,bookBuyerAgent.uDPReceive_adapted.nRecvbufOverwrites,$PRE.bookBuyerAgent.uDPReceive_adapted.nRecvBytes,bookBuyerAgent.uDPReceive_adapted.nRecvBytes,$PRE.bookBuyerAgent.uDPReceive_adapted.pkgOut.dummy,bookBuyerAgent.uDPReceive_adapted.pkgOut.dummy,$PRE.bookBuyerAgent.get_content.dummy,bookBuyerAgent.get_content.dummy,$PRE.bookBuyerAgent.get_content.y[2],bookBuyerAgent.get_content.y[2],$PRE.bookBuyerAgent.get_content.y[1],bookBuyerAgent.get_content.y[1],$PRE.bookBuyerAgent.get_content.pkgOut[1].dummy,bookBuyerAgent.get_content.pkgOut[1].dummy,$PRE.bookBuyerAgent.content.pkgOut[1].dummy,bookBuyerAgent.content.pkgOut[1].dummy,$PRE.bookBuyerAgent.packager.pkgOut.dummy,bookBuyerAgent.packager.pkgOut.dummy,$whenCondition99,bookBuyerAgent.getontology.pkgOut[1].trigger,$whenCondition112,$whenCondition111,$whenCondition110,$whenCondition109,$whenCondition108,$whenCondition107,$whenCondition106,$whenCondition105,$whenCondition104,$whenCondition103,$whenCondition102,$whenCondition101,$whenCondition100,$whenCondition98,$whenCondition113,$whenCondition114,$whenCondition115,$whenCondition116,$whenCondition117,$whenCondition118,$whenCondition119,$whenCondition120,$PRE.bookBuyerAgent.getperformative.y[1],bookBuyerAgent.getperformative.y[1],$PRE.bookBuyerAgent.getMessageID.y[1],bookBuyerAgent.getMessageID.y[1],bookBuyerAgent.messageID.pkgOut[1].trigger,bookBuyerAgent.messageID.pkgOut[1].backwardTrigger,bookBuyerAgent.stateGraphRoot.activeSteps,$PRE.bookBuyerAgent.requestsDone,bookBuyerAgent.requestsDone,$PRE.bookBuyerAgent.bookOffered,bookBuyerAgent.bookOffered,bookBuyerAgent.waiting.active,$PRE.bookBuyerAgent.waiting.localActive,bookBuyerAgent.waiting.localActive,bookBuyerAgent.waiting.inPort[2].occupied,bookBuyerAgent.waiting.inPort[3].occupied,bookBuyerAgent.waiting.inPort[4].occupied,$PRE.bookBuyerAgent.waiting.newActive,bookBuyerAgent.waiting.newActive,$PRE.bookBuyerAgent.waiting.oldActive,bookBuyerAgent.waiting.oldActive,bookBuyerAgent.composeRequest.active,$PRE.bookBuyerAgent.composeRequest.localActive,bookBuyerAgent.composeRequest.localActive,bookBuyerAgent.composeRequest.inPort[2].occupied,bookBuyerAgent.composeRequest.inPort[3].occupied,$PRE.bookBuyerAgent.composeRequest.newActive,bookBuyerAgent.composeRequest.newActive,$PRE.bookBuyerAgent.composeRequest.oldActive,bookBuyerAgent.composeRequest.oldActive,bookBuyerAgent.collectProposal.active,$PRE.bookBuyerAgent.collectProposal.localActive,bookBuyerAgent.collectProposal.localActive,bookBuyerAgent.collectProposal.outPort[2].available,$PRE.bookBuyerAgent.collectProposal.newActive,bookBuyerAgent.collectProposal.newActive,$PRE.bookBuyerAgent.collectProposal.oldActive,bookBuyerAgent.collectProposal.oldActive,bookBuyerAgent.composeBuy.active,$PRE.bookBuyerAgent.composeBuy.localActive,bookBuyerAgent.composeBuy.localActive,$PRE.bookBuyerAgent.composeBuy.newActive,bookBuyerAgent.composeBuy.newActive,$PRE.bookBuyerAgent.composeBuy.oldActive,bookBuyerAgent.composeBuy.oldActive,$PRE.bookBuyerAgent.integerChange.u,bookBuyerAgent.integerChange.u,bookBuyerAgent.sampleTrigger.y,bookBuyerAgent.transitionWithSignal.condition,bookBuyerAgent.transitionWithSignal.enableFire,bookBuyerAgent.transition.enableFire,bookBuyerAgent.transition.fire,$PRE.bookBuyerAgent.transition.t_start,bookBuyerAgent.transition.t_start,bookBuyerAgent.check.active,$PRE.bookBuyerAgent.check.localActive,bookBuyerAgent.check.localActive,bookBuyerAgent.check.outPort[2].available,$PRE.bookBuyerAgent.check.newActive,bookBuyerAgent.check.newActive,$PRE.bookBuyerAgent.check.oldActive,bookBuyerAgent.check.oldActive,bookBuyerAgent.newMessage.enableFire,bookBuyerAgent.offer.condition,bookBuyerAgent.offer.enableFire,bookBuyerAgent.offer.fire,$PRE.bookBuyerAgent.offer.t_start,bookBuyerAgent.offer.t_start,bookBuyerAgent.refuse.condition,bookBuyerAgent.refuse.enableFire,bookBuyerAgent.refuse.fire,$PRE.bookBuyerAgent.refuse.t_start,bookBuyerAgent.refuse.t_start,bookBuyerAgent.done.enableFire,bookBuyerAgent.done.fire,$PRE.bookBuyerAgent.done.t_start,bookBuyerAgent.done.t_start,bookBuyerAgent.notDone.enableFire,bookBuyerAgent.notDone.fire,$PRE.bookBuyerAgent.notDone.t_start,bookBuyerAgent.notDone.t_start,$PRE.bookBuyerAgent.sendRequest.localActive,bookBuyerAgent.sendRequest.localActive,bookBuyerAgent.sendRequest.outPort[2].available,$PRE.bookBuyerAgent.sendRequest.newActive,bookBuyerAgent.sendRequest.newActive,$PRE.bookBuyerAgent.sendRequest.oldActive,bookBuyerAgent.sendRequest.oldActive,bookBuyerAgent.sendRequest.active,$PRE.bookBuyerAgent.sendBuy.localActive,bookBuyerAgent.sendBuy.localActive,bookBuyerAgent.sendBuy.outPort[2].available,$PRE.bookBuyerAgent.sendBuy.newActive,bookBuyerAgent.sendBuy.newActive,$PRE.bookBuyerAgent.sendBuy.oldActive,bookBuyerAgent.sendBuy.oldActive,bookBuyerAgent.sendBuy.active,bookBuyerAgent.check1.active,$PRE.bookBuyerAgent.check1.localActive,bookBuyerAgent.check1.localActive,bookBuyerAgent.check1.outPort[2].available,$PRE.bookBuyerAgent.check1.newActive,bookBuyerAgent.check1.newActive,$PRE.bookBuyerAgent.check1.oldActive,bookBuyerAgent.check1.oldActive,bookBuyerAgent.confirmation.condition,bookBuyerAgent.confirmation.enableFire,bookBuyerAgent.confirmation.fire,$PRE.bookBuyerAgent.confirmation.t_start,bookBuyerAgent.confirmation.t_start,bookBuyerAgent.setDone.active,$PRE.bookBuyerAgent.setDone.localActive,bookBuyerAgent.setDone.localActive,bookBuyerAgent.setDone.outPort[2].available,$PRE.bookBuyerAgent.setDone.newActive,bookBuyerAgent.setDone.newActive,$PRE.bookBuyerAgent.setDone.oldActive,bookBuyerAgent.setDone.oldActive,bookBuyerAgent.transition1.enableFire,bookBuyerAgent.transition1.fire,$PRE.bookBuyerAgent.transition1.t_start,bookBuyerAgent.transition1.t_start,bookBuyerAgent.transition3.enableFire,bookBuyerAgent.transition3.fire,$PRE.bookBuyerAgent.transition3.t_start,bookBuyerAgent.transition3.t_start,$PRE.bookBuyerAgent.bookBought,bookBuyerAgent.bookBought,bookBuyerAgent.newMessage1.condition,bookBuyerAgent.newMessage1.enableFire,bookBuyerAgent.abort.enableFire,bookBuyerAgent.abort.fire,$PRE.bookBuyerAgent.abort.t_start,bookBuyerAgent.abort.t_start,bookBuyerAgent.stateOfOffers.active,$PRE.bookBuyerAgent.stateOfOffers.localActive,bookBuyerAgent.stateOfOffers.localActive,bookBuyerAgent.stateOfOffers.outPort[2].available,$PRE.bookBuyerAgent.stateOfOffers.newActive,bookBuyerAgent.stateOfOffers.newActive,$PRE.bookBuyerAgent.stateOfOffers.oldActive,bookBuyerAgent.stateOfOffers.oldActive,bookBuyerAgent.transitionWithSignal1.enableFire,bookBuyerAgent.noOffers.enableFire,bookBuyerAgent.noOffers.fire,$PRE.bookBuyerAgent.noOffers.t_start,bookBuyerAgent.noOffers.t_start,bookBuyerAgent.abortAction.enableFire,bookBuyerAgent.abortAction.fire,$PRE.bookBuyerAgent.abortAction.t_start,bookBuyerAgent.abortAction.t_start,bookBuyerAgent.abortAction1.enableFire,bookBuyerAgent.abortAction1.fire,$PRE.bookBuyerAgent.abortAction1.t_start,bookBuyerAgent.abortAction1.t_start,bookBuyerAgent.notServed.active,$PRE.bookBuyerAgent.notServed.localActive,bookBuyerAgent.notServed.localActive,bookBuyerAgent.notServed.inPort[2].occupied,$PRE.bookBuyerAgent.notServed.newActive,bookBuyerAgent.notServed.newActive,$PRE.bookBuyerAgent.notServed.oldActive,bookBuyerAgent.notServed.oldActive,bookBuyerAgent.transition2.enableFire,$PRE.bookSellerAgent.bookList[3,2],bookSellerAgent.bookList[3,2],$PRE.bookSellerAgent.bookList[3,1],bookSellerAgent.bookList[3,1],$PRE.bookSellerAgent.performative.u[1],bookSellerAgent.performative.u[1],$PRE.bookSellerAgent.content.u[2],bookSellerAgent.content.u[2],$PRE.bookSellerAgent.content.u[1],bookSellerAgent.content.u[1],$PRE.bookSellerAgent.messageID.u[1],bookSellerAgent.messageID.u[1],$PRE.bookSellerAgent.receiver.u[1],bookSellerAgent.receiver.u[1],$PRE.bookSellerAgent.uDPSend_adapted.receiver,bookSellerAgent.uDPSend_adapted.receiver,$PRE.bookSellerAgent.ontology.u[1],bookSellerAgent.ontology.u[1],$PRE.bookSellerAgent.reply_to.u[1],bookSellerAgent.reply_to.u[1],$PRE.bookSellerAgent.sender.u[1],bookSellerAgent.sender.u[1],$PRE.bookSellerAgent.content_2_current,bookSellerAgent.content_2_current,$PRE.bookSellerAgent.content_1_current,bookSellerAgent.content_1_current,$PRE.bookSellerAgent.sender_current,bookSellerAgent.sender_current,$PRE.bookSellerAgent.index,bookSellerAgent.index,$PRE.bookSellerAgent.bookToSell,bookSellerAgent.bookToSell,$PRE.bookSellerAgent.bookInStock,bookSellerAgent.bookInStock,$PRE.bookSellerAgent.counter,bookSellerAgent.counter,$PRE.bookSellerAgent.searchedBook,bookSellerAgent.searchedBook,$PRE.bookSellerAgent.messageID.pkgOut[1].dummy,bookSellerAgent.messageID.pkgOut[1].dummy,$PRE.bookSellerAgent.getMessageID.dummy,bookSellerAgent.getMessageID.dummy,$PRE.bookSellerAgent.performative.pkgOut[1].dummy,bookSellerAgent.performative.pkgOut[1].dummy,$PRE.bookSellerAgent.getontology.dummy,bookSellerAgent.getontology.dummy,$PRE.bookSellerAgent.getontology.y[1],bookSellerAgent.getontology.y[1],$PRE.bookSellerAgent.getontology.pkgOut[1].dummy,bookSellerAgent.getontology.pkgOut[1].dummy,$PRE.bookSellerAgent.getreply_to.dummy,bookSellerAgent.getreply_to.dummy,$PRE.bookSellerAgent.getreply_to.y[1],bookSellerAgent.getreply_to.y[1],$PRE.bookSellerAgent.getreply_to.pkgOut[1].dummy,bookSellerAgent.getreply_to.pkgOut[1].dummy,$PRE.bookSellerAgent.getreceiver.dummy,bookSellerAgent.getreceiver.dummy,$PRE.bookSellerAgent.getreceiver.y[1],bookSellerAgent.getreceiver.y[1],$PRE.bookSellerAgent.getreceiver.pkgOut[1].dummy,bookSellerAgent.getreceiver.pkgOut[1].dummy,$PRE.bookSellerAgent.getsender.dummy,bookSellerAgent.getsender.dummy,$PRE.bookSellerAgent.getsender.y[1],bookSellerAgent.getsender.y[1],$PRE.bookSellerAgent.getsender.pkgOut[1].dummy,bookSellerAgent.getsender.pkgOut[1].dummy,$PRE.bookSellerAgent.getperformative.dummy,bookSellerAgent.getperformative.dummy,$PRE.bookSellerAgent.getperformative.y[1],bookSellerAgent.getperformative.y[1],$PRE.bookSellerAgent.getperformative.pkgOut[1].dummy,bookSellerAgent.getperformative.pkgOut[1].dummy,$PRE.bookSellerAgent.ontology.pkgOut[1].dummy,bookSellerAgent.ontology.pkgOut[1].dummy,$PRE.bookSellerAgent.reply_to.pkgOut[1].dummy,bookSellerAgent.reply_to.pkgOut[1].dummy,$PRE.bookSellerAgent.receiver.pkgOut[1].dummy,bookSellerAgent.receiver.pkgOut[1].dummy,$PRE.bookSellerAgent.sender.pkgOut[1].dummy,bookSellerAgent.sender.pkgOut[1].dummy,$PRE.bookSellerAgent.uDPSend_adapted.dummy,bookSellerAgent.uDPSend_adapted.dummy,$PRE.bookSellerAgent.uDPReceive_adapted.nRecvbufOverwrites,bookSellerAgent.uDPReceive_adapted.nRecvbufOverwrites,$PRE.bookSellerAgent.uDPReceive_adapted.nRecvBytes,bookSellerAgent.uDPReceive_adapted.nRecvBytes,$PRE.bookSellerAgent.uDPReceive_adapted.pkgOut.dummy,bookSellerAgent.uDPReceive_adapted.pkgOut.dummy,$PRE.bookSellerAgent.get_content.dummy,bookSellerAgent.get_content.dummy,$PRE.bookSellerAgent.get_content.y[2],bookSellerAgent.get_content.y[2],$PRE.bookSellerAgent.get_content.y[1],bookSellerAgent.get_content.y[1],$PRE.bookSellerAgent.get_content.pkgOut[1].dummy,bookSellerAgent.get_content.pkgOut[1].dummy,$PRE.bookSellerAgent.content.pkgOut[1].dummy,bookSellerAgent.content.pkgOut[1].dummy,$PRE.bookSellerAgent.packager.pkgOut.dummy,bookSellerAgent.packager.pkgOut.dummy,$whenCondition82,bookSellerAgent.getontology.pkgOut[1].trigger,$whenCondition91,$whenCondition90,$whenCondition89,$whenCondition88,$whenCondition87,$whenCondition86,$whenCondition85,$whenCondition84,$whenCondition83,$whenCondition81,$whenCondition92,$whenCondition93,$whenCondition94,$whenCondition95,$whenCondition96,$whenCondition97,$PRE.bookSellerAgent.getMessageID.y[1],bookSellerAgent.getMessageID.y[1],bookSellerAgent.messageID.pkgOut[1].trigger,bookSellerAgent.messageID.pkgOut[1].backwardTrigger,bookSellerAgent.stateGraphRoot.activeSteps,$PRE.bookSellerAgent.performative_current,bookSellerAgent.performative_current,$PRE.bookSellerAgent.integerChange.u,bookSellerAgent.integerChange.u,bookSellerAgent.waiting.active,$PRE.bookSellerAgent.waiting.localActive,bookSellerAgent.waiting.localActive,bookSellerAgent.waiting.inPort[2].occupied,$PRE.bookSellerAgent.waiting.newActive,bookSellerAgent.waiting.newActive,$PRE.bookSellerAgent.waiting.oldActive,bookSellerAgent.waiting.oldActive,bookSellerAgent.newMessage.condition,bookSellerAgent.newMessage.enableFire,bookSellerAgent.checkPurpose.active,$PRE.bookSellerAgent.checkPurpose.localActive,bookSellerAgent.checkPurpose.localActive,bookSellerAgent.checkPurpose.outPort[2].available,$PRE.bookSellerAgent.checkPurpose.newActive,bookSellerAgent.checkPurpose.newActive,$PRE.bookSellerAgent.checkPurpose.oldActive,bookSellerAgent.checkPurpose.oldActive,bookSellerAgent.OfferRequestsServer.condition,bookSellerAgent.OfferRequestsServer.enableFire,bookSellerAgent.OfferRequestsServer.fire,$PRE.bookSellerAgent.OfferRequestsServer.t_start,bookSellerAgent.OfferRequestsServer.t_start,bookSellerAgent.PurchaseOrdersServer.condition,bookSellerAgent.PurchaseOrdersServer.enableFire,bookSellerAgent.PurchaseOrdersServer.fire,$PRE.bookSellerAgent.PurchaseOrdersServer.t_start,bookSellerAgent.PurchaseOrdersServer.t_start,bookSellerAgent.checkLibrary.active,$PRE.bookSellerAgent.checkLibrary.localActive,bookSellerAgent.checkLibrary.localActive,$PRE.bookSellerAgent.checkLibrary.newActive,bookSellerAgent.checkLibrary.newActive,$PRE.bookSellerAgent.checkLibrary.oldActive,bookSellerAgent.checkLibrary.oldActive,bookSellerAgent.composeResponse.active,$PRE.bookSellerAgent.composeResponse.localActive,bookSellerAgent.composeResponse.localActive,$PRE.bookSellerAgent.composeResponse.newActive,bookSellerAgent.composeResponse.newActive,$PRE.bookSellerAgent.composeResponse.oldActive,bookSellerAgent.composeResponse.oldActive,$PRE.bookSellerAgent.sendResponse.localActive,bookSellerAgent.sendResponse.localActive,$PRE.bookSellerAgent.sendResponse.newActive,bookSellerAgent.sendResponse.newActive,$PRE.bookSellerAgent.sendResponse.oldActive,bookSellerAgent.sendResponse.oldActive,bookSellerAgent.sendResponse.active,bookSellerAgent.checkLibrary1.active,$PRE.bookSellerAgent.checkLibrary1.localActive,bookSellerAgent.checkLibrary1.localActive,$PRE.bookSellerAgent.checkLibrary1.newActive,bookSellerAgent.checkLibrary1.newActive,$PRE.bookSellerAgent.checkLibrary1.oldActive,bookSellerAgent.checkLibrary1.oldActive,bookSellerAgent.composeResponse1.active,$PRE.bookSellerAgent.composeResponse1.localActive,bookSellerAgent.composeResponse1.localActive,$PRE.bookSellerAgent.composeResponse1.newActive,bookSellerAgent.composeResponse1.newActive,$PRE.bookSellerAgent.composeResponse1.oldActive,bookSellerAgent.composeResponse1.oldActive,$PRE.bookSellerAgent.sendResponse1.localActive,bookSellerAgent.sendResponse1.localActive,$PRE.bookSellerAgent.sendResponse1.newActive,bookSellerAgent.sendResponse1.newActive,$PRE.bookSellerAgent.sendResponse1.oldActive,bookSellerAgent.sendResponse1.oldActive,bookSellerAgent.sendResponse1.active,bookSellerAgent.transition.enableFire,bookSellerAgent.transition.fire,$PRE.bookSellerAgent.transition.t_start,bookSellerAgent.transition.t_start,bookSellerAgent.transition1.enableFire,bookSellerAgent.transition1.fire,$PRE.bookSellerAgent.transition1.t_start,bookSellerAgent.transition1.t_start,bookSellerAgent.transition2.enableFire,bookSellerAgent.transition2.fire,$PRE.bookSellerAgent.transition2.t_start,bookSellerAgent.transition2.t_start,bookSellerAgent.transition3.enableFire,bookSellerAgent.transition3.fire,$PRE.bookSellerAgent.transition3.t_start,bookSellerAgent.transition3.t_start,bookSellerAgent.transition4.enableFire,bookSellerAgent.transition4.fire,$PRE.bookSellerAgent.transition4.t_start,bookSellerAgent.transition4.t_start,bookSellerAgent.transition5.enableFire,bookSellerAgent.transition5.fire,$PRE.bookSellerAgent.transition5.t_start,bookSellerAgent.transition5.t_start,$PRE.bookSellerAgent1.bookList[3,2],bookSellerAgent1.bookList[3,2],$PRE.bookSellerAgent1.bookList[3,1],bookSellerAgent1.bookList[3,1],$PRE.bookSellerAgent1.performative.u[1],bookSellerAgent1.performative.u[1],$PRE.bookSellerAgent1.content.u[2],bookSellerAgent1.content.u[2],$PRE.bookSellerAgent1.content.u[1],bookSellerAgent1.content.u[1],$PRE.bookSellerAgent1.messageID.u[1],bookSellerAgent1.messageID.u[1],$PRE.bookSellerAgent1.receiver.u[1],bookSellerAgent1.receiver.u[1],$PRE.bookSellerAgent1.uDPSend_adapted.receiver,bookSellerAgent1.uDPSend_adapted.receiver,$PRE.bookSellerAgent1.ontology.u[1],bookSellerAgent1.ontology.u[1],$PRE.bookSellerAgent1.reply_to.u[1],bookSellerAgent1.reply_to.u[1],$PRE.bookSellerAgent1.sender.u[1],bookSellerAgent1.sender.u[1],$PRE.bookSellerAgent1.content_2_current,bookSellerAgent1.content_2_current,$PRE.bookSellerAgent1.content_1_current,bookSellerAgent1.content_1_current,$PRE.bookSellerAgent1.sender_current,bookSellerAgent1.sender_current,$PRE.bookSellerAgent1.index,bookSellerAgent1.index,$PRE.bookSellerAgent1.bookToSell,bookSellerAgent1.bookToSell,$PRE.bookSellerAgent1.bookInStock,bookSellerAgent1.bookInStock,$PRE.bookSellerAgent1.counter,bookSellerAgent1.counter,$PRE.bookSellerAgent1.searchedBook,bookSellerAgent1.searchedBook,$PRE.bookSellerAgent1.messageID.pkgOut[1].dummy,bookSellerAgent1.messageID.pkgOut[1].dummy,$PRE.bookSellerAgent1.getMessageID.dummy,bookSellerAgent1.getMessageID.dummy,$PRE.bookSellerAgent1.performative.pkgOut[1].dummy,bookSellerAgent1.performative.pkgOut[1].dummy,$PRE.bookSellerAgent1.getontology.dummy,bookSellerAgent1.getontology.dummy,$PRE.bookSellerAgent1.getontology.y[1],bookSellerAgent1.getontology.y[1],$PRE.bookSellerAgent1.getontology.pkgOut[1].dummy,bookSellerAgent1.getontology.pkgOut[1].dummy,$PRE.bookSellerAgent1.getreply_to.dummy,bookSellerAgent1.getreply_to.dummy,$PRE.bookSellerAgent1.getreply_to.y[1],bookSellerAgent1.getreply_to.y[1],$PRE.bookSellerAgent1.getreply_to.pkgOut[1].dummy,bookSellerAgent1.getreply_to.pkgOut[1].dummy,$PRE.bookSellerAgent1.getreceiver.dummy,bookSellerAgent1.getreceiver.dummy,$PRE.bookSellerAgent1.getreceiver.y[1],bookSellerAgent1.getreceiver.y[1],$PRE.bookSellerAgent1.getreceiver.pkgOut[1].dummy,bookSellerAgent1.getreceiver.pkgOut[1].dummy,$PRE.bookSellerAgent1.getsender.dummy,bookSellerAgent1.getsender.dummy,$PRE.bookSellerAgent1.getsender.y[1],bookSellerAgent1.getsender.y[1],$PRE.bookSellerAgent1.getsender.pkgOut[1].dummy,bookSellerAgent1.getsender.pkgOut[1].dummy,$PRE.bookSellerAgent1.getperformative.dummy,bookSellerAgent1.getperformative.dummy,$PRE.bookSellerAgent1.getperformative.y[1],bookSellerAgent1.getperformative.y[1],$PRE.bookSellerAgent1.getperformative.pkgOut[1].dummy,bookSellerAgent1.getperformative.pkgOut[1].dummy,$PRE.bookSellerAgent1.ontology.pkgOut[1].dummy,bookSellerAgent1.ontology.pkgOut[1].dummy,$PRE.bookSellerAgent1.reply_to.pkgOut[1].dummy,bookSellerAgent1.reply_to.pkgOut[1].dummy,$PRE.bookSellerAgent1.receiver.pkgOut[1].dummy,bookSellerAgent1.receiver.pkgOut[1].dummy,$PRE.bookSellerAgent1.sender.pkgOut[1].dummy,bookSellerAgent1.sender.pkgOut[1].dummy,$PRE.bookSellerAgent1.uDPSend_adapted.dummy,bookSellerAgent1.uDPSend_adapted.dummy,$PRE.bookSellerAgent1.uDPReceive_adapted.nRecvbufOverwrites,bookSellerAgent1.uDPReceive_adapted.nRecvbufOverwrites,$PRE.bookSellerAgent1.uDPReceive_adapted.nRecvBytes,bookSellerAgent1.uDPReceive_adapted.nRecvBytes,$PRE.bookSellerAgent1.uDPReceive_adapted.pkgOut.dummy,bookSellerAgent1.uDPReceive_adapted.pkgOut.dummy,$PRE.bookSellerAgent1.get_content.dummy,bookSellerAgent1.get_content.dummy,$PRE.bookSellerAgent1.get_content.y[2],bookSellerAgent1.get_content.y[2],$PRE.bookSellerAgent1.get_content.y[1],bookSellerAgent1.get_content.y[1],$PRE.bookSellerAgent1.get_content.pkgOut[1].dummy,bookSellerAgent1.get_content.pkgOut[1].dummy,$PRE.bookSellerAgent1.content.pkgOut[1].dummy,bookSellerAgent1.content.pkgOut[1].dummy,$PRE.bookSellerAgent1.packager.pkgOut.dummy,bookSellerAgent1.packager.pkgOut.dummy,$whenCondition65,bookSellerAgent1.getontology.pkgOut[1].trigger,$whenCondition74,$whenCondition73,$whenCondition72,$whenCondition71,$whenCondition70,$whenCondition69,$whenCondition68,$whenCondition67,$whenCondition66,$whenCondition64,$whenCondition75,$whenCondition76,$whenCondition77,$whenCondition78,$whenCondition79,$whenCondition80,$PRE.bookSellerAgent1.getMessageID.y[1],bookSellerAgent1.getMessageID.y[1],bookSellerAgent1.messageID.pkgOut[1].trigger,bookSellerAgent1.messageID.pkgOut[1].backwardTrigger,bookSellerAgent1.stateGraphRoot.activeSteps,$PRE.bookSellerAgent1.performative_current,bookSellerAgent1.performative_current,$PRE.bookSellerAgent1.integerChange.u,bookSellerAgent1.integerChange.u,bookSellerAgent1.waiting.active,$PRE.bookSellerAgent1.waiting.localActive,bookSellerAgent1.waiting.localActive,bookSellerAgent1.waiting.inPort[2].occupied,$PRE.bookSellerAgent1.waiting.newActive,bookSellerAgent1.waiting.newActive,$PRE.bookSellerAgent1.waiting.oldActive,bookSellerAgent1.waiting.oldActive,bookSellerAgent1.newMessage.condition,bookSellerAgent1.newMessage.enableFire,bookSellerAgent1.checkPurpose.active,$PRE.bookSellerAgent1.checkPurpose.localActive,bookSellerAgent1.checkPurpose.localActive,bookSellerAgent1.checkPurpose.outPort[2].available,$PRE.bookSellerAgent1.checkPurpose.newActive,bookSellerAgent1.checkPurpose.newActive,$PRE.bookSellerAgent1.checkPurpose.oldActive,bookSellerAgent1.checkPurpose.oldActive,bookSellerAgent1.OfferRequestsServer.condition,bookSellerAgent1.OfferRequestsServer.enableFire,bookSellerAgent1.OfferRequestsServer.fire,$PRE.bookSellerAgent1.OfferRequestsServer.t_start,bookSellerAgent1.OfferRequestsServer.t_start,bookSellerAgent1.PurchaseOrdersServer.condition,bookSellerAgent1.PurchaseOrdersServer.enableFire,bookSellerAgent1.PurchaseOrdersServer.fire,$PRE.bookSellerAgent1.PurchaseOrdersServer.t_start,bookSellerAgent1.PurchaseOrdersServer.t_start,bookSellerAgent1.checkLibrary.active,$PRE.bookSellerAgent1.checkLibrary.localActive,bookSellerAgent1.checkLibrary.localActive,$PRE.bookSellerAgent1.checkLibrary.newActive,bookSellerAgent1.checkLibrary.newActive,$PRE.bookSellerAgent1.checkLibrary.oldActive,bookSellerAgent1.checkLibrary.oldActive,bookSellerAgent1.composeResponse.active,$PRE.bookSellerAgent1.composeResponse.localActive,bookSellerAgent1.composeResponse.localActive,$PRE.bookSellerAgent1.composeResponse.newActive,bookSellerAgent1.composeResponse.newActive,$PRE.bookSellerAgent1.composeResponse.oldActive,bookSellerAgent1.composeResponse.oldActive,$PRE.bookSellerAgent1.sendResponse.localActive,bookSellerAgent1.sendResponse.localActive,$PRE.bookSellerAgent1.sendResponse.newActive,bookSellerAgent1.sendResponse.newActive,$PRE.bookSellerAgent1.sendResponse.oldActive,bookSellerAgent1.sendResponse.oldActive,bookSellerAgent1.sendResponse.active,bookSellerAgent1.checkLibrary1.active,$PRE.bookSellerAgent1.checkLibrary1.localActive,bookSellerAgent1.checkLibrary1.localActive,$PRE.bookSellerAgent1.checkLibrary1.newActive,bookSellerAgent1.checkLibrary1.newActive,$PRE.bookSellerAgent1.checkLibrary1.oldActive,bookSellerAgent1.checkLibrary1.oldActive,bookSellerAgent1.composeResponse1.active,$PRE.bookSellerAgent1.composeResponse1.localActive,bookSellerAgent1.composeResponse1.localActive,$PRE.bookSellerAgent1.composeResponse1.newActive,bookSellerAgent1.composeResponse1.newActive,$PRE.bookSellerAgent1.composeResponse1.oldActive,bookSellerAgent1.composeResponse1.oldActive,$PRE.bookSellerAgent1.sendResponse1.localActive,bookSellerAgent1.sendResponse1.localActive,$PRE.bookSellerAgent1.sendResponse1.newActive,bookSellerAgent1.sendResponse1.newActive,$PRE.bookSellerAgent1.sendResponse1.oldActive,bookSellerAgent1.sendResponse1.oldActive,bookSellerAgent1.sendResponse1.active,bookSellerAgent1.transition.enableFire,bookSellerAgent1.transition.fire,$PRE.bookSellerAgent1.transition.t_start,bookSellerAgent1.transition.t_start,bookSellerAgent1.transition1.enableFire,bookSellerAgent1.transition1.fire,$PRE.bookSellerAgent1.transition1.t_start,bookSellerAgent1.transition1.t_start,bookSellerAgent1.transition2.enableFire,bookSellerAgent1.transition2.fire,$PRE.bookSellerAgent1.transition2.t_start,bookSellerAgent1.transition2.t_start,bookSellerAgent1.transition3.enableFire,bookSellerAgent1.transition3.fire,$PRE.bookSellerAgent1.transition3.t_start,bookSellerAgent1.transition3.t_start,bookSellerAgent1.transition4.enableFire,bookSellerAgent1.transition4.fire,$PRE.bookSellerAgent1.transition4.t_start,bookSellerAgent1.transition4.t_start,bookSellerAgent1.transition5.enableFire,bookSellerAgent1.transition5.fire,$PRE.bookSellerAgent1.transition5.t_start,bookSellerAgent1.transition5.t_start,$PRE.bookSellerAgent2.bookList[4,2],bookSellerAgent2.bookList[4,2],$PRE.bookSellerAgent2.bookList[4,1],bookSellerAgent2.bookList[4,1],$PRE.bookSellerAgent2.performative.u[1],bookSellerAgent2.performative.u[1],$PRE.bookSellerAgent2.content.u[2],bookSellerAgent2.content.u[2],$PRE.bookSellerAgent2.content.u[1],bookSellerAgent2.content.u[1],$PRE.bookSellerAgent2.messageID.u[1],bookSellerAgent2.messageID.u[1],$PRE.bookSellerAgent2.receiver.u[1],bookSellerAgent2.receiver.u[1],$PRE.bookSellerAgent2.uDPSend_adapted.receiver,bookSellerAgent2.uDPSend_adapted.receiver,$PRE.bookSellerAgent2.ontology.u[1],bookSellerAgent2.ontology.u[1],$PRE.bookSellerAgent2.reply_to.u[1],bookSellerAgent2.reply_to.u[1],$PRE.bookSellerAgent2.sender.u[1],bookSellerAgent2.sender.u[1],$PRE.bookSellerAgent2.content_2_current,bookSellerAgent2.content_2_current,$PRE.bookSellerAgent2.content_1_current,bookSellerAgent2.content_1_current,$PRE.bookSellerAgent2.sender_current,bookSellerAgent2.sender_current,$PRE.bookSellerAgent2.index,bookSellerAgent2.index,$PRE.bookSellerAgent2.bookToSell,bookSellerAgent2.bookToSell,$PRE.bookSellerAgent2.bookInStock,bookSellerAgent2.bookInStock,$PRE.bookSellerAgent2.counter,bookSellerAgent2.counter,$PRE.bookSellerAgent2.searchedBook,bookSellerAgent2.searchedBook,$PRE.bookSellerAgent2.messageID.pkgOut[1].dummy,bookSellerAgent2.messageID.pkgOut[1].dummy,$PRE.bookSellerAgent2.getMessageID.dummy,bookSellerAgent2.getMessageID.dummy,$PRE.bookSellerAgent2.performative.pkgOut[1].dummy,bookSellerAgent2.performative.pkgOut[1].dummy,$PRE.bookSellerAgent2.getontology.dummy,bookSellerAgent2.getontology.dummy,$PRE.bookSellerAgent2.getontology.y[1],bookSellerAgent2.getontology.y[1],$PRE.bookSellerAgent2.getontology.pkgOut[1].dummy,bookSellerAgent2.getontology.pkgOut[1].dummy,$PRE.bookSellerAgent2.getreply_to.dummy,bookSellerAgent2.getreply_to.dummy,$PRE.bookSellerAgent2.getreply_to.y[1],bookSellerAgent2.getreply_to.y[1],$PRE.bookSellerAgent2.getreply_to.pkgOut[1].dummy,bookSellerAgent2.getreply_to.pkgOut[1].dummy,$PRE.bookSellerAgent2.getreceiver.dummy,bookSellerAgent2.getreceiver.dummy,$PRE.bookSellerAgent2.getreceiver.y[1],bookSellerAgent2.getreceiver.y[1],$PRE.bookSellerAgent2.getreceiver.pkgOut[1].dummy,bookSellerAgent2.getreceiver.pkgOut[1].dummy,$PRE.bookSellerAgent2.getsender.dummy,bookSellerAgent2.getsender.dummy,$PRE.bookSellerAgent2.getsender.y[1],bookSellerAgent2.getsender.y[1],$PRE.bookSellerAgent2.getsender.pkgOut[1].dummy,bookSellerAgent2.getsender.pkgOut[1].dummy,$PRE.bookSellerAgent2.getperformative.dummy,bookSellerAgent2.getperformative.dummy,$PRE.bookSellerAgent2.getperformative.y[1],bookSellerAgent2.getperformative.y[1],$PRE.bookSellerAgent2.getperformative.pkgOut[1].dummy,bookSellerAgent2.getperformative.pkgOut[1].dummy,$PRE.bookSellerAgent2.ontology.pkgOut[1].dummy,bookSellerAgent2.ontology.pkgOut[1].dummy,$PRE.bookSellerAgent2.reply_to.pkgOut[1].dummy,bookSellerAgent2.reply_to.pkgOut[1].dummy,$PRE.bookSellerAgent2.receiver.pkgOut[1].dummy,bookSellerAgent2.receiver.pkgOut[1].dummy,$PRE.bookSellerAgent2.sender.pkgOut[1].dummy,bookSellerAgent2.sender.pkgOut[1].dummy,$PRE.bookSellerAgent2.uDPSend_adapted.dummy,bookSellerAgent2.uDPSend_adapted.dummy,$PRE.bookSellerAgent2.uDPReceive_adapted.nRecvbufOverwrites,bookSellerAgent2.uDPReceive_adapted.nRecvbufOverwrites,$PRE.bookSellerAgent2.uDPReceive_adapted.nRecvBytes,bookSellerAgent2.uDPReceive_adapted.nRecvBytes,$PRE.bookSellerAgent2.uDPReceive_adapted.pkgOut.dummy,bookSellerAgent2.uDPReceive_adapted.pkgOut.dummy,$PRE.bookSellerAgent2.get_content.dummy,bookSellerAgent2.get_content.dummy,$PRE.bookSellerAgent2.get_content.y[2],bookSellerAgent2.get_content.y[2],$PRE.bookSellerAgent2.get_content.y[1],bookSellerAgent2.get_content.y[1],$PRE.bookSellerAgent2.get_content.pkgOut[1].dummy,bookSellerAgent2.get_content.pkgOut[1].dummy,$PRE.bookSellerAgent2.content.pkgOut[1].dummy,bookSellerAgent2.content.pkgOut[1].dummy,$PRE.bookSellerAgent2.packager.pkgOut.dummy,bookSellerAgent2.packager.pkgOut.dummy,$whenCondition48,bookSellerAgent2.getontology.pkgOut[1].trigger,$whenCondition57,$whenCondition56,$whenCondition55,$whenCondition54,$whenCondition53,$whenCondition52,$whenCondition51,$whenCondition50,$whenCondition49,$whenCondition47,$whenCondition58,$whenCondition59,$whenCondition60,$whenCondition61,$whenCondition62,$whenCondition63,$PRE.bookSellerAgent2.getMessageID.y[1],bookSellerAgent2.getMessageID.y[1],bookSellerAgent2.messageID.pkgOut[1].trigger,bookSellerAgent2.messageID.pkgOut[1].backwardTrigger,bookSellerAgent2.stateGraphRoot.activeSteps,$PRE.bookSellerAgent2.performative_current,bookSellerAgent2.performative_current,$PRE.bookSellerAgent2.integerChange.u,bookSellerAgent2.integerChange.u,bookSellerAgent2.waiting.active,$PRE.bookSellerAgent2.waiting.localActive,bookSellerAgent2.waiting.localActive,bookSellerAgent2.waiting.inPort[2].occupied,$PRE.bookSellerAgent2.waiting.newActive,bookSellerAgent2.waiting.newActive,$PRE.bookSellerAgent2.waiting.oldActive,bookSellerAgent2.waiting.oldActive,bookSellerAgent2.newMessage.condition,bookSellerAgent2.newMessage.enableFire,bookSellerAgent2.checkPurpose.active,$PRE.bookSellerAgent2.checkPurpose.localActive,bookSellerAgent2.checkPurpose.localActive,bookSellerAgent2.checkPurpose.outPort[2].available,$PRE.bookSellerAgent2.checkPurpose.newActive,bookSellerAgent2.checkPurpose.newActive,$PRE.bookSellerAgent2.checkPurpose.oldActive,bookSellerAgent2.checkPurpose.oldActive,bookSellerAgent2.OfferRequestsServer.condition,bookSellerAgent2.OfferRequestsServer.enableFire,bookSellerAgent2.OfferRequestsServer.fire,$PRE.bookSellerAgent2.OfferRequestsServer.t_start,bookSellerAgent2.OfferRequestsServer.t_start,bookSellerAgent2.PurchaseOrdersServer.condition,bookSellerAgent2.PurchaseOrdersServer.enableFire,bookSellerAgent2.PurchaseOrdersServer.fire,$PRE.bookSellerAgent2.PurchaseOrdersServer.t_start,bookSellerAgent2.PurchaseOrdersServer.t_start,bookSellerAgent2.checkLibrary.active,$PRE.bookSellerAgent2.checkLibrary.localActive,bookSellerAgent2.checkLibrary.localActive,$PRE.bookSellerAgent2.checkLibrary.newActive,bookSellerAgent2.checkLibrary.newActive,$PRE.bookSellerAgent2.checkLibrary.oldActive,bookSellerAgent2.checkLibrary.oldActive,bookSellerAgent2.composeResponse.active,$PRE.bookSellerAgent2.composeResponse.localActive,bookSellerAgent2.composeResponse.localActive,$PRE.bookSellerAgent2.composeResponse.newActive,bookSellerAgent2.composeResponse.newActive,$PRE.bookSellerAgent2.composeResponse.oldActive,bookSellerAgent2.composeResponse.oldActive,$PRE.bookSellerAgent2.sendResponse.localActive,bookSellerAgent2.sendResponse.localActive,$PRE.bookSellerAgent2.sendResponse.newActive,bookSellerAgent2.sendResponse.newActive,$PRE.bookSellerAgent2.sendResponse.oldActive,bookSellerAgent2.sendResponse.oldActive,bookSellerAgent2.sendResponse.active,bookSellerAgent2.checkLibrary1.active,$PRE.bookSellerAgent2.checkLibrary1.localActive,bookSellerAgent2.checkLibrary1.localActive,$PRE.bookSellerAgent2.checkLibrary1.newActive,bookSellerAgent2.checkLibrary1.newActive,$PRE.bookSellerAgent2.checkLibrary1.oldActive,bookSellerAgent2.checkLibrary1.oldActive,bookSellerAgent2.composeResponse1.active,$PRE.bookSellerAgent2.composeResponse1.localActive,bookSellerAgent2.composeResponse1.localActive,$PRE.bookSellerAgent2.composeResponse1.newActive,bookSellerAgent2.composeResponse1.newActive,$PRE.bookSellerAgent2.composeResponse1.oldActive,bookSellerAgent2.composeResponse1.oldActive,$PRE.bookSellerAgent2.sendResponse1.localActive,bookSellerAgent2.sendResponse1.localActive,$PRE.bookSellerAgent2.sendResponse1.newActive,bookSellerAgent2.sendResponse1.newActive,$PRE.bookSellerAgent2.sendResponse1.oldActive,bookSellerAgent2.sendResponse1.oldActive,bookSellerAgent2.sendResponse1.active,bookSellerAgent2.transition.enableFire,bookSellerAgent2.transition.fire,$PRE.bookSellerAgent2.transition.t_start,bookSellerAgent2.transition.t_start,bookSellerAgent2.transition1.enableFire,bookSellerAgent2.transition1.fire,$PRE.bookSellerAgent2.transition1.t_start,bookSellerAgent2.transition1.t_start,bookSellerAgent2.transition2.enableFire,bookSellerAgent2.transition2.fire,$PRE.bookSellerAgent2.transition2.t_start,bookSellerAgent2.transition2.t_start,bookSellerAgent2.transition3.enableFire,bookSellerAgent2.transition3.fire,$PRE.bookSellerAgent2.transition3.t_start,bookSellerAgent2.transition3.t_start,bookSellerAgent2.transition4.enableFire,bookSellerAgent2.transition4.fire,$PRE.bookSellerAgent2.transition4.t_start,bookSellerAgent2.transition4.t_start,bookSellerAgent2.transition5.enableFire,bookSellerAgent2.transition5.fire,$PRE.bookSellerAgent2.transition5.t_start,bookSellerAgent2.transition5.t_start,$PRE.bookBuyerAgent1.proposals[3,2],bookBuyerAgent1.proposals[3,2],$PRE.bookBuyerAgent1.proposals[3,1],bookBuyerAgent1.proposals[3,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,$PRE.bookBuyerAgent1.messageID.pkgOut[1].dummy,bookBuyerAgent1.messageID.pkgOut[1].dummy,$PRE.bookBuyerAgent1.getMessageID.dummy,bookBuyerAgent1.getMessageID.dummy,$PRE.bookBuyerAgent1.performative.pkgOut[1].dummy,bookBuyerAgent1.performative.pkgOut[1].dummy,$PRE.bookBuyerAgent1.getontology.dummy,bookBuyerAgent1.getontology.dummy,$PRE.bookBuyerAgent1.getontology.y[1],bookBuyerAgent1.getontology.y[1],$PRE.bookBuyerAgent1.getontology.pkgOut[1].dummy,bookBuyerAgent1.getontology.pkgOut[1].dummy,$PRE.bookBuyerAgent1.getreply_to.dummy,bookBuyerAgent1.getreply_to.dummy,$PRE.bookBuyerAgent1.getreply_to.y[1],bookBuyerAgent1.getreply_to.y[1],$PRE.bookBuyerAgent1.getreply_to.pkgOut[1].dummy,bookBuyerAgent1.getreply_to.pkgOut[1].dummy,$PRE.bookBuyerAgent1.getreceiver.dummy,bookBuyerAgent1.getreceiver.dummy,$PRE.bookBuyerAgent1.getreceiver.y[1],bookBuyerAgent1.getreceiver.y[1],$PRE.bookBuyerAgent1.getreceiver.pkgOut[1].dummy,bookBuyerAgent1.getreceiver.pkgOut[1].dummy,$PRE.bookBuyerAgent1.getsender.dummy,bookBuyerAgent1.getsender.dummy,$PRE.bookBuyerAgent1.getsender.y[1],bookBuyerAgent1.getsender.y[1],$PRE.bookBuyerAgent1.getsender.pkgOut[1].dummy,bookBuyerAgent1.getsender.pkgOut[1].dummy,$PRE.bookBuyerAgent1.getperformative.dummy,bookBuyerAgent1.getperformative.dummy,$PRE.bookBuyerAgent1.getperformative.pkgOut[1].dummy,bookBuyerAgent1.getperformative.pkgOut[1].dummy,$PRE.bookBuyerAgent1.ontology.pkgOut[1].dummy,bookBuyerAgent1.ontology.pkgOut[1].dummy,$PRE.bookBuyerAgent1.reply_to.pkgOut[1].dummy,bookBuyerAgent1.reply_to.pkgOut[1].dummy,$PRE.bookBuyerAgent1.receiver.pkgOut[1].dummy,bookBuyerAgent1.receiver.pkgOut[1].dummy,$PRE.bookBuyerAgent1.sender.pkgOut[1].dummy,bookBuyerAgent1.sender.pkgOut[1].dummy,$PRE.bookBuyerAgent1.uDPSend_adapted.dummy,bookBuyerAgent1.uDPSend_adapted.dummy,$PRE.bookBuyerAgent1.uDPReceive_adapted.nRecvbufOverwrites,bookBuyerAgent1.uDPReceive_adapted.nRecvbufOverwrites,$PRE.bookBuyerAgent1.uDPReceive_adapted.nRecvBytes,bookBuyerAgent1.uDPReceive_adapted.nRecvBytes,$PRE.bookBuyerAgent1.uDPReceive_adapted.pkgOut.dummy,bookBuyerAgent1.uDPReceive_adapted.pkgOut.dummy,$PRE.bookBuyerAgent1.get_content.dummy,bookBuyerAgent1.get_content.dummy,$PRE.bookBuyerAgent1.get_content.y[2],bookBuyerAgent1.get_content.y[2],$PRE.bookBuyerAgent1.get_content.y[1],bookBuyerAgent1.get_content.y[1],$PRE.bookBuyerAgent1.get_content.pkgOut[1].dummy,bookBuyerAgent1.get_content.pkgOut[1].dummy,$PRE.bookBuyerAgent1.content.pkgOut[1].dummy,bookBuyerAgent1.content.pkgOut[1].dummy,$PRE.bookBuyerAgent1.packager.pkgOut.dummy,bookBuyerAgent1.packager.pkgOut.dummy,$whenCondition25,bookBuyerAgent1.getontology.pkgOut[1].trigger,$whenCondition38,$whenCondition37,$whenCondition36,$whenCondition35,$whenCondition34,$whenCondition33,$whenCondition32,$whenCondition31,$whenCondition30,$whenCondition29,$whenCondition28,$whenCondition27,$whenCondition26,$whenCondition24,$whenCondition39,$whenCondition40,$whenCondition41,$whenCondition42,$whenCondition43,$whenCondition44,$whenCondition45,$whenCondition46,$PRE.bookBuyerAgent1.getperformative.y[1],bookBuyerAgent1.getperformative.y[1],$PRE.bookBuyerAgent1.getMessageID.y[1],bookBuyerAgent1.getMessageID.y[1],bookBuyerAgent1.messageID.pkgOut[1].trigger,bookBuyerAgent1.messageID.pkgOut[1].backwardTrigger,bookBuyerAgent1.stateGraphRoot.activeSteps,$PRE.bookBuyerAgent1.requestsDone,bookBuyerAgent1.requestsDone,$PRE.bookBuyerAgent1.bookOffered,bookBuyerAgent1.bookOffered,bookBuyerAgent1.waiting.active,$PRE.bookBuyerAgent1.waiting.localActive,bookBuyerAgent1.waiting.localActive,bookBuyerAgent1.waiting.inPort[2].occupied,bookBuyerAgent1.waiting.inPort[3].occupied,bookBuyerAgent1.waiting.inPort[4].occupied,$PRE.bookBuyerAgent1.waiting.newActive,bookBuyerAgent1.waiting.newActive,$PRE.bookBuyerAgent1.waiting.oldActive,bookBuyerAgent1.waiting.oldActive,bookBuyerAgent1.composeRequest.active,$PRE.bookBuyerAgent1.composeRequest.localActive,bookBuyerAgent1.composeRequest.localActive,bookBuyerAgent1.composeRequest.inPort[2].occupied,bookBuyerAgent1.composeRequest.inPort[3].occupied,$PRE.bookBuyerAgent1.composeRequest.newActive,bookBuyerAgent1.composeRequest.newActive,$PRE.bookBuyerAgent1.composeRequest.oldActive,bookBuyerAgent1.composeRequest.oldActive,bookBuyerAgent1.collectProposal.active,$PRE.bookBuyerAgent1.collectProposal.localActive,bookBuyerAgent1.collectProposal.localActive,bookBuyerAgent1.collectProposal.outPort[2].available,$PRE.bookBuyerAgent1.collectProposal.newActive,bookBuyerAgent1.collectProposal.newActive,$PRE.bookBuyerAgent1.collectProposal.oldActive,bookBuyerAgent1.collectProposal.oldActive,bookBuyerAgent1.composeBuy.active,$PRE.bookBuyerAgent1.composeBuy.localActive,bookBuyerAgent1.composeBuy.localActive,$PRE.bookBuyerAgent1.composeBuy.newActive,bookBuyerAgent1.composeBuy.newActive,$PRE.bookBuyerAgent1.composeBuy.oldActive,bookBuyerAgent1.composeBuy.oldActive,$PRE.bookBuyerAgent1.integerChange.u,bookBuyerAgent1.integerChange.u,bookBuyerAgent1.sampleTrigger.y,bookBuyerAgent1.transitionWithSignal.condition,bookBuyerAgent1.transitionWithSignal.enableFire,bookBuyerAgent1.transition.enableFire,bookBuyerAgent1.transition.fire,$PRE.bookBuyerAgent1.transition.t_start,bookBuyerAgent1.transition.t_start,bookBuyerAgent1.check.active,$PRE.bookBuyerAgent1.check.localActive,bookBuyerAgent1.check.localActive,bookBuyerAgent1.check.outPort[2].available,$PRE.bookBuyerAgent1.check.newActive,bookBuyerAgent1.check.newActive,$PRE.bookBuyerAgent1.check.oldActive,bookBuyerAgent1.check.oldActive,bookBuyerAgent1.newMessage.enableFire,bookBuyerAgent1.offer.condition,bookBuyerAgent1.offer.enableFire,bookBuyerAgent1.offer.fire,$PRE.bookBuyerAgent1.offer.t_start,bookBuyerAgent1.offer.t_start,bookBuyerAgent1.refuse.condition,bookBuyerAgent1.refuse.enableFire,bookBuyerAgent1.refuse.fire,$PRE.bookBuyerAgent1.refuse.t_start,bookBuyerAgent1.refuse.t_start,bookBuyerAgent1.done.enableFire,bookBuyerAgent1.done.fire,$PRE.bookBuyerAgent1.done.t_start,bookBuyerAgent1.done.t_start,bookBuyerAgent1.notDone.enableFire,bookBuyerAgent1.notDone.fire,$PRE.bookBuyerAgent1.notDone.t_start,bookBuyerAgent1.notDone.t_start,$PRE.bookBuyerAgent1.sendRequest.localActive,bookBuyerAgent1.sendRequest.localActive,bookBuyerAgent1.sendRequest.outPort[2].available,$PRE.bookBuyerAgent1.sendRequest.newActive,bookBuyerAgent1.sendRequest.newActive,$PRE.bookBuyerAgent1.sendRequest.oldActive,bookBuyerAgent1.sendRequest.oldActive,bookBuyerAgent1.sendRequest.active,$PRE.bookBuyerAgent1.sendBuy.localActive,bookBuyerAgent1.sendBuy.localActive,bookBuyerAgent1.sendBuy.outPort[2].available,$PRE.bookBuyerAgent1.sendBuy.newActive,bookBuyerAgent1.sendBuy.newActive,$PRE.bookBuyerAgent1.sendBuy.oldActive,bookBuyerAgent1.sendBuy.oldActive,bookBuyerAgent1.sendBuy.active,bookBuyerAgent1.check1.active,$PRE.bookBuyerAgent1.check1.localActive,bookBuyerAgent1.check1.localActive,bookBuyerAgent1.check1.outPort[2].available,$PRE.bookBuyerAgent1.check1.newActive,bookBuyerAgent1.check1.newActive,$PRE.bookBuyerAgent1.check1.oldActive,bookBuyerAgent1.check1.oldActive,bookBuyerAgent1.confirmation.condition,bookBuyerAgent1.confirmation.enableFire,bookBuyerAgent1.confirmation.fire,$PRE.bookBuyerAgent1.confirmation.t_start,bookBuyerAgent1.confirmation.t_start,bookBuyerAgent1.setDone.active,$PRE.bookBuyerAgent1.setDone.localActive,bookBuyerAgent1.setDone.localActive,bookBuyerAgent1.setDone.outPort[2].available,$PRE.bookBuyerAgent1.setDone.newActive,bookBuyerAgent1.setDone.newActive,$PRE.bookBuyerAgent1.setDone.oldActive,bookBuyerAgent1.setDone.oldActive,bookBuyerAgent1.transition1.enableFire,bookBuyerAgent1.transition1.fire,$PRE.bookBuyerAgent1.transition1.t_start,bookBuyerAgent1.transition1.t_start,bookBuyerAgent1.transition3.enableFire,bookBuyerAgent1.transition3.fire,$PRE.bookBuyerAgent1.transition3.t_start,bookBuyerAgent1.transition3.t_start,$PRE.bookBuyerAgent1.bookBought,bookBuyerAgent1.bookBought,bookBuyerAgent1.newMessage1.condition,bookBuyerAgent1.newMessage1.enableFire,bookBuyerAgent1.abort.enableFire,bookBuyerAgent1.abort.fire,$PRE.bookBuyerAgent1.abort.t_start,bookBuyerAgent1.abort.t_start,bookBuyerAgent1.stateOfOffers.active,$PRE.bookBuyerAgent1.stateOfOffers.localActive,bookBuyerAgent1.stateOfOffers.localActive,bookBuyerAgent1.stateOfOffers.outPort[2].available,$PRE.bookBuyerAgent1.stateOfOffers.newActive,bookBuyerAgent1.stateOfOffers.newActive,$PRE.bookBuyerAgent1.stateOfOffers.oldActive,bookBuyerAgent1.stateOfOffers.oldActive,bookBuyerAgent1.transitionWithSignal1.enableFire,bookBuyerAgent1.noOffers.enableFire,bookBuyerAgent1.noOffers.fire,$PRE.bookBuyerAgent1.noOffers.t_start,bookBuyerAgent1.noOffers.t_start,bookBuyerAgent1.abortAction.enableFire,bookBuyerAgent1.abortAction.fire,$PRE.bookBuyerAgent1.abortAction.t_start,bookBuyerAgent1.abortAction.t_start,bookBuyerAgent1.abortAction1.enableFire,bookBuyerAgent1.abortAction1.fire,$PRE.bookBuyerAgent1.abortAction1.t_start,bookBuyerAgent1.abortAction1.t_start,bookBuyerAgent1.notServed.active,$PRE.bookBuyerAgent1.notServed.localActive,bookBuyerAgent1.notServed.localActive,bookBuyerAgent1.notServed.inPort[2].occupied,$PRE.bookBuyerAgent1.notServed.newActive,bookBuyerAgent1.notServed.newActive,$PRE.bookBuyerAgent1.notServed.oldActive,bookBuyerAgent1.notServed.oldActive,bookBuyerAgent1.transition2.enableFire,$PRE.bookBuyerAgent2.proposals[3,2],bookBuyerAgent2.proposals[3,2],$PRE.bookBuyerAgent2.proposals[3,1],bookBuyerAgent2.proposals[3,1],$PRE.bookBuyerAgent2.messageID.u[1],bookBuyerAgent2.messageID.u[1],$PRE.bookBuyerAgent2.receiver.u[1],bookBuyerAgent2.receiver.u[1],$PRE.bookBuyerAgent2.uDPSend_adapted.receiver,bookBuyerAgent2.uDPSend_adapted.receiver,$PRE.bookBuyerAgent2.ontology.u[1],bookBuyerAgent2.ontology.u[1],$PRE.bookBuyerAgent2.reply_to.u[1],bookBuyerAgent2.reply_to.u[1],$PRE.bookBuyerAgent2.sender.u[1],bookBuyerAgent2.sender.u[1],$PRE.bookBuyerAgent2.performative.u[1],bookBuyerAgent2.performative.u[1],$PRE.bookBuyerAgent2.content.u[2],bookBuyerAgent2.content.u[2],$PRE.bookBuyerAgent2.content.u[1],bookBuyerAgent2.content.u[1],$PRE.bookBuyerAgent2.lowestPrice,bookBuyerAgent2.lowestPrice,$PRE.bookBuyerAgent2.counterProposals,bookBuyerAgent2.counterProposals,$PRE.bookBuyerAgent2.counter,bookBuyerAgent2.counter,$PRE.bookBuyerAgent2.messageID.pkgOut[1].dummy,bookBuyerAgent2.messageID.pkgOut[1].dummy,$PRE.bookBuyerAgent2.getMessageID.dummy,bookBuyerAgent2.getMessageID.dummy,$PRE.bookBuyerAgent2.performative.pkgOut[1].dummy,bookBuyerAgent2.performative.pkgOut[1].dummy,$PRE.bookBuyerAgent2.getontology.dummy,bookBuyerAgent2.getontology.dummy,$PRE.bookBuyerAgent2.getontology.y[1],bookBuyerAgent2.getontology.y[1],$PRE.bookBuyerAgent2.getontology.pkgOut[1].dummy,bookBuyerAgent2.getontology.pkgOut[1].dummy,$PRE.bookBuyerAgent2.getreply_to.dummy,bookBuyerAgent2.getreply_to.dummy,$PRE.bookBuyerAgent2.getreply_to.y[1],bookBuyerAgent2.getreply_to.y[1],$PRE.bookBuyerAgent2.getreply_to.pkgOut[1].dummy,bookBuyerAgent2.getreply_to.pkgOut[1].dummy,$PRE.bookBuyerAgent2.getreceiver.dummy,bookBuyerAgent2.getreceiver.dummy,$PRE.bookBuyerAgent2.getreceiver.y[1],bookBuyerAgent2.getreceiver.y[1],$PRE.bookBuyerAgent2.getreceiver.pkgOut[1].dummy,bookBuyerAgent2.getreceiver.pkgOut[1].dummy,$PRE.bookBuyerAgent2.getsender.dummy,bookBuyerAgent2.getsender.dummy,$PRE.bookBuyerAgent2.getsender.y[1],bookBuyerAgent2.getsender.y[1],$PRE.bookBuyerAgent2.getsender.pkgOut[1].dummy,bookBuyerAgent2.getsender.pkgOut[1].dummy,$PRE.bookBuyerAgent2.getperformative.dummy,bookBuyerAgent2.getperformative.dummy,$PRE.bookBuyerAgent2.getperformative.pkgOut[1].dummy,bookBuyerAgent2.getperformative.pkgOut[1].dummy,$PRE.bookBuyerAgent2.ontology.pkgOut[1].dummy,bookBuyerAgent2.ontology.pkgOut[1].dummy,$PRE.bookBuyerAgent2.reply_to.pkgOut[1].dummy,bookBuyerAgent2.reply_to.pkgOut[1].dummy,$PRE.bookBuyerAgent2.receiver.pkgOut[1].dummy,bookBuyerAgent2.receiver.pkgOut[1].dummy,$PRE.bookBuyerAgent2.sender.pkgOut[1].dummy,bookBuyerAgent2.sender.pkgOut[1].dummy,$PRE.bookBuyerAgent2.uDPSend_adapted.dummy,bookBuyerAgent2.uDPSend_adapted.dummy,$PRE.bookBuyerAgent2.uDPReceive_adapted.nRecvbufOverwrites,bookBuyerAgent2.uDPReceive_adapted.nRecvbufOverwrites,$PRE.bookBuyerAgent2.uDPReceive_adapted.nRecvBytes,bookBuyerAgent2.uDPReceive_adapted.nRecvBytes,$PRE.bookBuyerAgent2.uDPReceive_adapted.pkgOut.dummy,bookBuyerAgent2.uDPReceive_adapted.pkgOut.dummy,$PRE.bookBuyerAgent2.get_content.dummy,bookBuyerAgent2.get_content.dummy,$PRE.bookBuyerAgent2.get_content.y[2],bookBuyerAgent2.get_content.y[2],$PRE.bookBuyerAgent2.get_content.y[1],bookBuyerAgent2.get_content.y[1],$PRE.bookBuyerAgent2.get_content.pkgOut[1].dummy,bookBuyerAgent2.get_content.pkgOut[1].dummy,$PRE.bookBuyerAgent2.content.pkgOut[1].dummy,bookBuyerAgent2.content.pkgOut[1].dummy,$PRE.bookBuyerAgent2.packager.pkgOut.dummy,bookBuyerAgent2.packager.pkgOut.dummy,$whenCondition2,bookBuyerAgent2.getontology.pkgOut[1].trigger,$whenCondition15,$whenCondition14,$whenCondition13,$whenCondition12,$whenCondition11,$whenCondition10,$whenCondition9,$whenCondition8,$whenCondition7,$whenCondition6,$whenCondition5,$whenCondition4,$whenCondition3,$whenCondition1,$whenCondition16,$whenCondition17,$whenCondition18,$whenCondition19,$whenCondition20,$whenCondition21,$whenCondition22,$whenCondition23,$PRE.bookBuyerAgent2.getperformative.y[1],bookBuyerAgent2.getperformative.y[1],$PRE.bookBuyerAgent2.getMessageID.y[1],bookBuyerAgent2.getMessageID.y[1],bookBuyerAgent2.messageID.pkgOut[1].trigger,bookBuyerAgent2.messageID.pkgOut[1].backwardTrigger,bookBuyerAgent2.stateGraphRoot.activeSteps,$PRE.bookBuyerAgent2.requestsDone,bookBuyerAgent2.requestsDone,$PRE.bookBuyerAgent2.bookOffered,bookBuyerAgent2.bookOffered,bookBuyerAgent2.waiting.active,$PRE.bookBuyerAgent2.waiting.localActive,bookBuyerAgent2.waiting.localActive,bookBuyerAgent2.waiting.inPort[2].occupied,bookBuyerAgent2.waiting.inPort[3].occupied,bookBuyerAgent2.waiting.inPort[4].occupied,$PRE.bookBuyerAgent2.waiting.newActive,bookBuyerAgent2.waiting.newActive,$PRE.bookBuyerAgent2.waiting.oldActive,bookBuyerAgent2.waiting.oldActive,bookBuyerAgent2.composeRequest.active,$PRE.bookBuyerAgent2.composeRequest.localActive,bookBuyerAgent2.composeRequest.localActive,bookBuyerAgent2.composeRequest.inPort[2].occupied,bookBuyerAgent2.composeRequest.inPort[3].occupied,$PRE.bookBuyerAgent2.composeRequest.newActive,bookBuyerAgent2.composeRequest.newActive,$PRE.bookBuyerAgent2.composeRequest.oldActive,bookBuyerAgent2.composeRequest.oldActive,bookBuyerAgent2.collectProposal.active,$PRE.bookBuyerAgent2.collectProposal.localActive,bookBuyerAgent2.collectProposal.localActive,bookBuyerAgent2.collectProposal.outPort[2].available,$PRE.bookBuyerAgent2.collectProposal.newActive,bookBuyerAgent2.collectProposal.newActive,$PRE.bookBuyerAgent2.collectProposal.oldActive,bookBuyerAgent2.collectProposal.oldActive,bookBuyerAgent2.composeBuy.active,$PRE.bookBuyerAgent2.composeBuy.localActive,bookBuyerAgent2.composeBuy.localActive,$PRE.bookBuyerAgent2.composeBuy.newActive,bookBuyerAgent2.composeBuy.newActive,$PRE.bookBuyerAgent2.composeBuy.oldActive,bookBuyerAgent2.composeBuy.oldActive,$PRE.bookBuyerAgent2.integerChange.u,bookBuyerAgent2.integerChange.u,bookBuyerAgent2.sampleTrigger.y,bookBuyerAgent2.transitionWithSignal.condition,bookBuyerAgent2.transitionWithSignal.enableFire,bookBuyerAgent2.transition.enableFire,bookBuyerAgent2.transition.fire,$PRE.bookBuyerAgent2.transition.t_start,bookBuyerAgent2.transition.t_start,bookBuyerAgent2.check.active,$PRE.bookBuyerAgent2.check.localActive,bookBuyerAgent2.check.localActive,bookBuyerAgent2.check.outPort[2].available,$PRE.bookBuyerAgent2.check.newActive,bookBuyerAgent2.check.newActive,$PRE.bookBuyerAgent2.check.oldActive,bookBuyerAgent2.check.oldActive,bookBuyerAgent2.newMessage.enableFire,bookBuyerAgent2.offer.condition,bookBuyerAgent2.offer.enableFire,bookBuyerAgent2.offer.fire,$PRE.bookBuyerAgent2.offer.t_start,bookBuyerAgent2.offer.t_start,bookBuyerAgent2.refuse.condition,bookBuyerAgent2.refuse.enableFire,bookBuyerAgent2.refuse.fire,$PRE.bookBuyerAgent2.refuse.t_start,bookBuyerAgent2.refuse.t_start,bookBuyerAgent2.done.enableFire,bookBuyerAgent2.done.fire,$PRE.bookBuyerAgent2.done.t_start,bookBuyerAgent2.done.t_start,bookBuyerAgent2.notDone.enableFire,bookBuyerAgent2.notDone.fire,$PRE.bookBuyerAgent2.notDone.t_start,bookBuyerAgent2.notDone.t_start,$PRE.bookBuyerAgent2.sendRequest.localActive,bookBuyerAgent2.sendRequest.localActive,bookBuyerAgent2.sendRequest.outPort[2].available,$PRE.bookBuyerAgent2.sendRequest.newActive,bookBuyerAgent2.sendRequest.newActive,$PRE.bookBuyerAgent2.sendRequest.oldActive,bookBuyerAgent2.sendRequest.oldActive,bookBuyerAgent2.sendRequest.active,$PRE.bookBuyerAgent2.sendBuy.localActive,bookBuyerAgent2.sendBuy.localActive,bookBuyerAgent2.sendBuy.outPort[2].available,$PRE.bookBuyerAgent2.sendBuy.newActive,bookBuyerAgent2.sendBuy.newActive,$PRE.bookBuyerAgent2.sendBuy.oldActive,bookBuyerAgent2.sendBuy.oldActive,bookBuyerAgent2.sendBuy.active,bookBuyerAgent2.check1.active,$PRE.bookBuyerAgent2.check1.localActive,bookBuyerAgent2.check1.localActive,bookBuyerAgent2.check1.outPort[2].available,$PRE.bookBuyerAgent2.check1.newActive,bookBuyerAgent2.check1.newActive,$PRE.bookBuyerAgent2.check1.oldActive,bookBuyerAgent2.check1.oldActive,bookBuyerAgent2.confirmation.condition,bookBuyerAgent2.confirmation.enableFire,bookBuyerAgent2.confirmation.fire,$PRE.bookBuyerAgent2.confirmation.t_start,bookBuyerAgent2.confirmation.t_start,bookBuyerAgent2.setDone.active,$PRE.bookBuyerAgent2.setDone.localActive,bookBuyerAgent2.setDone.localActive,bookBuyerAgent2.setDone.outPort[2].available,$PRE.bookBuyerAgent2.setDone.newActive,bookBuyerAgent2.setDone.newActive,$PRE.bookBuyerAgent2.setDone.oldActive,bookBuyerAgent2.setDone.oldActive,bookBuyerAgent2.transition1.enableFire,bookBuyerAgent2.transition1.fire,$PRE.bookBuyerAgent2.transition1.t_start,bookBuyerAgent2.transition1.t_start,bookBuyerAgent2.transition3.enableFire,bookBuyerAgent2.transition3.fire,$PRE.bookBuyerAgent2.transition3.t_start,bookBuyerAgent2.transition3.t_start,$PRE.bookBuyerAgent2.bookBought,bookBuyerAgent2.bookBought,bookBuyerAgent2.newMessage1.condition,bookBuyerAgent2.newMessage1.enableFire,bookBuyerAgent2.abort.enableFire,bookBuyerAgent2.abort.fire,$PRE.bookBuyerAgent2.abort.t_start,bookBuyerAgent2.abort.t_start,bookBuyerAgent2.stateOfOffers.active,$PRE.bookBuyerAgent2.stateOfOffers.localActive,bookBuyerAgent2.stateOfOffers.localActive,bookBuyerAgent2.stateOfOffers.outPort[2].available,$PRE.bookBuyerAgent2.stateOfOffers.newActive,bookBuyerAgent2.stateOfOffers.newActive,$PRE.bookBuyerAgent2.stateOfOffers.oldActive,bookBuyerAgent2.stateOfOffers.oldActive,bookBuyerAgent2.transitionWithSignal1.enableFire,bookBuyerAgent2.noOffers.enableFire,bookBuyerAgent2.noOffers.fire,$PRE.bookBuyerAgent2.noOffers.t_start,bookBuyerAgent2.noOffers.t_start,bookBuyerAgent2.abortAction.enableFire,bookBuyerAgent2.abortAction.fire,$PRE.bookBuyerAgent2.abortAction.t_start,bookBuyerAgent2.abortAction.t_start,bookBuyerAgent2.abortAction1.enableFire,bookBuyerAgent2.abortAction1.fire,$PRE.bookBuyerAgent2.abortAction1.t_start,bookBuyerAgent2.abortAction1.t_start,bookBuyerAgent2.notServed.active,$PRE.bookBuyerAgent2.notServed.localActive,bookBuyerAgent2.notServed.localActive,bookBuyerAgent2.notServed.inPort[2].occupied,$PRE.bookBuyerAgent2.notServed.newActive,bookBuyerAgent2.notServed.newActive,$PRE.bookBuyerAgent2.notServed.oldActive,bookBuyerAgent2.notServed.oldActive,bookBuyerAgent2.transition2.enableFire,bookBuyerAgent.transition2.condition,bookBuyerAgent.abortAction1.condition,bookBuyerAgent.abortAction.condition,bookBuyerAgent.noOffers.condition,bookBuyerAgent.abort.condition,bookBuyerAgent.transition3.condition,bookBuyerAgent.transition1.condition,bookBuyerAgent.transition.condition,bookBuyerAgent.stateGraphRoot.resume,bookBuyerAgent.stateGraphRoot.suspend,bookBuyerAgent.setDone.outPort[2].reset,bookSellerAgent.transition5.condition,bookSellerAgent.transition4.condition,bookSellerAgent.transition3.condition,bookSellerAgent.transition2.condition,bookSellerAgent.transition1.condition,bookSellerAgent.transition.condition,bookSellerAgent.stateGraphRoot.resume,bookSellerAgent.stateGraphRoot.suspend,bookSellerAgent1.transition5.condition,bookSellerAgent1.transition4.condition,bookSellerAgent1.transition3.condition,bookSellerAgent1.transition2.condition,bookSellerAgent1.transition1.condition,bookSellerAgent1.transition.condition,bookSellerAgent1.stateGraphRoot.resume,bookSellerAgent1.stateGraphRoot.suspend,bookSellerAgent2.transition5.condition,bookSellerAgent2.transition4.condition,bookSellerAgent2.transition3.condition,bookSellerAgent2.transition2.condition,bookSellerAgent2.transition1.condition,bookSellerAgent2.transition.condition,bookSellerAgent2.stateGraphRoot.resume,bookSellerAgent2.stateGraphRoot.suspend,bookBuyerAgent1.transition2.condition,bookBuyerAgent1.abortAction1.condition,bookBuyerAgent1.abortAction.condition,bookBuyerAgent1.noOffers.condition,bookBuyerAgent1.abort.condition,bookBuyerAgent1.transition3.condition,bookBuyerAgent1.transition1.condition,bookBuyerAgent1.transition.condition,bookBuyerAgent1.stateGraphRoot.resume,bookBuyerAgent1.stateGraphRoot.suspend,bookBuyerAgent1.setDone.outPort[2].reset,bookBuyerAgent2.transition2.condition,bookBuyerAgent2.abortAction1.condition,bookBuyerAgent2.abortAction.condition,bookBuyerAgent2.noOffers.condition,bookBuyerAgent2.abort.condition,bookBuyerAgent2.transition3.condition,bookBuyerAgent2.transition1.condition,bookBuyerAgent2.transition.condition,bookBuyerAgent2.stateGraphRoot.resume,bookBuyerAgent2.stateGraphRoot.suspend,bookBuyerAgent2.setDone.outPort[2].reset,messageNotification.y,bookBuyerAgent2.getMessageID.pkgIn.userPkgBitSize,bookBuyerAgent2.getMessageID.pkgIn.backwardTrigger,bookBuyerAgent1.getMessageID.pkgIn.userPkgBitSize,bookBuyerAgent1.getMessageID.pkgIn.backwardTrigger,bookSellerAgent2.getMessageID.pkgIn.userPkgBitSize,bookSellerAgent2.getMessageID.pkgIn.backwardTrigger,bookSellerAgent1.getMessageID.pkgIn.userPkgBitSize,bookSellerAgent1.getMessageID.pkgIn.backwardTrigger,bookSellerAgent.getMessageID.pkgIn.userPkgBitSize,bookSellerAgent.getMessageID.pkgIn.backwardTrigger,bookBuyerAgent.getMessageID.pkgIn.userPkgBitSize,bookBuyerAgent.getMessageID.pkgIn.backwardTrigger,bookBuyerAgent2.get_content.pkgIn.autoPkgBitSize,bookBuyerAgent2.uDPReceive_adapted.bufferSize,bookBuyerAgent2.getperformative.pkgIn.autoPkgBitSize,bookBuyerAgent2.getsender.pkgIn.autoPkgBitSize,bookBuyerAgent2.getreceiver.pkgIn.autoPkgBitSize,bookBuyerAgent2.getreply_to.pkgIn.autoPkgBitSize,bookBuyerAgent2.getontology.pkgIn.autoPkgBitSize,bookBuyerAgent2.getMessageID.pkgIn.autoPkgBitSize,bookBuyerAgent2.uDPSend_adapted.bufferSize,bookBuyerAgent2.packager.backwardPropagatedBufferSize,bookBuyerAgent2.packager.bufferSize,bookBuyerAgent2.content.pkgIn.autoPkgBitSize,bookBuyerAgent2.uDPSend_adapted.pkgIn.userPkgBitSize,bookBuyerAgent2.uDPSend_adapted.pkgIn.autoPkgBitSize,bookBuyerAgent2.sender.pkgIn.autoPkgBitSize,bookBuyerAgent2.receiver.pkgIn.autoPkgBitSize,bookBuyerAgent2.reply_to.pkgIn.autoPkgBitSize,bookBuyerAgent2.ontology.pkgIn.autoPkgBitSize,bookBuyerAgent2.performative.pkgIn.autoPkgBitSize,bookBuyerAgent2.messageID.pkgIn.autoPkgBitSize,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.uDPSend_adapted.bufferSize,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,bookSellerAgent2.get_content.pkgIn.autoPkgBitSize,bookSellerAgent2.uDPReceive_adapted.bufferSize,bookSellerAgent2.getperformative.pkgIn.autoPkgBitSize,bookSellerAgent2.getsender.pkgIn.autoPkgBitSize,bookSellerAgent2.getreceiver.pkgIn.autoPkgBitSize,bookSellerAgent2.getreply_to.pkgIn.autoPkgBitSize,bookSellerAgent2.getontology.pkgIn.autoPkgBitSize,bookSellerAgent2.getMessageID.pkgIn.autoPkgBitSize,bookSellerAgent2.uDPSend_adapted.bufferSize,bookSellerAgent2.packager.backwardPropagatedBufferSize,bookSellerAgent2.packager.bufferSize,bookSellerAgent2.content.pkgIn.autoPkgBitSize,bookSellerAgent2.uDPSend_adapted.pkgIn.userPkgBitSize,bookSellerAgent2.uDPSend_adapted.pkgIn.autoPkgBitSize,bookSellerAgent2.sender.pkgIn.autoPkgBitSize,bookSellerAgent2.receiver.pkgIn.autoPkgBitSize,bookSellerAgent2.reply_to.pkgIn.autoPkgBitSize,bookSellerAgent2.ontology.pkgIn.autoPkgBitSize,bookSellerAgent2.performative.pkgIn.autoPkgBitSize,bookSellerAgent2.messageID.pkgIn.autoPkgBitSize,bookSellerAgent1.get_content.pkgIn.autoPkgBitSize,bookSellerAgent1.uDPReceive_adapted.bufferSize,bookSellerAgent1.getperformative.pkgIn.autoPkgBitSize,bookSellerAgent1.getsender.pkgIn.autoPkgBitSize,bookSellerAgent1.getreceiver.pkgIn.autoPkgBitSize,bookSellerAgent1.getreply_to.pkgIn.autoPkgBitSize,bookSellerAgent1.getontology.pkgIn.autoPkgBitSize,bookSellerAgent1.getMessageID.pkgIn.autoPkgBitSize,bookSellerAgent1.uDPSend_adapted.bufferSize,bookSellerAgent1.packager.backwardPropagatedBufferSize,bookSellerAgent1.packager.bufferSize,bookSellerAgent1.content.pkgIn.autoPkgBitSize,bookSellerAgent1.uDPSend_adapted.pkgIn.userPkgBitSize,bookSellerAgent1.uDPSend_adapted.pkgIn.autoPkgBitSize,bookSellerAgent1.sender.pkgIn.autoPkgBitSize,bookSellerAgent1.receiver.pkgIn.autoPkgBitSize,bookSellerAgent1.reply_to.pkgIn.autoPkgBitSize,bookSellerAgent1.ontology.pkgIn.autoPkgBitSize,bookSellerAgent1.performative.pkgIn.autoPkgBitSize,bookSellerAgent1.messageID.pkgIn.autoPkgBitSize,bookSellerAgent.get_content.pkgIn.autoPkgBitSize,bookSellerAgent.uDPReceive_adapted.bufferSize,bookSellerAgent.getperformative.pkgIn.autoPkgBitSize,bookSellerAgent.getsender.pkgIn.autoPkgBitSize,bookSellerAgent.getreceiver.pkgIn.autoPkgBitSize,bookSellerAgent.getreply_to.pkgIn.autoPkgBitSize,bookSellerAgent.getontology.pkgIn.autoPkgBitSize,bookSellerAgent.getMessageID.pkgIn.autoPkgBitSize,bookSellerAgent.uDPSend_adapted.bufferSize,bookSellerAgent.packager.backwardPropagatedBufferSize,bookSellerAgent.packager.bufferSize,bookSellerAgent.content.pkgIn.autoPkgBitSize,bookSellerAgent.uDPSend_adapted.pkgIn.userPkgBitSize,bookSellerAgent.uDPSend_adapted.pkgIn.autoPkgBitSize,bookSellerAgent.sender.pkgIn.autoPkgBitSize,bookSellerAgent.receiver.pkgIn.autoPkgBitSize,bookSellerAgent.reply_to.pkgIn.autoPkgBitSize,bookSellerAgent.ontology.pkgIn.autoPkgBitSize,bookSellerAgent.performative.pkgIn.autoPkgBitSize,bookSellerAgent.messageID.pkgIn.autoPkgBitSize,bookBuyerAgent.get_content.pkgIn.autoPkgBitSize,bookBuyerAgent.uDPReceive_adapted.bufferSize,bookBuyerAgent.getperformative.pkgIn.autoPkgBitSize,bookBuyerAgent.getsender.pkgIn.autoPkgBitSize,bookBuyerAgent.getreceiver.pkgIn.autoPkgBitSize,bookBuyerAgent.getreply_to.pkgIn.autoPkgBitSize,bookBuyerAgent.getontology.pkgIn.autoPkgBitSize,bookBuyerAgent.getMessageID.pkgIn.autoPkgBitSize,bookBuyerAgent.uDPSend_adapted.bufferSize,bookBuyerAgent.packager.backwardPropagatedBufferSize,bookBuyerAgent.packager.bufferSize,bookBuyerAgent.content.pkgIn.autoPkgBitSize,bookBuyerAgent.uDPSend_adapted.pkgIn.userPkgBitSize,bookBuyerAgent.uDPSend_adapted.pkgIn.autoPkgBitSize,bookBuyerAgent.sender.pkgIn.autoPkgBitSize,bookBuyerAgent.receiver.pkgIn.autoPkgBitSize,bookBuyerAgent.reply_to.pkgIn.autoPkgBitSize,bookBuyerAgent.ontology.pkgIn.autoPkgBitSize,bookBuyerAgent.performative.pkgIn.autoPkgBitSize,bookBuyerAgent.messageID.pkgIn.autoPkgBitSize) * Number of discrete states: 0 () * Number of clocked states: 0 () * Top-level inputs: 0 Notification: Strong component statistics for initialization (2022): * Single equations (assignments): 1990 * Array equations: 0 * Algorithm blocks: 6 * Record equations: 0 * When equations: 0 * If-equations: 0 * Equation systems (linear and non-linear blocks): 0 * Torn equation systems: 26 * Mixed (continuous/discrete) equation systems: 0 Notification: Torn system details for strict tearing set: * Linear torn systems: 26 {(1,100.0%) 1,(1,100.0%) 1,(1,100.0%) 1,(1,100.0%) 1,(1,100.0%) 1,(1,100.0%) 1,(1,100.0%) 1,(1,100.0%) 1,(1,100.0%) 1,(1,100.0%) 1,(1,100.0%) 1,(1,100.0%) 1,(1,100.0%) 1,(1,100.0%) 1,(1,100.0%) 1,(1,100.0%) 1,(1,100.0%) 1,(1,100.0%) 1,(1,100.0%) 1,(1,100.0%) 1,(1,100.0%) 1,(1,100.0%) 1,(1,100.0%) 1,(1,100.0%) 1,(1,100.0%) 1,(1,100.0%) 1} * Non-linear torn systems: 0 Notification: Performance of prepare postOptimizeDAE: time 0.01097/1.156, allocations: 4.774 MB / 1.649 GB, free: 14.86 MB / 0.8855 GB Notification: Performance of postOpt lateInlineFunction (simulation): time 0.00198/1.158, allocations: 0.7305 MB / 1.65 GB, free: 14.12 MB / 0.8855 GB Notification: Performance of postOpt wrapFunctionCalls (simulation): time 0.03018/1.188, allocations: 13.86 MB / 1.663 GB, free: 216 kB / 0.8855 GB Notification: Performance of postOpt inlineArrayEqn (simulation): time 0.0001475/1.189, allocations: 112 kB / 1.664 GB, free: 104 kB / 0.8855 GB Notification: Performance of postOpt constantLinearSystem (simulation): time 4.832e-05/1.189, allocations: 11.98 kB / 1.664 GB, free: 92 kB / 0.8855 GB Notification: Performance of postOpt simplifysemiLinear (simulation): time 0.0001415/1.189, allocations: 59.78 kB / 1.664 GB, free: 32 kB / 0.8855 GB Notification: Performance of postOpt removeSimpleEquations (simulation): time 0.5397/1.729, allocations: 27.18 MB / 1.69 GB, free: 241.7 MB / 0.8855 GB Notification: Performance of postOpt simplifyComplexFunction (simulation): time 0.0001065/1.729, allocations: 5.875 kB / 1.69 GB, free: 241.7 MB / 0.8855 GB Notification: Performance of postOpt solveSimpleEquations (simulation): time 0.002699/1.731, allocations: 0.5316 MB / 1.691 GB, free: 241.6 MB / 0.8855 GB Notification: Performance of postOpt tearingSystem (simulation): time 6.206e-05/1.731, allocations: 40.94 kB / 1.691 GB, free: 241.6 MB / 0.8855 GB Notification: Performance of postOpt inputDerivativesUsed (simulation): time 0.001563/1.733, allocations: 392.8 kB / 1.691 GB, free: 241.5 MB / 0.8855 GB Notification: Performance of postOpt calculateStrongComponentJacobians (simulation): time 6.271e-05/1.733, allocations: 41.38 kB / 1.691 GB, free: 241.5 MB / 0.8855 GB Notification: Performance of postOpt calculateStateSetsJacobians (simulation): time 7.355e-06/1.733, allocations: 11.28 kB / 1.691 GB, free: 241.5 MB / 0.8855 GB Notification: Performance of postOpt symbolicJacobian (simulation): time 0.03314/1.766, allocations: 15.68 MB / 1.707 GB, free: 235.5 MB / 0.8855 GB Notification: Performance of postOpt removeConstants (simulation): time 0.001441/1.768, allocations: 0.7942 MB / 1.707 GB, free: 235.1 MB / 0.8855 GB Notification: Performance of postOpt simplifyTimeIndepFuncCalls (simulation): time 0.002649/1.77, allocations: 405.7 kB / 1.708 GB, free: 234.9 MB / 0.8855 GB Notification: Performance of postOpt simplifyAllExpressions (simulation): time 0.004059/1.775, allocations: 454.5 kB / 1.708 GB, free: 234.8 MB / 0.8855 GB Notification: Performance of postOpt findZeroCrossings (simulation): time 0.003012/1.778, allocations: 1.12 MB / 1.709 GB, free: 234.6 MB / 0.8855 GB Notification: Performance of postOpt collapseArrayExpressions (simulation): time 0.001507/1.779, allocations: 0.5183 MB / 1.71 GB, free: 234.5 MB / 0.8855 GB Notification: Performance of sorting global known variables: time 0.002354/1.781, allocations: 1.313 MB / 1.711 GB, free: 234 MB / 0.8855 GB Notification: Performance of sort global known variables: time 6.53e-07/1.781, allocations: 0 / 1.711 GB, free: 234 MB / 0.8855 GB Notification: Performance of remove unused functions: time 0.01182/1.793, allocations: 3.019 MB / 1.714 GB, free: 233.1 MB / 0.8855 GB Notification: Model statistics after passing the back-end for simulation: * Number of independent subsystems: 18 * Number of states: 0 () * Number of discrete variables: 1170 (bookBuyerAgent2.get_content.pkgIn.autoPkgBitSize,bookBuyerAgent2.uDPReceive_adapted.bufferSize,bookBuyerAgent2.getperformative.pkgIn.autoPkgBitSize,bookBuyerAgent2.getsender.pkgIn.autoPkgBitSize,bookBuyerAgent2.getreceiver.pkgIn.autoPkgBitSize,bookBuyerAgent2.getreply_to.pkgIn.autoPkgBitSize,bookBuyerAgent2.getontology.pkgIn.autoPkgBitSize,bookBuyerAgent2.getMessageID.pkgIn.autoPkgBitSize,bookBuyerAgent2.abortAction1.enableFire,bookBuyerAgent2.abortAction.enableFire,bookBuyerAgent2.done.enableFire,bookBuyerAgent2.notDone.enableFire,bookBuyerAgent2.refuse.enableFire,bookBuyerAgent2.offer.enableFire,bookBuyerAgent2.noOffers.enableFire,bookBuyerAgent2.abort.enableFire,bookBuyerAgent2.confirmation.enableFire,bookBuyerAgent2.notServed.localActive,bookBuyerAgent2.stateOfOffers.localActive,bookBuyerAgent2.messageID.pkgOut[1].backwardTrigger,bookBuyerAgent2.messageID.pkgOut[1].trigger,bookBuyerAgent2.transition3.enableFire,bookBuyerAgent2.transition1.enableFire,bookBuyerAgent2.setDone.localActive,bookBuyerAgent2.check1.localActive,bookBuyerAgent2.sendBuy.localActive,bookBuyerAgent2.sendRequest.localActive,bookBuyerAgent2.transition.enableFire,bookBuyerAgent2.check.localActive,bookBuyerAgent2.composeBuy.localActive,bookBuyerAgent2.collectProposal.localActive,bookBuyerAgent2.composeRequest.localActive,bookBuyerAgent2.waiting.localActive,bookBuyerAgent2.getontology.pkgOut[1].trigger,$cse74,$cse75,$cse76,$cse77,$cse78,$cse79,$cse80,$cse81,$cse82,$cse83,$cse84,$cse85,$cse86,$cse87,$cse88,$cse89,$cse90,$cse91,$cse92,$cse93,$whenCondition15,$whenCondition14,$whenCondition13,$whenCondition12,$whenCondition11,$whenCondition10,$whenCondition9,$whenCondition8,$whenCondition7,$whenCondition6,$whenCondition5,$whenCondition4,$whenCondition3,$whenCondition2,$whenCondition1,$whenCondition16,$whenCondition17,$whenCondition18,$whenCondition19,$whenCondition20,$whenCondition21,$whenCondition22,$whenCondition23,bookBuyerAgent2.packager.pkgOut.dummy,bookBuyerAgent2.content.pkgOut[1].dummy,bookBuyerAgent2.content.u[1],bookBuyerAgent2.content.u[2],bookBuyerAgent2.get_content.pkgOut[1].dummy,bookBuyerAgent2.get_content.y[1],bookBuyerAgent2.get_content.y[2],bookBuyerAgent2.get_content.dummy,bookBuyerAgent2.uDPReceive_adapted.pkgOut.dummy,bookBuyerAgent2.uDPReceive_adapted.nRecvBytes,bookBuyerAgent2.uDPReceive_adapted.nRecvbufOverwrites,bookBuyerAgent2.uDPSend_adapted.bufferSize,bookBuyerAgent2.uDPSend_adapted.dummy,bookBuyerAgent2.uDPSend_adapted.receiver,bookBuyerAgent2.sender.pkgOut[1].dummy,bookBuyerAgent2.sender.u[1],bookBuyerAgent2.receiver.pkgOut[1].dummy,bookBuyerAgent2.receiver.u[1],bookBuyerAgent2.reply_to.pkgOut[1].dummy,bookBuyerAgent2.reply_to.u[1],bookBuyerAgent2.ontology.pkgOut[1].dummy,bookBuyerAgent2.ontology.u[1],bookBuyerAgent2.getperformative.pkgOut[1].dummy,bookBuyerAgent2.getperformative.y[1],bookBuyerAgent2.getperformative.dummy,bookBuyerAgent2.getsender.pkgOut[1].dummy,bookBuyerAgent2.getsender.y[1],bookBuyerAgent2.getsender.dummy,bookBuyerAgent2.getreceiver.pkgOut[1].dummy,bookBuyerAgent2.getreceiver.y[1],bookBuyerAgent2.getreceiver.dummy,bookBuyerAgent2.getreply_to.pkgOut[1].dummy,bookBuyerAgent2.getreply_to.y[1],bookBuyerAgent2.getreply_to.dummy,bookBuyerAgent2.getontology.pkgOut[1].dummy,bookBuyerAgent2.getontology.y[1],bookBuyerAgent2.getontology.dummy,bookBuyerAgent2.performative.pkgOut[1].dummy,bookBuyerAgent2.performative.u[1],bookBuyerAgent2.getMessageID.y[1],bookBuyerAgent2.getMessageID.dummy,bookBuyerAgent2.messageID.pkgOut[1].dummy,bookBuyerAgent2.messageID.u[1],bookBuyerAgent2.stateGraphRoot.activeSteps,bookBuyerAgent2.proposals[3,1],bookBuyerAgent2.proposals[3,2],bookBuyerAgent2.counter,bookBuyerAgent2.counterProposals,bookBuyerAgent2.requestsDone,bookBuyerAgent2.lowestPrice,bookBuyerAgent2.bookOffered,bookBuyerAgent2.waiting.active,bookBuyerAgent2.waiting.inPort[2].occupied,bookBuyerAgent2.waiting.inPort[3].occupied,bookBuyerAgent2.waiting.inPort[4].occupied,bookBuyerAgent2.waiting.newActive,bookBuyerAgent2.waiting.oldActive,bookBuyerAgent2.composeRequest.active,bookBuyerAgent2.composeRequest.inPort[2].occupied,bookBuyerAgent2.composeRequest.inPort[3].occupied,bookBuyerAgent2.composeRequest.newActive,bookBuyerAgent2.composeRequest.oldActive,bookBuyerAgent2.collectProposal.active,bookBuyerAgent2.collectProposal.outPort[2].available,bookBuyerAgent2.collectProposal.newActive,bookBuyerAgent2.collectProposal.oldActive,bookBuyerAgent2.composeBuy.active,bookBuyerAgent2.composeBuy.newActive,bookBuyerAgent2.composeBuy.oldActive,bookBuyerAgent2.integerChange.u,bookBuyerAgent2.sampleTrigger.y,bookBuyerAgent2.transitionWithSignal.condition,bookBuyerAgent2.transitionWithSignal.enableFire,bookBuyerAgent2.transition.fire,bookBuyerAgent2.transition.t_start,bookBuyerAgent2.check.active,bookBuyerAgent2.check.outPort[2].available,bookBuyerAgent2.check.newActive,bookBuyerAgent2.check.oldActive,bookBuyerAgent2.newMessage.enableFire,bookBuyerAgent2.offer.condition,bookBuyerAgent2.offer.fire,bookBuyerAgent2.offer.t_start,bookBuyerAgent2.refuse.condition,bookBuyerAgent2.refuse.fire,bookBuyerAgent2.refuse.t_start,bookBuyerAgent2.done.fire,bookBuyerAgent2.done.t_start,bookBuyerAgent2.notDone.fire,bookBuyerAgent2.notDone.t_start,bookBuyerAgent2.sendRequest.outPort[2].available,bookBuyerAgent2.sendRequest.newActive,bookBuyerAgent2.sendRequest.oldActive,bookBuyerAgent2.sendRequest.active,bookBuyerAgent2.sendBuy.outPort[2].available,bookBuyerAgent2.sendBuy.newActive,bookBuyerAgent2.sendBuy.oldActive,bookBuyerAgent2.sendBuy.active,bookBuyerAgent2.check1.active,bookBuyerAgent2.check1.outPort[2].available,bookBuyerAgent2.check1.newActive,bookBuyerAgent2.check1.oldActive,bookBuyerAgent2.confirmation.condition,bookBuyerAgent2.confirmation.fire,bookBuyerAgent2.confirmation.t_start,bookBuyerAgent2.setDone.active,bookBuyerAgent2.setDone.outPort[2].available,bookBuyerAgent2.setDone.newActive,bookBuyerAgent2.setDone.oldActive,bookBuyerAgent2.transition1.fire,bookBuyerAgent2.transition1.t_start,bookBuyerAgent2.transition3.fire,bookBuyerAgent2.transition3.t_start,bookBuyerAgent2.bookBought,bookBuyerAgent2.newMessage1.condition,bookBuyerAgent2.newMessage1.enableFire,bookBuyerAgent2.abort.fire,bookBuyerAgent2.abort.t_start,bookBuyerAgent2.stateOfOffers.active,bookBuyerAgent2.stateOfOffers.outPort[2].available,bookBuyerAgent2.stateOfOffers.newActive,bookBuyerAgent2.stateOfOffers.oldActive,bookBuyerAgent2.transitionWithSignal1.enableFire,bookBuyerAgent2.noOffers.fire,bookBuyerAgent2.noOffers.t_start,bookBuyerAgent2.abortAction.fire,bookBuyerAgent2.abortAction.t_start,bookBuyerAgent2.abortAction1.fire,bookBuyerAgent2.abortAction1.t_start,bookBuyerAgent2.notServed.active,bookBuyerAgent2.notServed.inPort[2].occupied,bookBuyerAgent2.notServed.newActive,bookBuyerAgent2.notServed.oldActive,bookBuyerAgent2.transition2.enableFire,bookBuyerAgent2.packager.backwardPropagatedBufferSize,bookBuyerAgent2.packager.bufferSize,bookBuyerAgent2.content.pkgIn.autoPkgBitSize,bookBuyerAgent2.uDPSend_adapted.pkgIn.userPkgBitSize,bookBuyerAgent2.uDPSend_adapted.pkgIn.autoPkgBitSize,bookBuyerAgent2.sender.pkgIn.autoPkgBitSize,bookBuyerAgent2.receiver.pkgIn.autoPkgBitSize,bookBuyerAgent2.reply_to.pkgIn.autoPkgBitSize,bookBuyerAgent2.ontology.pkgIn.autoPkgBitSize,bookBuyerAgent2.performative.pkgIn.autoPkgBitSize,bookBuyerAgent2.messageID.pkgIn.autoPkgBitSize,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.done.enableFire,bookBuyerAgent1.notDone.enableFire,bookBuyerAgent1.refuse.enableFire,bookBuyerAgent1.offer.enableFire,bookBuyerAgent1.noOffers.enableFire,bookBuyerAgent1.abort.enableFire,bookBuyerAgent1.confirmation.enableFire,bookBuyerAgent1.notServed.localActive,bookBuyerAgent1.stateOfOffers.localActive,bookBuyerAgent1.messageID.pkgOut[1].backwardTrigger,bookBuyerAgent1.messageID.pkgOut[1].trigger,bookBuyerAgent1.transition3.enableFire,bookBuyerAgent1.transition1.enableFire,bookBuyerAgent1.setDone.localActive,bookBuyerAgent1.check1.localActive,bookBuyerAgent1.sendBuy.localActive,bookBuyerAgent1.sendRequest.localActive,bookBuyerAgent1.transition.enableFire,bookBuyerAgent1.check.localActive,bookBuyerAgent1.composeBuy.localActive,bookBuyerAgent1.collectProposal.localActive,bookBuyerAgent1.composeRequest.localActive,bookBuyerAgent1.waiting.localActive,bookBuyerAgent1.getontology.pkgOut[1].trigger,$cse54,$cse55,$cse56,$cse57,$cse58,$cse59,$cse60,$cse61,$cse62,$cse63,$cse64,$cse65,$cse66,$cse67,$cse68,$cse69,$cse70,$cse71,$cse72,$cse73,$whenCondition38,$whenCondition37,$whenCondition36,$whenCondition35,$whenCondition34,$whenCondition33,$whenCondition32,$whenCondition31,$whenCondition30,$whenCondition29,$whenCondition28,$whenCondition27,$whenCondition26,$whenCondition25,$whenCondition24,$whenCondition39,$whenCondition40,$whenCondition41,$whenCondition42,$whenCondition43,$whenCondition44,$whenCondition45,$whenCondition46,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[3,1],bookBuyerAgent1.proposals[3,2],bookBuyerAgent1.counter,bookBuyerAgent1.counterProposals,bookBuyerAgent1.requestsDone,bookBuyerAgent1.lowestPrice,bookBuyerAgent1.bookOffered,bookBuyerAgent1.waiting.active,bookBuyerAgent1.waiting.inPort[2].occupied,bookBuyerAgent1.waiting.inPort[3].occupied,bookBuyerAgent1.waiting.inPort[4].occupied,bookBuyerAgent1.waiting.newActive,bookBuyerAgent1.waiting.oldActive,bookBuyerAgent1.composeRequest.active,bookBuyerAgent1.composeRequest.inPort[2].occupied,bookBuyerAgent1.composeRequest.inPort[3].occupied,bookBuyerAgent1.composeRequest.newActive,bookBuyerAgent1.composeRequest.oldActive,bookBuyerAgent1.collectProposal.active,bookBuyerAgent1.collectProposal.outPort[2].available,bookBuyerAgent1.collectProposal.newActive,bookBuyerAgent1.collectProposal.oldActive,bookBuyerAgent1.composeBuy.active,bookBuyerAgent1.composeBuy.newActive,bookBuyerAgent1.composeBuy.oldActive,bookBuyerAgent1.integerChange.u,bookBuyerAgent1.sampleTrigger.y,bookBuyerAgent1.transitionWithSignal.condition,bookBuyerAgent1.transitionWithSignal.enableFire,bookBuyerAgent1.transition.fire,bookBuyerAgent1.transition.t_start,bookBuyerAgent1.check.active,bookBuyerAgent1.check.outPort[2].available,bookBuyerAgent1.check.newActive,bookBuyerAgent1.check.oldActive,bookBuyerAgent1.newMessage.enableFire,bookBuyerAgent1.offer.condition,bookBuyerAgent1.offer.fire,bookBuyerAgent1.offer.t_start,bookBuyerAgent1.refuse.condition,bookBuyerAgent1.refuse.fire,bookBuyerAgent1.refuse.t_start,bookBuyerAgent1.done.fire,bookBuyerAgent1.done.t_start,bookBuyerAgent1.notDone.fire,bookBuyerAgent1.notDone.t_start,bookBuyerAgent1.sendRequest.outPort[2].available,bookBuyerAgent1.sendRequest.newActive,bookBuyerAgent1.sendRequest.oldActive,bookBuyerAgent1.sendRequest.active,bookBuyerAgent1.sendBuy.outPort[2].available,bookBuyerAgent1.sendBuy.newActive,bookBuyerAgent1.sendBuy.oldActive,bookBuyerAgent1.sendBuy.active,bookBuyerAgent1.check1.active,bookBuyerAgent1.check1.outPort[2].available,bookBuyerAgent1.check1.newActive,bookBuyerAgent1.check1.oldActive,bookBuyerAgent1.confirmation.condition,bookBuyerAgent1.confirmation.fire,bookBuyerAgent1.confirmation.t_start,bookBuyerAgent1.setDone.active,bookBuyerAgent1.setDone.outPort[2].available,bookBuyerAgent1.setDone.newActive,bookBuyerAgent1.setDone.oldActive,bookBuyerAgent1.transition1.fire,bookBuyerAgent1.transition1.t_start,bookBuyerAgent1.transition3.fire,bookBuyerAgent1.transition3.t_start,bookBuyerAgent1.bookBought,bookBuyerAgent1.newMessage1.condition,bookBuyerAgent1.newMessage1.enableFire,bookBuyerAgent1.abort.fire,bookBuyerAgent1.abort.t_start,bookBuyerAgent1.stateOfOffers.active,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.active,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,bookSellerAgent2.get_content.pkgIn.autoPkgBitSize,bookSellerAgent2.uDPReceive_adapted.bufferSize,bookSellerAgent2.getperformative.pkgIn.autoPkgBitSize,bookSellerAgent2.getsender.pkgIn.autoPkgBitSize,bookSellerAgent2.getreceiver.pkgIn.autoPkgBitSize,bookSellerAgent2.getreply_to.pkgIn.autoPkgBitSize,bookSellerAgent2.getontology.pkgIn.autoPkgBitSize,bookSellerAgent2.getMessageID.pkgIn.autoPkgBitSize,bookSellerAgent2.PurchaseOrdersServer.enableFire,bookSellerAgent2.OfferRequestsServer.enableFire,bookSellerAgent2.transition5.enableFire,bookSellerAgent2.messageID.pkgOut[1].backwardTrigger,bookSellerAgent2.messageID.pkgOut[1].trigger,bookSellerAgent2.transition4.enableFire,bookSellerAgent2.transition3.enableFire,bookSellerAgent2.transition2.enableFire,bookSellerAgent2.transition1.enableFire,bookSellerAgent2.transition.enableFire,bookSellerAgent2.sendResponse1.localActive,bookSellerAgent2.composeResponse1.localActive,bookSellerAgent2.checkLibrary1.localActive,bookSellerAgent2.sendResponse.localActive,bookSellerAgent2.composeResponse.localActive,bookSellerAgent2.checkLibrary.localActive,bookSellerAgent2.checkPurpose.localActive,bookSellerAgent2.waiting.localActive,bookSellerAgent2.getontology.pkgOut[1].trigger,$cse43,$cse44,$cse45,$cse46,$cse47,$cse48,$cse49,$cse50,$cse51,$cse52,$cse53,$whenCondition57,$whenCondition56,$whenCondition55,$whenCondition54,$whenCondition53,$whenCondition52,$whenCondition51,$whenCondition50,$whenCondition49,$whenCondition48,$whenCondition47,$whenCondition58,$whenCondition59,$whenCondition60,$whenCondition61,$whenCondition62,$whenCondition63,bookSellerAgent2.packager.pkgOut.dummy,bookSellerAgent2.content.pkgOut[1].dummy,bookSellerAgent2.content.u[1],bookSellerAgent2.content.u[2],bookSellerAgent2.get_content.pkgOut[1].dummy,bookSellerAgent2.get_content.y[1],bookSellerAgent2.get_content.y[2],bookSellerAgent2.get_content.dummy,bookSellerAgent2.uDPReceive_adapted.pkgOut.dummy,bookSellerAgent2.uDPReceive_adapted.nRecvBytes,bookSellerAgent2.uDPReceive_adapted.nRecvbufOverwrites,bookSellerAgent2.uDPSend_adapted.bufferSize,bookSellerAgent2.uDPSend_adapted.dummy,bookSellerAgent2.uDPSend_adapted.receiver,bookSellerAgent2.sender.pkgOut[1].dummy,bookSellerAgent2.sender.u[1],bookSellerAgent2.receiver.pkgOut[1].dummy,bookSellerAgent2.receiver.u[1],bookSellerAgent2.reply_to.pkgOut[1].dummy,bookSellerAgent2.reply_to.u[1],bookSellerAgent2.ontology.pkgOut[1].dummy,bookSellerAgent2.ontology.u[1],bookSellerAgent2.getperformative.pkgOut[1].dummy,bookSellerAgent2.getperformative.y[1],bookSellerAgent2.getperformative.dummy,bookSellerAgent2.getsender.pkgOut[1].dummy,bookSellerAgent2.getsender.y[1],bookSellerAgent2.getsender.dummy,bookSellerAgent2.getreceiver.pkgOut[1].dummy,bookSellerAgent2.getreceiver.y[1],bookSellerAgent2.getreceiver.dummy,bookSellerAgent2.getreply_to.pkgOut[1].dummy,bookSellerAgent2.getreply_to.y[1],bookSellerAgent2.getreply_to.dummy,bookSellerAgent2.getontology.pkgOut[1].dummy,bookSellerAgent2.getontology.y[1],bookSellerAgent2.getontology.dummy,bookSellerAgent2.performative.pkgOut[1].dummy,bookSellerAgent2.performative.u[1],bookSellerAgent2.getMessageID.y[1],bookSellerAgent2.getMessageID.dummy,bookSellerAgent2.messageID.pkgOut[1].dummy,bookSellerAgent2.messageID.u[1],bookSellerAgent2.stateGraphRoot.activeSteps,bookSellerAgent2.bookList[4,1],bookSellerAgent2.bookList[4,2],bookSellerAgent2.searchedBook,bookSellerAgent2.counter,bookSellerAgent2.bookInStock,bookSellerAgent2.bookToSell,bookSellerAgent2.index,bookSellerAgent2.sender_current,bookSellerAgent2.performative_current,bookSellerAgent2.content_1_current,bookSellerAgent2.content_2_current,bookSellerAgent2.integerChange.u,bookSellerAgent2.waiting.active,bookSellerAgent2.waiting.inPort[2].occupied,bookSellerAgent2.waiting.newActive,bookSellerAgent2.waiting.oldActive,bookSellerAgent2.newMessage.condition,bookSellerAgent2.newMessage.enableFire,bookSellerAgent2.checkPurpose.active,bookSellerAgent2.checkPurpose.outPort[2].available,bookSellerAgent2.checkPurpose.newActive,bookSellerAgent2.checkPurpose.oldActive,bookSellerAgent2.OfferRequestsServer.condition,bookSellerAgent2.OfferRequestsServer.fire,bookSellerAgent2.OfferRequestsServer.t_start,bookSellerAgent2.PurchaseOrdersServer.condition,bookSellerAgent2.PurchaseOrdersServer.fire,bookSellerAgent2.PurchaseOrdersServer.t_start,bookSellerAgent2.checkLibrary.active,bookSellerAgent2.checkLibrary.newActive,bookSellerAgent2.checkLibrary.oldActive,bookSellerAgent2.composeResponse.active,bookSellerAgent2.composeResponse.newActive,bookSellerAgent2.composeResponse.oldActive,bookSellerAgent2.sendResponse.newActive,bookSellerAgent2.sendResponse.oldActive,bookSellerAgent2.sendResponse.active,bookSellerAgent2.checkLibrary1.active,bookSellerAgent2.checkLibrary1.newActive,bookSellerAgent2.checkLibrary1.oldActive,bookSellerAgent2.composeResponse1.active,bookSellerAgent2.composeResponse1.newActive,bookSellerAgent2.composeResponse1.oldActive,bookSellerAgent2.sendResponse1.newActive,bookSellerAgent2.sendResponse1.oldActive,bookSellerAgent2.sendResponse1.active,bookSellerAgent2.transition.fire,bookSellerAgent2.transition.t_start,bookSellerAgent2.transition1.fire,bookSellerAgent2.transition1.t_start,bookSellerAgent2.transition2.fire,bookSellerAgent2.transition2.t_start,bookSellerAgent2.transition3.fire,bookSellerAgent2.transition3.t_start,bookSellerAgent2.transition4.fire,bookSellerAgent2.transition4.t_start,bookSellerAgent2.transition5.fire,bookSellerAgent2.transition5.t_start,bookSellerAgent2.packager.backwardPropagatedBufferSize,bookSellerAgent2.packager.bufferSize,bookSellerAgent2.content.pkgIn.autoPkgBitSize,bookSellerAgent2.uDPSend_adapted.pkgIn.userPkgBitSize,bookSellerAgent2.uDPSend_adapted.pkgIn.autoPkgBitSize,bookSellerAgent2.sender.pkgIn.autoPkgBitSize,bookSellerAgent2.receiver.pkgIn.autoPkgBitSize,bookSellerAgent2.reply_to.pkgIn.autoPkgBitSize,bookSellerAgent2.ontology.pkgIn.autoPkgBitSize,bookSellerAgent2.performative.pkgIn.autoPkgBitSize,bookSellerAgent2.messageID.pkgIn.autoPkgBitSize,bookSellerAgent1.get_content.pkgIn.autoPkgBitSize,bookSellerAgent1.uDPReceive_adapted.bufferSize,bookSellerAgent1.getperformative.pkgIn.autoPkgBitSize,bookSellerAgent1.getsender.pkgIn.autoPkgBitSize,bookSellerAgent1.getreceiver.pkgIn.autoPkgBitSize,bookSellerAgent1.getreply_to.pkgIn.autoPkgBitSize,bookSellerAgent1.getontology.pkgIn.autoPkgBitSize,bookSellerAgent1.getMessageID.pkgIn.autoPkgBitSize,bookSellerAgent1.PurchaseOrdersServer.enableFire,bookSellerAgent1.OfferRequestsServer.enableFire,bookSellerAgent1.transition5.enableFire,bookSellerAgent1.messageID.pkgOut[1].backwardTrigger,bookSellerAgent1.messageID.pkgOut[1].trigger,bookSellerAgent1.transition4.enableFire,bookSellerAgent1.transition3.enableFire,bookSellerAgent1.transition2.enableFire,bookSellerAgent1.transition1.enableFire,bookSellerAgent1.transition.enableFire,bookSellerAgent1.sendResponse1.localActive,bookSellerAgent1.composeResponse1.localActive,bookSellerAgent1.checkLibrary1.localActive,bookSellerAgent1.sendResponse.localActive,bookSellerAgent1.composeResponse.localActive,bookSellerAgent1.checkLibrary.localActive,bookSellerAgent1.checkPurpose.localActive,bookSellerAgent1.waiting.localActive,bookSellerAgent1.getontology.pkgOut[1].trigger,$cse32,$cse33,$cse34,$cse35,$cse36,$cse37,$cse38,$cse39,$cse40,$cse41,$cse42,$whenCondition74,$whenCondition73,$whenCondition72,$whenCondition71,$whenCondition70,$whenCondition69,$whenCondition68,$whenCondition67,$whenCondition66,$whenCondition65,$whenCondition64,$whenCondition75,$whenCondition76,$whenCondition77,$whenCondition78,$whenCondition79,$whenCondition80,bookSellerAgent1.packager.pkgOut.dummy,bookSellerAgent1.content.pkgOut[1].dummy,bookSellerAgent1.content.u[1],bookSellerAgent1.content.u[2],bookSellerAgent1.get_content.pkgOut[1].dummy,bookSellerAgent1.get_content.y[1],bookSellerAgent1.get_content.y[2],bookSellerAgent1.get_content.dummy,bookSellerAgent1.uDPReceive_adapted.pkgOut.dummy,bookSellerAgent1.uDPReceive_adapted.nRecvBytes,bookSellerAgent1.uDPReceive_adapted.nRecvbufOverwrites,bookSellerAgent1.uDPSend_adapted.bufferSize,bookSellerAgent1.uDPSend_adapted.dummy,bookSellerAgent1.uDPSend_adapted.receiver,bookSellerAgent1.sender.pkgOut[1].dummy,bookSellerAgent1.sender.u[1],bookSellerAgent1.receiver.pkgOut[1].dummy,bookSellerAgent1.receiver.u[1],bookSellerAgent1.reply_to.pkgOut[1].dummy,bookSellerAgent1.reply_to.u[1],bookSellerAgent1.ontology.pkgOut[1].dummy,bookSellerAgent1.ontology.u[1],bookSellerAgent1.getperformative.pkgOut[1].dummy,bookSellerAgent1.getperformative.y[1],bookSellerAgent1.getperformative.dummy,bookSellerAgent1.getsender.pkgOut[1].dummy,bookSellerAgent1.getsender.y[1],bookSellerAgent1.getsender.dummy,bookSellerAgent1.getreceiver.pkgOut[1].dummy,bookSellerAgent1.getreceiver.y[1],bookSellerAgent1.getreceiver.dummy,bookSellerAgent1.getreply_to.pkgOut[1].dummy,bookSellerAgent1.getreply_to.y[1],bookSellerAgent1.getreply_to.dummy,bookSellerAgent1.getontology.pkgOut[1].dummy,bookSellerAgent1.getontology.y[1],bookSellerAgent1.getontology.dummy,bookSellerAgent1.performative.pkgOut[1].dummy,bookSellerAgent1.performative.u[1],bookSellerAgent1.getMessageID.y[1],bookSellerAgent1.getMessageID.dummy,bookSellerAgent1.messageID.pkgOut[1].dummy,bookSellerAgent1.messageID.u[1],bookSellerAgent1.stateGraphRoot.activeSteps,bookSellerAgent1.bookList[3,1],bookSellerAgent1.bookList[3,2],bookSellerAgent1.searchedBook,bookSellerAgent1.counter,bookSellerAgent1.bookInStock,bookSellerAgent1.bookToSell,bookSellerAgent1.index,bookSellerAgent1.sender_current,bookSellerAgent1.performative_current,bookSellerAgent1.content_1_current,bookSellerAgent1.content_2_current,bookSellerAgent1.integerChange.u,bookSellerAgent1.waiting.active,bookSellerAgent1.waiting.inPort[2].occupied,bookSellerAgent1.waiting.newActive,bookSellerAgent1.waiting.oldActive,bookSellerAgent1.newMessage.condition,bookSellerAgent1.newMessage.enableFire,bookSellerAgent1.checkPurpose.active,bookSellerAgent1.checkPurpose.outPort[2].available,bookSellerAgent1.checkPurpose.newActive,bookSellerAgent1.checkPurpose.oldActive,bookSellerAgent1.OfferRequestsServer.condition,bookSellerAgent1.OfferRequestsServer.fire,bookSellerAgent1.OfferRequestsServer.t_start,bookSellerAgent1.PurchaseOrdersServer.condition,bookSellerAgent1.PurchaseOrdersServer.fire,bookSellerAgent1.PurchaseOrdersServer.t_start,bookSellerAgent1.checkLibrary.active,bookSellerAgent1.checkLibrary.newActive,bookSellerAgent1.checkLibrary.oldActive,bookSellerAgent1.composeResponse.active,bookSellerAgent1.composeResponse.newActive,bookSellerAgent1.composeResponse.oldActive,bookSellerAgent1.sendResponse.newActive,bookSellerAgent1.sendResponse.oldActive,bookSellerAgent1.sendResponse.active,bookSellerAgent1.checkLibrary1.active,bookSellerAgent1.checkLibrary1.newActive,bookSellerAgent1.checkLibrary1.oldActive,bookSellerAgent1.composeResponse1.active,bookSellerAgent1.composeResponse1.newActive,bookSellerAgent1.composeResponse1.oldActive,bookSellerAgent1.sendResponse1.newActive,bookSellerAgent1.sendResponse1.oldActive,bookSellerAgent1.sendResponse1.active,bookSellerAgent1.transition.fire,bookSellerAgent1.transition.t_start,bookSellerAgent1.transition1.fire,bookSellerAgent1.transition1.t_start,bookSellerAgent1.transition2.fire,bookSellerAgent1.transition2.t_start,bookSellerAgent1.transition3.fire,bookSellerAgent1.transition3.t_start,bookSellerAgent1.transition4.fire,bookSellerAgent1.transition4.t_start,bookSellerAgent1.transition5.fire,bookSellerAgent1.transition5.t_start,bookSellerAgent1.packager.backwardPropagatedBufferSize,bookSellerAgent1.packager.bufferSize,bookSellerAgent1.content.pkgIn.autoPkgBitSize,bookSellerAgent1.uDPSend_adapted.pkgIn.userPkgBitSize,bookSellerAgent1.uDPSend_adapted.pkgIn.autoPkgBitSize,bookSellerAgent1.sender.pkgIn.autoPkgBitSize,bookSellerAgent1.receiver.pkgIn.autoPkgBitSize,bookSellerAgent1.reply_to.pkgIn.autoPkgBitSize,bookSellerAgent1.ontology.pkgIn.autoPkgBitSize,bookSellerAgent1.performative.pkgIn.autoPkgBitSize,bookSellerAgent1.messageID.pkgIn.autoPkgBitSize,bookSellerAgent.get_content.pkgIn.autoPkgBitSize,bookSellerAgent.uDPReceive_adapted.bufferSize,bookSellerAgent.getperformative.pkgIn.autoPkgBitSize,bookSellerAgent.getsender.pkgIn.autoPkgBitSize,bookSellerAgent.getreceiver.pkgIn.autoPkgBitSize,bookSellerAgent.getreply_to.pkgIn.autoPkgBitSize,bookSellerAgent.getontology.pkgIn.autoPkgBitSize,bookSellerAgent.getMessageID.pkgIn.autoPkgBitSize,bookSellerAgent.PurchaseOrdersServer.enableFire,bookSellerAgent.OfferRequestsServer.enableFire,bookSellerAgent.transition5.enableFire,bookSellerAgent.messageID.pkgOut[1].backwardTrigger,bookSellerAgent.messageID.pkgOut[1].trigger,bookSellerAgent.transition4.enableFire,bookSellerAgent.transition3.enableFire,bookSellerAgent.transition2.enableFire,bookSellerAgent.transition1.enableFire,bookSellerAgent.transition.enableFire,bookSellerAgent.sendResponse1.localActive,bookSellerAgent.composeResponse1.localActive,bookSellerAgent.checkLibrary1.localActive,bookSellerAgent.sendResponse.localActive,bookSellerAgent.composeResponse.localActive,bookSellerAgent.checkLibrary.localActive,bookSellerAgent.checkPurpose.localActive,bookSellerAgent.waiting.localActive,bookSellerAgent.getontology.pkgOut[1].trigger,$cse21,$cse22,$cse23,$cse24,$cse25,$cse26,$cse27,$cse28,$cse29,$cse30,$cse31,$whenCondition91,$whenCondition90,$whenCondition89,$whenCondition88,$whenCondition87,$whenCondition86,$whenCondition85,$whenCondition84,$whenCondition83,$whenCondition82,$whenCondition81,$whenCondition92,$whenCondition93,$whenCondition94,$whenCondition95,$whenCondition96,$whenCondition97,bookSellerAgent.packager.pkgOut.dummy,bookSellerAgent.content.pkgOut[1].dummy,bookSellerAgent.content.u[1],bookSellerAgent.content.u[2],bookSellerAgent.get_content.pkgOut[1].dummy,bookSellerAgent.get_content.y[1],bookSellerAgent.get_content.y[2],bookSellerAgent.get_content.dummy,bookSellerAgent.uDPReceive_adapted.pkgOut.dummy,bookSellerAgent.uDPReceive_adapted.nRecvBytes,bookSellerAgent.uDPReceive_adapted.nRecvbufOverwrites,bookSellerAgent.uDPSend_adapted.bufferSize,bookSellerAgent.uDPSend_adapted.dummy,bookSellerAgent.uDPSend_adapted.receiver,bookSellerAgent.sender.pkgOut[1].dummy,bookSellerAgent.sender.u[1],bookSellerAgent.receiver.pkgOut[1].dummy,bookSellerAgent.receiver.u[1],bookSellerAgent.reply_to.pkgOut[1].dummy,bookSellerAgent.reply_to.u[1],bookSellerAgent.ontology.pkgOut[1].dummy,bookSellerAgent.ontology.u[1],bookSellerAgent.getperformative.pkgOut[1].dummy,bookSellerAgent.getperformative.y[1],bookSellerAgent.getperformative.dummy,bookSellerAgent.getsender.pkgOut[1].dummy,bookSellerAgent.getsender.y[1],bookSellerAgent.getsender.dummy,bookSellerAgent.getreceiver.pkgOut[1].dummy,bookSellerAgent.getreceiver.y[1],bookSellerAgent.getreceiver.dummy,bookSellerAgent.getreply_to.pkgOut[1].dummy,bookSellerAgent.getreply_to.y[1],bookSellerAgent.getreply_to.dummy,bookSellerAgent.getontology.pkgOut[1].dummy,bookSellerAgent.getontology.y[1],bookSellerAgent.getontology.dummy,bookSellerAgent.performative.pkgOut[1].dummy,bookSellerAgent.performative.u[1],bookSellerAgent.getMessageID.y[1],bookSellerAgent.getMessageID.dummy,bookSellerAgent.messageID.pkgOut[1].dummy,bookSellerAgent.messageID.u[1],bookSellerAgent.stateGraphRoot.activeSteps,bookSellerAgent.bookList[3,1],bookSellerAgent.bookList[3,2],bookSellerAgent.searchedBook,bookSellerAgent.counter,bookSellerAgent.bookInStock,bookSellerAgent.bookToSell,bookSellerAgent.index,bookSellerAgent.sender_current,bookSellerAgent.performative_current,bookSellerAgent.content_1_current,bookSellerAgent.content_2_current,bookSellerAgent.integerChange.u,bookSellerAgent.waiting.active,bookSellerAgent.waiting.inPort[2].occupied,bookSellerAgent.waiting.newActive,bookSellerAgent.waiting.oldActive,bookSellerAgent.newMessage.condition,bookSellerAgent.newMessage.enableFire,bookSellerAgent.checkPurpose.active,bookSellerAgent.checkPurpose.outPort[2].available,bookSellerAgent.checkPurpose.newActive,bookSellerAgent.checkPurpose.oldActive,bookSellerAgent.OfferRequestsServer.condition,bookSellerAgent.OfferRequestsServer.fire,bookSellerAgent.OfferRequestsServer.t_start,bookSellerAgent.PurchaseOrdersServer.condition,bookSellerAgent.PurchaseOrdersServer.fire,bookSellerAgent.PurchaseOrdersServer.t_start,bookSellerAgent.checkLibrary.active,bookSellerAgent.checkLibrary.newActive,bookSellerAgent.checkLibrary.oldActive,bookSellerAgent.composeResponse.active,bookSellerAgent.composeResponse.newActive,bookSellerAgent.composeResponse.oldActive,bookSellerAgent.sendResponse.newActive,bookSellerAgent.sendResponse.oldActive,bookSellerAgent.sendResponse.active,bookSellerAgent.checkLibrary1.active,bookSellerAgent.checkLibrary1.newActive,bookSellerAgent.checkLibrary1.oldActive,bookSellerAgent.composeResponse1.active,bookSellerAgent.composeResponse1.newActive,bookSellerAgent.composeResponse1.oldActive,bookSellerAgent.sendResponse1.newActive,bookSellerAgent.sendResponse1.oldActive,bookSellerAgent.sendResponse1.active,bookSellerAgent.transition.fire,bookSellerAgent.transition.t_start,bookSellerAgent.transition1.fire,bookSellerAgent.transition1.t_start,bookSellerAgent.transition2.fire,bookSellerAgent.transition2.t_start,bookSellerAgent.transition3.fire,bookSellerAgent.transition3.t_start,bookSellerAgent.transition4.fire,bookSellerAgent.transition4.t_start,bookSellerAgent.transition5.fire,bookSellerAgent.transition5.t_start,bookSellerAgent.packager.backwardPropagatedBufferSize,bookSellerAgent.packager.bufferSize,bookSellerAgent.content.pkgIn.autoPkgBitSize,bookSellerAgent.uDPSend_adapted.pkgIn.userPkgBitSize,bookSellerAgent.uDPSend_adapted.pkgIn.autoPkgBitSize,bookSellerAgent.sender.pkgIn.autoPkgBitSize,bookSellerAgent.receiver.pkgIn.autoPkgBitSize,bookSellerAgent.reply_to.pkgIn.autoPkgBitSize,bookSellerAgent.ontology.pkgIn.autoPkgBitSize,bookSellerAgent.performative.pkgIn.autoPkgBitSize,bookSellerAgent.messageID.pkgIn.autoPkgBitSize,bookBuyerAgent.get_content.pkgIn.autoPkgBitSize,bookBuyerAgent.uDPReceive_adapted.bufferSize,bookBuyerAgent.getperformative.pkgIn.autoPkgBitSize,bookBuyerAgent.getsender.pkgIn.autoPkgBitSize,bookBuyerAgent.getreceiver.pkgIn.autoPkgBitSize,bookBuyerAgent.getreply_to.pkgIn.autoPkgBitSize,bookBuyerAgent.getontology.pkgIn.autoPkgBitSize,bookBuyerAgent.getMessageID.pkgIn.autoPkgBitSize,bookBuyerAgent.abortAction1.enableFire,bookBuyerAgent.abortAction.enableFire,bookBuyerAgent.done.enableFire,bookBuyerAgent.notDone.enableFire,bookBuyerAgent.refuse.enableFire,bookBuyerAgent.offer.enableFire,bookBuyerAgent.noOffers.enableFire,bookBuyerAgent.abort.enableFire,bookBuyerAgent.confirmation.enableFire,bookBuyerAgent.notServed.localActive,bookBuyerAgent.stateOfOffers.localActive,bookBuyerAgent.messageID.pkgOut[1].backwardTrigger,bookBuyerAgent.messageID.pkgOut[1].trigger,bookBuyerAgent.transition3.enableFire,bookBuyerAgent.transition1.enableFire,bookBuyerAgent.setDone.localActive,bookBuyerAgent.check1.localActive,bookBuyerAgent.sendBuy.localActive,bookBuyerAgent.sendRequest.localActive,bookBuyerAgent.transition.enableFire,bookBuyerAgent.check.localActive,bookBuyerAgent.composeBuy.localActive,bookBuyerAgent.collectProposal.localActive,bookBuyerAgent.composeRequest.localActive,bookBuyerAgent.waiting.localActive,bookBuyerAgent.getontology.pkgOut[1].trigger,$cse1,$cse2,$cse3,$cse4,$cse5,$cse6,$cse7,$cse8,$cse9,$cse10,$cse11,$cse12,$cse13,$cse14,$cse15,$cse16,$cse17,$cse18,$cse19,$cse20,$whenCondition112,$whenCondition111,$whenCondition110,$whenCondition109,$whenCondition108,$whenCondition107,$whenCondition106,$whenCondition105,$whenCondition104,$whenCondition103,$whenCondition102,$whenCondition101,$whenCondition100,$whenCondition99,$whenCondition98,$whenCondition113,$whenCondition114,$whenCondition115,$whenCondition116,$whenCondition117,$whenCondition118,$whenCondition119,$whenCondition120,bookBuyerAgent.packager.pkgOut.dummy,bookBuyerAgent.content.pkgOut[1].dummy,bookBuyerAgent.content.u[1],bookBuyerAgent.content.u[2],bookBuyerAgent.get_content.pkgOut[1].dummy,bookBuyerAgent.get_content.y[1],bookBuyerAgent.get_content.y[2],bookBuyerAgent.get_content.dummy,bookBuyerAgent.uDPReceive_adapted.pkgOut.dummy,bookBuyerAgent.uDPReceive_adapted.nRecvBytes,bookBuyerAgent.uDPReceive_adapted.nRecvbufOverwrites,bookBuyerAgent.uDPSend_adapted.bufferSize,bookBuyerAgent.uDPSend_adapted.dummy,bookBuyerAgent.uDPSend_adapted.receiver,bookBuyerAgent.sender.pkgOut[1].dummy,bookBuyerAgent.sender.u[1],bookBuyerAgent.receiver.pkgOut[1].dummy,bookBuyerAgent.receiver.u[1],bookBuyerAgent.reply_to.pkgOut[1].dummy,bookBuyerAgent.reply_to.u[1],bookBuyerAgent.ontology.pkgOut[1].dummy,bookBuyerAgent.ontology.u[1],bookBuyerAgent.getperformative.pkgOut[1].dummy,bookBuyerAgent.getperformative.y[1],bookBuyerAgent.getperformative.dummy,bookBuyerAgent.getsender.pkgOut[1].dummy,bookBuyerAgent.getsender.y[1],bookBuyerAgent.getsender.dummy,bookBuyerAgent.getreceiver.pkgOut[1].dummy,bookBuyerAgent.getreceiver.y[1],bookBuyerAgent.getreceiver.dummy,bookBuyerAgent.getreply_to.pkgOut[1].dummy,bookBuyerAgent.getreply_to.y[1],bookBuyerAgent.getreply_to.dummy,bookBuyerAgent.getontology.pkgOut[1].dummy,bookBuyerAgent.getontology.y[1],bookBuyerAgent.getontology.dummy,bookBuyerAgent.performative.pkgOut[1].dummy,bookBuyerAgent.performative.u[1],bookBuyerAgent.getMessageID.y[1],bookBuyerAgent.getMessageID.dummy,bookBuyerAgent.messageID.pkgOut[1].dummy,bookBuyerAgent.messageID.u[1],bookBuyerAgent.stateGraphRoot.activeSteps,bookBuyerAgent.proposals[3,1],bookBuyerAgent.proposals[3,2],bookBuyerAgent.counter,bookBuyerAgent.counterProposals,bookBuyerAgent.requestsDone,bookBuyerAgent.lowestPrice,bookBuyerAgent.bookOffered,bookBuyerAgent.waiting.active,bookBuyerAgent.waiting.inPort[2].occupied,bookBuyerAgent.waiting.inPort[3].occupied,bookBuyerAgent.waiting.inPort[4].occupied,bookBuyerAgent.waiting.newActive,bookBuyerAgent.waiting.oldActive,bookBuyerAgent.composeRequest.active,bookBuyerAgent.composeRequest.inPort[2].occupied,bookBuyerAgent.composeRequest.inPort[3].occupied,bookBuyerAgent.composeRequest.newActive,bookBuyerAgent.composeRequest.oldActive,bookBuyerAgent.collectProposal.active,bookBuyerAgent.collectProposal.outPort[2].available,bookBuyerAgent.collectProposal.newActive,bookBuyerAgent.collectProposal.oldActive,bookBuyerAgent.composeBuy.active,bookBuyerAgent.composeBuy.newActive,bookBuyerAgent.composeBuy.oldActive,bookBuyerAgent.integerChange.u,bookBuyerAgent.sampleTrigger.y,bookBuyerAgent.transitionWithSignal.condition,bookBuyerAgent.transitionWithSignal.enableFire,bookBuyerAgent.transition.fire,bookBuyerAgent.transition.t_start,bookBuyerAgent.check.active,bookBuyerAgent.check.outPort[2].available,bookBuyerAgent.check.newActive,bookBuyerAgent.check.oldActive,bookBuyerAgent.newMessage.enableFire,bookBuyerAgent.offer.condition,bookBuyerAgent.offer.fire,bookBuyerAgent.offer.t_start,bookBuyerAgent.refuse.condition,bookBuyerAgent.refuse.fire,bookBuyerAgent.refuse.t_start,bookBuyerAgent.done.fire,bookBuyerAgent.done.t_start,bookBuyerAgent.notDone.fire,bookBuyerAgent.notDone.t_start,bookBuyerAgent.sendRequest.outPort[2].available,bookBuyerAgent.sendRequest.newActive,bookBuyerAgent.sendRequest.oldActive,bookBuyerAgent.sendRequest.active,bookBuyerAgent.sendBuy.outPort[2].available,bookBuyerAgent.sendBuy.newActive,bookBuyerAgent.sendBuy.oldActive,bookBuyerAgent.sendBuy.active,bookBuyerAgent.check1.active,bookBuyerAgent.check1.outPort[2].available,bookBuyerAgent.check1.newActive,bookBuyerAgent.check1.oldActive,bookBuyerAgent.confirmation.condition,bookBuyerAgent.confirmation.fire,bookBuyerAgent.confirmation.t_start,bookBuyerAgent.setDone.active,bookBuyerAgent.setDone.outPort[2].available,bookBuyerAgent.setDone.newActive,bookBuyerAgent.setDone.oldActive,bookBuyerAgent.transition1.fire,bookBuyerAgent.transition1.t_start,bookBuyerAgent.transition3.fire,bookBuyerAgent.transition3.t_start,bookBuyerAgent.bookBought,bookBuyerAgent.newMessage1.condition,bookBuyerAgent.newMessage1.enableFire,bookBuyerAgent.abort.fire,bookBuyerAgent.abort.t_start,bookBuyerAgent.stateOfOffers.active,bookBuyerAgent.stateOfOffers.outPort[2].available,bookBuyerAgent.stateOfOffers.newActive,bookBuyerAgent.stateOfOffers.oldActive,bookBuyerAgent.transitionWithSignal1.enableFire,bookBuyerAgent.noOffers.fire,bookBuyerAgent.noOffers.t_start,bookBuyerAgent.abortAction.fire,bookBuyerAgent.abortAction.t_start,bookBuyerAgent.abortAction1.fire,bookBuyerAgent.abortAction1.t_start,bookBuyerAgent.notServed.active,bookBuyerAgent.notServed.inPort[2].occupied,bookBuyerAgent.notServed.newActive,bookBuyerAgent.notServed.oldActive,bookBuyerAgent.transition2.enableFire,bookBuyerAgent.packager.backwardPropagatedBufferSize,bookBuyerAgent.packager.bufferSize,bookBuyerAgent.content.pkgIn.autoPkgBitSize,bookBuyerAgent.uDPSend_adapted.pkgIn.userPkgBitSize,bookBuyerAgent.uDPSend_adapted.pkgIn.autoPkgBitSize,bookBuyerAgent.sender.pkgIn.autoPkgBitSize,bookBuyerAgent.receiver.pkgIn.autoPkgBitSize,bookBuyerAgent.reply_to.pkgIn.autoPkgBitSize,bookBuyerAgent.ontology.pkgIn.autoPkgBitSize,bookBuyerAgent.performative.pkgIn.autoPkgBitSize,bookBuyerAgent.messageID.pkgIn.autoPkgBitSize) * Number of discrete states: 216 (bookBuyerAgent.waiting.newActive,bookBuyerAgent.composeRequest.newActive,bookBuyerAgent.collectProposal.newActive,bookBuyerAgent.composeBuy.newActive,bookBuyerAgent.check.newActive,bookBuyerAgent.sendRequest.newActive,bookBuyerAgent.sendBuy.newActive,bookBuyerAgent.check1.newActive,bookBuyerAgent.setDone.newActive,bookBuyerAgent.stateOfOffers.newActive,bookBuyerAgent.notServed.newActive,$whenCondition120,$whenCondition119,bookBuyerAgent.bookBought,$whenCondition118,$whenCondition117,bookBuyerAgent.proposals[3,2],bookBuyerAgent.proposals[3,1],$whenCondition116,bookBuyerAgent.requestsDone,$whenCondition115,bookBuyerAgent.messageID.u[1],bookBuyerAgent.receiver.u[1],bookBuyerAgent.uDPSend_adapted.receiver,bookBuyerAgent.ontology.u[1],bookBuyerAgent.reply_to.u[1],bookBuyerAgent.sender.u[1],bookBuyerAgent.performative.u[1],bookBuyerAgent.content.u[2],bookBuyerAgent.content.u[1],$whenCondition114,bookBuyerAgent.bookOffered,bookBuyerAgent.lowestPrice,bookBuyerAgent.counterProposals,bookBuyerAgent.counter,$whenCondition113,bookBuyerAgent.integerChange.u,bookSellerAgent.waiting.newActive,bookSellerAgent.checkPurpose.newActive,bookSellerAgent.checkLibrary.newActive,bookSellerAgent.composeResponse.newActive,bookSellerAgent.sendResponse.newActive,bookSellerAgent.checkLibrary1.newActive,bookSellerAgent.composeResponse1.newActive,bookSellerAgent.sendResponse1.newActive,bookSellerAgent.bookList[3,2],bookSellerAgent.bookList[3,1],$whenCondition97,$whenCondition96,bookSellerAgent.performative.u[1],bookSellerAgent.content.u[2],bookSellerAgent.content.u[1],bookSellerAgent.messageID.u[1],bookSellerAgent.receiver.u[1],bookSellerAgent.uDPSend_adapted.receiver,bookSellerAgent.ontology.u[1],bookSellerAgent.reply_to.u[1],bookSellerAgent.sender.u[1],$whenCondition95,$whenCondition94,bookSellerAgent.content_2_current,bookSellerAgent.content_1_current,bookSellerAgent.performative_current,bookSellerAgent.sender_current,$whenCondition93,bookSellerAgent.index,bookSellerAgent.bookToSell,bookSellerAgent.bookInStock,bookSellerAgent.counter,bookSellerAgent.searchedBook,$whenCondition92,bookSellerAgent.integerChange.u,bookSellerAgent1.waiting.newActive,bookSellerAgent1.checkPurpose.newActive,bookSellerAgent1.checkLibrary.newActive,bookSellerAgent1.composeResponse.newActive,bookSellerAgent1.sendResponse.newActive,bookSellerAgent1.checkLibrary1.newActive,bookSellerAgent1.composeResponse1.newActive,bookSellerAgent1.sendResponse1.newActive,bookSellerAgent1.bookList[3,2],bookSellerAgent1.bookList[3,1],$whenCondition80,$whenCondition79,bookSellerAgent1.performative.u[1],bookSellerAgent1.content.u[2],bookSellerAgent1.content.u[1],bookSellerAgent1.messageID.u[1],bookSellerAgent1.receiver.u[1],bookSellerAgent1.uDPSend_adapted.receiver,bookSellerAgent1.ontology.u[1],bookSellerAgent1.reply_to.u[1],bookSellerAgent1.sender.u[1],$whenCondition78,$whenCondition77,bookSellerAgent1.content_2_current,bookSellerAgent1.content_1_current,bookSellerAgent1.performative_current,bookSellerAgent1.sender_current,$whenCondition76,bookSellerAgent1.index,bookSellerAgent1.bookToSell,bookSellerAgent1.bookInStock,bookSellerAgent1.counter,bookSellerAgent1.searchedBook,$whenCondition75,bookSellerAgent1.integerChange.u,bookSellerAgent2.waiting.newActive,bookSellerAgent2.checkPurpose.newActive,bookSellerAgent2.checkLibrary.newActive,bookSellerAgent2.composeResponse.newActive,bookSellerAgent2.sendResponse.newActive,bookSellerAgent2.checkLibrary1.newActive,bookSellerAgent2.composeResponse1.newActive,bookSellerAgent2.sendResponse1.newActive,bookSellerAgent2.bookList[4,2],bookSellerAgent2.bookList[4,1],$whenCondition63,$whenCondition62,bookSellerAgent2.performative.u[1],bookSellerAgent2.content.u[2],bookSellerAgent2.content.u[1],bookSellerAgent2.messageID.u[1],bookSellerAgent2.receiver.u[1],bookSellerAgent2.uDPSend_adapted.receiver,bookSellerAgent2.ontology.u[1],bookSellerAgent2.reply_to.u[1],bookSellerAgent2.sender.u[1],$whenCondition61,$whenCondition60,bookSellerAgent2.content_2_current,bookSellerAgent2.content_1_current,bookSellerAgent2.performative_current,bookSellerAgent2.sender_current,$whenCondition59,bookSellerAgent2.index,bookSellerAgent2.bookToSell,bookSellerAgent2.bookInStock,bookSellerAgent2.counter,bookSellerAgent2.searchedBook,$whenCondition58,bookSellerAgent2.integerChange.u,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,$whenCondition46,$whenCondition45,bookBuyerAgent1.bookBought,$whenCondition44,$whenCondition43,bookBuyerAgent1.proposals[3,2],bookBuyerAgent1.proposals[3,1],$whenCondition42,bookBuyerAgent1.requestsDone,$whenCondition41,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],$whenCondition40,bookBuyerAgent1.bookOffered,bookBuyerAgent1.lowestPrice,bookBuyerAgent1.counterProposals,bookBuyerAgent1.counter,$whenCondition39,bookBuyerAgent1.integerChange.u,bookBuyerAgent2.waiting.newActive,bookBuyerAgent2.composeRequest.newActive,bookBuyerAgent2.collectProposal.newActive,bookBuyerAgent2.composeBuy.newActive,bookBuyerAgent2.check.newActive,bookBuyerAgent2.sendRequest.newActive,bookBuyerAgent2.sendBuy.newActive,bookBuyerAgent2.check1.newActive,bookBuyerAgent2.setDone.newActive,bookBuyerAgent2.stateOfOffers.newActive,bookBuyerAgent2.notServed.newActive,$whenCondition23,$whenCondition22,bookBuyerAgent2.bookBought,$whenCondition21,$whenCondition20,bookBuyerAgent2.proposals[3,2],bookBuyerAgent2.proposals[3,1],$whenCondition19,bookBuyerAgent2.requestsDone,$whenCondition18,bookBuyerAgent2.messageID.u[1],bookBuyerAgent2.receiver.u[1],bookBuyerAgent2.uDPSend_adapted.receiver,bookBuyerAgent2.ontology.u[1],bookBuyerAgent2.reply_to.u[1],bookBuyerAgent2.sender.u[1],bookBuyerAgent2.performative.u[1],bookBuyerAgent2.content.u[2],bookBuyerAgent2.content.u[1],$whenCondition17,bookBuyerAgent2.bookOffered,bookBuyerAgent2.lowestPrice,bookBuyerAgent2.counterProposals,bookBuyerAgent2.counter,$whenCondition16,bookBuyerAgent2.integerChange.u) * Number of clocked states: 0 () * Top-level inputs: 0 Notification: Strong component statistics for simulation (1146): * Single equations (assignments): 765 * Array equations: 0 * Algorithm blocks: 6 * Record equations: 0 * When equations: 375 * If-equations: 0 * Equation systems (linear and non-linear blocks): 0 * Torn equation systems: 0 * Mixed (continuous/discrete) equation systems: 0 Notification: Performance of Backend phase and start with SimCode phase: time 0.003277/1.797, allocations: 1.58 MB / 1.715 GB, free: 232.5 MB / 0.8855 GB Notification: Performance of simCode: created initialization part: time 0.02799/1.825, allocations: 16.04 MB / 1.731 GB, free: 224.7 MB / 0.8855 GB Notification: Performance of simCode: created event and clocks part: time 9.224e-06/1.825, allocations: 0.8125 kB / 1.731 GB, free: 224.7 MB / 0.8855 GB Notification: Performance of simCode: created simulation system equations: time 0.02228/1.847, allocations: 19.82 MB / 1.751 GB, free: 211.7 MB / 0.8855 GB Notification: Performance of simCode: created of all other equations (e.g. parameter, nominal, assert, etc): time 0.007347/1.854, allocations: 1.33 MB / 1.752 GB, free: 211.3 MB / 0.8855 GB Notification: Performance of simCode: created linear, non-linear and system jacobian parts: time 0.03698/1.891, allocations: 20.87 MB / 1.772 GB, free: 194.3 MB / 0.8855 GB Notification: Performance of simCode: some other stuff during SimCode phase: time 0.005771/1.897, allocations: 4.815 MB / 1.777 GB, free: 190.8 MB / 0.8855 GB Notification: Performance of simCode: alias equations: time 0.005839/1.903, allocations: 1.252 MB / 1.778 GB, free: 190 MB / 0.8855 GB Notification: Performance of simCode: all other stuff during SimCode phase: time 0.002489/1.906, allocations: 0.6551 MB / 1.779 GB, free: 189.4 MB / 0.8855 GB Notification: Performance of SimCode: time 1.493e-06/1.906, allocations: 4 kB / 1.779 GB, free: 189.4 MB / 0.8855 GB Notification: Performance of Templates: time 0.2364/2.142, allocations: 101 MB / 1.877 GB, free: 91.44 MB / 0.8855 GB