CRAN Package Check Results for Package simmer

Last updated on 2018-08-14 09:48:23 CEST.

Flavor Version Tinstall Tcheck Ttotal Status Flags
r-devel-linux-x86_64-debian-clang 4.0.0 99.44 99.30 198.74 OK
r-devel-linux-x86_64-debian-gcc 4.0.0 103.00 77.42 180.42 OK
r-devel-linux-x86_64-fedora-clang 4.0.0 263.58 NOTE
r-devel-linux-x86_64-fedora-gcc 4.0.0 273.78 OK
r-devel-windows-ix86+x86_64 4.0.0 314.00 126.00 440.00 WARN
r-patched-linux-x86_64 4.0.0 121.26 94.35 215.61 OK
r-patched-solaris-x86 4.0.0 262.40 OK
r-release-linux-x86_64 4.0.0 118.65 93.50 212.15 OK
r-release-windows-ix86+x86_64 4.0.0 309.00 132.00 441.00 WARN
r-release-osx-x86_64 4.0.0 NOTE
r-oldrel-windows-ix86+x86_64 4.0.0 299.00 93.00 392.00 ERROR
r-oldrel-osx-x86_64 4.0.0 NOTE

Check Details

Version: 4.0.0
Check: installed package size
Result: NOTE
     installed size is 14.9Mb
     sub-directories of 1Mb or more:
     doc 1.9Mb
     libs 12.4Mb
Flavors: r-devel-linux-x86_64-fedora-clang, r-devel-windows-ix86+x86_64, r-release-windows-ix86+x86_64, r-release-osx-x86_64, r-oldrel-windows-ix86+x86_64, r-oldrel-osx-x86_64

Version: 4.0.0
Check: re-building of vignette outputs
Result: WARN
    Error in re-building vignettes:
     ...
    Error: processing vignette 'simmer-02-jss.Rmd' failed with diagnostics:
    pandoc version 2.2 or higher is required and was not found (see the help page ?rmarkdown::pandoc_available).
    Execution halted
Flavors: r-devel-windows-ix86+x86_64, r-release-windows-ix86+x86_64, r-oldrel-windows-ix86+x86_64

