Running under native JVM Choice mode is deterministic Resource type FIFO 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) Southeast has unknown resource type Car 0, priority 6, heading north going straight gets Southeast (0 ms, 0 ns) Southeast has unknown resource type Car 0, priority 6, heading north going straight starts seize of Northeast (0 ms, 0 ns) Southeast has unknown resource type Northeast has unknown resource type Car 0, priority 6, heading north going straight gets Northeast (0 ms, 0 ns) Southeast has unknown resource type Northeast has unknown resource type Car 0, priority 6, heading north going straight proceeds (0 ms, 0 ns) Southeast has unknown resource type Northeast has unknown resource type Car 0, priority 6, heading north going straight begins hold of (16666 ms, 666666 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) Northwest has unknown resource type Car 1, priority 2, heading south going left gets Northwest (0 ms, 0 ns) Northwest has unknown resource type Car 1, priority 2, 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 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) Southwest has unknown resource type Car 2, priority 8, heading east going left gets Southwest (5000 ms, 0 ns) Southwest has unknown resource type 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 (16666 ms, 666666 ns) Southeast has unknown resource type Northeast has unknown resource type Car 0, priority 6, heading north going straight returns from hold of (16666 ms, 666666 ns) (16666 ms, 666666 ns) Southeast has unknown resource type Northeast has unknown resource type Car 0, priority 6, heading north going straight halfway through (16666 ms, 666666 ns) Southeast has unknown resource type Northeast has unknown resource type Car 0, priority 6, heading north going straight releases Southeast (16666 ms, 666666 ns) Southeast is given to Car 2, priority 8, heading east going left (16666 ms, 666666 ns) Northeast has unknown resource type Car 0, priority 6, heading north going straight begins hold of (16666 ms, 666666 ns) (16666 ms, 666666 ns) Southeast has unknown resource type Car 2, priority 8, heading east going left starts seize of Southwest (16666 ms, 666666 ns) Southwest has unknown resource type Southeast has unknown resource type Car 2, priority 8, heading east going left gets Southwest (16666 ms, 666666 ns) Southwest has unknown resource type Southeast has unknown resource type Car 2, priority 8, heading east going left proceeds (16666 ms, 666666 ns) Southwest has unknown resource type Southeast has unknown resource type Car 2, priority 8, heading east going left begins hold of (12500 ms, 0 ns) (29166 ms, 666666 ns) Southwest has unknown resource type Southeast has unknown resource type Car 2, priority 8, heading east going left returns from hold of (12500 ms, 0 ns) (29166 ms, 666666 ns) Southwest has unknown resource type Southeast has unknown resource type Car 2, priority 8, heading east going left one third through (29166 ms, 666666 ns) Southwest has unknown resource type Southeast has unknown resource type Car 2, priority 8, heading east going left releases Southwest (29166 ms, 666666 ns) no one waiting for Southwest (29166 ms, 666666 ns) Southeast has unknown resource type Car 2, priority 8, heading east going left begins hold of (12500 ms, 0 ns) (33333 ms, 333332 ns) Northeast has unknown resource type Car 0, priority 6, heading north going straight returns from hold of (16666 ms, 666666 ns) (33333 ms, 333332 ns) Northeast has unknown resource type Car 0, priority 6, heading north going straight exits (33333 ms, 333332 ns) Northeast has unknown resource type Car 0, priority 6, heading north going straight releases Northeast (33333 ms, 333332 ns) Northeast is given to Car 1, priority 2, heading south going left (33333 ms, 333332 ns) *** Car 0 terminates (33333 ms, 333332 ns) Northeast has unknown resource type Car 1, priority 2, heading south going left starts seize of Northwest (33333 ms, 333332 ns) Northwest has unknown resource type Northeast has unknown resource type Car 1, priority 2, heading south going left gets Northwest (33333 ms, 333332 ns) Northwest has unknown resource type Northeast has unknown resource type Car 1, priority 2, heading south going left proceeds (33333 ms, 333332 ns) Northwest has unknown resource type Northeast has unknown resource type Car 1, priority 2, heading south going left begins hold of (50000 ms, 0 ns) (41666 ms, 666666 ns) Southeast has unknown resource type Car 2, priority 8, heading east going left returns from hold of (12500 ms, 0 ns) (41666 ms, 666666 ns) Southeast has unknown resource type Car 2, priority 8, heading east going left two thirds through (41666 ms, 666666 ns) Southeast has unknown resource type Car 2, priority 8, heading east going left starts seize of Southwest (41666 ms, 666666 ns) Southwest has unknown resource type Southeast has unknown resource type Car 2, priority 8, heading east going left gets Southwest (41666 ms, 666666 ns) Southwest has unknown resource type Southeast has unknown resource type Car 2, priority 8, heading east going left releases Southeast (41666 ms, 666666 ns) no one waiting for Southeast (41666 ms, 666666 ns) Southwest has unknown resource type Car 2, priority 8, heading east going left begins hold of (12500 ms, 0 ns) (54166 ms, 666666 ns) Southwest has unknown resource type Car 2, priority 8, heading east going left returns from hold of (12500 ms, 0 ns) (54166 ms, 666666 ns) Southwest has unknown resource type Car 2, priority 8, heading east going left exits (54166 ms, 666666 ns) Southwest has unknown resource type Car 2, priority 8, heading east going left releases Southwest (54166 ms, 666666 ns) no one waiting for Southwest (54166 ms, 666666 ns) *** Car 2 terminates (83333 ms, 333332 ns) Northwest has unknown resource type Northeast has unknown resource type Car 1, priority 2, heading south going left returns from hold of (50000 ms, 0 ns) (83333 ms, 333332 ns) Northwest has unknown resource type Northeast has unknown resource type Car 1, priority 2, heading south going left one third through (83333 ms, 333332 ns) Northwest has unknown resource type Northeast has unknown resource type Car 1, priority 2, heading south going left releases Northwest (83333 ms, 333332 ns) no one waiting for Northwest (83333 ms, 333332 ns) Northeast has unknown resource type Car 1, priority 2, heading south going left begins hold of (50000 ms, 0 ns) (133333 ms, 333332 ns) Northeast has unknown resource type Car 1, priority 2, heading south going left returns from hold of (50000 ms, 0 ns) (133333 ms, 333332 ns) Northeast has unknown resource type Car 1, priority 2, heading south going left two thirds through (133333 ms, 333332 ns) Northeast has unknown resource type Car 1, priority 2, heading south going left starts seize of Southeast (133333 ms, 333332 ns) Southeast has unknown resource type Northeast has unknown resource type Car 1, priority 2, heading south going left gets Southeast (133333 ms, 333332 ns) Southeast has unknown resource type Northeast has unknown resource type Car 1, priority 2, heading south going left releases Northeast (133333 ms, 333332 ns) no one waiting for Northeast (133333 ms, 333332 ns) Southeast has unknown resource type Car 1, priority 2, heading south going left begins hold of (50000 ms, 0 ns) (183333 ms, 333332 ns) Southeast has unknown resource type Car 1, priority 2, heading south going left returns from hold of (50000 ms, 0 ns) (183333 ms, 333332 ns) Southeast has unknown resource type Car 1, priority 2, heading south going left exits (183333 ms, 333332 ns) Southeast has unknown resource type Car 1, priority 2, heading south going left releases Southeast (183333 ms, 333332 ns) no one waiting for Southeast (183333 ms, 333332 ns) *** Car 1 terminates (183333 ms, 333332 ns) Simulation ends ==================================================================== *** Resource utilization statistics: *** Northeast: busy 72% of elapsed time Northwest: busy 27% of elapsed time Southeast: busy 50% of elapsed time Southwest: busy 13% of elapsed time Thread life times Car 0, priority 6, heading north going straight: life time (33333 ms, 333332 ns), 0% wait time, average priority 6.0 Car 1, priority 2, heading south going left: life time (183333 ms, 333332 ns), 18% wait time, average priority 2.0 Car 2, priority 8, heading east going left: life time (49166 ms, 666666 ns), 21% wait time, average priority 8.0 RealtimeThread 0 (priority 0): life time (5000 ms, 0 ns), 0% wait time, average priority 0.0 70 real milliseconds run time