Running under native JVM
Choice mode is deterministic
Resource type PriorityCeiling, with ceiling 8
Car 0, priority 6, heading north going straight
Car 1, priority 2, heading south going left
Car 2, priority 8, heading east going left
Simulation starts at time (0 ms, 0 ns) under mode deterministic
(0 ms, 0 ns) Car 0, priority 6, heading north going straight approaches intersection
(0 ms, 0 ns) Car 0, priority 6, heading north going straight starts seize of Southeast
(0 ms, 0 ns) >>>> Car 0, priority 8, heading north going straight has priority increased to 8
(0 ms, 0 ns) Car 0, priority 8, heading north going straight gets Southeast
(0 ms, 0 ns) Car 0, priority 8, heading north going straight starts seize of Northeast
(0 ms, 0 ns) Car 0, priority 8, heading north going straight gets Northeast
(0 ms, 0 ns) Car 0, priority 8, heading north going straight proceeds
(0 ms, 0 ns) Car 0, priority 8, heading north going straight begins hold of (12500 ms, 0 ns)
(0 ms, 0 ns) Car 1, priority 2, heading south going left approaches intersection
(0 ms, 0 ns) Car 1, priority 2, heading south going left starts seize of Northwest
(0 ms, 0 ns) >>>> Car 1, priority 8, heading south going left has priority increased to 8
(0 ms, 0 ns) Car 1, priority 8, heading south going left gets Northwest
(0 ms, 0 ns) Car 1, priority 8, heading south going left releases Northwest
(0 ms, 0 ns) no one waiting for Northwest
(0 ms, 0 ns) <<<< Car 1, priority 2, heading south going left has priority reduced to 2
(0 ms, 0 ns) Car 1, priority 2, heading south going left starts seize of Northeast
(0 ms, 0 ns) RealtimeThread 0 (priority 0) begins hold of (5000 ms, 0 ns)
(5000 ms, 0 ns) RealtimeThread 0 (priority 0) returns from hold of (5000 ms, 0 ns)
(5000 ms, 0 ns) *** RealtimeThread 0 terminates
(5000 ms, 0 ns) Car 2, priority 8, heading east going left approaches intersection
(5000 ms, 0 ns) Car 2, priority 8, heading east going left starts seize of Southwest
(5000 ms, 0 ns) Car 2, priority 8, heading east going left gets Southwest
(5000 ms, 0 ns) Car 2, priority 8, heading east going left releases Southwest
(5000 ms, 0 ns) no one waiting for Southwest
(5000 ms, 0 ns) Car 2, priority 8, heading east going left starts seize of Southeast
(12500 ms, 0 ns) Car 0, priority 8, heading north going straight returns from hold of (12500 ms, 0 ns)
(12500 ms, 0 ns) Car 0, priority 8, heading north going straight halfway through
(12500 ms, 0 ns) Car 0, priority 8, heading north going straight releases Southeast
(12500 ms, 0 ns) Southeast is given to Car 2, priority 8, heading east going left
(12500 ms, 0 ns) Car 0, priority 8, heading north going straight begins hold of (12500 ms, 0 ns)
(12500 ms, 0 ns) Car 2, priority 8, heading east going left starts seize of Southwest
(12500 ms, 0 ns) Car 2, priority 8, heading east going left gets Southwest
(12500 ms, 0 ns) Car 2, priority 8, heading east going left proceeds
(12500 ms, 0 ns) Car 2, priority 8, heading east going left begins hold of (12500 ms, 0 ns)
(25000 ms, 0 ns) Car 0, priority 8, heading north going straight returns from hold of (12500 ms, 0 ns)
(25000 ms, 0 ns) Car 0, priority 8, heading north going straight exits
(25000 ms, 0 ns) Car 0, priority 8, heading north going straight releases Northeast
(25000 ms, 0 ns) <<<< Car 0, priority 6, heading north going straight has priority reduced to 6
(25000 ms, 0 ns) >>>> Car 1, priority 8, heading south going left has priority increased to 8
(25000 ms, 0 ns) Northeast is given to Car 1, priority 8, heading south going left
(25000 ms, 0 ns) *** Car 0 terminates
(25000 ms, 0 ns) Car 2, priority 8, heading east going left returns from hold of (12500 ms, 0 ns)
(25000 ms, 0 ns) Car 2, priority 8, heading east going left one third through
(25000 ms, 0 ns) Car 2, priority 8, heading east going left releases Southwest
(25000 ms, 0 ns) no one waiting for Southwest
(25000 ms, 0 ns) Car 2, priority 8, heading east going left begins hold of (12500 ms, 0 ns)
(25000 ms, 0 ns) Car 1, priority 8, heading south going left starts seize of Northwest
(25000 ms, 0 ns) Car 1, priority 8, heading south going left gets Northwest
(25000 ms, 0 ns) Car 1, priority 8, heading south going left proceeds
(25000 ms, 0 ns) Car 1, priority 8, heading south going left begins hold of (12500 ms, 0 ns)
(37500 ms, 0 ns) Car 2, priority 8, heading east going left returns from hold of (12500 ms, 0 ns)
(37500 ms, 0 ns) Car 2, priority 8, heading east going left two thirds through
(37500 ms, 0 ns) Car 2, priority 8, heading east going left starts seize of Southwest
(37500 ms, 0 ns) Car 2, priority 8, heading east going left gets Southwest
(37500 ms, 0 ns) Car 2, priority 8, heading east going left releases Southeast
(37500 ms, 0 ns) no one waiting for Southeast
(37500 ms, 0 ns) Car 2, priority 8, heading east going left begins hold of (12500 ms, 0 ns)
(37500 ms, 0 ns) Car 1, priority 8, heading south going left returns from hold of (12500 ms, 0 ns)
(37500 ms, 0 ns) Car 1, priority 8, heading south going left one third through
(37500 ms, 0 ns) Car 1, priority 8, heading south going left releases Northwest
(37500 ms, 0 ns) no one waiting for Northwest
(37500 ms, 0 ns) Car 1, priority 8, heading south going left begins hold of (12500 ms, 0 ns)
(50000 ms, 0 ns) Car 2, priority 8, heading east going left returns from hold of (12500 ms, 0 ns)
(50000 ms, 0 ns) Car 2, priority 8, heading east going left exits
(50000 ms, 0 ns) Car 2, priority 8, heading east going left releases Southwest
(50000 ms, 0 ns) no one waiting for Southwest
(50000 ms, 0 ns) *** Car 2 terminates
(50000 ms, 0 ns) Car 1, priority 8, heading south going left returns from hold of (12500 ms, 0 ns)
(50000 ms, 0 ns) Car 1, priority 8, heading south going left two thirds through
(50000 ms, 0 ns) Car 1, priority 8, heading south going left starts seize of Southeast
(50000 ms, 0 ns) Car 1, priority 8, heading south going left gets Southeast
(50000 ms, 0 ns) Car 1, priority 8, heading south going left releases Northeast
(50000 ms, 0 ns) no one waiting for Northeast
(50000 ms, 0 ns) Car 1, priority 8, heading south going left begins hold of (12500 ms, 0 ns)
(62500 ms, 0 ns) Car 1, priority 8, heading south going left returns from hold of (12500 ms, 0 ns)
(62500 ms, 0 ns) Car 1, priority 8, heading south going left exits
(62500 ms, 0 ns) Car 1, priority 8, heading south going left releases Southeast
(62500 ms, 0 ns) no one waiting for Southeast
(62500 ms, 0 ns) <<<< Car 1, priority 2, heading south going left has priority reduced to 2
(62500 ms, 0 ns) *** Car 1 terminates
(62500 ms, 0 ns) Simulation ends
====================================================================

*** Resource utilization statistics: ***
Northeast: busy 80% of elapsed time
Northwest: busy 20% of elapsed time
Southeast: busy 80% of elapsed time
Southwest: busy 40% of elapsed time

Thread life times
Car 0, priority 6, heading north going straight: 
  life time (25000 ms, 0 ns), 0% wait time, average priority 6.8
Car 1, priority 2, heading south going left: 
  life time (62500 ms, 0 ns), 40% wait time, average priority 5.6
Car 2, priority 8, heading east going left: 
  life time (45000 ms, 0 ns), 15% wait time, average priority 8.0
RealtimeThread 0 (priority 0): 
  life time (5000 ms, 0 ns), 0% wait time, average priority 0.0
80 real milliseconds run time