Version: 4.0.0
Check: running tests for arch ‘x64’
Result: ERROR
     Running 'testthat.R' [7s]
    Running the tests in 'tests/testthat.R' failed.
    Complete output:
     > # Copyright (C) 2014 Bart Smeets
     > # Copyright (C) 2015-2016 Iñaki Ucar
     > #
     > # This file is part of simmer.
     > #
     > # simmer is free software: you can redistribute it and/or modify it
     > # under the terms of the GNU General Public License as published by
     > # the Free Software Foundation, either version 2 of the License, or
     > # (at your option) any later version.
     > #
     > # simmer is distributed in the hope that it will be useful, but
     > # WITHOUT ANY WARRANTY; without even the implied warranty of
     > # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
     > # GNU General Public License for more details.
     > #
     > # You should have received a copy of the GNU General Public License
     > # along with simmer. If not, see <http://www.gnu.org/licenses/>.
     >
     > library(testthat)
     > library(simmer)
     > test_check("simmer")
     0 | source: customer | new: customer0 | 1
     1 | arrival: customer0 | activity: Timeout | function()
     1 | source: customer | new: customer1 | 2
     2 | arrival: customer1 | activity: Timeout | function()
     2 | source: customer | new: customer2 | 3
     3 | arrival: customer2 | activity: Timeout | function()
     3 | source: customer | new: customer3 | 4
     4 | arrival: customer3 | activity: Timeout | function()
     4 | source: customer | new: customer4 | 5
     5 | arrival: customer4 | activity: Timeout | function()
     5 | source: customer | new: customer5 | 6
     6 | arrival: customer5 | activity: Timeout | function()
     6 | source: customer | new: customer6 | 7
     7 | arrival: customer6 | activity: Timeout | function()
     7 | source: customer | new: customer7 | 8
     8 | arrival: customer7 | activity: Timeout | function()
     8 | source: customer | new: customer8 | 9
     9 | arrival: customer8 | activity: Timeout | function()
     9 | source: customer | new: customer9 | 10
     0 | source: dummy | new: dummy0 | 1.74275
     0 | source: dummy | new: dummy1 | 2.12993
     0 | source: dummy | new: dummy2 | 2.21988
     0 | source: dummy | new: dummy3 | 3.04396
     0 | source: dummy | new: dummy4 | 3.24658
     0 | source: dummy | new: dummy5 | 4.08462
     0 | source: dummy | new: dummy6 | 4.84505
     0 | source: dummy | new: dummy7 | 6.72513
     0 | source: dummy | new: dummy8 | 8.32123
     0 | source: dummy | new: dummy9 | 9.97989
     1.74275 | arrival: dummy0 | activity: Timeout | 2.50176
     2.12993 | arrival: dummy1 | activity: Timeout | 2.50176
     2.21988 | arrival: dummy2 | activity: Timeout | 2.50176
     3.04396 | arrival: dummy3 | activity: Timeout | 2.50176
     3.24658 | arrival: dummy4 | activity: Timeout | 2.50176
     4.08462 | arrival: dummy5 | activity: Timeout | 2.50176
     4.2445 | arrival: dummy0 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     4.2445 | arrival: dummy0 | activity: Seize | res, 1, 0 paths
     4.2445 | resource: res | arrival: dummy0 | SERVE
     4.2445 | arrival: dummy0 | activity: Timeout | 0.00658196
     4.25109 | arrival: dummy0 | activity: Release | res, 1
     4.25109 | resource: res | arrival: dummy0 | DEPART
     4.25109 | task: Post-Release | : |
     4.63169 | arrival: dummy1 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     4.63169 | arrival: dummy1 | activity: Seize | res, 1, 0 paths
     4.63169 | resource: res | arrival: dummy1 | SERVE
     4.63169 | arrival: dummy1 | activity: Timeout | 0.00658196
     4.63827 | arrival: dummy1 | activity: Release | res, 1
     4.63827 | resource: res | arrival: dummy1 | DEPART
     4.63827 | task: Post-Release | : |
     4.72164 | arrival: dummy2 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     4.72164 | arrival: dummy2 | activity: Seize | res, 1, 0 paths
     4.72164 | resource: res | arrival: dummy2 | SERVE
     4.72164 | arrival: dummy2 | activity: Timeout | 0.00658196
     4.72822 | arrival: dummy2 | activity: Release | res, 1
     4.72822 | resource: res | arrival: dummy2 | DEPART
     4.72822 | task: Post-Release | : |
     4.84505 | arrival: dummy6 | activity: Timeout | 2.50176
     5.54572 | arrival: dummy3 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     5.54572 | arrival: dummy3 | activity: Seize | res, 1, 0 paths
     5.54572 | resource: res | arrival: dummy3 | SERVE
     5.54572 | arrival: dummy3 | activity: Timeout | 0.00658196
     5.5523 | arrival: dummy3 | activity: Release | res, 1
     5.5523 | resource: res | arrival: dummy3 | DEPART
     5.5523 | task: Post-Release | : |
     5.74834 | arrival: dummy4 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     5.74834 | arrival: dummy4 | activity: Seize | res, 1, 0 paths
     5.74834 | resource: res | arrival: dummy4 | SERVE
     5.74834 | arrival: dummy4 | activity: Timeout | 0.00658196
     5.75492 | arrival: dummy4 | activity: Release | res, 1
     5.75492 | resource: res | arrival: dummy4 | DEPART
     5.75492 | task: Post-Release | : |
     6.58638 | arrival: dummy5 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     6.58638 | arrival: dummy5 | activity: Seize | res, 1, 0 paths
     6.58638 | resource: res | arrival: dummy5 | SERVE
     6.58638 | arrival: dummy5 | activity: Timeout | 0.00658196
     6.59296 | arrival: dummy5 | activity: Release | res, 1
     6.59296 | resource: res | arrival: dummy5 | DEPART
     6.59296 | task: Post-Release | : |
     6.72513 | arrival: dummy7 | activity: Timeout | 2.50176
     7.34681 | arrival: dummy6 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     7.34681 | arrival: dummy6 | activity: Seize | res, 1, 0 paths
     7.34681 | resource: res | arrival: dummy6 | SERVE
     7.34681 | arrival: dummy6 | activity: Timeout | 0.00658196
     7.35339 | arrival: dummy6 | activity: Release | res, 1
     7.35339 | resource: res | arrival: dummy6 | DEPART
     7.35339 | task: Post-Release | : |
     8.32123 | arrival: dummy8 | activity: Timeout | 2.50176
     9.22688 | arrival: dummy7 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     9.22688 | arrival: dummy7 | activity: Seize | res, 1, 0 paths
     9.22688 | resource: res | arrival: dummy7 | SERVE
     9.22688 | arrival: dummy7 | activity: Timeout | 0.00658196
     9.23347 | arrival: dummy7 | activity: Release | res, 1
     9.23347 | resource: res | arrival: dummy7 | DEPART
     9.23347 | task: Post-Release | : |
     9.97989 | arrival: dummy9 | activity: Timeout | 2.50176
     10.823 | arrival: dummy8 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     10.823 | arrival: dummy8 | activity: Seize | res, 1, 0 paths
     10.823 | resource: res | arrival: dummy8 | SERVE
     10.823 | arrival: dummy8 | activity: Timeout | 0.00658196
     10.8296 | arrival: dummy8 | activity: Release | res, 1
     10.8296 | resource: res | arrival: dummy8 | DEPART
     10.8296 | task: Post-Release | : |
     12.4817 | arrival: dummy9 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     12.4817 | arrival: dummy9 | activity: Seize | res, 1, 0 paths
     12.4817 | resource: res | arrival: dummy9 | SERVE
     12.4817 | arrival: dummy9 | activity: Timeout | 0.00658196
     12.4882 | arrival: dummy9 | activity: Release | res, 1
     12.4882 | resource: res | arrival: dummy9 | DEPART
     12.4882 | task: Post-Release | : |
     0 | source: dummy | new: dummy0 | 1.74275
     0 | source: dummy | new: dummy1 | 2.12993
     0 | source: dummy | new: dummy2 | 2.21988
     0 | source: dummy | new: dummy3 | 3.04396
     0 | source: dummy | new: dummy4 | 3.24658
     0 | source: dummy | new: dummy5 | 4.08462
     0 | source: dummy | new: dummy6 | 4.84505
     0 | source: dummy | new: dummy7 | 6.72513
     0 | source: dummy | new: dummy8 | 8.32123
     0 | source: dummy | new: dummy9 | 9.97989
     1.74275 | arrival: dummy0 | activity: Timeout | 2.50176
     2.12993 | arrival: dummy1 | activity: Timeout | 2.50176
     2.21988 | arrival: dummy2 | activity: Timeout | 2.50176
     3.04396 | arrival: dummy3 | activity: Timeout | 2.50176
     3.24658 | arrival: dummy4 | activity: Timeout | 2.50176
     4.08462 | arrival: dummy5 | activity: Timeout | 2.50176
     4.2445 | arrival: dummy0 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     4.2445 | arrival: dummy0 | activity: Seize | res, 1, 0 paths
     4.2445 | resource: res | arrival: dummy0 | SERVE
     4.2445 | arrival: dummy0 | activity: Timeout | 0.00658196
     4.25109 | arrival: dummy0 | activity: Release | res, 1
     4.25109 | resource: res | arrival: dummy0 | DEPART
     4.25109 | task: Post-Release | : |
     4.63169 | arrival: dummy1 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     4.63169 | arrival: dummy1 | activity: Seize | res, 1, 0 paths
     4.63169 | resource: res | arrival: dummy1 | SERVE
     4.63169 | arrival: dummy1 | activity: Timeout | 0.00658196
     4.63827 | arrival: dummy1 | activity: Release | res, 1
     4.63827 | resource: res | arrival: dummy1 | DEPART
     4.63827 | task: Post-Release | : |
     4.72164 | arrival: dummy2 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     4.72164 | arrival: dummy2 | activity: Seize | res, 1, 0 paths
     4.72164 | resource: res | arrival: dummy2 | SERVE
     4.72164 | arrival: dummy2 | activity: Timeout | 0.00658196
     4.72822 | arrival: dummy2 | activity: Release | res, 1
     4.72822 | resource: res | arrival: dummy2 | DEPART
     4.72822 | task: Post-Release | : |
     4.84505 | arrival: dummy6 | activity: Timeout | 2.50176
     5.54572 | arrival: dummy3 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     5.54572 | arrival: dummy3 | activity: Seize | res, 1, 0 paths
     5.54572 | resource: res | arrival: dummy3 | SERVE
     5.54572 | arrival: dummy3 | activity: Timeout | 0.00658196
     5.5523 | arrival: dummy3 | activity: Release | res, 1
     5.5523 | resource: res | arrival: dummy3 | DEPART
     5.5523 | task: Post-Release | : |
     5.74834 | arrival: dummy4 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     5.74834 | arrival: dummy4 | activity: Seize | res, 1, 0 paths
     5.74834 | resource: res | arrival: dummy4 | SERVE
     5.74834 | arrival: dummy4 | activity: Timeout | 0.00658196
     5.75492 | arrival: dummy4 | activity: Release | res, 1
     5.75492 | resource: res | arrival: dummy4 | DEPART
     5.75492 | task: Post-Release | : |
     6.58638 | arrival: dummy5 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     6.58638 | arrival: dummy5 | activity: Seize | res, 1, 0 paths
     6.58638 | resource: res | arrival: dummy5 | SERVE
     6.58638 | arrival: dummy5 | activity: Timeout | 0.00658196
     6.59296 | arrival: dummy5 | activity: Release | res, 1
     6.59296 | resource: res | arrival: dummy5 | DEPART
     6.59296 | task: Post-Release | : |
     6.72513 | arrival: dummy7 | activity: Timeout | 2.50176
     7.34681 | arrival: dummy6 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     7.34681 | arrival: dummy6 | activity: Seize | res, 1, 0 paths
     7.34681 | resource: res | arrival: dummy6 | SERVE
     7.34681 | arrival: dummy6 | activity: Timeout | 0.00658196
     7.35339 | arrival: dummy6 | activity: Release | res, 1
     7.35339 | resource: res | arrival: dummy6 | DEPART
     7.35339 | task: Post-Release | : |
     8.32123 | arrival: dummy8 | activity: Timeout | 2.50176
     9.22688 | arrival: dummy7 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     9.22688 | arrival: dummy7 | activity: Seize | res, 1, 0 paths
     9.22688 | resource: res | arrival: dummy7 | SERVE
     9.22688 | arrival: dummy7 | activity: Timeout | 0.00658196
     9.23347 | arrival: dummy7 | activity: Release | res, 1
     9.23347 | resource: res | arrival: dummy7 | DEPART
     9.23347 | task: Post-Release | : |
     9.97989 | arrival: dummy9 | activity: Timeout | 2.50176
     10.823 | arrival: dummy8 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     10.823 | arrival: dummy8 | activity: Seize | res, 1, 0 paths
     10.823 | resource: res | arrival: dummy8 | SERVE
     10.823 | arrival: dummy8 | activity: Timeout | 0.00658196
     10.8296 | arrival: dummy8 | activity: Release | res, 1
     10.8296 | resource: res | arrival: dummy8 | DEPART
     10.8296 | task: Post-Release | : |
     12.4817 | arrival: dummy9 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     12.4817 | arrival: dummy9 | activity: Seize | res, 1, 0 paths
     12.4817 | resource: res | arrival: dummy9 | SERVE
     12.4817 | arrival: dummy9 | activity: Timeout | 0.00658196
     12.4882 | arrival: dummy9 | activity: Release | res, 1
     12.4882 | resource: res | arrival: dummy9 | DEPART
     12.4882 | task: Post-Release | : |
     0 | source: dummy | new: dummy0 | 1.74275
     0 | source: dummy | new: dummy1 | 2.12993
     0 | source: dummy | new: dummy2 | 2.21988
     0 | source: dummy | new: dummy3 | 3.04396
     0 | source: dummy | new: dummy4 | 3.24658
     0 | source: dummy | new: dummy5 | 4.08462
     0 | source: dummy | new: dummy6 | 4.84505
     0 | source: dummy | new: dummy7 | 6.72513
     0 | source: dummy | new: dummy8 | 8.32123
     0 | source: dummy | new: dummy9 | 9.97989
     1.74275 | arrival: dummy0 | activity: Timeout | 2.50176
     2.12993 | arrival: dummy1 | activity: Timeout | 2.50176
     2.21988 | arrival: dummy2 | activity: Timeout | 2.50176
     3.04396 | arrival: dummy3 | activity: Timeout | 2.50176
     3.24658 | arrival: dummy4 | activity: Timeout | 2.50176
     4.08462 | arrival: dummy5 | activity: Timeout | 2.50176
     4.2445 | arrival: dummy0 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     4.2445 | arrival: dummy0 | activity: Seize | res, 1, 0 paths
     4.2445 | resource: res | arrival: dummy0 | SERVE
     4.2445 | arrival: dummy0 | activity: Timeout | 0.00658196
     4.25109 | arrival: dummy0 | activity: Release | res, 1
     4.25109 | resource: res | arrival: dummy0 | DEPART
     4.25109 | task: Post-Release | : |
     4.63169 | arrival: dummy1 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     4.63169 | arrival: dummy1 | activity: Seize | res, 1, 0 paths
     4.63169 | resource: res | arrival: dummy1 | SERVE
     4.63169 | arrival: dummy1 | activity: Timeout | 0.00658196
     4.63827 | arrival: dummy1 | activity: Release | res, 1
     4.63827 | resource: res | arrival: dummy1 | DEPART
     4.63827 | task: Post-Release | : |
     4.72164 | arrival: dummy2 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     4.72164 | arrival: dummy2 | activity: Seize | res, 1, 0 paths
     4.72164 | resource: res | arrival: dummy2 | SERVE
     4.72164 | arrival: dummy2 | activity: Timeout | 0.00658196
     4.72822 | arrival: dummy2 | activity: Release | res, 1
     4.72822 | resource: res | arrival: dummy2 | DEPART
     4.72822 | task: Post-Release | : |
     4.84505 | arrival: dummy6 | activity: Timeout | 2.50176
     5.54572 | arrival: dummy3 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     5.54572 | arrival: dummy3 | activity: Seize | res, 1, 0 paths
     5.54572 | resource: res | arrival: dummy3 | SERVE
     5.54572 | arrival: dummy3 | activity: Timeout | 0.00658196
     5.5523 | arrival: dummy3 | activity: Release | res, 1
     5.5523 | resource: res | arrival: dummy3 | DEPART
     5.5523 | task: Post-Release | : |
     5.74834 | arrival: dummy4 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     5.74834 | arrival: dummy4 | activity: Seize | res, 1, 0 paths
     5.74834 | resource: res | arrival: dummy4 | SERVE
     5.74834 | arrival: dummy4 | activity: Timeout | 0.00658196
     5.75492 | arrival: dummy4 | activity: Release | res, 1
     5.75492 | resource: res | arrival: dummy4 | DEPART
     5.75492 | task: Post-Release | : |
     6.58638 | arrival: dummy5 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     6.58638 | arrival: dummy5 | activity: Seize | res, 1, 0 paths
     6.58638 | resource: res | arrival: dummy5 | SERVE
     6.58638 | arrival: dummy5 | activity: Timeout | 0.00658196
     6.59296 | arrival: dummy5 | activity: Release | res, 1
     6.59296 | resource: res | arrival: dummy5 | DEPART
     6.59296 | task: Post-Release | : |
     6.72513 | arrival: dummy7 | activity: Timeout | 2.50176
     7.34681 | arrival: dummy6 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     7.34681 | arrival: dummy6 | activity: Seize | res, 1, 0 paths
     7.34681 | resource: res | arrival: dummy6 | SERVE
     7.34681 | arrival: dummy6 | activity: Timeout | 0.00658196
     7.35339 | arrival: dummy6 | activity: Release | res, 1
     7.35339 | resource: res | arrival: dummy6 | DEPART
     7.35339 | task: Post-Release | : |
     8.32123 | arrival: dummy8 | activity: Timeout | 2.50176
     9.22688 | arrival: dummy7 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     9.22688 | arrival: dummy7 | activity: Seize | res, 1, 0 paths
     9.22688 | resource: res | arrival: dummy7 | SERVE
     9.22688 | arrival: dummy7 | activity: Timeout | 0.00658196
     9.23347 | arrival: dummy7 | activity: Release | res, 1
     9.23347 | resource: res | arrival: dummy7 | DEPART
     9.23347 | task: Post-Release | : |
     9.97989 | arrival: dummy9 | activity: Timeout | 2.50176
     10.823 | arrival: dummy8 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     10.823 | arrival: dummy8 | activity: Seize | res, 1, 0 paths
     10.823 | resource: res | arrival: dummy8 | SERVE
     10.823 | arrival: dummy8 | activity: Timeout | 0.00658196
     10.8296 | arrival: dummy8 | activity: Release | res, 1
     10.8296 | resource: res | arrival: dummy8 | DEPART
     10.8296 | task: Post-Release | : |
     12.4817 | arrival: dummy9 | activity: SetAttribute | [attr], [0.246759], 0, N, 0
     12.4817 | arrival: dummy9 | activity: Seize | res, 1, 0 paths
     12.4817 | resource: res | arrival: dummy9 | SERVE
     12.4817 | arrival: dummy9 | activity: Timeout | 0.00658196
     12.4882 | arrival: dummy9 | activity: Release | res, 1
     12.4882 | resource: res | arrival: dummy9 | DEPART
     12.4882 | task: Post-Release | : |
     0 | source: dummy | new: dummy0 | 0
     0 | source: dummy | new: dummy1 | 1
     0 | source: dummy | new: dummy2 | 3
     0 | source: dummy | new: dummy3 | 9
     0 | source: dummy | new: dummy0 | 1
     0 | source: dummy | new: dummy1 | 2
     0 | source: dummy | new: dummy2 | 3
     0 | source: dummy | new: dummy0 | 1
     0 | source: dummy | new: dummy1 | 2
     0 | source: dummy | new: dummy2 | 3
     0 | source: dummy | new: dummy0 | 1
     0 | source: dummy | new: dummy1 | 2
     0 | source: dummy | new: dummy2 | 3
     0 | source: dummy | new: dummy0 | 0
     0 | source: dummy | new: dummy0 | 1
     0 | source: dummy | new: dummy1 | 2
     0 | source: dummy | new: dummy2 | 3
     0 | source: dummy | new: dummy0 | 1
     0 | source: dummy | new: dummy1 | 2
     0 | source: dummy | new: dummy2 | 3
     0 | source: a | new: a0 | 0
     0 | arrival: a0 | activity: Seize | res2, 1, 0 paths
     0 | resource: res2 | arrival: a0 | SERVE
     0 | arrival: a0 | activity: Batch | 1, 0, 0,
     0 | arrival: batch0 | activity: Seize | res1, 1, 0 paths
     0 | resource: res1 | arrival: batch0 | SERVE
     0 | arrival: batch0 | activity: Timeout | 5
     0 | source: b | new: b0 | 0
     0 | arrival: b0 | activity: Seize | res1, 1, 0 paths
     0 | resource: res1 | arrival: b0 | ENQUEUE
     0 | source: c | new: c0 | 0
     0 | arrival: c0 | activity: Seize | res1, 1, 0 paths
     0 | resource: res1 | arrival: c0 | ENQUEUE
     0 | source: d | new: d0 | 1
     1 | arrival: d0 | activity: Seize | res1, 1, 0 paths
     1 | resource: res1 | arrival: d0 | ENQUEUE
     0 | source: a | new: a0 | 0
     0 | arrival: a0 | activity: Seize | res2, 1, 0 paths
     0 | resource: res2 | arrival: a0 | SERVE
     0 | arrival: a0 | activity: Batch | 1, 0, 0,
     0 | arrival: batch0 | activity: Seize | res1, 1, 0 paths
     0 | resource: res1 | arrival: batch0 | SERVE
     0 | arrival: batch0 | activity: Timeout | 5
     0 | source: b | new: b0 | 0
     0 | arrival: b0 | activity: Seize | res1, 1, 0 paths
     0 | resource: res1 | arrival: b0 | ENQUEUE
     0 | source: c | new: c0 | 0
     0 | arrival: c0 | activity: Seize | res1, 1, 0 paths
     0 | resource: res1 | arrival: c0 | ENQUEUE
     0 | source: d | new: d0 | 1
     1 | arrival: d0 | activity: Seize | res1, 1, 0 paths
     1 | resource: res1 | arrival: d0 | ENQUEUE
     5 | arrival: batch0 | activity: Release | res1, 1
     5 | resource: res1 | arrival: batch0 | DEPART
     5 | task: Post-Release | : |
     5 | resource: res1 | arrival: b0 | SERVE
     5 | arrival: batch0 | activity: Separate |
     5 | arrival: b0 | activity: Timeout | 6
     5 | arrival: a0 | activity: Release | res2, 1
     5 | resource: res2 | arrival: a0 | DEPART
     5 | task: Post-Release | : |
     0 | source: a | new: a0 | 0
     0 | arrival: a0 | activity: Seize | res2, 1, 0 paths
     0 | resource: res2 | arrival: a0 | SERVE
     0 | arrival: a0 | activity: Batch | 1, 0, 0,
     0 | arrival: batch0 | activity: Seize | res1, 1, 0 paths
     0 | resource: res1 | arrival: batch0 | SERVE
     0 | arrival: batch0 | activity: Timeout | 5
     0 | source: b | new: b0 | 0
     0 | arrival: b0 | activity: Seize | res1, 1, 0 paths
     0 | resource: res1 | arrival: b0 | ENQUEUE
     0 | source: c | new: c0 | 0
     0 | arrival: c0 | activity: Seize | res1, 1, 0 paths
     0 | resource: res1 | arrival: c0 | ENQUEUE
     0 | source: d | new: d0 | 1
     1 | arrival: d0 | activity: Seize | res1, 1, 0 paths
     1 | resource: res1 | arrival: d0 | ENQUEUE
     5 | arrival: batch0 | activity: Release | res1, 1
     5 | resource: res1 | arrival: batch0 | DEPART
     5 | task: Post-Release | : |
     5 | resource: res1 | arrival: b0 | SERVE
     5 | arrival: batch0 | activity: Separate |
     5 | arrival: b0 | activity: Timeout | 6
     5 | arrival: a0 | activity: Release | res2, 1
     5 | resource: res2 | arrival: a0 | DEPART
     5 | task: Post-Release | : |
     11 | arrival: b0 | activity: Release | res1, 1
     11 | resource: res1 | arrival: b0 | DEPART
     11 | task: Post-Release | : |
     11 | resource: res1 | arrival: c0 | SERVE
     11 | arrival: c0 | activity: Timeout | 1
     0 | source: customer | new: customer0 | 1
     0 | source: customer | new: customer1 | 2
     0 | source: customer | new: customer2 | 3
     0 | source: dummy | new: dummy0 | 0
     0 | source: dummy | new: dummy1 | 1
     0 | source: dummy | new: dummy2 | 2
     0 | source: dummy | new: dummy0 | 0
     0 | source: dummy | new: dummy1 | 1
     0 | source: dummy | new: dummy2 | 2
     0 | source: a | new: a0 | 0
     0 | arrival: a0 | activity: Seize | res2, 1, 0 paths
     0 | resource: res2 | arrival: a0 | SERVE
     0 | arrival: a0 | activity: Batch | 1, 0, 0,
     0 | arrival: batch0 | activity: Seize | res1, 1, 0 paths
     0 | resource: res1 | arrival: batch0 | SERVE
     0 | arrival: batch0 | activity: Timeout | 5
     0 | source: b | new: b0 | 0
     0 | arrival: b0 | activity: Seize | res1, 1, 0 paths
     0 | resource: res1 | arrival: b0 | ENQUEUE
     0 | source: c | new: c0 | 0
     0 | arrival: c0 | activity: Seize | res1, 1, 0 paths
     0 | resource: res1 | arrival: c0 | ENQUEUE
     0 | source: d | new: d0 | 1
     1 | arrival: d0 | activity: Seize | res1, 1, 0 paths
     1 | resource: res1 | arrival: d0 | ENQUEUE
     0 | source: a | new: a0 | 0
     0 | arrival: a0 | activity: Seize | res2, 1, 0 paths
     0 | resource: res2 | arrival: a0 | SERVE
     0 | arrival: a0 | activity: Batch | 1, 0, 0,
     0 | arrival: batch0 | activity: Seize | res1, 1, 0 paths
     0 | resource: res1 | arrival: batch0 | SERVE
     0 | arrival: batch0 | activity: Timeout | 5
     0 | source: b | new: b0 | 0
     0 | arrival: b0 | activity: Seize | res1, 1, 0 paths
     0 | resource: res1 | arrival: b0 | ENQUEUE
     0 | source: c | new: c0 | 0
     0 | arrival: c0 | activity: Seize | res1, 1, 0 paths
     0 | resource: res1 | arrival: c0 | ENQUEUE
     0 | source: d | new: d0 | 1
     1 | arrival: d0 | activity: Seize | res1, 1, 0 paths
     1 | resource: res1 | arrival: d0 | ENQUEUE
     5 | arrival: batch0 | activity: Release | res1, 1
     5 | resource: res1 | arrival: batch0 | DEPART
     5 | task: Post-Release | : |
     5 | resource: res1 | arrival: b0 | SERVE
     5 | arrival: batch0 | activity: Separate |
     5 | arrival: b0 | activity: Timeout | 6
     5 | arrival: a0 | activity: Release | res2, 1
     5 | resource: res2 | arrival: a0 | DEPART
     5 | task: Post-Release | : |
     0 | source: a | new: a0 | 0
     0 | arrival: a0 | activity: Seize | res2, 1, 0 paths
     0 | resource: res2 | arrival: a0 | SERVE
     0 | arrival: a0 | activity: Batch | 1, 0, 0,
     0 | arrival: batch0 | activity: Seize | res1, 1, 0 paths
     0 | resource: res1 | arrival: batch0 | SERVE
     0 | arrival: batch0 | activity: Timeout | 5
     0 | source: b | new: b0 | 0
     0 | arrival: b0 | activity: Seize | res1, 1, 0 paths
     0 | resource: res1 | arrival: b0 | ENQUEUE
     0 | source: c | new: c0 | 0
     0 | arrival: c0 | activity: Seize | res1, 1, 0 paths
     0 | resource: res1 | arrival: c0 | ENQUEUE
     0 | source: d | new: d0 | 1
     1 | arrival: d0 | activity: Seize | res1, 1, 0 paths
     1 | resource: res1 | arrival: d0 | ENQUEUE
     5 | arrival: batch0 | activity: Release | res1, 1
     5 | resource: res1 | arrival: batch0 | DEPART
     5 | task: Post-Release | : |
     5 | resource: res1 | arrival: b0 | SERVE
     5 | arrival: batch0 | activity: Separate |
     5 | arrival: b0 | activity: Timeout | 6
     5 | arrival: a0 | activity: Release | res2, 1
     5 | resource: res2 | arrival: a0 | DEPART
     5 | task: Post-Release | : |
     11 | arrival: b0 | activity: Release | res1, 1
     11 | resource: res1 | arrival: b0 | DEPART
     11 | task: Post-Release | : |
     11 | resource: res1 | arrival: c0 | SERVE
     11 | arrival: c0 | activity: Timeout | 1
     0 | source: p0a | new: p0a0 | 0
     0 | source: p0a | new: p0a1 | 0
     0 | arrival: p0a0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: p0a0 | SERVE
     0 | arrival: p0a0 | activity: Timeout | 10
     0 | arrival: p0a1 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: p0a1 | ENQUEUE
     0 | source: p1a | new: p1a0 | 2
     0 | source: p1a | new: p1a1 | 3
     2 | arrival: p1a0 | activity: Seize | dummy, 1, 0 paths
     2 | resource: dummy | arrival: p0a0 | PREEMPT
     2 | resource: dummy | arrival: p1a0 | SERVE
     2 | arrival: p1a0 | activity: Timeout | 10
     3 | arrival: p1a1 | activity: Seize | dummy, 1, 0 paths
     3 | resource: dummy | arrival: p0a1 | REJECT
     3 | resource: dummy | arrival: p1a1 | ENQUEUE
     12 | arrival: p1a0 | activity: Release | dummy, 1
     12 | resource: dummy | arrival: p1a0 | DEPART
     12 | task: Post-Release | : |
     12 | resource: dummy | arrival: p0a0 | SERVE
     12 | resource: dummy | arrival: p0a0 | PREEMPT
     12 | resource: dummy | arrival: p1a1 | SERVE
     12 | arrival: p1a1 | activity: Timeout | 10
     22 | arrival: p1a1 | activity: Release | dummy, 1
     22 | resource: dummy | arrival: p1a1 | DEPART
     22 | task: Post-Release | : |
     22 | resource: dummy | arrival: p0a0 | SERVE
     30 | arrival: p0a0 | activity: Release | dummy, 1
     30 | resource: dummy | arrival: p0a0 | DEPART
     30 | task: Post-Release | : |
     0 | source: p0a | new: p0a0 | 0
     0 | source: p0a | new: p0a1 | 0
     0 | arrival: p0a0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: p0a0 | SERVE
     0 | arrival: p0a0 | activity: Timeout | 10
     0 | arrival: p0a1 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: p0a1 | SERVE
     0 | arrival: p0a1 | activity: Timeout | 10
     0 | source: p1a | new: p1a0 | 2
     0 | source: p1a | new: p1a1 | 15
     2 | arrival: p1a0 | activity: Seize | dummy, 2, 0 paths
     2 | resource: dummy | arrival: p0a0 | PREEMPT
     2 | resource: dummy | arrival: p0a1 | PREEMPT
     2 | resource: dummy | arrival: p1a0 | SERVE
     2 | arrival: p1a0 | activity: Timeout | 10
     12 | arrival: p1a0 | activity: Release | dummy, 2
     12 | resource: dummy | arrival: p1a0 | DEPART
     12 | task: Post-Release | : |
     12 | resource: dummy | arrival: p0a0 | SERVE
     12 | resource: dummy | arrival: p0a1 | SERVE
     15 | arrival: p1a1 | activity: Seize | dummy, 2, 0 paths
     15 | resource: dummy | arrival: p0a0 | PREEMPT
     15 | resource: dummy | arrival: p0a1 | PREEMPT
     15 | resource: dummy | arrival: p1a1 | SERVE
     15 | arrival: p1a1 | activity: Timeout | 10
     25 | arrival: p1a1 | activity: Release | dummy, 2
     25 | resource: dummy | arrival: p1a1 | DEPART
     25 | task: Post-Release | : |
     25 | resource: dummy | arrival: p0a0 | SERVE
     25 | resource: dummy | arrival: p0a1 | SERVE
     30 | arrival: p0a0 | activity: Release | dummy, 1
     30 | resource: dummy | arrival: p0a0 | DEPART
     30 | task: Post-Release | : |
     30 | arrival: p0a1 | activity: Release | dummy, 1
     30 | resource: dummy | arrival: p0a1 | DEPART
     30 | task: Post-Release | : |
     0 | source: p0a | new: p0a0 | 0
     0 | source: p0a | new: p0a1 | 0
     0 | arrival: p0a0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: p0a0 | SERVE
     0 | arrival: p0a0 | activity: Timeout | 10
     0 | arrival: p0a1 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: p0a1 | SERVE
     0 | arrival: p0a1 | activity: Timeout | 10
     0 | source: p1a | new: p1a0 | 2
     0 | source: p1a | new: p1a1 | 15
     2 | arrival: p1a0 | activity: Seize | dummy, 2, 0 paths
     2 | resource: dummy | arrival: p0a0 | PREEMPT
     2 | resource: dummy | arrival: p0a1 | PREEMPT
     2 | resource: dummy | arrival: p1a0 | SERVE
     2 | arrival: p1a0 | activity: Timeout | 10
     12 | arrival: p1a0 | activity: Release | dummy, 2
     12 | resource: dummy | arrival: p1a0 | DEPART
     12 | task: Post-Release | : |
     12 | resource: dummy | arrival: p0a0 | SERVE
     12 | resource: dummy | arrival: p0a1 | SERVE
     12 | arrival: p0a0 | activity: Timeout | 10
     12 | arrival: p0a1 | activity: Timeout | 10
     15 | arrival: p1a1 | activity: Seize | dummy, 2, 0 paths
     15 | resource: dummy | arrival: p0a0 | PREEMPT
     15 | resource: dummy | arrival: p0a1 | PREEMPT
     15 | resource: dummy | arrival: p1a1 | SERVE
     15 | arrival: p1a1 | activity: Timeout | 10
     25 | arrival: p1a1 | activity: Release | dummy, 2
     25 | resource: dummy | arrival: p1a1 | DEPART
     25 | task: Post-Release | : |
     25 | resource: dummy | arrival: p0a0 | SERVE
     25 | resource: dummy | arrival: p0a1 | SERVE
     25 | arrival: p0a0 | activity: Timeout | 10
     25 | arrival: p0a1 | activity: Timeout | 10
     35 | arrival: p0a0 | activity: Release | dummy, 1
     35 | resource: dummy | arrival: p0a0 | DEPART
     35 | arrival: p0a1 | activity: Release | dummy, 1
     35 | resource: dummy | arrival: p0a1 | DEPART
     35 | task: Post-Release | : |
     35 | task: Post-Release | : |
     0 | source: p0a | new: p0a0 | 0
     0 | source: p0a | new: p0a1 | 1
     0 | arrival: p0a0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: p0a0 | SERVE
     0 | arrival: p0a0 | activity: Timeout | 10
     0 | source: p1a | new: p1a0 | 2
     0 | source: p1a | new: p1a1 | 3
     1 | arrival: p0a1 | activity: Seize | dummy, 1, 0 paths
     1 | resource: dummy | arrival: p0a1 | SERVE
     1 | arrival: p0a1 | activity: Timeout | 10
     2 | arrival: p1a0 | activity: Seize | dummy, 1, 0 paths
     2 | resource: dummy | arrival: p0a0 | PREEMPT
     2 | resource: dummy | arrival: p1a0 | SERVE
     2 | arrival: p1a0 | activity: Timeout | 10
     3 | arrival: p1a1 | activity: Seize | dummy, 1, 0 paths
     3 | resource: dummy | arrival: p0a1 | PREEMPT
     3 | resource: dummy | arrival: p1a1 | SERVE
     3 | arrival: p1a1 | activity: Timeout | 10
     12 | arrival: p1a0 | activity: Release | dummy, 1
     12 | resource: dummy | arrival: p1a0 | DEPART
     12 | task: Post-Release | : |
     12 | resource: dummy | arrival: p0a0 | SERVE
     12 | arrival: p0a0 | activity: Timeout | 10
     13 | arrival: p1a1 | activity: Release | dummy, 1
     13 | resource: dummy | arrival: p1a1 | DEPART
     13 | task: Post-Release | : |
     13 | resource: dummy | arrival: p0a1 | SERVE
     13 | arrival: p0a1 | activity: Timeout | 10
     22 | arrival: p0a0 | activity: Release | dummy, 1
     22 | resource: dummy | arrival: p0a0 | DEPART
     22 | task: Post-Release | : |
     23 | arrival: p0a1 | activity: Release | dummy, 1
     23 | resource: dummy | arrival: p0a1 | DEPART
     23 | task: Post-Release | : |
     0 | source: p0a | new: p0a0 | 0
     0 | source: p0a | new: p0a1 | 1
     0 | arrival: p0a0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: p0a0 | SERVE
     0 | arrival: p0a0 | activity: Timeout | 10
     0 | source: p1a | new: p1a0 | 2
     0 | source: p1a | new: p1a1 | 3
     1 | arrival: p0a1 | activity: Seize | dummy, 1, 0 paths
     1 | resource: dummy | arrival: p0a1 | SERVE
     1 | arrival: p0a1 | activity: Timeout | 10
     2 | arrival: p1a0 | activity: Seize | dummy, 1, 0 paths
     2 | resource: dummy | arrival: p0a1 | PREEMPT
     2 | resource: dummy | arrival: p1a0 | SERVE
     2 | arrival: p1a0 | activity: Timeout | 10
     3 | arrival: p1a1 | activity: Seize | dummy, 1, 0 paths
     3 | resource: dummy | arrival: p0a0 | PREEMPT
     3 | resource: dummy | arrival: p1a1 | SERVE
     3 | arrival: p1a1 | activity: Timeout | 10
     12 | arrival: p1a0 | activity: Release | dummy, 1
     12 | resource: dummy | arrival: p1a0 | DEPART
     12 | task: Post-Release | : |
     12 | resource: dummy | arrival: p0a0 | SERVE
     12 | arrival: p0a0 | activity: Timeout | 10
     13 | arrival: p1a1 | activity: Release | dummy, 1
     13 | resource: dummy | arrival: p1a1 | DEPART
     13 | task: Post-Release | : |
     13 | resource: dummy | arrival: p0a1 | SERVE
     13 | arrival: p0a1 | activity: Timeout | 10
     22 | arrival: p0a0 | activity: Release | dummy, 1
     22 | resource: dummy | arrival: p0a0 | DEPART
     22 | task: Post-Release | : |
     23 | arrival: p0a1 | activity: Release | dummy, 1
     23 | resource: dummy | arrival: p0a1 | DEPART
     23 | task: Post-Release | : |
     0 | source: p0a | new: p0a0 | 0
     0 | source: p0a | new: p0a1 | 0
     0 | arrival: p0a0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: p0a0 | SERVE
     0 | arrival: p0a0 | activity: Timeout | 10
     0 | arrival: p0a1 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: p0a1 | ENQUEUE
     0 | source: p1a | new: p1a0 | 1
     1 | arrival: p1a0 | activity: Seize | dummy, 1, 0 paths
     1 | resource: dummy | arrival: p0a0 | PREEMPT
     1 | resource: dummy | arrival: p1a0 | SERVE
     1 | arrival: p1a0 | activity: Timeout | 10
     11 | arrival: p1a0 | activity: Release | dummy, 1
     11 | resource: dummy | arrival: p1a0 | DEPART
     11 | task: Post-Release | : |
     11 | resource: dummy | arrival: p0a0 | SERVE
     20 | arrival: p0a0 | activity: Release | dummy, 1
     20 | resource: dummy | arrival: p0a0 | DEPART
     20 | task: Post-Release | : |
     20 | resource: dummy | arrival: p0a1 | SERVE
     20 | arrival: p0a1 | activity: Timeout | 10
     30 | arrival: p0a1 | activity: Release | dummy, 1
     30 | resource: dummy | arrival: p0a1 | DEPART
     30 | task: Post-Release | : |
     0 | source: p0a | new: p0a0 | 0
     0 | source: p0a | new: p0a1 | 0
     0 | arrival: p0a0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: p0a0 | SERVE
     0 | arrival: p0a0 | activity: Timeout | 10
     0 | arrival: p0a1 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: p0a1 | ENQUEUE
     0 | source: p1a | new: p1a0 | 1
     1 | arrival: p1a0 | activity: Seize | dummy, 1, 0 paths
     1 | resource: dummy | arrival: p0a0 | PREEMPT
     1 | resource: dummy | arrival: p0a0 | REJECT
     1 | resource: dummy | arrival: p1a0 | SERVE
     1 | arrival: p1a0 | activity: Timeout | 10
     11 | arrival: p1a0 | activity: Release | dummy, 1
     11 | resource: dummy | arrival: p1a0 | DEPART
     11 | task: Post-Release | : |
     11 | resource: dummy | arrival: p0a1 | SERVE
     11 | arrival: p0a1 | activity: Timeout | 10
     21 | arrival: p0a1 | activity: Release | dummy, 1
     21 | resource: dummy | arrival: p0a1 | DEPART
     21 | task: Post-Release | : |
     0 | source: p0a | new: p0a0 | 0
     0 | arrival: p0a0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: p0a0 | SERVE
     0 | arrival: p0a0 | activity: Timeout | 10
     0 | source: p1a | new: p1a0 | 0
     0 | arrival: p1a0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: p0a0 | PREEMPT
     0 | resource: dummy | arrival: p0a0 | ENQUEUE
     0 | resource: dummy | arrival: p1a0 | SERVE
     0 | arrival: p1a0 | activity: Timeout | 10
     0 | source: p2a | new: p2a0 | 1
     1 | arrival: p2a0 | activity: Seize | dummy, 1, 0 paths
     1 | resource: dummy | arrival: p1a0 | PREEMPT
     1 | resource: dummy | arrival: p0a0 | REJECT
     1 | resource: dummy | arrival: p1a0 | ENQUEUE
     1 | resource: dummy | arrival: p2a0 | SERVE
     1 | arrival: p2a0 | activity: Timeout | 10
     11 | arrival: p2a0 | activity: Release | dummy, 1
     11 | resource: dummy | arrival: p2a0 | DEPART
     11 | task: Post-Release | : |
     11 | resource: dummy | arrival: p1a0 | SERVE
     20 | arrival: p1a0 | activity: Release | dummy, 1
     20 | resource: dummy | arrival: p1a0 | DEPART
     20 | task: Post-Release | : |
     0 | source: low_prio | new: low_prio0 | 0
     0 | source: low_prio | new: low_prio1 | 0
     0 | source: low_prio | new: low_prio2 | 0
     0 | source: low_prio | new: low_prio3 | 0
     0 | source: low_prio | new: low_prio4 | 0
     0 | arrival: low_prio0 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: low_prio0 | SERVE
     0 | arrival: low_prio0 | activity: Timeout | 10
     0 | arrival: low_prio1 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: low_prio1 | SERVE
     0 | arrival: low_prio1 | activity: Timeout | 10
     0 | arrival: low_prio2 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: low_prio2 | SERVE
     0 | arrival: low_prio2 | activity: Timeout | 10
     0 | arrival: low_prio3 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: low_prio3 | SERVE
     0 | arrival: low_prio3 | activity: Timeout | 10
     0 | arrival: low_prio4 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: low_prio4 | SERVE
     0 | arrival: low_prio4 | activity: Timeout | 10
     0 | source: high_prio | new: high_prio0 | 1
     1 | arrival: high_prio0 | activity: Seize | res, 7, 0 paths
     1 | resource: res | arrival: low_prio0 | PREEMPT
     1 | resource: res | arrival: low_prio1 | PREEMPT
     1 | resource: res | arrival: high_prio0 | SERVE
     1 | arrival: high_prio0 | activity: Timeout | 10
     10 | arrival: low_prio2 | activity: Release | res, 1
     10 | resource: res | arrival: low_prio2 | DEPART
     10 | arrival: low_prio3 | activity: Release | res, 1
     10 | resource: res | arrival: low_prio3 | DEPART
     10 | arrival: low_prio4 | activity: Release | res, 1
     10 | resource: res | arrival: low_prio4 | DEPART
     10 | task: Post-Release | : |
     10 | resource: res | arrival: low_prio0 | SERVE
     10 | resource: res | arrival: low_prio1 | SERVE
     10 | task: Post-Release | : |
     10 | task: Post-Release | : |
     11 | arrival: high_prio0 | activity: Release | res, 7
     11 | resource: res | arrival: high_prio0 | DEPART
     11 | task: Post-Release | : |
     19 | arrival: low_prio0 | activity: Release | res, 1
     19 | resource: res | arrival: low_prio0 | DEPART
     19 | task: Post-Release | : |
     19 | arrival: low_prio1 | activity: Release | res, 1
     19 | resource: res | arrival: low_prio1 | DEPART
     19 | task: Post-Release | : |
     0 | source: __nonprior | new: __nonprior0 | 0
     0 | source: __nonprior | new: __nonprior1 | 0
     0 | arrival: __nonprior0 | activity: Seize | server, 1, 0 paths
     0 | resource: server | arrival: __nonprior0 | SERVE
     0 | arrival: __nonprior0 | activity: Timeout | 2
     0 | arrival: __nonprior1 | activity: Seize | server, 1, 0 paths
     0 | resource: server | arrival: __nonprior1 | ENQUEUE
     0 | source: __prior | new: __prior0 | 1
     1 | arrival: __prior0 | activity: Seize | server, 1, 0 paths
     1 | resource: server | arrival: __prior0 | ENQUEUE
     2 | arrival: __nonprior0 | activity: Release | server, 1
     2 | resource: server | arrival: __nonprior0 | DEPART
     2 | task: Post-Release | : |
     2 | resource: server | arrival: __prior0 | SERVE
     2 | arrival: __prior0 | activity: Timeout | 2
     4 | arrival: __prior0 | activity: Release | server, 1
     4 | resource: server | arrival: __prior0 | DEPART
     4 | task: Post-Release | : |
     4 | resource: server | arrival: __nonprior1 | SERVE
     4 | arrival: __nonprior1 | activity: Timeout | 2
     6 | arrival: __nonprior1 | activity: Release | server, 1
     6 | resource: server | arrival: __nonprior1 | DEPART
     6 | task: Post-Release | : |
     0 | source: _t0_prior | new: _t0_prior0 | 0
     0 | source: _t0_prior | new: _t0_prior1 | 2
     0 | source: _t0_prior | new: _t0_prior2 | 4
     0 | source: _t0_prior | new: _t0_prior3 | 6
     0 | arrival: _t0_prior0 | activity: Seize | server, 1, 0 paths
     0 | resource: server | arrival: _t0_prior0 | SERVE
     0 | arrival: _t0_prior0 | activity: Timeout | 2
     0 | source: _t1_prior | new: _t1_prior0 | 1
     0 | source: _t1_prior | new: _t1_prior1 | 3
     0 | source: _t1_prior | new: _t1_prior2 | 5
     0 | source: _t1_prior | new: _t1_prior3 | 7
     1 | arrival: _t1_prior0 | activity: Seize | server, 1, 0 paths
     1 | resource: server | arrival: _t1_prior0 | ENQUEUE
     2 | arrival: _t0_prior0 | activity: Release | server, 1
     2 | resource: server | arrival: _t0_prior0 | DEPART
     2 | task: Post-Release | : |
     2 | resource: server | arrival: _t1_prior0 | SERVE
     2 | arrival: _t0_prior1 | activity: Seize | server, 1, 0 paths
     2 | resource: server | arrival: _t0_prior1 | ENQUEUE
     2 | arrival: _t1_prior0 | activity: Timeout | 2
     3 | arrival: _t1_prior1 | activity: Seize | server, 1, 0 paths
     3 | resource: server | arrival: _t1_prior1 | ENQUEUE
     4 | arrival: _t1_prior0 | activity: Release | server, 1
     4 | resource: server | arrival: _t1_prior0 | DEPART
     4 | task: Post-Release | : |
     4 | resource: server | arrival: _t0_prior1 | SERVE
     4 | arrival: _t0_prior2 | activity: Seize | server, 1, 0 paths
     4 | resource: server | arrival: _t0_prior2 | ENQUEUE
     4 | arrival: _t0_prior1 | activity: Timeout | 2
     5 | arrival: _t1_prior2 | activity: Seize | server, 1, 0 paths
     5 | resource: server | arrival: _t1_prior2 | ENQUEUE
     6 | arrival: _t0_prior1 | activity: Release | server, 1
     6 | resource: server | arrival: _t0_prior1 | DEPART
     6 | task: Post-Release | : |
     6 | resource: server | arrival: _t1_prior1 | SERVE
     6 | arrival: _t1_prior1 | activity: Timeout | 2
     6 | arrival: _t0_prior3 | activity: Seize | server, 1, 0 paths
     6 | resource: server | arrival: _t0_prior3 | ENQUEUE
     7 | arrival: _t1_prior3 | activity: Seize | server, 1, 0 paths
     7 | resource: server | arrival: _t1_prior3 | ENQUEUE
     8 | arrival: _t1_prior1 | activity: Release | server, 1
     8 | resource: server | arrival: _t1_prior1 | DEPART
     8 | task: Post-Release | : |
     8 | resource: server | arrival: _t0_prior2 | SERVE
     8 | arrival: _t0_prior2 | activity: Timeout | 2
     10 | arrival: _t0_prior2 | activity: Release | server, 1
     10 | resource: server | arrival: _t0_prior2 | DEPART
     10 | task: Post-Release | : |
     10 | resource: server | arrival: _t1_prior2 | SERVE
     10 | arrival: _t1_prior2 | activity: Timeout | 2
     12 | arrival: _t1_prior2 | activity: Release | server, 1
     12 | resource: server | arrival: _t1_prior2 | DEPART
     12 | task: Post-Release | : |
     12 | resource: server | arrival: _t0_prior3 | SERVE
     12 | arrival: _t0_prior3 | activity: Timeout | 2
     14 | arrival: _t0_prior3 | activity: Release | server, 1
     14 | resource: server | arrival: _t0_prior3 | DEPART
     14 | task: Post-Release | : |
     14 | resource: server | arrival: _t1_prior3 | SERVE
     14 | arrival: _t1_prior3 | activity: Timeout | 2
     16 | arrival: _t1_prior3 | activity: Release | server, 1
     16 | resource: server | arrival: _t1_prior3 | DEPART
     16 | task: Post-Release | : |
     0 | source: p0a | new: p0a0 | 0
     0 | source: p0a | new: p0a1 | 0
     0 | arrival: p0a0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: p0a0 | SERVE
     0 | arrival: p0a0 | activity: Timeout | 10
     0 | arrival: p0a1 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: p0a1 | ENQUEUE
     0 | source: p1a | new: p1a0 | 2
     0 | source: p1a | new: p1a1 | 3
     2 | arrival: p1a0 | activity: Seize | dummy, 1, 0 paths
     2 | resource: dummy | arrival: p1a0 | ENQUEUE
     3 | arrival: p1a1 | activity: Seize | dummy, 1, 0 paths
     3 | resource: dummy | arrival: p0a1 | REJECT
     3 | resource: dummy | arrival: p1a1 | ENQUEUE
     10 | arrival: p0a0 | activity: Release | dummy, 1
     10 | resource: dummy | arrival: p0a0 | DEPART
     10 | task: Post-Release | : |
     10 | resource: dummy | arrival: p1a0 | SERVE
     10 | arrival: p1a0 | activity: Timeout | 10
     20 | arrival: p1a0 | activity: Release | dummy, 1
     20 | resource: dummy | arrival: p1a0 | DEPART
     20 | task: Post-Release | : |
     20 | resource: dummy | arrival: p1a1 | SERVE
     20 | arrival: p1a1 | activity: Timeout | 10
     30 | arrival: p1a1 | activity: Release | dummy, 1
     30 | resource: dummy | arrival: p1a1 | DEPART
     30 | task: Post-Release | : |
     0 | source: low_prio | new: low_prio0 | 0
     0 | source: low_prio | new: low_prio1 | 0
     0 | source: low_prio | new: low_prio2 | 0
     0 | source: low_prio | new: low_prio3 | 0
     0 | source: low_prio | new: low_prio4 | 0
     0 | arrival: low_prio0 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: low_prio0 | ENQUEUE
     0 | arrival: low_prio1 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: low_prio1 | ENQUEUE
     0 | arrival: low_prio2 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: low_prio2 | ENQUEUE
     0 | arrival: low_prio3 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: low_prio3 | ENQUEUE
     0 | arrival: low_prio4 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: low_prio4 | ENQUEUE
     0 | source: high_prio | new: high_prio0 | 1
     1 | arrival: high_prio0 | activity: Seize | res, 7, 0 paths
     1 | resource: res | arrival: low_prio4 | REJECT
     1 | resource: res | arrival: low_prio3 | REJECT
     1 | resource: res | arrival: high_prio0 | ENQUEUE
     8 | manager: dummy | parameter: capacity | 1
     16 | manager: dummy | parameter: capacity | 2
     8 | manager: dummy | parameter: capacity | 1
     16 | manager: dummy | parameter: capacity | 2
     24 | manager: dummy | parameter: capacity | 3
     8 | manager: dummy | parameter: capacity | 1
     16 | manager: dummy | parameter: capacity | 2
     8 | manager: dummy | parameter: capacity | 1
     16 | manager: dummy | parameter: capacity | 2
     24 | manager: dummy | parameter: capacity | 3
     32 | manager: dummy | parameter: capacity | 1
     40 | manager: dummy | parameter: capacity | 2
     48 | manager: dummy | parameter: capacity | 3
     8 | manager: dummy | parameter: queue_size | 1
     16 | manager: dummy | parameter: queue_size | 2
     8 | manager: dummy | parameter: queue_size | 1
     16 | manager: dummy | parameter: queue_size | 2
     24 | manager: dummy | parameter: queue_size | 3
     8 | manager: dummy | parameter: queue_size | 1
     16 | manager: dummy | parameter: queue_size | 2
     8 | manager: dummy | parameter: queue_size | 1
     16 | manager: dummy | parameter: queue_size | 2
     24 | manager: dummy | parameter: queue_size | 3
     32 | manager: dummy | parameter: queue_size | 1
     40 | manager: dummy | parameter: queue_size | 2
     48 | manager: dummy | parameter: queue_size | 3
     0 | manager: dummy | parameter: capacity | 1
     0 | source: asdf | new: asdf0 | 0
     0 | source: asdf | new: asdf1 | 0
     0 | source: asdf | new: asdf2 | 0
     0 | arrival: asdf0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: asdf0 | SERVE
     0 | arrival: asdf0 | activity: Timeout | 2
     0 | arrival: asdf1 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: asdf1 | ENQUEUE
     0 | arrival: asdf2 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: asdf2 | ENQUEUE
     1 | manager: dummy | parameter: capacity | 3
     1 | resource: dummy | arrival: asdf1 | SERVE
     1 | resource: dummy | arrival: asdf2 | SERVE
     1 | arrival: asdf1 | activity: Timeout | 2
     1 | arrival: asdf2 | activity: Timeout | 2
     2 | arrival: asdf0 | activity: Release | dummy, 1
     2 | resource: dummy | arrival: asdf0 | DEPART
     2 | manager: dummy | parameter: capacity | 1
     2 | task: Post-Release | : |
     3 | arrival: asdf1 | activity: Release | dummy, 1
     3 | resource: dummy | arrival: asdf1 | DEPART
     3 | arrival: asdf2 | activity: Release | dummy, 1
     3 | resource: dummy | arrival: asdf2 | DEPART
     3 | task: Post-Release | : |
     3 | task: Post-Release | : |
     0 | manager: dummy | parameter: capacity | 1
     0 | source: asdf | new: asdf0 | 0
     0 | source: asdf | new: asdf1 | 0
     0 | source: asdf | new: asdf2 | 0
     0 | arrival: asdf0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: asdf0 | SERVE
     0 | arrival: asdf0 | activity: Timeout | 2
     0 | arrival: asdf1 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: asdf1 | ENQUEUE
     0 | arrival: asdf2 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: asdf2 | ENQUEUE
     1 | manager: dummy | parameter: capacity | 3
     1 | resource: dummy | arrival: asdf1 | SERVE
     1 | resource: dummy | arrival: asdf2 | SERVE
     1 | arrival: asdf1 | activity: Timeout | 2
     1 | arrival: asdf2 | activity: Timeout | 2
     2 | arrival: asdf0 | activity: Release | dummy, 1
     2 | resource: dummy | arrival: asdf0 | DEPART
     2 | manager: dummy | parameter: capacity | 1
     2 | task: Post-Release | : |
     3 | arrival: asdf1 | activity: Release | dummy, 1
     3 | resource: dummy | arrival: asdf1 | DEPART
     3 | arrival: asdf2 | activity: Release | dummy, 1
     3 | resource: dummy | arrival: asdf2 | DEPART
     3 | task: Post-Release | : |
     3 | task: Post-Release | : |
     0 | manager: dummy | parameter: capacity | 1
     0 | source: asdf | new: asdf0 | 0
     0 | source: asdf | new: asdf1 | 0
     0 | source: asdf | new: asdf2 | 0
     0 | arrival: asdf0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: asdf0 | SERVE
     0 | arrival: asdf0 | activity: Timeout | 2
     0 | arrival: asdf1 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: asdf1 | ENQUEUE
     0 | arrival: asdf2 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: asdf2 | ENQUEUE
     1 | manager: dummy | parameter: capacity | 3
     1 | resource: dummy | arrival: asdf1 | SERVE
     1 | resource: dummy | arrival: asdf2 | SERVE
     1 | arrival: asdf1 | activity: Timeout | 2
     1 | arrival: asdf2 | activity: Timeout | 2
     2 | arrival: asdf0 | activity: Release | dummy, 1
     2 | resource: dummy | arrival: asdf0 | DEPART
     2 | manager: dummy | parameter: capacity | 1
     2 | resource: dummy | arrival: asdf1 | PREEMPT
     2 | task: Post-Release | : |
     3 | arrival: asdf2 | activity: Release | dummy, 1
     3 | resource: dummy | arrival: asdf2 | DEPART
     3 | task: Post-Release | : |
     3 | resource: dummy | arrival: asdf1 | SERVE
     3 | arrival: asdf1 | activity: Timeout | 2
     5 | arrival: asdf1 | activity: Release | dummy, 1
     5 | resource: dummy | arrival: asdf1 | DEPART
     5 | task: Post-Release | : |
     0 | source: piggy | new: piggy0 | 0
     0 | source: piggy | new: piggy1 | 0
     0 | source: piggy | new: piggy2 | 0
     0 | arrival: piggy0 | activity: Seize | t-rex, 1, 0 paths
     0 | resource: t-rex | arrival: piggy0 | ENQUEUE
     0 | arrival: piggy1 | activity: Seize | t-rex, 1, 0 paths
     0 | resource: t-rex | arrival: piggy1 | ENQUEUE
     0 | arrival: piggy2 | activity: Seize | t-rex, 1, 0 paths
     0 | resource: t-rex | arrival: piggy2 | ENQUEUE
     5 | manager: t-rex | parameter: capacity | 1
     5 | resource: t-rex | arrival: piggy0 | SERVE
     5 | arrival: piggy0 | activity: Timeout | 5
     10 | arrival: piggy0 | activity: Release | t-rex, 1
     10 | resource: t-rex | arrival: piggy0 | DEPART
     10 | manager: t-rex | parameter: capacity | 0
     10 | task: Post-Release | : |
     15 | manager: t-rex | parameter: capacity | 1
     15 | resource: t-rex | arrival: piggy1 | SERVE
     15 | arrival: piggy1 | activity: Timeout | 5
     20 | arrival: piggy1 | activity: Release | t-rex, 1
     20 | resource: t-rex | arrival: piggy1 | DEPART
     20 | task: Post-Release | : |
     20 | resource: t-rex | arrival: piggy2 | SERVE
     20 | arrival: piggy2 | activity: Timeout | 5
     25 | arrival: piggy2 | activity: Release | t-rex, 1
     25 | resource: t-rex | arrival: piggy2 | DEPART
     25 | task: Post-Release | : |
     0 | manager: dummy | parameter: capacity | 1
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: arrival0 | SERVE
     0 | resource: dummy | arrival: arrival0 | DEPART
     1 | manager: dummy | parameter: capacity | 0
     0 | source: customer | new: customer0 | 1
     1 | arrival: customer0 | activity: Seize | dummy, 1, 0 paths
     0 | source: customer | new: customer0 | 1
     0 | source: customer | new: customer1 | 2
     0 | source: customer | new: customer2 | 3
     0 | source: customer | new: customer3 | 4
     0 | source: customer | new: customer4 | 5
     1 | arrival: customer0 | activity: Seize | dummy, 1, 0 paths
     1 | resource: dummy | arrival: customer0 | SERVE
     1 | arrival: customer0 | activity: SetAttribute | [dummy], [1], 0, N, 0
     1 | resource: dummy | arrival: customer0 | DEPART
     2 | arrival: customer1 | activity: Seize | dummy, 1, 0 paths
     2 | resource: dummy | arrival: customer1 | SERVE
     2 | arrival: customer1 | activity: SetAttribute | [dummy], [1], 0, N, 0
     2 | resource: dummy | arrival: customer1 | DEPART
     3 | arrival: customer2 | activity: Seize | dummy, 1, 0 paths
     3 | resource: dummy | arrival: customer2 | ENQUEUE
     4 | arrival: customer3 | activity: Seize | dummy, 1, 0 paths
     4 | resource: dummy | arrival: customer3 | ENQUEUE
     5 | arrival: customer4 | activity: Seize | dummy, 1, 0 paths
     5 | resource: dummy | arrival: customer4 | REJECT
     0 | source: customer | new: customer0 | 0
     0 | arrival: customer0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: customer0 | SERVE
     0 | arrival: customer0 | activity: Timeout | 1
     1 | arrival: customer0 | activity: Release | dummy, 1
     1 | resource: dummy | arrival: customer0 | DEPART
     1 | task: Post-Release | : |
     0 | source: customer | new: customer0 | 0
     0 | arrival: customer0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: customer0 | SERVE
     0 | arrival: customer0 | activity: Timeout | 1
     1 | arrival: customer0 | activity: Release | dummy, 1
     1 | resource: dummy | arrival: customer0 | DEPART
     1 | task: Post-Release | : |
     1 | arrival: customer0 | activity: Rollback | 3 (Seize), 1
     1 | arrival: customer0 | activity: Seize | dummy, 1, 0 paths
     1 | resource: dummy | arrival: customer0 | SERVE
     1 | arrival: customer0 | activity: Timeout | 1
     2 | arrival: customer0 | activity: Release | dummy, 1
     2 | resource: dummy | arrival: customer0 | DEPART
     2 | task: Post-Release | : |
     2 | arrival: customer0 | activity: Rollback | 3 (Seize), 1
     0 | source: a | new: a0 | 0
     0 | arrival: a0 | activity: Seize | dummy, 2, 0 paths
     0 | resource: dummy | arrival: a0 | SERVE
     0 | arrival: a0 | activity: Timeout | 10
     0 | source: b | new: b0 | 1
     0 | source: b | new: b1 | 2
     1 | arrival: b0 | activity: Seize | dummy, 1, 0 paths
     1 | resource: dummy | arrival: b0 | ENQUEUE
     2 | arrival: b1 | activity: Seize | dummy, 1, 0 paths
     2 | resource: dummy | arrival: b1 | ENQUEUE
     10 | arrival: a0 | activity: Release | dummy, 2
     10 | resource: dummy | arrival: a0 | DEPART
     10 | task: Post-Release | : |
     10 | resource: dummy | arrival: b0 | SERVE
     10 | resource: dummy | arrival: b1 | SERVE
     10 | arrival: b0 | activity: Timeout | 10
     10 | arrival: b1 | activity: Timeout | 10
     20 | arrival: b0 | activity: Release | dummy, 1
     20 | resource: dummy | arrival: b0 | DEPART
     20 | arrival: b1 | activity: Release | dummy, 1
     20 | resource: dummy | arrival: b1 | DEPART
     20 | task: Post-Release | : |
     20 | task: Post-Release | : |
     0 | source: dummy | new: dummy0 | 0
     0 | arrival: dummy0 | activity: Timeout | 1
     0 | source: entity0 | new: entity00 | 0.5
     0 | source: entity1 | new: entity10 | 0.5
     0.5 | manager: server | parameter: capacity | 1
     0.5 | arrival: entity00 | activity: Seize | server, 1, 0 paths
     0.5 | resource: server | arrival: entity00 | SERVE
     0.5 | arrival: entity10 | activity: Seize | server, 1, 0 paths
     0.5 | resource: server | arrival: entity00 | PREEMPT
     0.5 | resource: server | arrival: entity10 | SERVE
     0.5 | arrival: entity10 | activity: SetAttribute | [dummy], [1], 0, N, 0
     0.5 | arrival: entity10 | activity: Timeout | 1
     0.5 | source: entity0 | new: entity01 | 1
     0.5 | source: entity1 | new: entity11 | 1
     1 | manager: server | parameter: capacity | 1
     1 | arrival: entity01 | activity: Seize | server, 1, 0 paths
     1 | resource: server | arrival: entity01 | REJECT
     1 | arrival: entity11 | activity: Seize | server, 1, 0 paths
     1 | resource: server | arrival: entity11 | REJECT
     1 | source: entity0 | new: entity02 | 1.5
     1 | source: entity1 | new: entity12 | 1.5
     1.5 | arrival: entity10 | activity: Release | server, 1
     1.5 | resource: server | arrival: entity10 | DEPART
     1.5 | task: Post-Release | : |
     1.5 | resource: server | arrival: entity00 | SERVE
     1.5 | arrival: entity00 | activity: SetAttribute | [dummy], [1], 0, N, 0
     1.5 | arrival: entity00 | activity: Timeout | 1
     1.5 | arrival: entity02 | activity: Seize | server, 1, 0 paths
     1.5 | resource: server | arrival: entity02 | ENQUEUE
     1.5 | arrival: entity12 | activity: Seize | server, 1, 0 paths
     1.5 | resource: server | arrival: entity00 | PREEMPT
     1.5 | resource: server | arrival: entity12 | SERVE
     1.5 | arrival: entity12 | activity: SetAttribute | [dummy], [1], 0, N, 0
     1.5 | arrival: entity12 | activity: Timeout | 1
     1.5 | source: entity0 | new: entity03 | 2
     1.5 | source: entity1 | new: entity13 | 2
     2 | arrival: entity03 | activity: Seize | server, 1, 0 paths
     2 | resource: server | arrival: entity03 | REJECT
     2 | arrival: entity13 | activity: Seize | server, 1, 0 paths
     2 | resource: server | arrival: entity13 | REJECT
     2 | source: entity0 | new: entity04 | 2.5
     2 | source: entity1 | new: entity14 | 2.5
     2.5 | arrival: entity12 | activity: Release | server, 1
     2.5 | resource: server | arrival: entity12 | DEPART
     2.5 | task: Post-Release | : |
     2.5 | resource: server | arrival: entity00 | SERVE
     2.5 | arrival: entity04 | activity: Seize | server, 1, 0 paths
     2.5 | resource: server | arrival: entity04 | REJECT
     2.5 | arrival: entity14 | activity: Seize | server, 1, 0 paths
     2.5 | resource: server | arrival: entity00 | PREEMPT
     2.5 | resource: server | arrival: entity14 | SERVE
     2.5 | arrival: entity14 | activity: SetAttribute | [dummy], [1], 0, N, 0
     2.5 | arrival: entity14 | activity: Timeout | 1
     2.5 | source: entity0 | new: entity05 | 3
     2.5 | source: entity1 | new: entity15 | 3
     3 | arrival: entity05 | activity: Seize | server, 1, 0 paths
     3 | resource: server | arrival: entity05 | REJECT
     3 | arrival: entity15 | activity: Seize | server, 1, 0 paths
     3 | resource: server | arrival: entity15 | REJECT
     3 | source: entity0 | new: entity06 | 3.5
     3 | source: entity1 | new: entity16 | 3.5
     3.5 | arrival: entity14 | activity: Release | server, 1
     3.5 | resource: server | arrival: entity14 | DEPART
     3.5 | task: Post-Release | : |
     3.5 | resource: server | arrival: entity00 | SERVE
     3.5 | arrival: entity06 | activity: Seize | server, 1, 0 paths
     3.5 | resource: server | arrival: entity06 | REJECT
     3.5 | arrival: entity16 | activity: Seize | server, 1, 0 paths
     3.5 | resource: server | arrival: entity00 | PREEMPT
     3.5 | resource: server | arrival: entity16 | SERVE
     3.5 | arrival: entity16 | activity: SetAttribute | [dummy], [1], 0, N, 0
     3.5 | arrival: entity16 | activity: Timeout | 1
     3.5 | source: entity0 | new: entity07 | 4
     3.5 | source: entity1 | new: entity17 | 4
     0 | source: dummy | new: dummy0 | 0
     0 | source: dummy | new: dummy1 | 0
     0 | arrival: dummy0 | activity: RenegeIn | 3, 0 paths
     0 | arrival: dummy0 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: dummy0 | SERVE
     0 | arrival: dummy0 | activity: RenegeAbort |
     0 | arrival: dummy0 | activity: Timeout | 5
     0 | arrival: dummy1 | activity: RenegeIn | 3, 0 paths
     0 | arrival: dummy1 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: dummy1 | ENQUEUE
     0 | source: entity | new: entity0 | 0
     0 | arrival: entity0 | activity: Seize | server, 1, 0 paths
     0 | resource: server | arrival: entity0 | SERVE
     0 | arrival: entity0 | activity: SetAttribute | [dummy], [1], 0, N, 0
     0 | arrival: entity0 | activity: Timeout | 1
     1 | arrival: entity0 | activity: Release | server, 1
     1 | resource: server | arrival: entity0 | DEPART
     1 | task: Post-Release | : |
     0 | source: entity | new: entity0 | 10
     0 | source: entity | new: entity0 | 1
     1 | arrival: entity0 | activity: Seize | server, 1, 0 paths
     1 | resource: server | arrival: entity0 | SERVE
     1 | arrival: entity0 | activity: SetAttribute | [dummy], [1], 0, N, 0
     1 | arrival: entity0 | activity: Timeout | 1
     1 | source: entity | new: entity1 | 2
     2 | arrival: entity0 | activity: Release | server, 1
     2 | resource: server | arrival: entity0 | DEPART
     2 | task: Post-Release | : |
     2 | arrival: entity1 | activity: Seize | server, 1, 0 paths
     2 | resource: server | arrival: entity1 | SERVE
     2 | arrival: entity1 | activity: SetAttribute | [dummy], [1], 0, N, 0
     2 | arrival: entity1 | activity: Timeout | 1
     2 | source: entity | new: entity2 | 3
     3 | arrival: entity1 | activity: Release | server, 1
     3 | resource: server | arrival: entity1 | DEPART
     3 | task: Post-Release | : |
     3 | arrival: entity2 | activity: Seize | server, 1, 0 paths
     3 | resource: server | arrival: entity2 | SERVE
     3 | arrival: entity2 | activity: SetAttribute | [dummy], [1], 0, N, 0
     3 | arrival: entity2 | activity: Timeout | 1
     3 | source: entity | new: entity3 | 4
     4 | arrival: entity2 | activity: Release | server, 1
     4 | resource: server | arrival: entity2 | DEPART
     4 | task: Post-Release | : |
     4 | arrival: entity3 | activity: Seize | server, 1, 0 paths
     4 | resource: server | arrival: entity3 | SERVE
     4 | arrival: entity3 | activity: SetAttribute | [dummy], [1], 0, N, 0
     4 | arrival: entity3 | activity: Timeout | 1
     4 | source: entity | new: entity4 | 5
     5 | arrival: entity3 | activity: Release | server, 1
     5 | resource: server | arrival: entity3 | DEPART
     5 | task: Post-Release | : |
     5 | arrival: entity4 | activity: Seize | server, 1, 0 paths
     5 | resource: server | arrival: entity4 | SERVE
     5 | arrival: entity4 | activity: SetAttribute | [dummy], [1], 0, N, 0
     5 | arrival: entity4 | activity: Timeout | 1
     5 | source: entity | new: entity5 | 6
     6 | arrival: entity4 | activity: Release | server, 1
     6 | resource: server | arrival: entity4 | DEPART
     6 | task: Post-Release | : |
     6 | arrival: entity5 | activity: Seize | server, 1, 0 paths
     6 | resource: server | arrival: entity5 | SERVE
     6 | arrival: entity5 | activity: SetAttribute | [dummy], [1], 0, N, 0
     6 | arrival: entity5 | activity: Timeout | 1
     6 | source: entity | new: entity6 | 7
     7 | arrival: entity5 | activity: Release | server, 1
     7 | resource: server | arrival: entity5 | DEPART
     7 | task: Post-Release | : |
     7 | arrival: entity6 | activity: Seize | server, 1, 0 paths
     7 | resource: server | arrival: entity6 | SERVE
     7 | arrival: entity6 | activity: SetAttribute | [dummy], [1], 0, N, 0
     7 | arrival: entity6 | activity: Timeout | 1
     7 | source: entity | new: entity7 | 8
     8 | arrival: entity6 | activity: Release | server, 1
     8 | resource: server | arrival: entity6 | DEPART
     8 | task: Post-Release | : |
     8 | arrival: entity7 | activity: Seize | server, 1, 0 paths
     8 | resource: server | arrival: entity7 | SERVE
     8 | arrival: entity7 | activity: SetAttribute | [dummy], [1], 0, N, 0
     8 | arrival: entity7 | activity: Timeout | 1
     8 | source: entity | new: entity8 | 9
     9 | arrival: entity7 | activity: Release | server, 1
     9 | resource: server | arrival: entity7 | DEPART
     9 | task: Post-Release | : |
     9 | arrival: entity8 | activity: Seize | server, 1, 0 paths
     9 | resource: server | arrival: entity8 | SERVE
     9 | arrival: entity8 | activity: SetAttribute | [dummy], [1], 0, N, 0
     9 | arrival: entity8 | activity: Timeout | 1
     9 | source: entity | new: entity9 | 10
     10 | arrival: entity8 | activity: Release | server, 1
     10 | resource: server | arrival: entity8 | DEPART
     10 | task: Post-Release | : |
     10 | arrival: entity9 | activity: Seize | server, 1, 0 paths
     10 | resource: server | arrival: entity9 | SERVE
     10 | arrival: entity9 | activity: SetAttribute | [dummy], [1], 0, N, 0
     10 | arrival: entity9 | activity: Timeout | 1
     10 | source: entity | new: entity10 | 11
     11 | arrival: entity9 | activity: Release | server, 1
     11 | resource: server | arrival: entity9 | DEPART
     11 | task: Post-Release | : |
     11 | arrival: entity10 | activity: Seize | server, 1, 0 paths
     11 | resource: server | arrival: entity10 | SERVE
     11 | arrival: entity10 | activity: SetAttribute | [dummy], [1], 0, N, 0
     11 | arrival: entity10 | activity: Timeout | 1
     11 | source: entity | new: entity11 | 12
     12 | arrival: entity10 | activity: Release | server, 1
     12 | resource: server | arrival: entity10 | DEPART
     12 | task: Post-Release | : |
     12 | arrival: entity11 | activity: Seize | server, 1, 0 paths
     12 | resource: server | arrival: entity11 | SERVE
     12 | arrival: entity11 | activity: SetAttribute | [dummy], [1], 0, N, 0
     12 | arrival: entity11 | activity: Timeout | 1
     12 | source: entity | new: entity12 | 13
     13 | arrival: entity11 | activity: Release | server, 1
     13 | resource: server | arrival: entity11 | DEPART
     13 | task: Post-Release | : |
     13 | arrival: entity12 | activity: Seize | server, 1, 0 paths
     13 | resource: server | arrival: entity12 | SERVE
     13 | arrival: entity12 | activity: SetAttribute | [dummy], [1], 0, N, 0
     13 | arrival: entity12 | activity: Timeout | 1
     13 | source: entity | new: entity13 | 14
     14 | arrival: entity12 | activity: Release | server, 1
     14 | resource: server | arrival: entity12 | DEPART
     14 | task: Post-Release | : |
     14 | arrival: entity13 | activity: Seize | server, 1, 0 paths
     14 | resource: server | arrival: entity13 | SERVE
     14 | arrival: entity13 | activity: SetAttribute | [dummy], [1], 0, N, 0
     14 | arrival: entity13 | activity: Timeout | 1
     14 | source: entity | new: entity14 | 15
     15 | arrival: entity13 | activity: Release | server, 1
     15 | resource: server | arrival: entity13 | DEPART
     15 | task: Post-Release | : |
     15 | arrival: entity14 | activity: Seize | server, 1, 0 paths
     15 | resource: server | arrival: entity14 | SERVE
     15 | arrival: entity14 | activity: SetAttribute | [dummy], [1], 0, N, 0
     15 | arrival: entity14 | activity: Timeout | 1
     15 | source: entity | new: entity15 | 16
     16 | arrival: entity14 | activity: Release | server, 1
     16 | resource: server | arrival: entity14 | DEPART
     16 | task: Post-Release | : |
     16 | arrival: entity15 | activity: Seize | server, 1, 0 paths
     16 | resource: server | arrival: entity15 | SERVE
     16 | arrival: entity15 | activity: SetAttribute | [dummy], [1], 0, N, 0
     16 | arrival: entity15 | activity: Timeout | 1
     16 | source: entity | new: entity16 | 17
     17 | arrival: entity15 | activity: Release | server, 1
     17 | resource: server | arrival: entity15 | DEPART
     17 | task: Post-Release | : |
     17 | arrival: entity16 | activity: Seize | server, 1, 0 paths
     17 | resource: server | arrival: entity16 | SERVE
     17 | arrival: entity16 | activity: SetAttribute | [dummy], [1], 0, N, 0
     17 | arrival: entity16 | activity: Timeout | 1
     17 | source: entity | new: entity17 | 18
     18 | arrival: entity16 | activity: Release | server, 1
     18 | resource: server | arrival: entity16 | DEPART
     18 | task: Post-Release | : |
     18 | arrival: entity17 | activity: Seize | server, 1, 0 paths
     18 | resource: server | arrival: entity17 | SERVE
     18 | arrival: entity17 | activity: SetAttribute | [dummy], [1], 0, N, 0
     18 | arrival: entity17 | activity: Timeout | 1
     18 | source: entity | new: entity18 | 19
     19 | arrival: entity17 | activity: Release | server, 1
     19 | resource: server | arrival: entity17 | DEPART
     19 | task: Post-Release | : |
     19 | arrival: entity18 | activity: Seize | server, 1, 0 paths
     19 | resource: server | arrival: entity18 | SERVE
     19 | arrival: entity18 | activity: SetAttribute | [dummy], [1], 0, N, 0
     19 | arrival: entity18 | activity: Timeout | 1
     19 | source: entity | new: entity19 | 20
     20 | arrival: entity18 | activity: Release | server, 1
     20 | resource: server | arrival: entity18 | DEPART
     20 | task: Post-Release | : |
     20 | arrival: entity19 | activity: Seize | server, 1, 0 paths
     20 | resource: server | arrival: entity19 | SERVE
     20 | arrival: entity19 | activity: SetAttribute | [dummy], [1], 0, N, 0
     20 | arrival: entity19 | activity: Timeout | 1
     20 | source: entity | new: entity20 | 21
     21 | arrival: entity19 | activity: Release | server, 1
     21 | resource: server | arrival: entity19 | DEPART
     21 | task: Post-Release | : |
     21 | arrival: entity20 | activity: Seize | server, 1, 0 paths
     21 | resource: server | arrival: entity20 | SERVE
     21 | arrival: entity20 | activity: SetAttribute | [dummy], [1], 0, N, 0
     21 | arrival: entity20 | activity: Timeout | 1
     21 | source: entity | new: entity21 | 22
     22 | arrival: entity20 | activity: Release | server, 1
     22 | resource: server | arrival: entity20 | DEPART
     22 | task: Post-Release | : |
     22 | arrival: entity21 | activity: Seize | server, 1, 0 paths
     22 | resource: server | arrival: entity21 | SERVE
     22 | arrival: entity21 | activity: SetAttribute | [dummy], [1], 0, N, 0
     22 | arrival: entity21 | activity: Timeout | 1
     22 | source: entity | new: entity22 | 23
     23 | arrival: entity21 | activity: Release | server, 1
     23 | resource: server | arrival: entity21 | DEPART
     23 | task: Post-Release | : |
     23 | arrival: entity22 | activity: Seize | server, 1, 0 paths
     23 | resource: server | arrival: entity22 | SERVE
     23 | arrival: entity22 | activity: SetAttribute | [dummy], [1], 0, N, 0
     23 | arrival: entity22 | activity: Timeout | 1
     23 | source: entity | new: entity23 | 24
     24 | arrival: entity22 | activity: Release | server, 1
     24 | resource: server | arrival: entity22 | DEPART
     24 | task: Post-Release | : |
     24 | arrival: entity23 | activity: Seize | server, 1, 0 paths
     24 | resource: server | arrival: entity23 | SERVE
     24 | arrival: entity23 | activity: SetAttribute | [dummy], [1], 0, N, 0
     24 | arrival: entity23 | activity: Timeout | 1
     24 | source: entity | new: entity24 | 25
     25 | arrival: entity23 | activity: Release | server, 1
     25 | resource: server | arrival: entity23 | DEPART
     25 | task: Post-Release | : |
     25 | arrival: entity24 | activity: Seize | server, 1, 0 paths
     25 | resource: server | arrival: entity24 | SERVE
     25 | arrival: entity24 | activity: SetAttribute | [dummy], [1], 0, N, 0
     25 | arrival: entity24 | activity: Timeout | 1
     25 | source: entity | new: entity25 | 26
     26 | arrival: entity24 | activity: Release | server, 1
     26 | resource: server | arrival: entity24 | DEPART
     26 | task: Post-Release | : |
     26 | arrival: entity25 | activity: Seize | server, 1, 0 paths
     26 | resource: server | arrival: entity25 | SERVE
     26 | arrival: entity25 | activity: SetAttribute | [dummy], [1], 0, N, 0
     26 | arrival: entity25 | activity: Timeout | 1
     26 | source: entity | new: entity26 | 27
     27 | arrival: entity25 | activity: Release | server, 1
     27 | resource: server | arrival: entity25 | DEPART
     27 | task: Post-Release | : |
     27 | arrival: entity26 | activity: Seize | server, 1, 0 paths
     27 | resource: server | arrival: entity26 | SERVE
     27 | arrival: entity26 | activity: SetAttribute | [dummy], [1], 0, N, 0
     27 | arrival: entity26 | activity: Timeout | 1
     27 | source: entity | new: entity27 | 28
     28 | arrival: entity26 | activity: Release | server, 1
     28 | resource: server | arrival: entity26 | DEPART
     28 | task: Post-Release | : |
     28 | arrival: entity27 | activity: Seize | server, 1, 0 paths
     28 | resource: server | arrival: entity27 | SERVE
     28 | arrival: entity27 | activity: SetAttribute | [dummy], [1], 0, N, 0
     28 | arrival: entity27 | activity: Timeout | 1
     28 | source: entity | new: entity28 | 29
     29 | arrival: entity27 | activity: Release | server, 1
     29 | resource: server | arrival: entity27 | DEPART
     29 | task: Post-Release | : |
     29 | arrival: entity28 | activity: Seize | server, 1, 0 paths
     29 | resource: server | arrival: entity28 | SERVE
     29 | arrival: entity28 | activity: SetAttribute | [dummy], [1], 0, N, 0
     29 | arrival: entity28 | activity: Timeout | 1
     29 | source: entity | new: entity29 | 30
     0 | source: entity | new: entity0 | 1
     0 | source: entity | new: entity1 | 2
     0 | source: entity | new: entity2 | 3
     0 | source: entity | new: entity3 | 4
     0 | source: entity | new: entity4 | 5
     0 | source: entity | new: entity5 | 6
     0 | source: entity | new: entity6 | 7
     0 | source: entity | new: entity7 | 8
     0 | source: entity | new: entity8 | 9
     0 | source: entity | new: entity9 | 10
     0 | source: entity | new: entity10 | 11
     0 | source: entity | new: entity11 | 12
     0 | source: entity | new: entity12 | 13
     0 | source: entity | new: entity13 | 14
     0 | source: entity | new: entity14 | 15
     0 | source: entity | new: entity15 | 16
     0 | source: entity | new: entity16 | 17
     0 | source: entity | new: entity17 | 18
     0 | source: entity | new: entity18 | 19
     0 | source: entity | new: entity19 | 20
     0 | source: entity | new: entity20 | 21
     0 | source: entity | new: entity21 | 22
     0 | source: entity | new: entity22 | 23
     0 | source: entity | new: entity23 | 24
     0 | source: entity | new: entity24 | 25
     0 | source: entity | new: entity25 | 26
     0 | source: entity | new: entity26 | 27
     0 | source: entity | new: entity27 | 28
     0 | source: entity | new: entity28 | 29
     0 | source: entity | new: entity29 | 30
     0 | source: entity | new: entity30 | 31
     0 | source: entity | new: entity31 | 32
     0 | source: entity | new: entity32 | 33
     0 | source: entity | new: entity33 | 34
     0 | source: entity | new: entity34 | 35
     0 | source: entity | new: entity35 | 36
     0 | source: entity | new: entity36 | 37
     0 | source: entity | new: entity37 | 38
     0 | source: entity | new: entity38 | 39
     0 | source: entity | new: entity39 | 40
     0 | source: entity | new: entity40 | 41
     0 | source: entity | new: entity41 | 42
     0 | source: entity | new: entity42 | 43
     0 | source: entity | new: entity43 | 44
     0 | source: entity | new: entity44 | 45
     0 | source: entity | new: entity45 | 46
     0 | source: entity | new: entity46 | 47
     0 | source: entity | new: entity47 | 48
     0 | source: entity | new: entity48 | 49
     0 | source: entity | new: entity49 | 50
     0 | source: entity | new: entity50 | 51
     0 | source: entity | new: entity51 | 52
     0 | source: entity | new: entity52 | 53
     0 | source: entity | new: entity53 | 54
     0 | source: entity | new: entity54 | 55
     0 | source: entity | new: entity55 | 56
     0 | source: entity | new: entity56 | 57
     0 | source: entity | new: entity57 | 58
     0 | source: entity | new: entity58 | 59
     0 | source: entity | new: entity59 | 60
     0 | source: entity | new: entity60 | 61
     0 | source: entity | new: entity61 | 62
     0 | source: entity | new: entity62 | 63
     0 | source: entity | new: entity63 | 64
     0 | source: entity | new: entity64 | 65
     0 | source: entity | new: entity65 | 66
     0 | source: entity | new: entity66 | 67
     0 | source: entity | new: entity67 | 68
     0 | source: entity | new: entity68 | 69
     0 | source: entity | new: entity69 | 70
     0 | source: entity | new: entity70 | 71
     0 | source: entity | new: entity71 | 72
     0 | source: entity | new: entity72 | 73
     0 | source: entity | new: entity73 | 74
     0 | source: entity | new: entity74 | 75
     0 | source: entity | new: entity75 | 76
     0 | source: entity | new: entity76 | 77
     0 | source: entity | new: entity77 | 78
     0 | source: entity | new: entity78 | 79
     0 | source: entity | new: entity79 | 80
     0 | source: entity | new: entity80 | 81
     0 | source: entity | new: entity81 | 82
     0 | source: entity | new: entity82 | 83
     0 | source: entity | new: entity83 | 84
     0 | source: entity | new: entity84 | 85
     0 | source: entity | new: entity85 | 86
     0 | source: entity | new: entity86 | 87
     0 | source: entity | new: entity87 | 88
     0 | source: entity | new: entity88 | 89
     0 | source: entity | new: entity89 | 90
     0 | source: entity | new: entity90 | 91
     0 | source: entity | new: entity91 | 92
     0 | source: entity | new: entity92 | 93
     0 | source: entity | new: entity93 | 94
     0 | source: entity | new: entity94 | 95
     0 | source: entity | new: entity95 | 96
     0 | source: entity | new: entity96 | 97
     0 | source: entity | new: entity97 | 98
     0 | source: entity | new: entity98 | 99
     0 | source: entity | new: entity99 | 100
     1 | arrival: entity0 | activity: Seize | server, 1, 0 paths
     1 | resource: server | arrival: entity0 | SERVE
     1 | arrival: entity0 | activity: Timeout | function()
     2 | arrival: entity1 | activity: Seize | server, 1, 0 paths
     2 | resource: server | arrival: entity1 | REJECT
     2.5 | arrival: entity0 | activity: Release | server, 1
     2.5 | resource: server | arrival: entity0 | DEPART
     2.5 | task: Post-Release | : |
     3 | arrival: entity2 | activity: Seize | server, 1, 0 paths
     3 | resource: server | arrival: entity2 | SERVE
     3 | arrival: entity2 | activity: Timeout | function()
     4 | arrival: entity3 | activity: Seize | server, 1, 0 paths
     4 | resource: server | arrival: entity3 | REJECT
     4.5 | arrival: entity2 | activity: Release | server, 1
     4.5 | resource: server | arrival: entity2 | DEPART
     4.5 | task: Post-Release | : |
     5 | arrival: entity4 | activity: Seize | server, 1, 0 paths
     5 | resource: server | arrival: entity4 | SERVE
     5 | arrival: entity4 | activity: Timeout | function()
     6 | arrival: entity5 | activity: Seize | server, 1, 0 paths
     6 | resource: server | arrival: entity5 | REJECT
     6.5 | arrival: entity4 | activity: Release | server, 1
     6.5 | resource: server | arrival: entity4 | DEPART
     6.5 | task: Post-Release | : |
     7 | arrival: entity6 | activity: Seize | server, 1, 0 paths
     7 | resource: server | arrival: entity6 | SERVE
     7 | arrival: entity6 | activity: Timeout | function()
     8 | arrival: entity7 | activity: Seize | server, 1, 0 paths
     8 | resource: server | arrival: entity7 | REJECT
     8.5 | arrival: entity6 | activity: Release | server, 1
     8.5 | resource: server | arrival: entity6 | DEPART
     8.5 | task: Post-Release | : |
     9 | arrival: entity8 | activity: Seize | server, 1, 0 paths
     9 | resource: server | arrival: entity8 | SERVE
     9 | arrival: entity8 | activity: Timeout | function()
     10 | arrival: entity9 | activity: Seize | server, 1, 0 paths
     10 | resource: server | arrival: entity9 | REJECT
     10.5 | arrival: entity8 | activity: Release | server, 1
     10.5 | resource: server | arrival: entity8 | DEPART
     10.5 | task: Post-Release | : |
     11 | arrival: entity10 | activity: Seize | server, 1, 0 paths
     11 | resource: server | arrival: entity10 | SERVE
     11 | arrival: entity10 | activity: Timeout | function()
     12 | arrival: entity11 | activity: Seize | server, 1, 0 paths
     12 | resource: server | arrival: entity11 | REJECT
     12.5 | arrival: entity10 | activity: Release | server, 1
     12.5 | resource: server | arrival: entity10 | DEPART
     12.5 | task: Post-Release | : |
     13 | arrival: entity12 | activity: Seize | server, 1, 0 paths
     13 | resource: server | arrival: entity12 | SERVE
     13 | arrival: entity12 | activity: Timeout | function()
     14 | arrival: entity13 | activity: Seize | server, 1, 0 paths
     14 | resource: server | arrival: entity13 | REJECT
     14.5 | arrival: entity12 | activity: Release | server, 1
     14.5 | resource: server | arrival: entity12 | DEPART
     14.5 | task: Post-Release | : |
     15 | arrival: entity14 | activity: Seize | server, 1, 0 paths
     15 | resource: server | arrival: entity14 | SERVE
     15 | arrival: entity14 | activity: Timeout | function()
     16 | arrival: entity15 | activity: Seize | server, 1, 0 paths
     16 | resource: server | arrival: entity15 | REJECT
     16.5 | arrival: entity14 | activity: Release | server, 1
     16.5 | resource: server | arrival: entity14 | DEPART
     16.5 | task: Post-Release | : |
     17 | arrival: entity16 | activity: Seize | server, 1, 0 paths
     17 | resource: server | arrival: entity16 | SERVE
     17 | arrival: entity16 | activity: Timeout | function()
     18 | arrival: entity17 | activity: Seize | server, 1, 0 paths
     18 | resource: server | arrival: entity17 | REJECT
     18.5 | arrival: entity16 | activity: Release | server, 1
     18.5 | resource: server | arrival: entity16 | DEPART
     18.5 | task: Post-Release | : |
     19 | arrival: entity18 | activity: Seize | server, 1, 0 paths
     19 | resource: server | arrival: entity18 | SERVE
     19 | arrival: entity18 | activity: Timeout | function()
     20 | arrival: entity19 | activity: Seize | server, 1, 0 paths
     20 | resource: server | arrival: entity19 | REJECT
     20.5 | arrival: entity18 | activity: Release | server, 1
     20.5 | resource: server | arrival: entity18 | DEPART
     20.5 | task: Post-Release | : |
     21 | arrival: entity20 | activity: Seize | server, 1, 0 paths
     21 | resource: server | arrival: entity20 | SERVE
     21 | arrival: entity20 | activity: Timeout | function()
     22 | arrival: entity21 | activity: Seize | server, 1, 0 paths
     22 | resource: server | arrival: entity21 | REJECT
     22.5 | arrival: entity20 | activity: Release | server, 1
     22.5 | resource: server | arrival: entity20 | DEPART
     22.5 | task: Post-Release | : |
     23 | arrival: entity22 | activity: Seize | server, 1, 0 paths
     23 | resource: server | arrival: entity22 | SERVE
     23 | arrival: entity22 | activity: Timeout | function()
     24 | arrival: entity23 | activity: Seize | server, 1, 0 paths
     24 | resource: server | arrival: entity23 | REJECT
     24.5 | arrival: entity22 | activity: Release | server, 1
     24.5 | resource: server | arrival: entity22 | DEPART
     24.5 | task: Post-Release | : |
     25 | arrival: entity24 | activity: Seize | server, 1, 0 paths
     25 | resource: server | arrival: entity24 | SERVE
     25 | arrival: entity24 | activity: Timeout | function()
     26 | arrival: entity25 | activity: Seize | server, 1, 0 paths
     26 | resource: server | arrival: entity25 | REJECT
     26.5 | arrival: entity24 | activity: Release | server, 1
     26.5 | resource: server | arrival: entity24 | DEPART
     26.5 | task: Post-Release | : |
     27 | arrival: entity26 | activity: Seize | server, 1, 0 paths
     27 | resource: server | arrival: entity26 | SERVE
     27 | arrival: entity26 | activity: Timeout | function()
     28 | arrival: entity27 | activity: Seize | server, 1, 0 paths
     28 | resource: server | arrival: entity27 | REJECT
     28.5 | arrival: entity26 | activity: Release | server, 1
     28.5 | resource: server | arrival: entity26 | DEPART
     28.5 | task: Post-Release | : |
     29 | arrival: entity28 | activity: Seize | server, 1, 0 paths
     29 | resource: server | arrival: entity28 | SERVE
     29 | arrival: entity28 | activity: Timeout | function()
     30 | arrival: entity29 | activity: Seize | server, 1, 0 paths
     30 | resource: server | arrival: entity29 | REJECT
     30.5 | arrival: entity28 | activity: Release | server, 1
     30.5 | resource: server | arrival: entity28 | DEPART
     30.5 | task: Post-Release | : |
     31 | arrival: entity30 | activity: Seize | server, 1, 0 paths
     31 | resource: server | arrival: entity30 | SERVE
     31 | arrival: entity30 | activity: Timeout | function()
     32 | arrival: entity31 | activity: Seize | server, 1, 0 paths
     32 | resource: server | arrival: entity31 | REJECT
     32.5 | arrival: entity30 | activity: Release | server, 1
     32.5 | resource: server | arrival: entity30 | DEPART
     32.5 | task: Post-Release | : |
     33 | arrival: entity32 | activity: Seize | server, 1, 0 paths
     33 | resource: server | arrival: entity32 | SERVE
     33 | arrival: entity32 | activity: Timeout | function()
     34 | arrival: entity33 | activity: Seize | server, 1, 0 paths
     34 | resource: server | arrival: entity33 | REJECT
     34.5 | arrival: entity32 | activity: Release | server, 1
     34.5 | resource: server | arrival: entity32 | DEPART
     34.5 | task: Post-Release | : |
     35 | arrival: entity34 | activity: Seize | server, 1, 0 paths
     35 | resource: server | arrival: entity34 | SERVE
     35 | arrival: entity34 | activity: Timeout | function()
     36 | arrival: entity35 | activity: Seize | server, 1, 0 paths
     36 | resource: server | arrival: entity35 | REJECT
     36.5 | arrival: entity34 | activity: Release | server, 1
     36.5 | resource: server | arrival: entity34 | DEPART
     36.5 | task: Post-Release | : |
     37 | arrival: entity36 | activity: Seize | server, 1, 0 paths
     37 | resource: server | arrival: entity36 | SERVE
     37 | arrival: entity36 | activity: Timeout | function()
     38 | arrival: entity37 | activity: Seize | server, 1, 0 paths
     38 | resource: server | arrival: entity37 | REJECT
     38.5 | arrival: entity36 | activity: Release | server, 1
     38.5 | resource: server | arrival: entity36 | DEPART
     38.5 | task: Post-Release | : |
     39 | arrival: entity38 | activity: Seize | server, 1, 0 paths
     39 | resource: server | arrival: entity38 | SERVE
     39 | arrival: entity38 | activity: Timeout | function()
     40 | arrival: entity39 | activity: Seize | server, 1, 0 paths
     40 | resource: server | arrival: entity39 | REJECT
     40.5 | arrival: entity38 | activity: Release | server, 1
     40.5 | resource: server | arrival: entity38 | DEPART
     40.5 | task: Post-Release | : |
     41 | arrival: entity40 | activity: Seize | server, 1, 0 paths
     41 | resource: server | arrival: entity40 | SERVE
     41 | arrival: entity40 | activity: Timeout | function()
     42 | arrival: entity41 | activity: Seize | server, 1, 0 paths
     42 | resource: server | arrival: entity41 | REJECT
     42.5 | arrival: entity40 | activity: Release | server, 1
     42.5 | resource: server | arrival: entity40 | DEPART
     42.5 | task: Post-Release | : |
     43 | arrival: entity42 | activity: Seize | server, 1, 0 paths
     43 | resource: server | arrival: entity42 | SERVE
     43 | arrival: entity42 | activity: Timeout | function()
     44 | arrival: entity43 | activity: Seize | server, 1, 0 paths
     44 | resource: server | arrival: entity43 | REJECT
     44.5 | arrival: entity42 | activity: Release | server, 1
     44.5 | resource: server | arrival: entity42 | DEPART
     44.5 | task: Post-Release | : |
     45 | arrival: entity44 | activity: Seize | server, 1, 0 paths
     45 | resource: server | arrival: entity44 | SERVE
     45 | arrival: entity44 | activity: Timeout | function()
     46 | arrival: entity45 | activity: Seize | server, 1, 0 paths
     46 | resource: server | arrival: entity45 | REJECT
     46.5 | arrival: entity44 | activity: Release | server, 1
     46.5 | resource: server | arrival: entity44 | DEPART
     46.5 | task: Post-Release | : |
     47 | arrival: entity46 | activity: Seize | server, 1, 0 paths
     47 | resource: server | arrival: entity46 | SERVE
     47 | arrival: entity46 | activity: Timeout | function()
     48 | arrival: entity47 | activity: Seize | server, 1, 0 paths
     48 | resource: server | arrival: entity47 | REJECT
     48.5 | arrival: entity46 | activity: Release | server, 1
     48.5 | resource: server | arrival: entity46 | DEPART
     48.5 | task: Post-Release | : |
     49 | arrival: entity48 | activity: Seize | server, 1, 0 paths
     49 | resource: server | arrival: entity48 | SERVE
     49 | arrival: entity48 | activity: Timeout | function()
     50 | arrival: entity49 | activity: Seize | server, 1, 0 paths
     50 | resource: server | arrival: entity49 | REJECT
     50.5 | arrival: entity48 | activity: Release | server, 1
     50.5 | resource: server | arrival: entity48 | DEPART
     50.5 | task: Post-Release | : |
     51 | arrival: entity50 | activity: Seize | server, 1, 0 paths
     51 | resource: server | arrival: entity50 | SERVE
     51 | arrival: entity50 | activity: Timeout | function()
     52 | arrival: entity51 | activity: Seize | server, 1, 0 paths
     52 | resource: server | arrival: entity51 | REJECT
     52.5 | arrival: entity50 | activity: Release | server, 1
     52.5 | resource: server | arrival: entity50 | DEPART
     52.5 | task: Post-Release | : |
     53 | arrival: entity52 | activity: Seize | server, 1, 0 paths
     53 | resource: server | arrival: entity52 | SERVE
     53 | arrival: entity52 | activity: Timeout | function()
     54 | arrival: entity53 | activity: Seize | server, 1, 0 paths
     54 | resource: server | arrival: entity53 | REJECT
     54.5 | arrival: entity52 | activity: Release | server, 1
     54.5 | resource: server | arrival: entity52 | DEPART
     54.5 | task: Post-Release | : |
     55 | arrival: entity54 | activity: Seize | server, 1, 0 paths
     55 | resource: server | arrival: entity54 | SERVE
     55 | arrival: entity54 | activity: Timeout | function()
     56 | arrival: entity55 | activity: Seize | server, 1, 0 paths
     56 | resource: server | arrival: entity55 | REJECT
     56.5 | arrival: entity54 | activity: Release | server, 1
     56.5 | resource: server | arrival: entity54 | DEPART
     56.5 | task: Post-Release | : |
     57 | arrival: entity56 | activity: Seize | server, 1, 0 paths
     57 | resource: server | arrival: entity56 | SERVE
     57 | arrival: entity56 | activity: Timeout | function()
     58 | arrival: entity57 | activity: Seize | server, 1, 0 paths
     58 | resource: server | arrival: entity57 | REJECT
     58.5 | arrival: entity56 | activity: Release | server, 1
     58.5 | resource: server | arrival: entity56 | DEPART
     58.5 | task: Post-Release | : |
     59 | arrival: entity58 | activity: Seize | server, 1, 0 paths
     59 | resource: server | arrival: entity58 | SERVE
     59 | arrival: entity58 | activity: Timeout | function()
     60 | arrival: entity59 | activity: Seize | server, 1, 0 paths
     60 | resource: server | arrival: entity59 | REJECT
     60.5 | arrival: entity58 | activity: Release | server, 1
     60.5 | resource: server | arrival: entity58 | DEPART
     60.5 | task: Post-Release | : |
     61 | arrival: entity60 | activity: Seize | server, 1, 0 paths
     61 | resource: server | arrival: entity60 | SERVE
     61 | arrival: entity60 | activity: Timeout | function()
     62 | arrival: entity61 | activity: Seize | server, 1, 0 paths
     62 | resource: server | arrival: entity61 | REJECT
     62.5 | arrival: entity60 | activity: Release | server, 1
     62.5 | resource: server | arrival: entity60 | DEPART
     62.5 | task: Post-Release | : |
     63 | arrival: entity62 | activity: Seize | server, 1, 0 paths
     63 | resource: server | arrival: entity62 | SERVE
     63 | arrival: entity62 | activity: Timeout | function()
     64 | arrival: entity63 | activity: Seize | server, 1, 0 paths
     64 | resource: server | arrival: entity63 | REJECT
     64.5 | arrival: entity62 | activity: Release | server, 1
     64.5 | resource: server | arrival: entity62 | DEPART
     64.5 | task: Post-Release | : |
     65 | arrival: entity64 | activity: Seize | server, 1, 0 paths
     65 | resource: server | arrival: entity64 | SERVE
     65 | arrival: entity64 | activity: Timeout | function()
     66 | arrival: entity65 | activity: Seize | server, 1, 0 paths
     66 | resource: server | arrival: entity65 | REJECT
     66.5 | arrival: entity64 | activity: Release | server, 1
     66.5 | resource: server | arrival: entity64 | DEPART
     66.5 | task: Post-Release | : |
     67 | arrival: entity66 | activity: Seize | server, 1, 0 paths
     67 | resource: server | arrival: entity66 | SERVE
     67 | arrival: entity66 | activity: Timeout | function()
     68 | arrival: entity67 | activity: Seize | server, 1, 0 paths
     68 | resource: server | arrival: entity67 | REJECT
     68.5 | arrival: entity66 | activity: Release | server, 1
     68.5 | resource: server | arrival: entity66 | DEPART
     68.5 | task: Post-Release | : |
     69 | arrival: entity68 | activity: Seize | server, 1, 0 paths
     69 | resource: server | arrival: entity68 | SERVE
     69 | arrival: entity68 | activity: Timeout | function()
     70 | arrival: entity69 | activity: Seize | server, 1, 0 paths
     70 | resource: server | arrival: entity69 | REJECT
     70.5 | arrival: entity68 | activity: Release | server, 1
     70.5 | resource: server | arrival: entity68 | DEPART
     70.5 | task: Post-Release | : |
     71 | arrival: entity70 | activity: Seize | server, 1, 0 paths
     71 | resource: server | arrival: entity70 | SERVE
     71 | arrival: entity70 | activity: Timeout | function()
     72 | arrival: entity71 | activity: Seize | server, 1, 0 paths
     72 | resource: server | arrival: entity71 | REJECT
     72.5 | arrival: entity70 | activity: Release | server, 1
     72.5 | resource: server | arrival: entity70 | DEPART
     72.5 | task: Post-Release | : |
     73 | arrival: entity72 | activity: Seize | server, 1, 0 paths
     73 | resource: server | arrival: entity72 | SERVE
     73 | arrival: entity72 | activity: Timeout | function()
     74 | arrival: entity73 | activity: Seize | server, 1, 0 paths
     74 | resource: server | arrival: entity73 | REJECT
     74.5 | arrival: entity72 | activity: Release | server, 1
     74.5 | resource: server | arrival: entity72 | DEPART
     74.5 | task: Post-Release | : |
     75 | arrival: entity74 | activity: Seize | server, 1, 0 paths
     75 | resource: server | arrival: entity74 | SERVE
     75 | arrival: entity74 | activity: Timeout | function()
     76 | arrival: entity75 | activity: Seize | server, 1, 0 paths
     76 | resource: server | arrival: entity75 | REJECT
     76.5 | arrival: entity74 | activity: Release | server, 1
     76.5 | resource: server | arrival: entity74 | DEPART
     76.5 | task: Post-Release | : |
     77 | arrival: entity76 | activity: Seize | server, 1, 0 paths
     77 | resource: server | arrival: entity76 | SERVE
     77 | arrival: entity76 | activity: Timeout | function()
     78 | arrival: entity77 | activity: Seize | server, 1, 0 paths
     78 | resource: server | arrival: entity77 | REJECT
     78.5 | arrival: entity76 | activity: Release | server, 1
     78.5 | resource: server | arrival: entity76 | DEPART
     78.5 | task: Post-Release | : |
     79 | arrival: entity78 | activity: Seize | server, 1, 0 paths
     79 | resource: server | arrival: entity78 | SERVE
     79 | arrival: entity78 | activity: Timeout | function()
     80 | arrival: entity79 | activity: Seize | server, 1, 0 paths
     80 | resource: server | arrival: entity79 | REJECT
     80.5 | arrival: entity78 | activity: Release | server, 1
     80.5 | resource: server | arrival: entity78 | DEPART
     80.5 | task: Post-Release | : |
     81 | arrival: entity80 | activity: Seize | server, 1, 0 paths
     81 | resource: server | arrival: entity80 | SERVE
     81 | arrival: entity80 | activity: Timeout | function()
     82 | arrival: entity81 | activity: Seize | server, 1, 0 paths
     82 | resource: server | arrival: entity81 | REJECT
     82.5 | arrival: entity80 | activity: Release | server, 1
     82.5 | resource: server | arrival: entity80 | DEPART
     82.5 | task: Post-Release | : |
     83 | arrival: entity82 | activity: Seize | server, 1, 0 paths
     83 | resource: server | arrival: entity82 | SERVE
     83 | arrival: entity82 | activity: Timeout | function()
     84 | arrival: entity83 | activity: Seize | server, 1, 0 paths
     84 | resource: server | arrival: entity83 | REJECT
     84.5 | arrival: entity82 | activity: Release | server, 1
     84.5 | resource: server | arrival: entity82 | DEPART
     84.5 | task: Post-Release | : |
     85 | arrival: entity84 | activity: Seize | server, 1, 0 paths
     85 | resource: server | arrival: entity84 | SERVE
     85 | arrival: entity84 | activity: Timeout | function()
     86 | arrival: entity85 | activity: Seize | server, 1, 0 paths
     86 | resource: server | arrival: entity85 | REJECT
     86.5 | arrival: entity84 | activity: Release | server, 1
     86.5 | resource: server | arrival: entity84 | DEPART
     86.5 | task: Post-Release | : |
     87 | arrival: entity86 | activity: Seize | server, 1, 0 paths
     87 | resource: server | arrival: entity86 | SERVE
     87 | arrival: entity86 | activity: Timeout | function()
     88 | arrival: entity87 | activity: Seize | server, 1, 0 paths
     88 | resource: server | arrival: entity87 | REJECT
     88.5 | arrival: entity86 | activity: Release | server, 1
     88.5 | resource: server | arrival: entity86 | DEPART
     88.5 | task: Post-Release | : |
     89 | arrival: entity88 | activity: Seize | server, 1, 0 paths
     89 | resource: server | arrival: entity88 | SERVE
     89 | arrival: entity88 | activity: Timeout | function()
     90 | arrival: entity89 | activity: Seize | server, 1, 0 paths
     90 | resource: server | arrival: entity89 | REJECT
     90.5 | arrival: entity88 | activity: Release | server, 1
     90.5 | resource: server | arrival: entity88 | DEPART
     90.5 | task: Post-Release | : |
     91 | arrival: entity90 | activity: Seize | server, 1, 0 paths
     91 | resource: server | arrival: entity90 | SERVE
     91 | arrival: entity90 | activity: Timeout | function()
     92 | arrival: entity91 | activity: Seize | server, 1, 0 paths
     92 | resource: server | arrival: entity91 | REJECT
     92.5 | arrival: entity90 | activity: Release | server, 1
     92.5 | resource: server | arrival: entity90 | DEPART
     92.5 | task: Post-Release | : |
     93 | arrival: entity92 | activity: Seize | server, 1, 0 paths
     93 | resource: server | arrival: entity92 | SERVE
     93 | arrival: entity92 | activity: Timeout | function()
     94 | arrival: entity93 | activity: Seize | server, 1, 0 paths
     94 | resource: server | arrival: entity93 | REJECT
     94.5 | arrival: entity92 | activity: Release | server, 1
     94.5 | resource: server | arrival: entity92 | DEPART
     94.5 | task: Post-Release | : |
     95 | arrival: entity94 | activity: Seize | server, 1, 0 paths
     95 | resource: server | arrival: entity94 | SERVE
     95 | arrival: entity94 | activity: Timeout | function()
     96 | arrival: entity95 | activity: Seize | server, 1, 0 paths
     96 | resource: server | arrival: entity95 | REJECT
     96.5 | arrival: entity94 | activity: Release | server, 1
     96.5 | resource: server | arrival: entity94 | DEPART
     96.5 | task: Post-Release | : |
     97 | arrival: entity96 | activity: Seize | server, 1, 0 paths
     97 | resource: server | arrival: entity96 | SERVE
     97 | arrival: entity96 | activity: Timeout | function()
     98 | arrival: entity97 | activity: Seize | server, 1, 0 paths
     98 | resource: server | arrival: entity97 | REJECT
     98.5 | arrival: entity96 | activity: Release | server, 1
     98.5 | resource: server | arrival: entity96 | DEPART
     98.5 | task: Post-Release | : |
     99 | arrival: entity98 | activity: Seize | server, 1, 0 paths
     99 | resource: server | arrival: entity98 | SERVE
     99 | arrival: entity98 | activity: Timeout | function()
     100 | arrival: entity99 | activity: Seize | server, 1, 0 paths
     100 | resource: server | arrival: entity99 | REJECT
     100.5 | arrival: entity98 | activity: Release | server, 1
     100.5 | resource: server | arrival: entity98 | DEPART
     100.5 | task: Post-Release | : |
     0 | source: dummy1 | new: dummy10 | 1
     0 | source: dummy1 | new: dummy11 | 3
     0 | source: dummy1 | new: dummy12 | 5
     0 | source: dummy1 | new: dummy13 | 7
     0 | source: dummy1 | new: dummy14 | 9
     0 | source: dummy0 | new: dummy00 | 0
     0 | source: dummy0 | new: dummy01 | 2
     0 | source: dummy0 | new: dummy02 | 4
     0 | source: dummy0 | new: dummy03 | 6
     0 | source: dummy0 | new: dummy04 | 8
     0 | arrival: dummy00 | activity: Seize | server, 1, 0 paths
     0 | resource: server | arrival: dummy00 | SERVE
     0 | arrival: dummy00 | activity: Timeout | 1
     1 | arrival: dummy00 | activity: Release | server, 1
     1 | resource: server | arrival: dummy00 | DEPART
     1 | task: Post-Release | : |
     1 | arrival: dummy10 | activity: Seize | server, 1, 0 paths
     1 | resource: server | arrival: dummy10 | SERVE
     1 | arrival: dummy10 | activity: Timeout | 1
     2 | arrival: dummy10 | activity: Release | server, 1
     2 | resource: server | arrival: dummy10 | DEPART
     2 | task: Post-Release | : |
     2 | arrival: dummy01 | activity: Seize | server, 1, 0 paths
     2 | resource: server | arrival: dummy01 | SERVE
     2 | arrival: dummy01 | activity: Timeout | 1
     3 | arrival: dummy01 | activity: Release | server, 1
     3 | resource: server | arrival: dummy01 | DEPART
     3 | task: Post-Release | : |
     3 | arrival: dummy11 | activity: Seize | server, 1, 0 paths
     3 | resource: server | arrival: dummy11 | SERVE
     3 | arrival: dummy11 | activity: Timeout | 1
     4 | arrival: dummy11 | activity: Release | server, 1
     4 | resource: server | arrival: dummy11 | DEPART
     4 | task: Post-Release | : |
     4 | arrival: dummy02 | activity: Seize | server, 1, 0 paths
     4 | resource: server | arrival: dummy02 | SERVE
     4 | arrival: dummy02 | activity: Timeout | 1
     5 | arrival: dummy02 | activity: Release | server, 1
     5 | resource: server | arrival: dummy02 | DEPART
     5 | task: Post-Release | : |
     5 | arrival: dummy12 | activity: Seize | server, 1, 0 paths
     5 | resource: server | arrival: dummy12 | SERVE
     5 | arrival: dummy12 | activity: Timeout | 1
     6 | arrival: dummy12 | activity: Release | server, 1
     6 | resource: server | arrival: dummy12 | DEPART
     6 | task: Post-Release | : |
     6 | arrival: dummy03 | activity: Seize | server, 1, 0 paths
     6 | resource: server | arrival: dummy03 | SERVE
     6 | arrival: dummy03 | activity: Timeout | 1
     7 | arrival: dummy03 | activity: Release | server, 1
     7 | resource: server | arrival: dummy03 | DEPART
     7 | task: Post-Release | : |
     7 | arrival: dummy13 | activity: Seize | server, 1, 0 paths
     7 | resource: server | arrival: dummy13 | SERVE
     7 | arrival: dummy13 | activity: Timeout | 1
     8 | arrival: dummy13 | activity: Release | server, 1
     8 | resource: server | arrival: dummy13 | DEPART
     8 | task: Post-Release | : |
     8 | arrival: dummy04 | activity: Seize | server, 1, 0 paths
     8 | resource: server | arrival: dummy04 | SERVE
     8 | arrival: dummy04 | activity: Timeout | 1
     9 | arrival: dummy04 | activity: Release | server, 1
     9 | resource: server | arrival: dummy04 | DEPART
     9 | task: Post-Release | : |
     9 | arrival: dummy14 | activity: Seize | server, 1, 0 paths
     9 | resource: server | arrival: dummy14 | SERVE
     9 | arrival: dummy14 | activity: Timeout | 1
     10 | arrival: dummy14 | activity: Release | server, 1
     10 | resource: server | arrival: dummy14 | DEPART
     10 | task: Post-Release | : |
     0 | source: dummy | new: dummy0 | 0
     0 | source: dummy | new: dummy1 | 0
     0 | source: dummy | new: dummy2 | 1
     0 | arrival: dummy0 | activity: Deactivate | dummy
     0 | arrival: dummy1 | activity: Deactivate | dummy
     1 | arrival: dummy2 | activity: Deactivate | dummy
     0 | source: dummy | new: dummy0 | 1
     1 | arrival: dummy0 | activity: Deactivate | dummy
     1 | arrival: dummy0 | activity: Timeout | 1
     2 | arrival: dummy0 | activity: Activate | dummy
     2 | source: dummy | new: dummy1 | 3
     3 | arrival: dummy1 | activity: Deactivate | dummy
     3 | arrival: dummy1 | activity: Timeout | 1
     4 | arrival: dummy1 | activity: Activate | dummy
     4 | source: dummy | new: dummy2 | 5
     5 | arrival: dummy2 | activity: Deactivate | dummy
     5 | arrival: dummy2 | activity: Timeout | 1
     6 | arrival: dummy2 | activity: Activate | dummy
     6 | source: dummy | new: dummy3 | 7
     7 | arrival: dummy3 | activity: Deactivate | dummy
     7 | arrival: dummy3 | activity: Timeout | 1
     8 | arrival: dummy3 | activity: Activate | dummy
     8 | source: dummy | new: dummy4 | 9
     9 | arrival: dummy4 | activity: Deactivate | dummy
     9 | arrival: dummy4 | activity: Timeout | 1
     0 | source: arrival | new: arrival0 | 0
     0 | source: arrival | new: arrival1 | 1
     0 | source: arrival | new: arrival2 | 2
     0 | source: arrival | new: arrival3 | 3
     0 | arrival: arrival0 | activity: Batch | 2, 0, 0,
     1 | arrival: arrival1 | activity: Batch | 2, 0, 0,
     1 | arrival: batch0 | activity: Seize | dummy, 1, 0 paths
     1 | resource: dummy | arrival: batch0 | SERVE
     1 | arrival: batch0 | activity: Timeout | 1
     2 | arrival: batch0 | activity: Release | dummy, 1
     2 | resource: dummy | arrival: batch0 | DEPART
     2 | task: Post-Release | : |
     2 | arrival: batch0 | activity: Timeout | function()
     2 | arrival: arrival2 | activity: Batch | 2, 0, 0,
     3 | arrival: arrival3 | activity: Batch | 2, 0, 0,
     3 | arrival: batch1 | activity: Seize | dummy, 1, 0 paths
     3 | resource: dummy | arrival: batch1 | SERVE
     3 | arrival: batch1 | activity: Timeout | 1
     4 | arrival: batch1 | activity: Release | dummy, 1
     4 | resource: dummy | arrival: batch1 | DEPART
     4 | task: Post-Release | : |
     4 | arrival: batch1 | activity: Timeout | function()
     0 | source: arrival | new: arrival0 | 0
     0 | source: arrival | new: arrival1 | 1
     0 | source: arrival | new: arrival2 | 2
     0 | source: arrival | new: arrival3 | 3
     0 | arrival: arrival0 | activity: Batch | 2, function(), 0,
     1 | arrival: arrival1 | activity: Batch | 2, function(), 0,
     1 | arrival: batch0 | activity: Seize | dummy, 1, 0 paths
     1 | resource: dummy | arrival: batch0 | SERVE
     1 | arrival: batch0 | activity: Timeout | 1
     2 | arrival: batch0 | activity: Release | dummy, 1
     2 | resource: dummy | arrival: batch0 | DEPART
     2 | task: Post-Release | : |
     2 | arrival: batch0 | activity: Separate |
     2 | arrival: arrival0 | activity: Timeout | function()
     2 | arrival: arrival2 | activity: Batch | 2, function(), 0,
     2 | arrival: arrival1 | activity: Timeout | function()
     3 | arrival: arrival3 | activity: Batch | 2, function(), 0,
     3 | arrival: batch1 | activity: Seize | dummy, 1, 0 paths
     3 | resource: dummy | arrival: batch1 | SERVE
     3 | arrival: batch1 | activity: Timeout | 1
     4 | arrival: batch1 | activity: Release | dummy, 1
     4 | resource: dummy | arrival: batch1 | DEPART
     4 | task: Post-Release | : |
     4 | arrival: batch1 | activity: Separate |
     4 | arrival: arrival2 | activity: Timeout | function()
     4 | arrival: arrival3 | activity: Timeout | function()
     0 | source: arrival | new: arrival0 | 0
     0 | source: arrival | new: arrival1 | 1
     0 | source: arrival | new: arrival2 | 2
     0 | source: arrival | new: arrival3 | 3
     0 | arrival: arrival0 | activity: Batch | 2, 0, 1,
     1 | arrival: arrival1 | activity: Batch | 2, 0, 1,
     1 | arrival: batch0 | activity: Seize | dummy, 1, 0 paths
     1 | resource: dummy | arrival: batch0 | SERVE
     1 | arrival: batch0 | activity: Timeout | 1
     2 | arrival: batch0 | activity: Release | dummy, 1
     2 | resource: dummy | arrival: batch0 | DEPART
     2 | task: Post-Release | : |
     2 | arrival: batch0 | activity: Separate |
     2 | arrival: batch0 | activity: Timeout | function()
     2 | arrival: arrival2 | activity: Batch | 2, 0, 1,
     3 | arrival: arrival3 | activity: Batch | 2, 0, 1,
     3 | arrival: batch1 | activity: Seize | dummy, 1, 0 paths
     3 | resource: dummy | arrival: batch1 | SERVE
     3 | arrival: batch1 | activity: Timeout | 1
     4 | arrival: batch1 | activity: Release | dummy, 1
     4 | resource: dummy | arrival: batch1 | DEPART
     4 | task: Post-Release | : |
     4 | arrival: batch1 | activity: Separate |
     4 | arrival: batch1 | activity: Timeout | function()
     0 | source: arrival | new: arrival0 | 0
     0 | source: arrival | new: arrival1 | 1
     0 | source: arrival | new: arrival2 | 2
     0 | source: arrival | new: arrival3 | 3
     0 | arrival: arrival0 | activity: Batch | 2, function(), 0,
     0 | arrival: arrival0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: arrival0 | SERVE
     0 | arrival: arrival0 | activity: Timeout | 1
     1 | arrival: arrival0 | activity: Release | dummy, 1
     1 | resource: dummy | arrival: arrival0 | DEPART
     1 | task: Post-Release | : |
     1 | arrival: arrival0 | activity: Separate |
     1 | arrival: arrival0 | activity: Timeout | function()
     1 | arrival: arrival1 | activity: Batch | 2, function(), 0,
     1 | arrival: arrival1 | activity: Seize | dummy, 1, 0 paths
     1 | resource: dummy | arrival: arrival1 | SERVE
     1 | arrival: arrival1 | activity: Timeout | 1
     2 | arrival: arrival1 | activity: Release | dummy, 1
     2 | resource: dummy | arrival: arrival1 | DEPART
     2 | task: Post-Release | : |
     2 | arrival: arrival1 | activity: Separate |
     2 | arrival: arrival1 | activity: Timeout | function()
     2 | arrival: arrival2 | activity: Batch | 2, function(), 0,
     2 | arrival: arrival2 | activity: Seize | dummy, 1, 0 paths
     2 | resource: dummy | arrival: arrival2 | SERVE
     2 | arrival: arrival2 | activity: Timeout | 1
     3 | arrival: arrival2 | activity: Release | dummy, 1
     3 | resource: dummy | arrival: arrival2 | DEPART
     3 | task: Post-Release | : |
     3 | arrival: arrival2 | activity: Separate |
     3 | arrival: arrival2 | activity: Timeout | function()
     3 | arrival: arrival3 | activity: Batch | 2, function(), 0,
     3 | arrival: arrival3 | activity: Seize | dummy, 1, 0 paths
     3 | resource: dummy | arrival: arrival3 | SERVE
     3 | arrival: arrival3 | activity: Timeout | 1
     4 | arrival: arrival3 | activity: Release | dummy, 1
     4 | resource: dummy | arrival: arrival3 | DEPART
     4 | task: Post-Release | : |
     4 | arrival: arrival3 | activity: Separate |
     4 | arrival: arrival3 | activity: Timeout | function()
     0 | source: arrival | new: arrival0 | 0
     0 | source: arrival | new: arrival1 | 1
     0 | source: arrival | new: arrival2 | 2
     0 | source: arrival | new: arrival3 | 3
     0 | arrival: arrival0 | activity: Batch | 2, 0.5, 0,
     0.5 | task: Batch-Timer | : |
     0.5 | arrival: batch0 | activity: Seize | dummy, 1, 0 paths
     0.5 | resource: dummy | arrival: batch0 | SERVE
     0.5 | arrival: batch0 | activity: Timeout | 1
     1 | arrival: arrival1 | activity: Batch | 2, 0.5, 0,
     1 | task: Batch-Timer | : |
     1 | arrival: batch1 | activity: Seize | dummy, 1, 0 paths
     1 | resource: dummy | arrival: batch1 | ENQUEUE
     1.5 | arrival: batch0 | activity: Release | dummy, 1
     1.5 | resource: dummy | arrival: batch0 | DEPART
     1.5 | task: Post-Release | : |
     1.5 | resource: dummy | arrival: batch1 | SERVE
     1.5 | arrival: batch0 | activity: Separate |
     1.5 | arrival: batch1 | activity: Timeout | 1
     1.5 | arrival: arrival0 | activity: Timeout | function()
     1.5 | task: Batch-Timer | : |
     2 | arrival: arrival2 | activity: Batch | 2, 0.5, 0,
     2.5 | arrival: batch1 | activity: Release | dummy, 1
     2.5 | resource: dummy | arrival: batch1 | DEPART
     2.5 | task: Post-Release | : |
     2.5 | arrival: batch1 | activity: Separate |
     2.5 | arrival: arrival1 | activity: Timeout | function()
     2.5 | task: Batch-Timer | : |
     2.5 | arrival: batch3 | activity: Seize | dummy, 1, 0 paths
     2.5 | resource: dummy | arrival: batch3 | SERVE
     2.5 | arrival: batch3 | activity: Timeout | 1
     3 | arrival: arrival3 | activity: Batch | 2, 0.5, 0,
     3 | task: Batch-Timer | : |
     3 | arrival: batch4 | activity: Seize | dummy, 1, 0 paths
     3 | resource: dummy | arrival: batch4 | ENQUEUE
     3.5 | arrival: batch3 | activity: Release | dummy, 1
     3.5 | resource: dummy | arrival: batch3 | DEPART
     3.5 | task: Post-Release | : |
     3.5 | resource: dummy | arrival: batch4 | SERVE
     3.5 | arrival: batch3 | activity: Separate |
     3.5 | arrival: arrival2 | activity: Timeout | function()
     3.5 | arrival: batch4 | activity: Timeout | 1
     3.5 | task: Batch-Timer | : |
     4.5 | arrival: batch4 | activity: Release | dummy, 1
     4.5 | resource: dummy | arrival: batch4 | DEPART
     4.5 | task: Post-Release | : |
     4.5 | arrival: batch4 | activity: Separate |
     4.5 | arrival: arrival3 | activity: Timeout | function()
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: Batch | 1, 1, 0,
     0 | arrival: batch0 | activity: Timeout | 1
     1 | task: Batch-Timer | : |
     1 | task: Batch-Timer | : |
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: RenegeIn | 1, 0 paths
     0 | arrival: arrival0 | activity: Batch | 2, 0, 0,
     1 | task: Renege-Timer | : |
     0 | source: arrival | new: arrival0 | 0
     0 | source: arrival | new: arrival1 | 1
     0 | source: arrival | new: arrival2 | 2
     0 | source: arrival | new: arrival3 | 3
     0 | arrival: arrival0 | activity: Batch | 2, 0, 0,
     1 | arrival: arrival1 | activity: Batch | 2, 0, 0,
     1 | arrival: batch0 | activity: SetAttribute | [asdf], [3], 0, N, 0
     1 | arrival: batch0 | activity: Separate |
     2 | arrival: arrival2 | activity: Batch | 2, 0, 0,
     3 | arrival: arrival3 | activity: Batch | 2, 0, 0,
     3 | arrival: batch1 | activity: SetAttribute | [asdf], [3], 0, N, 0
     3 | arrival: batch1 | activity: Separate |
     0 | source: arrival0 | new: arrival00 | 0
     0 | source: arrival0 | new: arrival01 | 2
     0 | arrival: arrival00 | activity: Batch | 2, 0, 0, asdf
     0 | source: arrival1 | new: arrival10 | 1
     0 | source: arrival1 | new: arrival11 | 3
     1 | arrival: arrival10 | activity: Batch | 2, 0, 0, asdf
     1 | arrival: batch_asdf | activity: Seize | dummy, 1, 0 paths
     1 | resource: dummy | arrival: batch_asdf | SERVE
     1 | arrival: batch_asdf | activity: Timeout | 1
     2 | arrival: batch_asdf | activity: Release | dummy, 1
     2 | resource: dummy | arrival: batch_asdf | DEPART
     2 | task: Post-Release | : |
     2 | arrival: batch_asdf | activity: Timeout | function()
     2 | arrival: arrival01 | activity: Batch | 2, 0, 0, asdf
     3 | arrival: arrival11 | activity: Batch | 2, 0, 0, asdf
     3 | arrival: batch_asdf | activity: Seize | dummy, 1, 0 paths
     3 | resource: dummy | arrival: batch_asdf | SERVE
     3 | arrival: batch_asdf | activity: Timeout | 1
     4 | arrival: batch_asdf | activity: Release | dummy, 1
     4 | resource: dummy | arrival: batch_asdf | DEPART
     4 | task: Post-Release | : |
     4 | arrival: batch_asdf | activity: Timeout | function()
     0 | source: arrival0 | new: arrival00 | 0
     0 | source: arrival0 | new: arrival01 | 2
     0 | arrival: arrival00 | activity: Batch | 2, 0, 0,
     0 | source: arrival1 | new: arrival10 | 1
     0 | source: arrival1 | new: arrival11 | 3
     1 | arrival: arrival10 | activity: Batch | 2, 0, 0,
     2 | arrival: arrival01 | activity: Batch | 2, 0, 0,
     2 | arrival: batch0 | activity: Seize | dummy, 1, 0 paths
     2 | resource: dummy | arrival: batch0 | SERVE
     2 | arrival: batch0 | activity: Timeout | 1
     3 | arrival: batch0 | activity: Release | dummy, 1
     3 | resource: dummy | arrival: batch0 | DEPART
     3 | task: Post-Release | : |
     3 | arrival: batch0 | activity: Timeout | function()
     3 | arrival: arrival11 | activity: Batch | 2, 0, 0,
     3 | arrival: batch1 | activity: Seize | dummy, 1, 0 paths
     3 | resource: dummy | arrival: batch1 | SERVE
     3 | arrival: batch1 | activity: Timeout | 1
     4 | arrival: batch1 | activity: Release | dummy, 1
     4 | resource: dummy | arrival: batch1 | DEPART
     4 | task: Post-Release | : |
     4 | arrival: batch1 | activity: Timeout | function()
     0 | source: arrival | new: arrival0 | 0
     0 | source: arrival | new: arrival1 | 1
     0 | source: arrival | new: arrival2 | 2
     0 | source: arrival | new: arrival3 | 3
     0 | arrival: arrival0 | activity: Batch | 2, 0, 0,
     1 | arrival: arrival1 | activity: Batch | 2, 0, 0,
     1 | arrival: batch0 | activity: Batch | 2, 0, 0,
     2 | arrival: arrival2 | activity: Batch | 2, 0, 0,
     3 | arrival: arrival3 | activity: Batch | 2, 0, 0,
     3 | arrival: batch1 | activity: Batch | 2, 0, 0,
     3 | arrival: batch2 | activity: Seize | dummy, 1, 0 paths
     3 | resource: dummy | arrival: batch2 | SERVE
     3 | arrival: batch2 | activity: Timeout | 1
     4 | arrival: batch2 | activity: Release | dummy, 1
     4 | resource: dummy | arrival: batch2 | DEPART
     4 | task: Post-Release | : |
     4 | arrival: batch2 | activity: Timeout | function()
     0 | source: arrival | new: arrival0 | 0
     0 | source: arrival | new: arrival1 | 1
     0 | source: arrival | new: arrival2 | 2
     0 | source: arrival | new: arrival3 | 3
     0 | arrival: arrival0 | activity: Batch | 2, 0, 0,
     1 | arrival: arrival1 | activity: Batch | 2, 0, 0,
     1 | arrival: batch0 | activity: Batch | 2, 0, 0,
     2 | arrival: arrival2 | activity: Batch | 2, 0, 0,
     3 | arrival: arrival3 | activity: Batch | 2, 0, 0,
     3 | arrival: batch1 | activity: Batch | 2, 0, 0,
     3 | arrival: batch2 | activity: Seize | dummy, 1, 0 paths
     3 | resource: dummy | arrival: batch2 | SERVE
     3 | arrival: batch2 | activity: Timeout | 1
     4 | arrival: batch2 | activity: Release | dummy, 1
     4 | resource: dummy | arrival: batch2 | DEPART
     4 | task: Post-Release | : |
     4 | arrival: batch2 | activity: Separate |
     4 | arrival: batch0 | activity: Timeout | 1
     4 | arrival: batch1 | activity: Timeout | 1
     5 | arrival: batch0 | activity: Separate |
     5 | arrival: batch1 | activity: Separate |
     5 | arrival: arrival0 | activity: Timeout | function()
     5 | arrival: arrival1 | activity: Timeout | function()
     5 | arrival: arrival2 | activity: Timeout | function()
     5 | arrival: arrival3 | activity: Timeout | function()
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: Seize | dummy0, 1, 0 paths
     0 | resource: dummy0 | arrival: arrival0 | SERVE
     0 | arrival: arrival0 | activity: Batch | 1, 0, 0,
     0 | arrival: batch0 | activity: Seize | dummy1, 1, 0 paths
     0 | resource: dummy1 | arrival: batch0 | SERVE
     0 | arrival: batch0 | activity: Batch | 1, 0, 0,
     0 | arrival: batch2 | activity: Seize | dummy2, 1, 0 paths
     0 | resource: dummy2 | arrival: batch2 | SERVE
     0 | arrival: batch2 | activity: Timeout | 1
     1 | arrival: batch2 | activity: Release | dummy2, 1
     1 | resource: dummy2 | arrival: batch2 | DEPART
     1 | task: Post-Release | : |
     1 | arrival: batch2 | activity: Separate |
     1 | arrival: batch0 | activity: Timeout | 1
     2 | arrival: batch0 | activity: Release | dummy1, 1
     2 | resource: dummy1 | arrival: batch0 | DEPART
     2 | task: Post-Release | : |
     2 | arrival: batch0 | activity: Separate |
     2 | arrival: arrival0 | activity: Timeout | 1
     3 | arrival: arrival0 | activity: Release | dummy0, 1
     3 | resource: dummy0 | arrival: arrival0 | DEPART
     3 | task: Post-Release | : |
     0 | source: entity | new: entity0 | 0
     0 | arrival: entity0 | activity: Branch | function(), 1 paths
     0 | arrival: entity0 | activity: Timeout | 2
     0 | source: entity | new: entity0 | 0
     0 | arrival: entity0 | activity: Branch | function(), 1 paths
     0 | source: entity | new: entity0 | 0
     0 | arrival: entity0 | activity: Branch | function(), 1 paths
     0 | arrival: entity0 | activity: Timeout | 1
     0 | source: dummy | new: dummy0 | 0
     0 | source: dummy | new: dummy1 | 1
     0 | source: dummy | new: dummy2 | 2
     0 | source: dummy | new: dummy3 | 3
     0 | arrival: dummy0 | activity: Branch | function(), 4 paths
     1 | arrival: dummy1 | activity: Branch | function(), 4 paths
     1 | arrival: dummy1 | activity: Timeout | 1
     2 | arrival: dummy2 | activity: Branch | function(), 4 paths
     2 | arrival: dummy2 | activity: Timeout | 1
     3 | arrival: dummy3 | activity: Branch | function(), 4 paths
     3 | arrival: dummy3 | activity: Timeout | 1
     4 | arrival: dummy3 | activity: Timeout | 1
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: Batch | 1, 0, 0,
     0 | arrival: batch0 | activity: Clone | 3, 3 paths
     0 | arrival: batch0 | activity: Timeout | 1
     0 | arrival: batch0 | activity: Timeout | 2
     0 | arrival: batch0 | activity: Timeout | 0.5
     1 | arrival: batch0 | activity: Timeout | 0.5
     2 | arrival: batch0 | activity: Timeout | 0.5
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: Batch | 1, 0, 0,
     0 | arrival: batch0 | activity: Clone | function(), 2 paths
     0 | arrival: batch0 | activity: Timeout | 2
     0 | arrival: batch0 | activity: Timeout | 0.5
     0 | arrival: batch0 | activity: Timeout | 1
     1 | arrival: batch0 | activity: Timeout | 0.5
     2 | arrival: batch0 | activity: Timeout | 0.5
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: Batch | 1, 0, 0,
     0 | arrival: batch0 | activity: Clone | 3, 1 paths
     0 | arrival: batch0 | activity: Timeout | 0.5
     0 | arrival: batch0 | activity: Timeout | 0.5
     0 | arrival: batch0 | activity: Timeout | 1
     1 | arrival: batch0 | activity: Timeout | 0.5
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: Batch | 1, 0, 0,
     0 | arrival: batch0 | activity: Clone | function(), 0 paths
     0 | arrival: batch0 | activity: Timeout | 0.5
     0 | arrival: batch0 | activity: Timeout | 0.5
     0 | arrival: batch0 | activity: Timeout | 0.5
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: Batch | 1, 0, 0,
     0 | arrival: batch0 | activity: Clone | 3, 3 paths
     0 | arrival: batch0 | activity: Timeout | 2
     0 | arrival: batch0 | activity: Timeout | 3
     0 | arrival: batch0 | activity: Timeout | 1
     1 | arrival: batch0 | activity: Synchronize | 1
     2 | arrival: batch0 | activity: Synchronize | 1
     3 | arrival: batch0 | activity: Synchronize | 1
     3 | arrival: batch0 | activity: Timeout | 0.5
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: Batch | 1, 0, 0,
     0 | arrival: batch0 | activity: Clone | 3, 3 paths
     0 | arrival: batch0 | activity: Timeout | 2
     0 | arrival: batch0 | activity: Timeout | 3
     0 | arrival: batch0 | activity: Timeout | 1
     1 | arrival: batch0 | activity: Synchronize | 1
     2 | arrival: batch0 | activity: Synchronize | 1
     3 | arrival: batch0 | activity: Synchronize | 1
     3 | arrival: batch0 | activity: Timeout | 0.5
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: Batch | 1, 0, 0,
     0 | arrival: batch0 | activity: Clone | 3, 3 paths
     0 | arrival: batch0 | activity: Timeout | 2
     0 | arrival: batch0 | activity: Timeout | 3
     0 | arrival: batch0 | activity: Timeout | 1
     1 | arrival: batch0 | activity: Synchronize | 0
     1 | arrival: batch0 | activity: Timeout | 0.5
     2 | arrival: batch0 | activity: Synchronize | 0
     3 | arrival: batch0 | activity: Synchronize | 0
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: Batch | 1, 0, 0,
     0 | arrival: batch0 | activity: Clone | 3, 3 paths
     0 | arrival: batch0 | activity: Timeout | 2
     0 | arrival: batch0 | activity: Timeout | 3
     0 | arrival: batch0 | activity: Timeout | 1
     1 | arrival: batch0 | activity: Synchronize | 0
     1 | arrival: batch0 | activity: Timeout | 0.5
     2 | arrival: batch0 | activity: Synchronize | 0
     3 | arrival: batch0 | activity: Synchronize | 0
     0 | source: arrival | new: arrival0 | 0
     0 | source: arrival | new: arrival1 | 1
     0 | arrival: arrival0 | activity: Timeout | 0.5
     0.5 | arrival: arrival0 | activity: Synchronize | 1
     0.5 | arrival: arrival0 | activity: Timeout | 0.5
     1 | arrival: arrival1 | activity: Timeout | 0.5
     1.5 | arrival: arrival1 | activity: Synchronize | 1
     1.5 | arrival: arrival1 | activity: Timeout | 0.5
     0 | source: dummy | new: dummy0 | 0
     0 | arrival: dummy0 | activity: SetAttribute | [index], [1], 0, N, 0
     0 | arrival: dummy0 | activity: Clone | 2, 2 paths
     0 | arrival: dummy0 | activity: SetAttribute | [index], function(), 0, N, 0
     0 | arrival: dummy0 | activity: SetAttribute | [index], function(), 0, N, 0
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: arrival0 | SERVE
     0 | arrival: arrival0 | activity: Timeout | 1
     1 | arrival: arrival0 | activity: Leave | 1
     1 | resource: dummy | arrival: arrival0 | DEPART
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: arrival0 | SERVE
     0 | arrival: arrival0 | activity: Timeout | 1
     1 | arrival: arrival0 | activity: Leave | function()
     1 | resource: dummy | arrival: arrival0 | DEPART
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: arrival0 | SERVE
     0 | arrival: arrival0 | activity: Timeout | 1
     1 | arrival: arrival0 | activity: Leave | 0
     1 | arrival: arrival0 | activity: Timeout | 1
     2 | arrival: arrival0 | activity: Release | dummy, 1
     2 | resource: dummy | arrival: arrival0 | DEPART
     2 | task: Post-Release | : |
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: arrival0 | SERVE
     0 | arrival: arrival0 | activity: Timeout | 1
     1 | arrival: arrival0 | activity: Leave | function()
     1 | arrival: arrival0 | activity: Timeout | 1
     2 | arrival: arrival0 | activity: Release | dummy, 1
     2 | resource: dummy | arrival: arrival0 | DEPART
     2 | task: Post-Release | : |
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: RenegeIn | 1, 0 paths
     0 | arrival: arrival0 | activity: Timeout | 4
     1 | task: Renege-Timer | : |
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: Send | [sig], 1
     0 | arrival: arrival0 | activity: RenegeIf | sig, 0 paths
     0 | arrival: arrival0 | activity: Timeout | 4
     1 | task: Broadcast | : |
     1 | task: Handler | : |
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: RenegeIn | 1, 1 paths
     0 | arrival: arrival0 | activity: Timeout | 4
     1 | task: Renege-Timer | : |
     1 | arrival: arrival0 | activity: Timeout | 1
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: Send | [sig], 1
     0 | arrival: arrival0 | activity: RenegeIf | sig, 1 paths
     0 | arrival: arrival0 | activity: Timeout | 4
     1 | task: Broadcast | : |
     1 | task: Handler | : |
     1 | arrival: arrival0 | activity: Timeout | 1
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: RenegeIn | 1, 1 paths
     0 | arrival: arrival0 | activity: Timeout | 4
     1 | task: Renege-Timer | : |
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: Send | [sig], 1
     0 | arrival: arrival0 | activity: RenegeIf | sig, 1 paths
     0 | arrival: arrival0 | activity: Timeout | 4
     1 | task: Broadcast | : |
     1 | task: Handler | : |
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: RenegeIn | 2, 0 paths
     0 | arrival: arrival0 | activity: Timeout | 1
     1 | arrival: arrival0 | activity: RenegeIn | 4, 0 paths
     1 | arrival: arrival0 | activity: Timeout | 9
     5 | task: Renege-Timer | : |
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: Send | [sig], 5
     0 | arrival: arrival0 | activity: RenegeIn | 2, 0 paths
     0 | arrival: arrival0 | activity: Timeout | 1
     1 | arrival: arrival0 | activity: RenegeIf | sig, 0 paths
     1 | arrival: arrival0 | activity: Timeout | 9
     5 | task: Broadcast | : |
     5 | task: Handler | : |
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: Send | [sig], 2
     0 | arrival: arrival0 | activity: RenegeIf | sig, 0 paths
     0 | arrival: arrival0 | activity: Timeout | 1
     1 | arrival: arrival0 | activity: RenegeIn | 4, 0 paths
     1 | arrival: arrival0 | activity: Timeout | 9
     2 | task: Broadcast | : |
     5 | task: Renege-Timer | : |
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: Send | [sig], 2
     0 | arrival: arrival0 | activity: RenegeIf | sig, 0 paths
     0 | arrival: arrival0 | activity: Timeout | 1
     1 | arrival: arrival0 | activity: RenegeIf | asdf, 0 paths
     1 | arrival: arrival0 | activity: Timeout | 9
     2 | task: Broadcast | : |
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: RenegeIn | 2, 0 paths
     0 | arrival: arrival0 | activity: Timeout | 1
     1 | arrival: arrival0 | activity: RenegeAbort |
     1 | arrival: arrival0 | activity: Timeout | 9
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: Send | [sig], 2
     0 | arrival: arrival0 | activity: RenegeIf | sig, 0 paths
     0 | arrival: arrival0 | activity: Timeout | 1
     1 | arrival: arrival0 | activity: RenegeAbort |
     1 | arrival: arrival0 | activity: Timeout | 9
     2 | task: Broadcast | : |
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: RenegeIn | 1, 0 paths
     0 | arrival: arrival0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: arrival0 | SERVE
     0 | arrival: arrival0 | activity: Timeout | 2
     1 | task: Renege-Timer | : |
     1 | resource: dummy | arrival: arrival0 | DEPART
     1 | task: Post-Release | : |
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: RenegeIn | 1, 0 paths
     0 | arrival: arrival0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: arrival0 | SERVE
     0 | arrival: arrival0 | activity: Timeout | 2
     1 | task: Renege-Timer | : |
     1 | resource: dummy | arrival: arrival0 | DEPART
     1 | task: Post-Release | : |
     0 | source: arrival | new: arrival0 | 0
     0 | source: arrival | new: arrival1 | 0
     0 | arrival: arrival0 | activity: RenegeIn | 1, 0 paths
     0 | arrival: arrival0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: arrival0 | SERVE
     0 | arrival: arrival0 | activity: RenegeAbort |
     0 | arrival: arrival0 | activity: Timeout | 2
     0 | arrival: arrival1 | activity: RenegeIn | 1, 0 paths
     0 | arrival: arrival1 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: arrival1 | ENQUEUE
     1 | task: Renege-Timer | : |
     1 | resource: dummy | arrival: arrival1 | DEPART
     2 | arrival: arrival0 | activity: Release | dummy, 1
     2 | resource: dummy | arrival: arrival0 | DEPART
     2 | task: Post-Release | : |
     0 | source: arrival0 | new: arrival00 | 0
     0 | arrival: arrival00 | activity: RenegeIn | 2, 0 paths
     0 | arrival: arrival00 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: arrival00 | SERVE
     0 | arrival: arrival00 | activity: Timeout | 4
     0 | source: arrival1 | new: arrival10 | 1
     1 | arrival: arrival10 | activity: Seize | dummy, 1, 0 paths
     1 | resource: dummy | arrival: arrival00 | PREEMPT
     1 | resource: dummy | arrival: arrival10 | SERVE
     1 | arrival: arrival10 | activity: Timeout | 4
     2 | task: Renege-Timer | : |
     2 | resource: dummy | arrival: arrival00 | DEPART
     5 | arrival: arrival10 | activity: Release | dummy, 1
     5 | resource: dummy | arrival: arrival10 | DEPART
     5 | task: Post-Release | : |
     0 | source: arrival0 | new: arrival00 | 0
     0 | arrival: arrival00 | activity: RenegeIn | 2, 0 paths
     0 | arrival: arrival00 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: arrival00 | SERVE
     0 | arrival: arrival00 | activity: Timeout | 4
     0 | source: arrival1 | new: arrival10 | 1
     1 | arrival: arrival10 | activity: Seize | dummy, 1, 0 paths
     1 | resource: dummy | arrival: arrival00 | PREEMPT
     1 | resource: dummy | arrival: arrival00 | ENQUEUE
     1 | resource: dummy | arrival: arrival10 | SERVE
     1 | arrival: arrival10 | activity: Timeout | 4
     2 | task: Renege-Timer | : |
     2 | resource: dummy | arrival: arrival00 | DEPART
     5 | arrival: arrival10 | activity: Release | dummy, 1
     5 | resource: dummy | arrival: arrival10 | DEPART
     5 | task: Post-Release | : |
     0 | source: arrival0 | new: arrival00 | 0
     0 | arrival: arrival00 | activity: Batch | 2, 0, 0, shared
     0 | source: arrival1 | new: arrival10 | 0
     0 | arrival: arrival10 | activity: RenegeIn | 5, 0 paths
     0 | arrival: arrival10 | activity: Batch | 2, 0, 0, shared
     0 | arrival: batch_shared | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: batch_shared | SERVE
     0 | arrival: batch_shared | activity: Timeout | 10
     5 | task: Renege-Timer | : |
     10 | arrival: batch_shared | activity: Release | dummy, 1
     10 | resource: dummy | arrival: batch_shared | DEPART
     10 | task: Post-Release | : |
     0 | source: arrival1 | new: arrival10 | 0
     0 | arrival: arrival10 | activity: RenegeIn | 5, 0 paths
     0 | arrival: arrival10 | activity: Batch | 1, 0, 0,
     0 | arrival: batch0 | activity: Batch | 1, 0, 0,
     0 | arrival: batch2 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: batch2 | SERVE
     0 | arrival: batch2 | activity: Timeout | 10
     5 | task: Renege-Timer | : |
     5 | resource: dummy | arrival: batch2 | DEPART
     5 | task: Post-Release | : |
     0 | source: arrival1 | new: arrival10 | 0
     0 | arrival: arrival10 | activity: RenegeIn | 5, 0 paths
     0 | arrival: arrival10 | activity: Batch | 1, 0, 1, shared
     0 | arrival: batch_shared | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: batch_shared | SERVE
     0 | arrival: batch_shared | activity: Timeout | 10
     5 | task: Renege-Timer | : |
     10 | arrival: batch_shared | activity: Release | dummy, 1
     10 | resource: dummy | arrival: batch_shared | DEPART
     10 | task: Post-Release | : |
     0 | source: arrival0 | new: arrival00 | 0
     0 | source: arrival0 | new: arrival01 | 0
     0 | arrival: arrival00 | activity: Batch | 2, 0, 0,
     0 | arrival: arrival01 | activity: Batch | 2, 0, 0,
     0 | arrival: batch0 | activity: RenegeIn | 1, 0 paths
     0 | arrival: batch0 | activity: Batch | 2, 0, 0, two
     0 | source: arrival1 | new: arrival10 | 0
     0 | source: arrival1 | new: arrival11 | 0
     0 | arrival: arrival10 | activity: Batch | 2, 0, 0,
     0 | arrival: arrival11 | activity: Batch | 2, 0, 0,
     0 | arrival: batch2 | activity: Batch | 2, 0, 0, two
     0 | arrival: batch_two | activity: Batch | 1, 0, 0, one
     0 | arrival: batch_one | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: batch_one | SERVE
     0 | arrival: batch_one | activity: Timeout | 2
     1 | task: Renege-Timer | : |
     2 | arrival: batch_one | activity: Release | dummy, 1
     2 | resource: dummy | arrival: batch_one | DEPART
     2 | task: Post-Release | : |
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: RenegeIn | 2, 0 paths
     0 | arrival: arrival0 | activity: Seize | dummy0, 1, 0 paths
     0 | resource: dummy0 | arrival: arrival0 | SERVE
     0 | arrival: arrival0 | activity: Batch | 1, 0, 0,
     0 | arrival: batch0 | activity: Seize | dummy1, 1, 0 paths
     0 | resource: dummy1 | arrival: batch0 | SERVE
     0 | arrival: batch0 | activity: Batch | 1, 0, 0,
     0 | arrival: batch2 | activity: Seize | dummy2, 1, 0 paths
     0 | resource: dummy2 | arrival: batch2 | SERVE
     0 | arrival: batch2 | activity: Timeout | 10
     2 | task: Renege-Timer | : |
     2 | resource: dummy2 | arrival: batch2 | DEPART
     2 | resource: dummy1 | arrival: batch0 | DEPART
     2 | resource: dummy0 | arrival: arrival0 | DEPART
     2 | task: Post-Release | : |
     2 | task: Post-Release | : |
     2 | task: Post-Release | : |
     0 | source: one | new: one0 | 0
     0 | arrival: one0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: one0 | SERVE
     0 | arrival: one0 | activity: Branch | function(), 1 paths
     0 | arrival: one0 | activity: Rollback | 2 (Seize), -1
     0 | arrival: one0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: one0 | SERVE
     0 | arrival: one0 | activity: Branch | function(), 1 paths
     0 | arrival: one0 | activity: Rollback | 2 (Seize), -1
     0 | arrival: one0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: one0 | REJECT
     0 | resource: dummy | arrival: one0 | DEPART
     0 | source: entity | new: entity0 | 1
     1 | arrival: entity0 | activity: Rollback | 1 (Rollback), function()
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: arrival0 | SERVE
     0 | arrival: arrival0 | activity: Timeout | 1
     1 | arrival: arrival0 | activity: Seize | dummy, function(), 0 paths
     1 | resource: dummy | arrival: arrival0 | SERVE
     1 | arrival: arrival0 | activity: Timeout | 1
     2 | arrival: arrival0 | activity: Release | dummy, 1
     2 | resource: dummy | arrival: arrival0 | DEPART
     2 | task: Post-Release | : |
     2 | arrival: arrival0 | activity: Timeout | 1
     3 | arrival: arrival0 | activity: Release | dummy, function()
     3 | resource: dummy | arrival: arrival0 | DEPART
     3 | task: Post-Release | : |
     3 | arrival: arrival0 | activity: Timeout | 1
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: Select | [dummy0], shortest-queue
     0 | arrival: arrival0 | activity: Select | function(), shortest-queue
     0 | arrival: arrival0 | activity: Seize | [], 1, 0 paths
     0 | resource: dummy0 | arrival: arrival0 | SERVE
     0 | arrival: arrival0 | activity: Timeout | 1
     1 | arrival: arrival0 | activity: Seize | [], function(), 0 paths
     1 | resource: dummy1 | arrival: arrival0 | SERVE
     1 | arrival: arrival0 | activity: Timeout | 1
     2 | arrival: arrival0 | activity: Release | [], 1
     2 | resource: dummy0 | arrival: arrival0 | DEPART
     2 | task: Post-Release | : |
     2 | arrival: arrival0 | activity: Timeout | 1
     3 | arrival: arrival0 | activity: Release | [], function()
     3 | resource: dummy1 | arrival: arrival0 | DEPART
     3 | task: Post-Release | : |
     3 | arrival: arrival0 | activity: Timeout | 1
     0 | source: asdf | new: asdf0 | 0
     0 | arrival: asdf0 | activity: Release | dummy, 1
     0 | resource: dummy | arrival: asdf0 | DEPART
     0 | source: asdf | new: asdf0 | 0
     0 | arrival: asdf0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: asdf0 | SERVE
     0 | arrival: asdf0 | activity: Release | dummy, 2
     0 | resource: dummy | arrival: asdf0 | DEPART
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: Seize | dummy, 1, 1 paths
     0 | resource: dummy | arrival: arrival0 | SERVE
     0 | arrival: arrival0 | activity: Timeout | 2
     2 | arrival: arrival0 | activity: Release | dummy, 1
     2 | resource: dummy | arrival: arrival0 | DEPART
     2 | task: Post-Release | : |
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: Seize | dummy, 1, 1 paths
     0 | resource: dummy | arrival: arrival0 | SERVE
     0 | resource: dummy | arrival: arrival0 | DEPART
     0 | source: arrival | new: arrival0 | 0
     0 | source: arrival | new: arrival1 | 1
     0 | arrival: arrival0 | activity: Seize | dummy, 1, 1 paths
     0 | resource: dummy | arrival: arrival0 | SERVE
     0 | arrival: arrival0 | activity: Timeout | 2
     1 | arrival: arrival1 | activity: Seize | dummy, 1, 1 paths
     1 | resource: dummy | arrival: arrival1 | REJECT
     1 | arrival: arrival1 | activity: Timeout | 1
     2 | arrival: arrival0 | activity: Release | dummy, 1
     2 | resource: dummy | arrival: arrival0 | DEPART
     2 | task: Post-Release | : |
     2 | arrival: arrival1 | activity: Rollback | 2 (Seize), -1
     2 | arrival: arrival1 | activity: Seize | dummy, 1, 1 paths
     2 | resource: dummy | arrival: arrival1 | SERVE
     2 | arrival: arrival1 | activity: Timeout | 2
     4 | arrival: arrival1 | activity: Release | dummy, 1
     4 | resource: dummy | arrival: arrival1 | DEPART
     4 | task: Post-Release | : |
     0 | source: arrival | new: arrival0 | 0
     0 | source: arrival | new: arrival1 | 1
     0 | arrival: arrival0 | activity: Seize | dummy, 1, 1 paths
     0 | resource: dummy | arrival: arrival0 | SERVE
     0 | arrival: arrival0 | activity: Timeout | 2
     1 | arrival: arrival1 | activity: Seize | dummy, 1, 1 paths
     1 | resource: dummy | arrival: arrival1 | REJECT
     2 | arrival: arrival0 | activity: Release | dummy, 1
     2 | resource: dummy | arrival: arrival0 | DEPART
     2 | task: Post-Release | : |
     0 | source: arrival | new: arrival0 | 0
     0 | source: arrival | new: arrival1 | 1
     0 | arrival: arrival0 | activity: Seize | dummy, 1, 2 paths
     0 | resource: dummy | arrival: arrival0 | SERVE
     0 | arrival: arrival0 | activity: Timeout | 2
     1 | arrival: arrival1 | activity: Seize | dummy, 1, 2 paths
     1 | resource: dummy | arrival: arrival1 | REJECT
     1 | arrival: arrival1 | activity: Timeout | 3
     2 | arrival: arrival0 | activity: Release | dummy, 1
     2 | resource: dummy | arrival: arrival0 | DEPART
     2 | task: Post-Release | : |
     2 | arrival: arrival0 | activity: Timeout | 3
     4 | arrival: arrival1 | activity: Timeout | 3
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: Seize | dummy0, 2, 0 paths
     0 | resource: dummy0 | arrival: arrival0 | SERVE
     0 | arrival: arrival0 | activity: Seize | dummy1, 1, 0 paths
     0 | resource: dummy1 | arrival: arrival0 | SERVE
     0 | arrival: arrival0 | activity: Release | dummy0, 1
     0 | resource: dummy0 | arrival: arrival0 | DEPART
     0 | resource: dummy0 | arrival: arrival0 | DEPART
     0 | resource: dummy1 | arrival: arrival0 | DEPART
     0 | task: Post-Release | : |
     0 | source: arrival | new: arrival0 | 0
     0 | arrival: arrival0 | activity: Batch | 1, 0, 0,
     0 | arrival: batch0 | activity: Seize | dummy0, 2, 0 paths
     0 | resource: dummy0 | arrival: batch0 | SERVE
     0 | arrival: batch0 | activity: Seize | dummy1, 1, 0 paths
     0 | resource: dummy1 | arrival: batch0 | SERVE
     0 | arrival: batch0 | activity: Release | dummy0, 1
     0 | resource: dummy0 | arrival: batch0 | DEPART
     0 | resource: dummy0 | arrival: batch0 | DEPART
     0 | resource: dummy1 | arrival: batch0 | DEPART
     0 | task: Post-Release | : |
     0 | source: dummy7 | new: dummy70 | 0
     0 | source: dummy7 | new: dummy71 | 1
     0 | arrival: dummy70 | activity: Seize | res, 7, 0 paths
     0 | resource: res | arrival: dummy70 | SERVE
     0 | arrival: dummy70 | activity: Timeout | 10
     0 | source: dummy1 | new: dummy10 | 2
     1 | arrival: dummy71 | activity: Seize | res, 7, 0 paths
     1 | resource: res | arrival: dummy71 | ENQUEUE
     2 | arrival: dummy10 | activity: Seize | res, 1, 0 paths
     2 | resource: res | arrival: dummy10 | ENQUEUE
     10 | arrival: dummy70 | activity: Release | res, 7
     10 | resource: res | arrival: dummy70 | DEPART
     10 | task: Post-Release | : |
     10 | resource: res | arrival: dummy71 | SERVE
     10 | resource: res | arrival: dummy10 | SERVE
     10 | arrival: dummy10 | activity: Timeout | 10
     10 | arrival: dummy71 | activity: Timeout | 10
     20 | arrival: dummy10 | activity: Release | res, 1
     20 | resource: res | arrival: dummy10 | DEPART
     20 | arrival: dummy71 | activity: Release | res, 7
     20 | resource: res | arrival: dummy71 | DEPART
     20 | task: Post-Release | : |
     20 | task: Post-Release | : |
     0 | source: dummy7a | new: dummy7a0 | 0
     0 | arrival: dummy7a0 | activity: Seize | res, 7, 0 paths
     0 | resource: res | arrival: dummy7a0 | SERVE
     0 | arrival: dummy7a0 | activity: Timeout | 10
     0 | source: dummy7b | new: dummy7b0 | 1
     0 | source: dummy1 | new: dummy10 | 2
     1 | arrival: dummy7b0 | activity: Seize | res, 7, 0 paths
     1 | resource: res | arrival: dummy7a0 | PREEMPT
     1 | resource: res | arrival: dummy7b0 | SERVE
     1 | arrival: dummy7b0 | activity: Timeout | 10
     2 | arrival: dummy10 | activity: Seize | res, 1, 0 paths
     2 | resource: res | arrival: dummy10 | ENQUEUE
     11 | arrival: dummy7b0 | activity: Release | res, 7
     11 | resource: res | arrival: dummy7b0 | DEPART
     11 | task: Post-Release | : |
     11 | resource: res | arrival: dummy7a0 | SERVE
     11 | resource: res | arrival: dummy10 | SERVE
     11 | arrival: dummy10 | activity: Timeout | 10
     20 | arrival: dummy7a0 | activity: Release | res, 7
     20 | resource: res | arrival: dummy7a0 | DEPART
     20 | task: Post-Release | : |
     21 | arrival: dummy10 | activity: Release | res, 1
     21 | resource: res | arrival: dummy10 | DEPART
     21 | task: Post-Release | : |
     0 | source: dummy0 | new: dummy00 | 0
     0 | arrival: dummy00 | activity: Seize | r1, 1, 0 paths
     0 | resource: r1 | arrival: dummy00 | SERVE
     0 | resource: r1 | arrival: dummy00 | DEPART
     0 | source: dummy1 | new: dummy10 | 0
     0 | source: dummy1 | new: dummy11 | 0
     0 | arrival: dummy10 | activity: Seize | r2, 1, 0 paths
     0 | resource: r2 | arrival: dummy10 | SERVE
     0 | resource: r2 | arrival: dummy10 | DEPART
     0 | arrival: dummy11 | activity: Seize | r2, 1, 0 paths
     0 | resource: r2 | arrival: dummy11 | SERVE
     0 | resource: r2 | arrival: dummy11 | DEPART
     0 | source: dummy2 | new: dummy20 | 1
     0 | source: dummy2 | new: dummy21 | 2
     0 | source: dummy2 | new: dummy22 | 3
     0 | source: dummy2 | new: dummy23 | 4
     0 | source: dummy2 | new: dummy24 | 5
     0 | source: dummy2 | new: dummy25 | 6
     1 | arrival: dummy20 | activity: Select | [r1, r2, r3], shortest-queue
     1 | arrival: dummy20 | activity: Seize | [], 1, 0 paths
     1 | resource: r3 | arrival: dummy20 | SERVE
     1 | resource: r3 | arrival: dummy20 | DEPART
     2 | arrival: dummy21 | activity: Select | [r1, r2, r3], shortest-queue
     2 | arrival: dummy21 | activity: Seize | [], 1, 0 paths
     2 | resource: r1 | arrival: dummy21 | SERVE
     2 | resource: r1 | arrival: dummy21 | DEPART
     3 | arrival: dummy22 | activity: Select | [r1, r2, r3], shortest-queue
     3 | arrival: dummy22 | activity: Seize | [], 1, 0 paths
     3 | resource: r3 | arrival: dummy22 | ENQUEUE
     4 | arrival: dummy23 | activity: Select | [r1, r2, r3], shortest-queue
     4 | arrival: dummy23 | activity: Seize | [], 1, 0 paths
     4 | resource: r1 | arrival: dummy23 | ENQUEUE
     5 | arrival: dummy24 | activity: Select | [r1, r2, r3], shortest-queue
     5 | arrival: dummy24 | activity: Seize | [], 1, 0 paths
     5 | resource: r2 | arrival: dummy24 | SERVE
     5 | resource: r2 | arrival: dummy24 | DEPART
     6 | arrival: dummy25 | activity: Select | [r1, r2, r3], shortest-queue
     6 | arrival: dummy25 | activity: Seize | [], 1, 0 paths
     6 | resource: r3 | arrival: dummy25 | ENQUEUE
     0 | source: dummy0 | new: dummy00 | 0
     0 | arrival: dummy00 | activity: Seize | r1, 1, 0 paths
     0 | resource: r1 | arrival: dummy00 | SERVE
     0 | resource: r1 | arrival: dummy00 | DEPART
     0 | source: dummy1 | new: dummy10 | 0
     0 | source: dummy1 | new: dummy11 | 0
     0 | arrival: dummy10 | activity: Seize | r2, 1, 0 paths
     0 | resource: r2 | arrival: dummy10 | SERVE
     0 | resource: r2 | arrival: dummy10 | DEPART
     0 | arrival: dummy11 | activity: Seize | r2, 1, 0 paths
     0 | resource: r2 | arrival: dummy11 | SERVE
     0 | resource: r2 | arrival: dummy11 | DEPART
     0 | source: dummy2 | new: dummy20 | 1
     0 | source: dummy2 | new: dummy21 | 2
     0 | source: dummy2 | new: dummy22 | 3
     0 | source: dummy2 | new: dummy23 | 4
     0 | source: dummy2 | new: dummy24 | 5
     0 | source: dummy2 | new: dummy25 | 6
     1 | arrival: dummy20 | activity: Select | [r1, r2, r3], round-robin
     1 | arrival: dummy20 | activity: Seize | [], 1, 0 paths
     1 | resource: r1 | arrival: dummy20 | SERVE
     1 | resource: r1 | arrival: dummy20 | DEPART
     2 | arrival: dummy21 | activity: Select | [r1, r2, r3], round-robin
     2 | arrival: dummy21 | activity: Seize | [], 1, 0 paths
     2 | resource: r2 | arrival: dummy21 | SERVE
     2 | resource: r2 | arrival: dummy21 | DEPART
     3 | arrival: dummy22 | activity: Select | [r1, r2, r3], round-robin
     3 | arrival: dummy22 | activity: Seize | [], 1, 0 paths
     3 | resource: r3 | arrival: dummy22 | SERVE
     3 | resource: r3 | arrival: dummy22 | DEPART
     4 | arrival: dummy23 | activity: Select | [r1, r2, r3], round-robin
     4 | arrival: dummy23 | activity: Seize | [], 1, 0 paths
     4 | resource: r1 | arrival: dummy23 | ENQUEUE
     5 | arrival: dummy24 | activity: Select | [r1, r2, r3], round-robin
     5 | arrival: dummy24 | activity: Seize | [], 1, 0 paths
     5 | resource: r2 | arrival: dummy24 | ENQUEUE
     6 | arrival: dummy25 | activity: Select | [r1, r2, r3], round-robin
     6 | arrival: dummy25 | activity: Seize | [], 1, 0 paths
     6 | resource: r3 | arrival: dummy25 | ENQUEUE
     0 | source: dummy0 | new: dummy00 | 0
     0 | arrival: dummy00 | activity: Seize | r1, 1, 0 paths
     0 | resource: r1 | arrival: dummy00 | SERVE
     0 | resource: r1 | arrival: dummy00 | DEPART
     0 | source: dummy1 | new: dummy10 | 0
     0 | source: dummy1 | new: dummy11 | 0
     0 | arrival: dummy10 | activity: Seize | r2, 1, 0 paths
     0 | resource: r2 | arrival: dummy10 | SERVE
     0 | resource: r2 | arrival: dummy10 | DEPART
     0 | arrival: dummy11 | activity: Seize | r2, 1, 0 paths
     0 | resource: r2 | arrival: dummy11 | SERVE
     0 | resource: r2 | arrival: dummy11 | DEPART
     0 | source: dummy2 | new: dummy20 | 1
     0 | source: dummy2 | new: dummy21 | 2
     0 | source: dummy2 | new: dummy22 | 3
     0 | source: dummy2 | new: dummy23 | 4
     0 | source: dummy2 | new: dummy24 | 5
     0 | source: dummy2 | new: dummy25 | 6
     0 | source: dummy2 | new: dummy26 | 7
     1 | arrival: dummy20 | activity: Select | [r1, r2, r3], first-available
     1 | arrival: dummy20 | activity: Seize | [], 1, 0 paths
     1 | resource: r1 | arrival: dummy20 | SERVE
     1 | resource: r1 | arrival: dummy20 | DEPART
     2 | arrival: dummy21 | activity: Select | [r1, r2, r3], first-available
     2 | arrival: dummy21 | activity: Seize | [], 1, 0 paths
     2 | resource: r2 | arrival: dummy21 | SERVE
     2 | resource: r2 | arrival: dummy21 | DEPART
     3 | arrival: dummy22 | activity: Select | [r1, r2, r3], first-available
     3 | arrival: dummy22 | activity: Seize | [], 1, 0 paths
     3 | resource: r3 | arrival: dummy22 | SERVE
     3 | resource: r3 | arrival: dummy22 | DEPART
     4 | arrival: dummy23 | activity: Select | [r1, r2, r3], first-available
     4 | arrival: dummy23 | activity: Seize | [], 1, 0 paths
     4 | resource: r1 | arrival: dummy23 | ENQUEUE
     5 | arrival: dummy24 | activity: Select | [r1, r2, r3], first-available
     5 | arrival: dummy24 | activity: Seize | [], 1, 0 paths
     5 | resource: r2 | arrival: dummy24 | ENQUEUE
     6 | arrival: dummy25 | activity: Select | [r1, r2, r3], first-available
     6 | arrival: dummy25 | activity: Seize | [], 1, 0 paths
     6 | resource: r3 | arrival: dummy25 | ENQUEUE
     7 | arrival: dummy26 | activity: Select | [r1, r2, r3], first-available
     7 | arrival: dummy26 | activity: Seize | [], 1, 0 paths
     7 | resource: r1 | arrival: dummy26 | REJECT
     0 | source: dummy0 | new: dummy00 | 0
     0 | arrival: dummy00 | activity: Seize | r1, 1, 0 paths
     0 | resource: r1 | arrival: dummy00 | SERVE
     0 | resource: r1 | arrival: dummy00 | DEPART
     0 | source: dummy1 | new: dummy10 | 0
     0 | source: dummy1 | new: dummy11 | 0
     0 | arrival: dummy10 | activity: Seize | r2, 1, 0 paths
     0 | resource: r2 | arrival: dummy10 | SERVE
     0 | resource: r2 | arrival: dummy10 | DEPART
     0 | arrival: dummy11 | activity: Seize | r2, 1, 0 paths
     0 | resource: r2 | arrival: dummy11 | SERVE
     0 | resource: r2 | arrival: dummy11 | DEPART
     0 | source: dummy2 | new: dummy20 | 1
     0 | source: dummy2 | new: dummy21 | 2
     0 | source: dummy2 | new: dummy22 | 3
     0 | source: dummy2 | new: dummy23 | 4
     0 | source: dummy2 | new: dummy24 | 5
     0 | source: dummy2 | new: dummy25 | 6
     1 | arrival: dummy20 | activity: Select | [r1, r2, r3], random
     1 | arrival: dummy20 | activity: Seize | [], 1, 0 paths
     1 | resource: r3 | arrival: dummy20 | SERVE
     1 | resource: r3 | arrival: dummy20 | DEPART
     2 | arrival: dummy21 | activity: Select | [r1, r2, r3], random
     2 | arrival: dummy21 | activity: Seize | [], 1, 0 paths
     2 | resource: r3 | arrival: dummy21 | ENQUEUE
     3 | arrival: dummy22 | activity: Select | [r1, r2, r3], random
     3 | arrival: dummy22 | activity: Seize | [], 1, 0 paths
     3 | resource: r1 | arrival: dummy22 | SERVE
     3 | resource: r1 | arrival: dummy22 | DEPART
     4 | arrival: dummy23 | activity: Select | [r1, r2, r3], random
     4 | arrival: dummy23 | activity: Seize | [], 1, 0 paths
     4 | resource: r2 | arrival: dummy23 | SERVE
     4 | resource: r2 | arrival: dummy23 | DEPART
     5 | arrival: dummy24 | activity: Select | [r1, r2, r3], random
     5 | arrival: dummy24 | activity: Seize | [], 1, 0 paths
     5 | resource: r1 | arrival: dummy24 | ENQUEUE
     6 | arrival: dummy25 | activity: Select | [r1, r2, r3], random
     6 | arrival: dummy25 | activity: Seize | [], 1, 0 paths
     6 | resource: r1 | arrival: dummy25 | ENQUEUE
     0 | source: dummy0 | new: dummy00 | 0
     0 | arrival: dummy00 | activity: Seize | r1, 1, 0 paths
     0 | resource: r1 | arrival: dummy00 | SERVE
     0 | resource: r1 | arrival: dummy00 | DEPART
     0 | source: dummy1 | new: dummy10 | 0
     0 | source: dummy1 | new: dummy11 | 0
     0 | arrival: dummy10 | activity: Seize | r2, 1, 0 paths
     0 | resource: r2 | arrival: dummy10 | SERVE
     0 | resource: r2 | arrival: dummy10 | DEPART
     0 | arrival: dummy11 | activity: Seize | r2, 1, 0 paths
     0 | resource: r2 | arrival: dummy11 | SERVE
     0 | resource: r2 | arrival: dummy11 | DEPART
     0 | source: dummy2 | new: dummy20 | 1
     0 | source: dummy2 | new: dummy21 | 2
     0 | source: dummy2 | new: dummy22 | 3
     0 | source: dummy2 | new: dummy23 | 4
     0 | source: dummy2 | new: dummy24 | 5
     0 | source: dummy2 | new: dummy25 | 6
     1 | arrival: dummy20 | activity: Select | [r1, r2, r3], random
     1 | arrival: dummy20 | activity: Seize | [], 1, 0 paths
     1 | resource: r2 | arrival: dummy20 | SERVE
     1 | resource: r2 | arrival: dummy20 | DEPART
     2 | arrival: dummy21 | activity: Select | [r1, r2, r3], random
     2 | arrival: dummy21 | activity: Seize | [], 1, 0 paths
     2 | resource: r1 | arrival: dummy21 | SERVE
     2 | resource: r1 | arrival: dummy21 | DEPART
     3 | arrival: dummy22 | activity: Select | [r1, r2, r3], random
     3 | arrival: dummy22 | activity: Seize | [], 1, 0 paths
     3 | resource: r3 | arrival: dummy22 | SERVE
     3 | resource: r3 | arrival: dummy22 | DEPART
     4 | arrival: dummy23 | activity: Select | [r1, r2, r3], random
     4 | arrival: dummy23 | activity: Seize | [], 1, 0 paths
     4 | resource: r1 | arrival: dummy23 | ENQUEUE
     5 | arrival: dummy24 | activity: Select | [r1, r2, r3], random
     5 | arrival: dummy24 | activity: Seize | [], 1, 0 paths
     5 | resource: r1 | arrival: dummy24 | ENQUEUE
     6 | arrival: dummy25 | activity: Select | [r1, r2, r3], random
     6 | arrival: dummy25 | activity: Seize | [], 1, 0 paths
     6 | resource: r3 | arrival: dummy25 | ENQUEUE
     0 | source: dummy0 | new: dummy00 | 0
     0 | arrival: dummy00 | activity: Seize | r1, 1, 0 paths
     0 | resource: r1 | arrival: dummy00 | SERVE
     0 | resource: r1 | arrival: dummy00 | DEPART
     0 | source: dummy1 | new: dummy10 | 0
     0 | source: dummy1 | new: dummy11 | 0
     0 | arrival: dummy10 | activity: Seize | r2, 1, 0 paths
     0 | resource: r2 | arrival: dummy10 | SERVE
     0 | resource: r2 | arrival: dummy10 | DEPART
     0 | arrival: dummy11 | activity: Seize | r2, 1, 0 paths
     0 | resource: r2 | arrival: dummy11 | SERVE
     0 | resource: r2 | arrival: dummy11 | DEPART
     0 | source: dummy2 | new: dummy20 | 1
     0 | source: dummy2 | new: dummy21 | 2
     0 | source: dummy2 | new: dummy22 | 3
     0 | source: dummy2 | new: dummy23 | 4
     0 | source: dummy2 | new: dummy24 | 5
     0 | source: dummy2 | new: dummy25 | 6
     1 | arrival: dummy20 | activity: Select | [r1, r2, r3], random
     1 | arrival: dummy20 | activity: Seize | [], 1, 0 paths
     1 | resource: r3 | arrival: dummy20 | SERVE
     1 | resource: r3 | arrival: dummy20 | DEPART
     2 | arrival: dummy21 | activity: Select | [r1, r2, r3], random
     2 | arrival: dummy21 | activity: Seize | [], 1, 0 paths
     2 | resource: r2 | arrival: dummy21 | SERVE
     2 | resource: r2 | arrival: dummy21 | DEPART
     3 | arrival: dummy22 | activity: Select | [r1, r2, r3], random
     3 | arrival: dummy22 | activity: Seize | [], 1, 0 paths
     3 | resource: r2 | arrival: dummy22 | ENQUEUE
     4 | arrival: dummy23 | activity: Select | [r1, r2, r3], random
     4 | arrival: dummy23 | activity: Seize | [], 1, 0 paths
     4 | resource: r1 | arrival: dummy23 | SERVE
     4 | resource: r1 | arrival: dummy23 | DEPART
     5 | arrival: dummy24 | activity: Select | [r1, r2, r3], random
     5 | arrival: dummy24 | activity: Seize | [], 1, 0 paths
     5 | resource: r2 | arrival: dummy24 | ENQUEUE
     6 | arrival: dummy25 | activity: Select | [r1, r2, r3], random
     6 | arrival: dummy25 | activity: Seize | [], 1, 0 paths
     6 | resource: r1 | arrival: dummy25 | ENQUEUE
     0 | source: dummy0 | new: dummy00 | 0
     0 | arrival: dummy00 | activity: Seize | r1, 1, 0 paths
     0 | resource: r1 | arrival: dummy00 | SERVE
     0 | resource: r1 | arrival: dummy00 | DEPART
     0 | source: dummy1 | new: dummy10 | 0
     0 | source: dummy1 | new: dummy11 | 0
     0 | arrival: dummy10 | activity: Seize | r2, 1, 0 paths
     0 | resource: r2 | arrival: dummy10 | SERVE
     0 | resource: r2 | arrival: dummy10 | DEPART
     0 | arrival: dummy11 | activity: Seize | r2, 1, 0 paths
     0 | resource: r2 | arrival: dummy11 | SERVE
     0 | resource: r2 | arrival: dummy11 | DEPART
     0 | source: dummy2 | new: dummy20 | 1
     0 | source: dummy2 | new: dummy21 | 2
     0 | source: dummy2 | new: dummy22 | 3
     0 | source: dummy2 | new: dummy23 | 4
     0 | source: dummy2 | new: dummy24 | 5
     0 | source: dummy2 | new: dummy25 | 6
     1 | arrival: dummy20 | activity: Select | function(), shortest-queue
     1 | arrival: dummy20 | activity: Seize | [], 1, 0 paths
     1 | resource: r3 | arrival: dummy20 | SERVE
     1 | resource: r3 | arrival: dummy20 | DEPART
     2 | arrival: dummy21 | activity: Select | function(), shortest-queue
     2 | arrival: dummy21 | activity: Seize | [], 1, 0 paths
     2 | resource: r2 | arrival: dummy21 | SERVE
     2 | resource: r2 | arrival: dummy21 | DEPART
     3 | arrival: dummy22 | activity: Select | function(), shortest-queue
     3 | arrival: dummy22 | activity: Seize | [], 1, 0 paths
     3 | resource: r1 | arrival: dummy22 | SERVE
     3 | resource: r1 | arrival: dummy22 | DEPART
     4 | arrival: dummy23 | activity: Select | function(), shortest-queue
     4 | arrival: dummy23 | activity: Seize | [], 1, 0 paths
     4 | resource: r3 | arrival: dummy23 | ENQUEUE
     5 | arrival: dummy24 | activity: Select | function(), shortest-queue
     5 | arrival: dummy24 | activity: Seize | [], 1, 0 paths
     5 | resource: r2 | arrival: dummy24 | ENQUEUE
     6 | arrival: dummy25 | activity: Select | function(), shortest-queue
     6 | arrival: dummy25 | activity: Seize | [], 1, 0 paths
     6 | resource: r1 | arrival: dummy25 | ENQUEUE
     0 | source: dummy | new: dummy0 | 0
     0 | arrival: dummy0 | activity: Wait |
     0 | source: dummy | new: dummy0 | 0
     0 | source: dummy | new: dummy1 | 1
     0 | source: dummy | new: dummy2 | 2
     0 | arrival: dummy0 | activity: UnTrap | [asdf]
     0 | arrival: dummy0 | activity: Send | [signal], 3
     0 | arrival: dummy0 | activity: Trap | [signal], 0 paths
     0 | arrival: dummy0 | activity: Timeout | 1
     1 | arrival: dummy1 | activity: UnTrap | [asdf]
     1 | arrival: dummy1 | activity: Send | [signal], 3
     1 | arrival: dummy0 | activity: UnTrap | [signal]
     1 | arrival: dummy1 | activity: Trap | [signal], 0 paths
     1 | arrival: dummy0 | activity: Timeout | 8
     1 | arrival: dummy1 | activity: Timeout | 1
     2 | arrival: dummy2 | activity: UnTrap | [asdf]
     2 | arrival: dummy2 | activity: Send | [signal], 3
     2 | arrival: dummy1 | activity: UnTrap | [signal]
     2 | arrival: dummy2 | activity: Trap | [signal], 0 paths
     2 | arrival: dummy1 | activity: Timeout | 8
     2 | arrival: dummy2 | activity: Timeout | 1
     3 | arrival: dummy2 | activity: UnTrap | [signal]
     3 | arrival: dummy2 | activity: Timeout | 8
     3 | task: Broadcast | : |
     4 | task: Broadcast | : |
     5 | task: Broadcast | : |
     9 | arrival: dummy0 | activity: Timeout | 1
     10 | arrival: dummy1 | activity: Timeout | 1
     11 | arrival: dummy2 | activity: Timeout | 1
     0 | source: dummy | new: dummy0 | 0
     0 | source: dummy | new: dummy1 | 1
     0 | source: dummy | new: dummy2 | 2
     0 | arrival: dummy0 | activity: Send | [signal], 3
     0 | arrival: dummy0 | activity: Trap | [signal], 0 paths
     0 | arrival: dummy0 | activity: Wait |
     1 | arrival: dummy1 | activity: Send | [signal], 3
     1 | arrival: dummy1 | activity: Trap | [signal], 0 paths
     1 | arrival: dummy1 | activity: Wait |
     2 | arrival: dummy2 | activity: Send | [signal], 3
     2 | arrival: dummy2 | activity: Trap | [signal], 0 paths
     2 | arrival: dummy2 | activity: Wait |
     3 | task: Broadcast | : |
     3 | task: Handler | : |
     3 | task: Handler | : |
     3 | task: Handler | : |
     3 | arrival: dummy0 | activity: Timeout | 1
     3 | arrival: dummy1 | activity: Timeout | 1
     3 | arrival: dummy2 | activity: Timeout | 1
     4 | task: Broadcast | : |
     5 | task: Broadcast | : |
     0 | source: dummy | new: dummy0 | 0
     0 | source: dummy | new: dummy1 | 1
     0 | source: dummy | new: dummy2 | 2
     0 | arrival: dummy0 | activity: Send | [signal], 3
     0 | arrival: dummy0 | activity: Trap | [signal], 1 paths
     0 | arrival: dummy0 | activity: Wait |
     1 | arrival: dummy1 | activity: Send | [signal], 3
     1 | arrival: dummy1 | activity: Trap | [signal], 1 paths
     1 | arrival: dummy1 | activity: Wait |
     2 | arrival: dummy2 | activity: Send | [signal], 3
     2 | arrival: dummy2 | activity: Trap | [signal], 1 paths
     2 | arrival: dummy2 | activity: Wait |
     3 | task: Broadcast | : |
     3 | task: Handler | : |
     3 | task: Handler | : |
     3 | task: Handler | : |
     3 | arrival: dummy0 | activity: Timeout | 1
     3 | arrival: dummy1 | activity: Timeout | 1
     3 | arrival: dummy2 | activity: Timeout | 1
     4 | task: Broadcast | : |
     5 | task: Broadcast | : |
     0 | source: dummy | new: dummy0 | 0
     0 | source: dummy | new: dummy1 | 1
     0 | source: dummy | new: dummy2 | 2
     0 | arrival: dummy0 | activity: Send | function(), 3
     0 | arrival: dummy0 | activity: Trap | function(), 0 paths
     0 | arrival: dummy0 | activity: Timeout | 10
     1 | arrival: dummy1 | activity: Send | function(), 3
     1 | arrival: dummy1 | activity: Trap | function(), 0 paths
     1 | arrival: dummy1 | activity: Timeout | 10
     2 | arrival: dummy2 | activity: Send | function(), 3
     2 | arrival: dummy2 | activity: Trap | function(), 0 paths
     2 | arrival: dummy2 | activity: Timeout | 10
     3 | task: Broadcast | : |
     3 | task: Handler | : |
     3 | task: Handler | : |
     3 | task: Handler | : |
     3 | arrival: dummy0 | activity: Timeout | 1
     3 | arrival: dummy1 | activity: Timeout | 1
     3 | arrival: dummy2 | activity: Timeout | 1
     4 | task: Broadcast | : |
     5 | task: Broadcast | : |
     0 | source: dummy | new: dummy0 | 0
     0 | source: dummy | new: dummy1 | 1
     0 | source: dummy | new: dummy2 | 2
     0 | arrival: dummy0 | activity: Send | [signal], function()
     0 | arrival: dummy0 | activity: Trap | [signal], 0 paths
     0 | arrival: dummy0 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: dummy0 | SERVE
     0 | arrival: dummy0 | activity: Wait |
     1 | arrival: dummy1 | activity: Send | [signal], function()
     1 | arrival: dummy1 | activity: Trap | [signal], 0 paths
     1 | arrival: dummy1 | activity: Seize | res, 1, 0 paths
     1 | resource: res | arrival: dummy1 | ENQUEUE
     2 | arrival: dummy2 | activity: Send | [signal], function()
     2 | arrival: dummy2 | activity: Trap | [signal], 0 paths
     2 | arrival: dummy2 | activity: Seize | res, 1, 0 paths
     2 | resource: res | arrival: dummy2 | ENQUEUE
     3 | task: Broadcast | : |
     3 | task: Handler | : |
     3 | task: Handler | : |
     3 | task: Handler | : |
     3 | arrival: dummy0 | activity: Timeout | 1
     4 | arrival: dummy0 | activity: Release | res, 1
     4 | resource: res | arrival: dummy0 | DEPART
     4 | task: Post-Release | : |
     4 | resource: res | arrival: dummy1 | SERVE
     4 | arrival: dummy1 | activity: Wait |
     4 | task: Broadcast | : |
     4 | task: Handler | : |
     4 | task: Handler | : |
     4 | arrival: dummy1 | activity: Timeout | 1
     5 | arrival: dummy1 | activity: Release | res, 1
     5 | resource: res | arrival: dummy1 | DEPART
     5 | task: Post-Release | : |
     5 | resource: res | arrival: dummy2 | SERVE
     5 | arrival: dummy2 | activity: Wait |
     5 | task: Broadcast | : |
     5 | task: Handler | : |
     5 | arrival: dummy2 | activity: Timeout | 1
     6 | arrival: dummy2 | activity: Release | res, 1
     6 | resource: res | arrival: dummy2 | DEPART
     6 | task: Post-Release | : |
     0 | source: dummy | new: dummy0 | 0
     0 | source: dummy | new: dummy1 | 1
     0 | source: dummy | new: dummy2 | 2
     0 | arrival: dummy0 | activity: Send | function(), function()
     0 | arrival: dummy0 | activity: Trap | [signal], 0 paths
     0 | arrival: dummy0 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: dummy0 | SERVE
     0 | arrival: dummy0 | activity: Timeout | 10
     1 | arrival: dummy1 | activity: Send | function(), function()
     1 | arrival: dummy1 | activity: Trap | [signal], 0 paths
     1 | arrival: dummy1 | activity: Seize | res, 1, 0 paths
     1 | resource: res | arrival: dummy1 | ENQUEUE
     2 | arrival: dummy2 | activity: Send | function(), function()
     2 | arrival: dummy2 | activity: Trap | [signal], 0 paths
     2 | arrival: dummy2 | activity: Seize | res, 1, 0 paths
     2 | resource: res | arrival: dummy2 | ENQUEUE
     3 | task: Broadcast | : |
     3 | task: Handler | : |
     3 | task: Handler | : |
     3 | task: Handler | : |
     3 | arrival: dummy0 | activity: Timeout | 1
     4 | arrival: dummy0 | activity: Release | res, 1
     4 | resource: res | arrival: dummy0 | DEPART
     4 | task: Post-Release | : |
     4 | resource: res | arrival: dummy1 | SERVE
     4 | arrival: dummy1 | activity: Timeout | 10
     4 | task: Broadcast | : |
     4 | task: Handler | : |
     4 | task: Handler | : |
     4 | arrival: dummy1 | activity: Timeout | 1
     5 | arrival: dummy1 | activity: Release | res, 1
     5 | resource: res | arrival: dummy1 | DEPART
     5 | task: Post-Release | : |
     5 | resource: res | arrival: dummy2 | SERVE
     5 | arrival: dummy2 | activity: Timeout | 10
     5 | task: Broadcast | : |
     5 | task: Handler | : |
     5 | arrival: dummy2 | activity: Timeout | 1
     6 | arrival: dummy2 | activity: Release | res, 1
     6 | resource: res | arrival: dummy2 | DEPART
     6 | task: Post-Release | : |
     0 | source: dummy | new: dummy0 | 0
     0 | source: dummy | new: dummy1 | 1
     0 | source: dummy | new: dummy2 | 2
     0 | arrival: dummy0 | activity: Send | [signal], 3
     0 | arrival: dummy0 | activity: Trap | [signal], 0 paths
     0 | arrival: dummy0 | activity: Batch | 1, 0, 0,
     0 | arrival: batch0 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: batch0 | SERVE
     0 | arrival: batch0 | activity: Wait |
     1 | arrival: dummy1 | activity: Send | [signal], 3
     1 | arrival: dummy1 | activity: Trap | [signal], 0 paths
     1 | arrival: dummy1 | activity: Batch | 1, 0, 0,
     1 | arrival: batch1 | activity: Seize | res, 1, 0 paths
     1 | resource: res | arrival: batch1 | ENQUEUE
     2 | arrival: dummy2 | activity: Send | [signal], 3
     2 | arrival: dummy2 | activity: Trap | [signal], 0 paths
     2 | arrival: dummy2 | activity: Batch | 1, 0, 0,
     2 | arrival: batch2 | activity: Seize | res, 1, 0 paths
     2 | resource: res | arrival: batch2 | ENQUEUE
     3 | task: Broadcast | : |
     3 | task: Handler | : |
     3 | task: Handler | : |
     3 | task: Handler | : |
     4 | task: Broadcast | : |
     4 | task: Handler | : |
     4 | task: Handler | : |
     4 | task: Handler | : |
     5 | task: Broadcast | : |
     5 | task: Handler | : |
     5 | task: Handler | : |
     5 | task: Handler | : |
     0 | source: dummy | new: dummy0 | 0
     0 | source: dummy | new: dummy1 | 1
     0 | source: dummy | new: dummy2 | 2
     0 | arrival: dummy0 | activity: Send | [signal], 3
     0 | arrival: dummy0 | activity: Trap | [signal], 0 paths
     0 | arrival: dummy0 | activity: Batch | 1, 0, 0,
     0 | arrival: batch0 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: batch0 | SERVE
     0 | arrival: batch0 | activity: Timeout | 10
     1 | arrival: dummy1 | activity: Send | [signal], 3
     1 | arrival: dummy1 | activity: Trap | [signal], 0 paths
     1 | arrival: dummy1 | activity: Batch | 1, 0, 0,
     1 | arrival: batch1 | activity: Seize | res, 1, 0 paths
     1 | resource: res | arrival: batch1 | ENQUEUE
     2 | arrival: dummy2 | activity: Send | [signal], 3
     2 | arrival: dummy2 | activity: Trap | [signal], 0 paths
     2 | arrival: dummy2 | activity: Batch | 1, 0, 0,
     2 | arrival: batch2 | activity: Seize | res, 1, 0 paths
     2 | resource: res | arrival: batch2 | ENQUEUE
     3 | task: Broadcast | : |
     3 | task: Handler | : |
     3 | task: Handler | : |
     3 | task: Handler | : |
     4 | task: Broadcast | : |
     4 | task: Handler | : |
     4 | task: Handler | : |
     4 | task: Handler | : |
     5 | task: Broadcast | : |
     5 | task: Handler | : |
     5 | task: Handler | : |
     5 | task: Handler | : |
     10 | arrival: batch0 | activity: Timeout | 1
     11 | arrival: batch0 | activity: Release | res, 1
     11 | resource: res | arrival: batch0 | DEPART
     11 | task: Post-Release | : |
     11 | resource: res | arrival: batch1 | SERVE
     11 | arrival: batch1 | activity: Timeout | 10
     21 | arrival: batch1 | activity: Timeout | 1
     22 | arrival: batch1 | activity: Release | res, 1
     22 | resource: res | arrival: batch1 | DEPART
     22 | task: Post-Release | : |
     22 | resource: res | arrival: batch2 | SERVE
     22 | arrival: batch2 | activity: Timeout | 10
     32 | arrival: batch2 | activity: Timeout | 1
     33 | arrival: batch2 | activity: Release | res, 1
     33 | resource: res | arrival: batch2 | DEPART
     33 | task: Post-Release | : |
     0 | source: dummy | new: dummy0 | 0
     0 | source: dummy | new: dummy1 | 1
     0 | source: dummy | new: dummy2 | 2
     0 | arrival: dummy0 | activity: Send | [signal], 3
     0 | arrival: dummy0 | activity: Trap | [signal], 1 paths
     0 | arrival: dummy0 | activity: Wait |
     1 | arrival: dummy1 | activity: Send | [signal], 3
     1 | arrival: dummy1 | activity: Trap | [signal], 1 paths
     1 | arrival: dummy1 | activity: Wait |
     2 | arrival: dummy2 | activity: Send | [signal], 3
     2 | arrival: dummy2 | activity: Trap | [signal], 1 paths
     2 | arrival: dummy2 | activity: Wait |
     3 | task: Broadcast | : |
     3 | task: Handler | : |
     3 | task: Handler | : |
     3 | task: Handler | : |
     3 | arrival: dummy0 | activity: Timeout | 3
     3 | arrival: dummy1 | activity: Timeout | 3
     3 | arrival: dummy2 | activity: Timeout | 3
     4 | task: Broadcast | : |
     4 | task: Handler | : |
     4 | task: Handler | : |
     4 | task: Handler | : |
     4 | arrival: dummy0 | activity: Timeout | 3
     4 | arrival: dummy1 | activity: Timeout | 3
     4 | arrival: dummy2 | activity: Timeout | 3
     5 | task: Broadcast | : |
     5 | task: Handler | : |
     5 | task: Handler | : |
     5 | task: Handler | : |
     5 | arrival: dummy0 | activity: Timeout | 3
     5 | arrival: dummy1 | activity: Timeout | 3
     5 | arrival: dummy2 | activity: Timeout | 3
     8 | arrival: dummy0 | activity: Timeout | 1
     8 | arrival: dummy1 | activity: Timeout | 1
     8 | arrival: dummy2 | activity: Timeout | 1
     0 | source: dummy | new: dummy0 | 0
     0 | source: dummy | new: dummy1 | 1
     0 | source: dummy | new: dummy2 | 2
     0 | arrival: dummy0 | activity: Send | [signal], 3
     0 | arrival: dummy0 | activity: Trap | [signal], 1 paths
     0 | arrival: dummy0 | activity: Wait |
     1 | arrival: dummy1 | activity: Send | [signal], 3
     1 | arrival: dummy1 | activity: Trap | [signal], 1 paths
     1 | arrival: dummy1 | activity: Wait |
     2 | arrival: dummy2 | activity: Send | [signal], 3
     2 | arrival: dummy2 | activity: Trap | [signal], 1 paths
     2 | arrival: dummy2 | activity: Wait |
     3 | task: Broadcast | : |
     3 | task: Handler | : |
     3 | task: Handler | : |
     3 | task: Handler | : |
     3 | arrival: dummy0 | activity: Timeout | 3
     3 | arrival: dummy1 | activity: Timeout | 3
     3 | arrival: dummy2 | activity: Timeout | 3
     4 | task: Broadcast | : |
     5 | task: Broadcast | : |
     6 | arrival: dummy0 | activity: Trap | [signal], 1 paths
     6 | arrival: dummy1 | activity: Trap | [signal], 1 paths
     6 | arrival: dummy2 | activity: Trap | [signal], 1 paths
     6 | arrival: dummy0 | activity: Timeout | 1
     6 | arrival: dummy1 | activity: Timeout | 1
     6 | arrival: dummy2 | activity: Timeout | 1
     0 | source: dummy | new: dummy0 | 0
     0 | source: dummy | new: dummy1 | 1
     0 | source: dummy | new: dummy2 | 2
     0 | arrival: dummy0 | activity: Send | function(), 3
     0 | arrival: dummy0 | activity: Trap | function(), 1 paths
     0 | arrival: dummy0 | activity: Timeout | 10
     1 | arrival: dummy1 | activity: Send | function(), 3
     1 | arrival: dummy1 | activity: Trap | function(), 1 paths
     1 | arrival: dummy1 | activity: Timeout | 10
     2 | arrival: dummy2 | activity: Send | function(), 3
     2 | arrival: dummy2 | activity: Trap | function(), 1 paths
     2 | arrival: dummy2 | activity: Timeout | 10
     3 | task: Broadcast | : |
     3 | task: Handler | : |
     3 | task: Handler | : |
     3 | task: Handler | : |
     3 | arrival: dummy0 | activity: Timeout | 3
     3 | arrival: dummy1 | activity: Timeout | 3
     3 | arrival: dummy2 | activity: Timeout | 3
     4 | task: Broadcast | : |
     4 | task: Handler | : |
     4 | task: Handler | : |
     4 | task: Handler | : |
     4 | arrival: dummy0 | activity: Timeout | 3
     4 | arrival: dummy1 | activity: Timeout | 3
     4 | arrival: dummy2 | activity: Timeout | 3
     5 | task: Broadcast | : |
     5 | task: Handler | : |
     5 | task: Handler | : |
     5 | task: Handler | : |
     5 | arrival: dummy0 | activity: Timeout | 3
     5 | arrival: dummy1 | activity: Timeout | 3
     5 | arrival: dummy2 | activity: Timeout | 3
     8 | arrival: dummy0 | activity: Timeout | 1
     8 | arrival: dummy1 | activity: Timeout | 1
     8 | arrival: dummy2 | activity: Timeout | 1
     0 | source: dummy | new: dummy0 | 0
     0 | source: dummy | new: dummy1 | 1
     0 | source: dummy | new: dummy2 | 2
     0 | arrival: dummy0 | activity: Send | function(), 3
     0 | arrival: dummy0 | activity: Trap | function(), 1 paths
     0 | arrival: dummy0 | activity: Timeout | 10
     1 | arrival: dummy1 | activity: Send | function(), 3
     1 | arrival: dummy1 | activity: Trap | function(), 1 paths
     1 | arrival: dummy1 | activity: Timeout | 10
     2 | arrival: dummy2 | activity: Send | function(), 3
     2 | arrival: dummy2 | activity: Trap | function(), 1 paths
     2 | arrival: dummy2 | activity: Timeout | 10
     3 | task: Broadcast | : |
     3 | task: Handler | : |
     3 | task: Handler | : |
     3 | task: Handler | : |
     3 | arrival: dummy0 | activity: Timeout | 3
     3 | arrival: dummy1 | activity: Timeout | 3
     3 | arrival: dummy2 | activity: Timeout | 3
     4 | task: Broadcast | : |
     5 | task: Broadcast | : |
     6 | arrival: dummy0 | activity: Trap | function(), 1 paths
     6 | arrival: dummy1 | activity: Trap | function(), 1 paths
     6 | arrival: dummy2 | activity: Trap | function(), 1 paths
     6 | arrival: dummy0 | activity: Timeout | 1
     6 | arrival: dummy1 | activity: Timeout | 1
     6 | arrival: dummy2 | activity: Timeout | 1
     0 | source: dummy | new: dummy0 | 0
     0 | source: dummy | new: dummy1 | 1
     0 | source: dummy | new: dummy2 | 2
     0 | arrival: dummy0 | activity: Send | [signal], function()
     0 | arrival: dummy0 | activity: Trap | [signal], 1 paths
     0 | arrival: dummy0 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: dummy0 | SERVE
     0 | arrival: dummy0 | activity: Wait |
     1 | arrival: dummy1 | activity: Send | [signal], function()
     1 | arrival: dummy1 | activity: Trap | [signal], 1 paths
     1 | arrival: dummy1 | activity: Seize | res, 1, 0 paths
     1 | resource: res | arrival: dummy1 | ENQUEUE
     2 | arrival: dummy2 | activity: Send | [signal], function()
     2 | arrival: dummy2 | activity: Trap | [signal], 1 paths
     2 | arrival: dummy2 | activity: Seize | res, 1, 0 paths
     2 | resource: res | arrival: dummy2 | ENQUEUE
     3 | task: Broadcast | : |
     3 | task: Handler | : |
     3 | task: Handler | : |
     3 | task: Handler | : |
     3 | arrival: dummy0 | activity: Timeout | 1
     4 | arrival: dummy0 | activity: Timeout | 1
     4 | task: Broadcast | : |
     4 | task: Handler | : |
     4 | task: Handler | : |
     4 | task: Handler | : |
     4 | arrival: dummy0 | activity: Timeout | 1
     5 | arrival: dummy0 | activity: Release | res, 1
     5 | resource: res | arrival: dummy0 | DEPART
     5 | task: Post-Release | : |
     5 | resource: res | arrival: dummy1 | SERVE
     5 | arrival: dummy1 | activity: Wait |
     5 | task: Broadcast | : |
     5 | task: Handler | : |
     5 | task: Handler | : |
     5 | arrival: dummy1 | activity: Timeout | 1
     6 | arrival: dummy1 | activity: Timeout | 1
     7 | arrival: dummy1 | activity: Release | res, 1
     7 | resource: res | arrival: dummy1 | DEPART
     7 | task: Post-Release | : |
     7 | resource: res | arrival: dummy2 | SERVE
     7 | arrival: dummy2 | activity: Wait |
     0 | source: dummy | new: dummy0 | 0
     0 | source: dummy | new: dummy1 | 1
     0 | source: dummy | new: dummy2 | 2
     0 | arrival: dummy0 | activity: Send | function(), function()
     0 | arrival: dummy0 | activity: Trap | [signal], 1 paths
     0 | arrival: dummy0 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: dummy0 | SERVE
     0 | arrival: dummy0 | activity: Timeout | 10
     1 | arrival: dummy1 | activity: Send | function(), function()
     1 | arrival: dummy1 | activity: Trap | [signal], 1 paths
     1 | arrival: dummy1 | activity: Seize | res, 1, 0 paths
     1 | resource: res | arrival: dummy1 | ENQUEUE
     2 | arrival: dummy2 | activity: Send | function(), function()
     2 | arrival: dummy2 | activity: Trap | [signal], 1 paths
     2 | arrival: dummy2 | activity: Seize | res, 1, 0 paths
     2 | resource: res | arrival: dummy2 | ENQUEUE
     3 | task: Broadcast | : |
     3 | task: Handler | : |
     3 | task: Handler | : |
     3 | task: Handler | : |
     3 | arrival: dummy0 | activity: Timeout | 1
     4 | arrival: dummy0 | activity: Timeout | 1
     4 | task: Broadcast | : |
     4 | task: Handler | : |
     4 | task: Handler | : |
     4 | task: Handler | : |
     4 | arrival: dummy0 | activity: Timeout | 1
     5 | arrival: dummy0 | activity: Release | res, 1
     5 | resource: res | arrival: dummy0 | DEPART
     5 | task: Post-Release | : |
     5 | resource: res | arrival: dummy1 | SERVE
     5 | arrival: dummy1 | activity: Timeout | 10
     5 | task: Broadcast | : |
     5 | task: Handler | : |
     5 | task: Handler | : |
     5 | arrival: dummy1 | activity: Timeout | 1
     6 | arrival: dummy1 | activity: Timeout | 1
     7 | arrival: dummy1 | activity: Release | res, 1
     7 | resource: res | arrival: dummy1 | DEPART
     7 | task: Post-Release | : |
     7 | resource: res | arrival: dummy2 | SERVE
     7 | arrival: dummy2 | activity: Timeout | 10
     17 | arrival: dummy2 | activity: Timeout | 1
     18 | arrival: dummy2 | activity: Release | res, 1
     18 | resource: res | arrival: dummy2 | DEPART
     18 | task: Post-Release | : |
     0 | source: dummy | new: dummy0 | 0
     0 | source: dummy | new: dummy1 | 0
     0 | source: dummy | new: dummy2 | 0
     0 | arrival: dummy0 | activity: Send | [signal], 0
     0 | arrival: dummy1 | activity: Send | [signal], 0
     0 | arrival: dummy2 | activity: Send | [signal], 0
     0 | task: Broadcast | : |
     0 | task: Broadcast | : |
     0 | task: Broadcast | : |
     0 | arrival: dummy0 | activity: Trap | [signal], 0 paths
     0 | arrival: dummy1 | activity: Trap | [signal], 0 paths
     0 | arrival: dummy2 | activity: Trap | [signal], 0 paths
     0 | arrival: dummy0 | activity: Timeout | 1
     0 | arrival: dummy1 | activity: Timeout | 1
     0 | arrival: dummy2 | activity: Timeout | 1
     0 | source: dummy | new: dummy0 | 0
     0 | source: dummy | new: dummy1 | 0
     0 | source: dummy | new: dummy2 | 0
     0 | arrival: dummy0 | activity: Trap | [signal], 0 paths
     0 | arrival: dummy0 | activity: Send | [signal], 0
     0 | task: Broadcast | : |
     0 | arrival: dummy1 | activity: Trap | [signal], 0 paths
     0 | arrival: dummy1 | activity: Send | [signal], 0
     0 | task: Broadcast | : |
     0 | arrival: dummy2 | activity: Trap | [signal], 0 paths
     0 | arrival: dummy2 | activity: Send | [signal], 0
     0 | task: Broadcast | : |
     0 | source: dummy | new: dummy0 | 0
     0 | source: dummy | new: dummy1 | 0
     0 | source: dummy | new: dummy2 | 0
     0 | arrival: dummy0 | activity: Trap | [signal], 0 paths
     0 | arrival: dummy0 | activity: Send | [signal], 0
     0 | task: Broadcast | : |
     0 | task: Handler | : |
     0 | arrival: dummy1 | activity: Trap | [signal], 0 paths
     0 | arrival: dummy1 | activity: Send | [signal], 0
     0 | task: Broadcast | : |
     0 | task: Handler | : |
     0 | task: Handler | : |
     0 | arrival: dummy2 | activity: Trap | [signal], 0 paths
     0 | arrival: dummy2 | activity: Send | [signal], 0
     0 | task: Broadcast | : |
     0 | task: Handler | : |
     0 | task: Handler | : |
     0 | task: Handler | : |
     0 | arrival: dummy0 | activity: Timeout | 1
     0 | arrival: dummy1 | activity: Timeout | 1
     0 | arrival: dummy2 | activity: Timeout | 1
     0 | source: asdf | new: asdf0 | 0
     0 | source: asdf | new: asdf1 | 0
     0 | source: asdf | new: asdf2 | 0
     0 | source: asdf | new: asdf3 | 0
     0 | source: asdf | new: asdf4 | 0
     0 | source: asdf | new: asdf5 | 0
     0 | source: asdf | new: asdf6 | 0
     0 | source: asdf | new: asdf7 | 0
     0 | source: asdf | new: asdf8 | 0
     0 | source: asdf | new: asdf9 | 0
     0 | arrival: asdf0 | activity: SetCapacity | dummy, 0, N
     0 | arrival: asdf0 | activity: SetCapacity | dummy, 1, +
     0 | arrival: asdf0 | activity: SetCapacity | dummy, 3, *
     0 | arrival: asdf0 | activity: SetCapacity | dummy, function(), N
     0 | arrival: asdf0 | activity: SetCapacity | dummy, 1, +
     0 | arrival: asdf0 | activity: SetQueue | dummy, inf, N
     0 | arrival: asdf0 | activity: SetQueue | dummy, 3, *
     0 | arrival: asdf0 | activity: SetQueue | dummy, function(), N
     0 | arrival: asdf0 | activity: SetQueue | dummy, 5, N
     0 | arrival: asdf0 | activity: SetQueue | dummy, 1, +
     0 | arrival: asdf0 | activity: SetQueue | dummy, 3, *
     0 | arrival: asdf0 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: asdf0 | SERVE
     0 | resource: dummy | arrival: asdf0 | DEPART
     0 | arrival: asdf1 | activity: SetCapacity | dummy, 0, N
     0 | arrival: asdf1 | activity: SetCapacity | dummy, 1, +
     0 | arrival: asdf1 | activity: SetCapacity | dummy, 3, *
     0 | arrival: asdf1 | activity: SetCapacity | dummy, function(), N
     0 | arrival: asdf1 | activity: SetCapacity | dummy, 1, +
     0 | arrival: asdf1 | activity: SetQueue | dummy, inf, N
     0 | arrival: asdf1 | activity: SetQueue | dummy, 3, *
     0 | arrival: asdf1 | activity: SetQueue | dummy, function(), N
     0 | arrival: asdf1 | activity: SetQueue | dummy, 5, N
     0 | arrival: asdf1 | activity: SetQueue | dummy, 1, +
     0 | arrival: asdf1 | activity: SetQueue | dummy, 3, *
     0 | arrival: asdf1 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: asdf1 | SERVE
     0 | resource: dummy | arrival: asdf1 | DEPART
     0 | arrival: asdf2 | activity: SetCapacity | dummy, 0, N
     0 | arrival: asdf2 | activity: SetCapacity | dummy, 1, +
     0 | arrival: asdf2 | activity: SetCapacity | dummy, 3, *
     0 | arrival: asdf2 | activity: SetCapacity | dummy, function(), N
     0 | arrival: asdf2 | activity: SetCapacity | dummy, 1, +
     0 | arrival: asdf2 | activity: SetQueue | dummy, inf, N
     0 | arrival: asdf2 | activity: SetQueue | dummy, 3, *
     0 | arrival: asdf2 | activity: SetQueue | dummy, function(), N
     0 | arrival: asdf2 | activity: SetQueue | dummy, 5, N
     0 | arrival: asdf2 | activity: SetQueue | dummy, 1, +
     0 | arrival: asdf2 | activity: SetQueue | dummy, 3, *
     0 | arrival: asdf2 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: asdf2 | SERVE
     0 | resource: dummy | arrival: asdf2 | DEPART
     0 | arrival: asdf3 | activity: SetCapacity | dummy, 0, N
     0 | arrival: asdf3 | activity: SetCapacity | dummy, 1, +
     0 | arrival: asdf3 | activity: SetCapacity | dummy, 3, *
     0 | arrival: asdf3 | activity: SetCapacity | dummy, function(), N
     0 | arrival: asdf3 | activity: SetCapacity | dummy, 1, +
     0 | arrival: asdf3 | activity: SetQueue | dummy, inf, N
     0 | arrival: asdf3 | activity: SetQueue | dummy, 3, *
     0 | arrival: asdf3 | activity: SetQueue | dummy, function(), N
     0 | arrival: asdf3 | activity: SetQueue | dummy, 5, N
     0 | arrival: asdf3 | activity: SetQueue | dummy, 1, +
     0 | arrival: asdf3 | activity: SetQueue | dummy, 3, *
     0 | arrival: asdf3 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: asdf3 | SERVE
     0 | resource: dummy | arrival: asdf3 | DEPART
     0 | arrival: asdf4 | activity: SetCapacity | dummy, 0, N
     0 | arrival: asdf4 | activity: SetCapacity | dummy, 1, +
     0 | arrival: asdf4 | activity: SetCapacity | dummy, 3, *
     0 | arrival: asdf4 | activity: SetCapacity | dummy, function(), N
     0 | arrival: asdf4 | activity: SetCapacity | dummy, 1, +
     0 | arrival: asdf4 | activity: SetQueue | dummy, inf, N
     0 | arrival: asdf4 | activity: SetQueue | dummy, 3, *
     0 | arrival: asdf4 | activity: SetQueue | dummy, function(), N
     0 | arrival: asdf4 | activity: SetQueue | dummy, 5, N
     0 | arrival: asdf4 | activity: SetQueue | dummy, 1, +
     0 | arrival: asdf4 | activity: SetQueue | dummy, 3, *
     0 | arrival: asdf4 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: asdf4 | SERVE
     0 | resource: dummy | arrival: asdf4 | DEPART
     0 | arrival: asdf5 | activity: SetCapacity | dummy, 0, N
     0 | arrival: asdf5 | activity: SetCapacity | dummy, 1, +
     0 | arrival: asdf5 | activity: SetCapacity | dummy, 3, *
     0 | arrival: asdf5 | activity: SetCapacity | dummy, function(), N
     0 | arrival: asdf5 | activity: SetCapacity | dummy, 1, +
     0 | arrival: asdf5 | activity: SetQueue | dummy, inf, N
     0 | arrival: asdf5 | activity: SetQueue | dummy, 3, *
     0 | arrival: asdf5 | activity: SetQueue | dummy, function(), N
     0 | arrival: asdf5 | activity: SetQueue | dummy, 5, N
     0 | arrival: asdf5 | activity: SetQueue | dummy, 1, +
     0 | arrival: asdf5 | activity: SetQueue | dummy, 3, *
     0 | arrival: asdf5 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: asdf5 | SERVE
     0 | resource: dummy | arrival: asdf5 | DEPART
     0 | arrival: asdf6 | activity: SetCapacity | dummy, 0, N
     0 | arrival: asdf6 | activity: SetCapacity | dummy, 1, +
     0 | arrival: asdf6 | activity: SetCapacity | dummy, 3, *
     0 | arrival: asdf6 | activity: SetCapacity | dummy, function(), N
     0 | arrival: asdf6 | activity: SetCapacity | dummy, 1, +
     0 | arrival: asdf6 | activity: SetQueue | dummy, inf, N
     0 | arrival: asdf6 | activity: SetQueue | dummy, 3, *
     0 | arrival: asdf6 | activity: SetQueue | dummy, function(), N
     0 | arrival: asdf6 | activity: SetQueue | dummy, 5, N
     0 | arrival: asdf6 | activity: SetQueue | dummy, 1, +
     0 | arrival: asdf6 | activity: SetQueue | dummy, 3, *
     0 | arrival: asdf6 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: asdf6 | SERVE
     0 | resource: dummy | arrival: asdf6 | DEPART
     0 | arrival: asdf7 | activity: SetCapacity | dummy, 0, N
     0 | arrival: asdf7 | activity: SetCapacity | dummy, 1, +
     0 | arrival: asdf7 | activity: SetCapacity | dummy, 3, *
     0 | arrival: asdf7 | activity: SetCapacity | dummy, function(), N
     0 | arrival: asdf7 | activity: SetCapacity | dummy, 1, +
     0 | arrival: asdf7 | activity: SetQueue | dummy, inf, N
     0 | arrival: asdf7 | activity: SetQueue | dummy, 3, *
     0 | arrival: asdf7 | activity: SetQueue | dummy, function(), N
     0 | arrival: asdf7 | activity: SetQueue | dummy, 5, N
     0 | arrival: asdf7 | activity: SetQueue | dummy, 1, +
     0 | arrival: asdf7 | activity: SetQueue | dummy, 3, *
     0 | arrival: asdf7 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: asdf7 | SERVE
     0 | resource: dummy | arrival: asdf7 | DEPART
     0 | arrival: asdf8 | activity: SetCapacity | dummy, 0, N
     0 | arrival: asdf8 | activity: SetCapacity | dummy, 1, +
     0 | arrival: asdf8 | activity: SetCapacity | dummy, 3, *
     0 | arrival: asdf8 | activity: SetCapacity | dummy, function(), N
     0 | arrival: asdf8 | activity: SetCapacity | dummy, 1, +
     0 | arrival: asdf8 | activity: SetQueue | dummy, inf, N
     0 | arrival: asdf8 | activity: SetQueue | dummy, 3, *
     0 | arrival: asdf8 | activity: SetQueue | dummy, function(), N
     0 | arrival: asdf8 | activity: SetQueue | dummy, 5, N
     0 | arrival: asdf8 | activity: SetQueue | dummy, 1, +
     0 | arrival: asdf8 | activity: SetQueue | dummy, 3, *
     0 | arrival: asdf8 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: asdf8 | SERVE
     0 | resource: dummy | arrival: asdf8 | DEPART
     0 | arrival: asdf9 | activity: SetCapacity | dummy, 0, N
     0 | arrival: asdf9 | activity: SetCapacity | dummy, 1, +
     0 | arrival: asdf9 | activity: SetCapacity | dummy, 3, *
     0 | arrival: asdf9 | activity: SetCapacity | dummy, function(), N
     0 | arrival: asdf9 | activity: SetCapacity | dummy, 1, +
     0 | arrival: asdf9 | activity: SetQueue | dummy, inf, N
     0 | arrival: asdf9 | activity: SetQueue | dummy, 3, *
     0 | arrival: asdf9 | activity: SetQueue | dummy, function(), N
     0 | arrival: asdf9 | activity: SetQueue | dummy, 5, N
     0 | arrival: asdf9 | activity: SetQueue | dummy, 1, +
     0 | arrival: asdf9 | activity: SetQueue | dummy, 3, *
     0 | arrival: asdf9 | activity: Seize | dummy, 1, 0 paths
     0 | resource: dummy | arrival: asdf9 | SERVE
     0 | resource: dummy | arrival: asdf9 | DEPART
     0 | source: asdf | new: asdf0 | 0
     0 | arrival: asdf0 | activity: Seize | dummy0, 2, 0 paths
     0 | resource: dummy0 | arrival: asdf0 | SERVE
     0 | arrival: asdf0 | activity: Seize | dummy1, 3, 0 paths
     0 | resource: dummy1 | arrival: asdf0 | SERVE
     0 | arrival: asdf0 | activity: Select | [dummy0], shortest-queue
     0 | arrival: asdf0 | activity: Select | function(), shortest-queue
     0 | arrival: asdf0 | activity: SetCapacity | [], 0, N
     0 | arrival: asdf0 | activity: SetCapacity | [], function(), N
     0 | arrival: asdf0 | activity: SetQueue | [], inf, N
     0 | arrival: asdf0 | activity: SetQueue | [], function(), N
     0 | source: dummy | new: dummy0 | 0
     0 | arrival: dummy0 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: dummy0 | SERVE
     0 | arrival: dummy0 | activity: Timeout | 10
     0 | source: drop | new: drop0 | 1
     1 | arrival: drop0 | activity: SetCapacity | res, 0, N
     1 | resource: res | arrival: dummy0 | PREEMPT
     0 | source: dummy | new: dummy0 | 0
     0 | source: dummy | new: dummy1 | 0
     0 | source: dummy | new: dummy2 | 0
     0 | arrival: dummy0 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: dummy0 | ENQUEUE
     0 | arrival: dummy1 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: dummy1 | ENQUEUE
     0 | arrival: dummy2 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: dummy2 | ENQUEUE
     0 | source: drop | new: drop0 | 1
     1 | arrival: drop0 | activity: SetQueue | res, 0, N
     0 | source: dummy | new: dummy0 | 0
     0 | source: dummy | new: dummy1 | 0
     0 | source: dummy | new: dummy2 | 0
     0 | arrival: dummy0 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: dummy0 | ENQUEUE
     0 | arrival: dummy1 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: dummy1 | ENQUEUE
     0 | arrival: dummy2 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: dummy2 | ENQUEUE
     0 | source: drop | new: drop0 | 1
     1 | arrival: drop0 | activity: SetQueue | res, 0, N
     0 | source: dummy | new: dummy0 | 0
     0 | source: dummy | new: dummy1 | 0
     0 | source: dummy | new: dummy2 | 0
     0 | arrival: dummy0 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: dummy0 | ENQUEUE
     0 | arrival: dummy1 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: dummy1 | ENQUEUE
     0 | arrival: dummy2 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: dummy2 | ENQUEUE
     0 | source: drop | new: drop0 | 1
     1 | arrival: drop0 | activity: SetQueue | res, 0, N
     1 | resource: res | arrival: dummy2 | REJECT
     1 | resource: res | arrival: dummy1 | REJECT
     1 | resource: res | arrival: dummy0 | REJECT
     0 | source: dummy | new: dummy0 | 0
     0 | source: dummy | new: dummy1 | 0
     0 | source: dummy | new: dummy2 | 0
     0 | arrival: dummy0 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: dummy0 | ENQUEUE
     0 | arrival: dummy1 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: dummy1 | ENQUEUE
     0 | arrival: dummy2 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: dummy2 | ENQUEUE
     0 | source: drop | new: drop0 | 1
     1 | arrival: drop0 | activity: SetQueue | res, 0, N
     1 | resource: res | arrival: dummy2 | REJECT
     1 | resource: res | arrival: dummy1 | REJECT
     1 | resource: res | arrival: dummy0 | REJECT
     0 | source: dummy | new: dummy0 | 0
     0 | arrival: dummy0 | activity: Seize | res, 1, 0 paths
     0 | resource: res | arrival: dummy0 | SERVE
     0 | arrival: dummy0 | activity: SetCapacity | res, 0, N
     0 | resource: res | arrival: dummy0 | PREEMPT
     0 | source: dummy_gen | new: dummy_gen0 | 1
     0 | source: dummy_df | new: dummy_df0 | 1
     1 | arrival: dummy_gen0 | activity: SetTraj | dummy_gen, function()
     1 | arrival: dummy_gen0 | activity: SetTraj | dummy_df, function()
     1 | arrival: dummy_gen0 | activity: Timeout | 4
     1 | arrival: dummy_df0 | activity: SetTraj | dummy_gen, function()
     1 | arrival: dummy_df0 | activity: SetTraj | dummy_df, function()
     1 | arrival: dummy_df0 | activity: Timeout | 4
     1 | source: dummy_gen | new: dummy_gen1 | 2
     1 | source: dummy_df | new: dummy_df1 | 2
     2 | arrival: dummy_gen1 | activity: Timeout | 2
     2 | arrival: dummy_df1 | activity: Timeout | 2
     2 | source: dummy_gen | new: dummy_gen2 | 3
     2 | source: dummy_df | new: dummy_df2 | 3
     3 | arrival: dummy_gen2 | activity: Timeout | 2
     3 | arrival: dummy_df2 | activity: Timeout | 2
     3 | source: dummy_gen | new: dummy_gen3 | 4
     3 | source: dummy_df | new: dummy_df3 | 4
     4 | arrival: dummy_gen3 | activity: Timeout | 2
     4 | arrival: dummy_df3 | activity: Timeout | 2
     4 | source: dummy_gen | new: dummy_gen4 | 5
     4 | source: dummy_df | new: dummy_df4 | 5
     5 | arrival: dummy_gen0 | activity: SetTraj | dummy_gen, function()
     5 | arrival: dummy_df0 | activity: SetTraj | dummy_gen, function()
     5 | arrival: dummy_gen0 | activity: SetTraj | dummy_df, function()
     5 | arrival: dummy_df0 | activity: SetTraj | dummy_df, function()
     5 | arrival: dummy_gen4 | activity: Timeout | 2
     5 | arrival: dummy_df4 | activity: Timeout | 2
     5 | source: dummy_gen | new: dummy_gen5 | 6
     5 | source: dummy_df | new: dummy_df5 | 6
     6 | source: dummy_gen | new: dummy_gen6 | 7
     6 | source: dummy_df | new: dummy_df6 | 7
     7 | source: dummy_gen | new: dummy_gen7 | 8
     7 | source: dummy_df | new: dummy_df7 | 8
     8 | source: dummy_gen | new: dummy_gen8 | 9
     8 | source: dummy_df | new: dummy_df8 | 9
     9 | source: dummy_gen | new: dummy_gen9 | 10
     9 | source: dummy_df | new: dummy_df9 | 10
     0 | source: dummy_gen | new: dummy_gen0 | 1
     0 | source: dummy_df | new: dummy_df0 | 1
     1 | arrival: dummy_gen0 | activity: SetSource | dummy_gen, function()
     1 | arrival: dummy_gen0 | activity: SetSource | dummy_df, data.frame
     1 | arrival: dummy_df0 | activity: SetSource | dummy_gen, function()
     1 | arrival: dummy_df0 | activity: SetSource | dummy_df, data.frame
     1 | source: dummy_gen | new: dummy_gen1 | 3
     1 | source: dummy_df | new: dummy_df1 | 3
     3 | arrival: dummy_gen1 | activity: SetSource | dummy_gen, function()
     3 | arrival: dummy_gen1 | activity: SetSource | dummy_df, data.frame
     3 | arrival: dummy_df1 | activity: SetSource | dummy_gen, function()
     3 | arrival: dummy_df1 | activity: SetSource | dummy_df, data.frame
     3 | source: dummy_gen | new: dummy_gen2 | 5
     3 | source: dummy_df | new: dummy_df2 | 5
     5 | arrival: dummy_gen2 | activity: SetSource | dummy_gen, function()
     5 | arrival: dummy_gen2 | activity: SetSource | dummy_df, data.frame
     5 | arrival: dummy_df2 | activity: SetSource | dummy_gen, function()
     5 | arrival: dummy_df2 | activity: SetSource | dummy_df, data.frame
     5 | source: dummy_gen | new: dummy_gen3 | 7
     5 | source: dummy_df | new: dummy_df3 | 7
     7 | arrival: dummy_gen3 | activity: SetSource | dummy_gen, function()
     7 | arrival: dummy_gen3 | activity: SetSource | dummy_df, data.frame
     7 | arrival: dummy_df3 | activity: SetSource | dummy_gen, function()
     7 | arrival: dummy_df3 | activity: SetSource | dummy_df, data.frame
     7 | source: dummy_gen | new: dummy_gen4 | 9
     7 | source: dummy_df | new: dummy_df4 | 9
     9 | arrival: dummy_gen4 | activity: SetSource | dummy_gen, function()
     9 | arrival: dummy_gen4 | activity: SetSource | dummy_df, data.frame
     9 | arrival: dummy_df4 | activity: SetSource | dummy_gen, function()
     9 | arrival: dummy_df4 | activity: SetSource | dummy_df, data.frame
     9 | source: dummy_gen | new: dummy_gen5 | 11
     9 | source: dummy_df | new: dummy_df5 | 11
     0 | source: dummy_gen | new: dummy_gen0 | 2
     0 | source: dummy_df | new: dummy_df0 | 2
     2 | arrival: dummy_gen0 | activity: SetSource | function(), function()
     2 | arrival: dummy_gen0 | activity: SetSource | function(), data.frame
     2 | arrival: dummy_gen0 | activity: SetTraj | dummy_gen, function()
     2 | arrival: dummy_gen0 | activity: SetTraj | dummy_df, function()
     2 | arrival: dummy_gen0 | activity: Timeout | 2
     2 | arrival: dummy_df0 | activity: SetSource | function(), function()
     2 | arrival: dummy_df0 | activity: SetSource | function(), data.frame
     2 | arrival: dummy_df0 | activity: SetTraj | dummy_gen, function()
     2 | arrival: dummy_df0 | activity: SetTraj | dummy_df, function()
     2 | arrival: dummy_df0 | activity: Timeout | 2
     2 | source: dummy_gen | new: dummy_gen1 | 3
     2 | source: dummy_df | new: dummy_df1 | 3
     3 | arrival: dummy_gen1 | activity: Timeout | 1
     3 | arrival: dummy_df1 | activity: Timeout | 1
     3 | source: dummy_gen | new: dummy_gen2 | 4
     3 | source: dummy_df | new: dummy_df2 | 4
     4 | arrival: dummy_gen2 | activity: Timeout | 1
     4 | arrival: dummy_df2 | activity: Timeout | 1
     4 | source: dummy_gen | new: dummy_gen3 | 5
     4 | source: dummy_df | new: dummy_df3 | 5
     5 | arrival: dummy_gen3 | activity: Timeout | 1
     5 | arrival: dummy_df3 | activity: Timeout | 1
     5 | source: dummy_gen | new: dummy_gen4 | 6
     5 | source: dummy_df | new: dummy_df4 | 6
     6 | arrival: dummy_gen4 | activity: Timeout | 1
     6 | arrival: dummy_df4 | activity: Timeout | 1
     6 | source: dummy_gen | new: dummy_gen5 | 7
     6 | source: dummy_df | new: dummy_df5 | 7
     7 | arrival: dummy_gen5 | activity: Timeout | 1
     7 | arrival: dummy_df5 | activity: Timeout | 1
     7 | source: dummy_gen | new: dummy_gen6 | 8
     7 | source: dummy_df | new: dummy_df6 | 8
     8 | arrival: dummy_gen6 | activity: Timeout | 1
     8 | arrival: dummy_df6 | activity: Timeout | 1
     8 | source: dummy_gen | new: dummy_gen7 | 9
     8 | source: dummy_df | new: dummy_df7 | 9
     9 | arrival: dummy_gen7 | activity: Timeout | 1
     9 | arrival: dummy_df7 | activity: Timeout | 1
     9 | source: dummy_gen | new: dummy_gen8 | 10
     9 | source: dummy_df | new: dummy_df8 | 10
     0 | source: dummy_gen | new: dummy_gen0 | 2
     0 | source: dummy_df | new: dummy_df0 | 2
     2 | arrival: dummy_gen0 | activity: SetAttribute | [asdf], [1], 0, N, 0
     2 | arrival: dummy_gen0 | activity: SetSource | dummy_gen, function()
     2 | arrival: dummy_gen0 | activity: SetSource | dummy_df, data.frame
     2 | arrival: dummy_gen0 | activity: SetTraj | function(), function()
     2 | arrival: dummy_gen0 | activity: SetTraj | function(), function()
     2 | arrival: dummy_gen0 | activity: Timeout | 2
     2 | arrival: dummy_df0 | activity: SetAttribute | [asdf], [1], 0, N, 0
     2 | arrival: dummy_df0 | activity: SetSource | dummy_gen, function()
     2 | arrival: dummy_df0 | activity: SetSource | dummy_df, data.frame
     2 | arrival: dummy_df0 | activity: SetTraj | function(), function()
Flavor: r-oldrel-windows-ix86+x86_64