Running 'testthat.R' [8s]
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()