CPAL Playground

/* Copyright (C) 2015, RealTime-at-Work, All Rights Reserved
 *
 * You may use, copy, reproduce, and distribute this sample cource code for any non-commercial purpose.
 * Some purposes which can be non-commercial are teaching, academic research,
 * public demonstrations and personal experimentation. You may also distribute this Software
 * with books or other teaching materials, or publish the Software on websites,
 * that are intended to teaching for academic or other non-commercial purposes.
 *
 * In return, we simply require that you agree: 
 * 1. That you will not remove any copyright or other notices from the Software.
 * 2. THAT THE SOFTWARE COMES "AS IS", WITH NO WARRANTIES. THIS MEANS NO EXPRESS, 
 *    IMPLIED OR STATUTORY WARRANTY.
 */ 
/**
 * The classical dining philosopers problem.
 * See http://en.wikipedia.org/wiki/Dining_philosophers_problem
 * Here we will avoid starvation with timing configuration.
 * More precisely one philosopher is desynchronized from others by an offset.
 *
 * @keywords offset; philosophers; annotation, time; annotation, state
 */

/* Fork availability */
var bool: fork1 = true;
var bool: fork2 = true;
var bool: fork3 = true;
var bool: fork4 = true;
var bool: fork5 = true;

processdef Philosopher(
		    in bool: left_fork_available,
		    in bool: right_fork_available,
		    out bool: left_fork_availability,
		    out bool: right_fork_availability)
{

state Thinking {
    IO.println("Thinking");
    @cpal:time{Thinking.execution_time = 10ms;}
  }
  on (left_fork_available) {
    left_fork_availability = false;
  } to Waiting_For_Right_Fork;

state Waiting_For_Right_Fork{
    IO.println("Waiting_For_Right_Fork");
    @cpal:time{Waiting_For_Right_Fork.execution_time = 5ms;}
/*    println("%d %d %d %d %d", fork1, fork2, fork3, fork4, fork5);*/
/*    assert((left_fork_availability == false) or (left_fork_available == false));*/
  }
  on (right_fork_available) {
    right_fork_availability = false;
  } to Eating;

state Eating {
   IO.println("Eating");
    @cpal:time{Eating.execution_time = 50ms;}
/*    assert((left_fork_availability == false) or (left_fork_available == false));
    assert((right_fork_availability == false) or (right_fork_available == false));*/
  }
  after (300ms) {
    right_fork_availability = true;
  } to Putting_Left_Fork;

state Putting_Left_Fork {
    IO.println("Putting_Left_Fork");
    @cpal:time{Putting_Left_Fork.execution_time = 10ms;}
  }
  on (true) {
    left_fork_availability = true;
  } to Thinking;
}

/*cpal:graphviz splines=polyline*/

process Philosopher: p1[100ms, 0ms](fork1, fork2, fork1, fork2);
process Philosopher: p2[100ms, 0ms](fork2, fork3, fork2, fork3);
process Philosopher: p3[100ms, 0ms](fork3, fork4, fork3, fork4);
process Philosopher: p4[100ms, 0ms](fork4, fork5, fork4, fork5);
process Philosopher: p5[100ms, 150ms](fork5, fork1, fork5, fork1);

for ms or try the desktop editor with advanced diagram views

Simulation
Tasks diagram


Quiet mode disabled
[0.000000000000:ASSIGN] Assign cpal_system new value: Scheduling_Policy.FIFO
[0.000000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[0.000000000000:STATE] process "Philosopher", instance "p1", state "Thinking"
[0.000000000000:PRINTLN] Thinking
[0.010000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[0.010000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[0.010000000000:STATE] process "Philosopher", instance "p2", state "Thinking"
[0.010000000000:PRINTLN] Thinking
[0.020000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[0.020000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[0.020000000000:STATE] process "Philosopher", instance "p3", state "Thinking"
[0.020000000000:PRINTLN] Thinking
[0.030000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[0.030000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[0.030000000000:STATE] process "Philosopher", instance "p4", state "Thinking"
[0.030000000000:PRINTLN] Thinking
[0.040000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[0.100000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[0.100000000000:ASSIGN] Assign fork1 new value: false
[0.100000000000:STATE] process "Philosopher", instance "p1", state "Waiting_For_Right_Fork"
[0.100000000000:PRINTLN] Waiting_For_Right_Fork
[0.105000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[0.105000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[0.105000000000:ASSIGN] Assign fork2 new value: false
[0.105000000000:STATE] process "Philosopher", instance "p2", state "Waiting_For_Right_Fork"
[0.105000000000:PRINTLN] Waiting_For_Right_Fork
[0.110000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[0.110000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[0.110000000000:ASSIGN] Assign fork3 new value: false
[0.110000000000:STATE] process "Philosopher", instance "p3", state "Waiting_For_Right_Fork"
[0.110000000000:PRINTLN] Waiting_For_Right_Fork
[0.115000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[0.115000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[0.115000000000:ASSIGN] Assign fork4 new value: false
[0.115000000000:STATE] process "Philosopher", instance "p4", state "Waiting_For_Right_Fork"
[0.115000000000:PRINTLN] Waiting_For_Right_Fork
[0.120000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[0.150000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p5'
[0.150000000000:STATE] process "Philosopher", instance "p5", state "Thinking"
[0.150000000000:PRINTLN] Thinking
[0.160000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p5'
[0.200000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[0.200000000000:PRINTLN] Waiting_For_Right_Fork
[0.205000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[0.205000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[0.205000000000:PRINTLN] Waiting_For_Right_Fork
[0.210000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[0.210000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[0.210000000000:PRINTLN] Waiting_For_Right_Fork
[0.215000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[0.215000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[0.215000000000:ASSIGN] Assign fork5 new value: false
[0.215000000000:STATE] process "Philosopher", instance "p4", state "Eating"
[0.215000000000:PRINTLN] Eating
[0.265000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[0.265000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p5'
[0.265000000000:PRINTLN] Thinking
[0.275000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p5'
[0.300000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[0.300000000000:PRINTLN] Waiting_For_Right_Fork
[0.305000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[0.305000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[0.305000000000:PRINTLN] Waiting_For_Right_Fork
[0.310000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[0.310000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[0.310000000000:PRINTLN] Waiting_For_Right_Fork
[0.315000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[0.315000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[0.315000000000:PRINTLN] Eating
[0.365000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[0.365000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p5'
[0.365000000000:PRINTLN] Thinking
[0.375000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p5'
[0.400000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[0.400000000000:PRINTLN] Waiting_For_Right_Fork
[0.405000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[0.405000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[0.405000000000:PRINTLN] Waiting_For_Right_Fork
[0.410000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[0.410000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[0.410000000000:PRINTLN] Waiting_For_Right_Fork
[0.415000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[0.415000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[0.415000000000:PRINTLN] Eating
[0.465000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[0.465000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p5'
[0.465000000000:PRINTLN] Thinking
[0.475000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p5'
[0.500000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[0.500000000000:PRINTLN] Waiting_For_Right_Fork
[0.505000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[0.505000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[0.505000000000:PRINTLN] Waiting_For_Right_Fork
[0.510000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[0.510000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[0.510000000000:PRINTLN] Waiting_For_Right_Fork
[0.515000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[0.515000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[0.515000000000:STATE] process "Philosopher", instance "p4", transition 1
[0.515000000000:ASSIGN] Assign fork5 new value: true
[0.515000000000:STATE] process "Philosopher", instance "p4", state "Putting_Left_Fork"
[0.515000000000:PRINTLN] Putting_Left_Fork
[0.525000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[0.550000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p5'
[0.550000000000:ASSIGN] Assign fork5 new value: false
[0.550000000000:STATE] process "Philosopher", instance "p5", state "Waiting_For_Right_Fork"
[0.550000000000:PRINTLN] Waiting_For_Right_Fork
[0.555000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p5'
[0.600000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[0.600000000000:PRINTLN] Waiting_For_Right_Fork
[0.605000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[0.605000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[0.605000000000:PRINTLN] Waiting_For_Right_Fork
[0.610000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[0.610000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[0.610000000000:PRINTLN] Waiting_For_Right_Fork
[0.615000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[0.615000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[0.615000000000:ASSIGN] Assign fork4 new value: true
[0.615000000000:STATE] process "Philosopher", instance "p4", state "Thinking"
[0.615000000000:PRINTLN] Thinking
[0.625000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[0.650000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p5'
[0.650000000000:PRINTLN] Waiting_For_Right_Fork
[0.655000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p5'
[0.700000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[0.700000000000:PRINTLN] Waiting_For_Right_Fork
[0.705000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[0.705000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[0.705000000000:PRINTLN] Waiting_For_Right_Fork
[0.710000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[0.710000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[0.710000000000:ASSIGN] Assign fork4 new value: false
[0.710000000000:STATE] process "Philosopher", instance "p3", state "Eating"
[0.710000000000:PRINTLN] Eating
[0.760000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[0.760000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[0.760000000000:PRINTLN] Thinking
[0.770000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[0.770000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p5'
[0.770000000000:PRINTLN] Waiting_For_Right_Fork
[0.775000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p5'
[0.800000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[0.800000000000:PRINTLN] Waiting_For_Right_Fork
[0.805000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[0.805000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[0.805000000000:PRINTLN] Waiting_For_Right_Fork
[0.810000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[0.810000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[0.810000000000:PRINTLN] Eating
[0.860000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[0.860000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[0.860000000000:PRINTLN] Thinking
[0.870000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[0.870000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p5'
[0.870000000000:PRINTLN] Waiting_For_Right_Fork
[0.875000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p5'
[0.900000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[0.900000000000:PRINTLN] Waiting_For_Right_Fork
[0.905000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[0.905000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[0.905000000000:PRINTLN] Waiting_For_Right_Fork
[0.910000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[0.910000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[0.910000000000:PRINTLN] Eating
[0.960000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[0.960000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[0.960000000000:PRINTLN] Thinking
[0.970000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[0.970000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p5'
[0.970000000000:PRINTLN] Waiting_For_Right_Fork
[0.975000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p5'
[1.000000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[1.000000000000:PRINTLN] Waiting_For_Right_Fork
[1.005000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[1.005000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[1.005000000000:PRINTLN] Waiting_For_Right_Fork
[1.010000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[1.010000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[1.010000000000:STATE] process "Philosopher", instance "p3", transition 1
[1.010000000000:ASSIGN] Assign fork4 new value: true
[1.010000000000:STATE] process "Philosopher", instance "p3", state "Putting_Left_Fork"
[1.010000000000:PRINTLN] Putting_Left_Fork
[1.020000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[1.020000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[1.020000000000:ASSIGN] Assign fork4 new value: false
[1.020000000000:STATE] process "Philosopher", instance "p4", state "Waiting_For_Right_Fork"
[1.020000000000:PRINTLN] Waiting_For_Right_Fork
[1.025000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[1.050000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p5'
[1.050000000000:PRINTLN] Waiting_For_Right_Fork
[1.055000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p5'
[1.100000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[1.100000000000:PRINTLN] Waiting_For_Right_Fork
[1.105000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[1.105000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[1.105000000000:PRINTLN] Waiting_For_Right_Fork
[1.110000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[1.110000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[1.110000000000:ASSIGN] Assign fork3 new value: true
[1.110000000000:STATE] process "Philosopher", instance "p3", state "Thinking"
[1.110000000000:PRINTLN] Thinking
[1.120000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[1.120000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[1.120000000000:PRINTLN] Waiting_For_Right_Fork
[1.125000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[1.150000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p5'
[1.150000000000:PRINTLN] Waiting_For_Right_Fork
[1.155000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p5'
[1.200000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[1.200000000000:PRINTLN] Waiting_For_Right_Fork
[1.205000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[1.205000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[1.205000000000:ASSIGN] Assign fork3 new value: false
[1.205000000000:STATE] process "Philosopher", instance "p2", state "Eating"
[1.205000000000:PRINTLN] Eating
[1.255000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[1.255000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[1.255000000000:PRINTLN] Thinking
[1.265000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[1.265000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[1.265000000000:PRINTLN] Waiting_For_Right_Fork
[1.270000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[1.270000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p5'
[1.270000000000:PRINTLN] Waiting_For_Right_Fork
[1.275000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p5'
[1.300000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[1.300000000000:PRINTLN] Waiting_For_Right_Fork
[1.305000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[1.305000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[1.305000000000:PRINTLN] Eating
[1.355000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[1.355000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[1.355000000000:PRINTLN] Thinking
[1.365000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[1.365000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[1.365000000000:PRINTLN] Waiting_For_Right_Fork
[1.370000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[1.370000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p5'
[1.370000000000:PRINTLN] Waiting_For_Right_Fork
[1.375000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p5'
[1.400000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[1.400000000000:PRINTLN] Waiting_For_Right_Fork
[1.405000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[1.405000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[1.405000000000:PRINTLN] Eating
[1.455000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[1.455000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[1.455000000000:PRINTLN] Thinking
[1.465000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[1.465000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[1.465000000000:PRINTLN] Waiting_For_Right_Fork
[1.470000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[1.470000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p5'
[1.470000000000:PRINTLN] Waiting_For_Right_Fork
[1.475000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p5'
[1.500000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[1.500000000000:PRINTLN] Waiting_For_Right_Fork
[1.505000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[1.505000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[1.505000000000:STATE] process "Philosopher", instance "p2", transition 1
[1.505000000000:ASSIGN] Assign fork3 new value: true
[1.505000000000:STATE] process "Philosopher", instance "p2", state "Putting_Left_Fork"
[1.505000000000:PRINTLN] Putting_Left_Fork
[1.515000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[1.515000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[1.515000000000:ASSIGN] Assign fork3 new value: false
[1.515000000000:STATE] process "Philosopher", instance "p3", state "Waiting_For_Right_Fork"
[1.515000000000:PRINTLN] Waiting_For_Right_Fork
[1.520000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[1.520000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[1.520000000000:PRINTLN] Waiting_For_Right_Fork
[1.525000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[1.550000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p5'
[1.550000000000:PRINTLN] Waiting_For_Right_Fork
[1.555000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p5'
[1.600000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[1.600000000000:PRINTLN] Waiting_For_Right_Fork
[1.605000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[1.605000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[1.605000000000:ASSIGN] Assign fork2 new value: true
[1.605000000000:STATE] process "Philosopher", instance "p2", state "Thinking"
[1.605000000000:PRINTLN] Thinking
[1.615000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[1.615000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[1.615000000000:PRINTLN] Waiting_For_Right_Fork
[1.620000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[1.620000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[1.620000000000:PRINTLN] Waiting_For_Right_Fork
[1.625000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[1.650000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p5'
[1.650000000000:PRINTLN] Waiting_For_Right_Fork
[1.655000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p5'
[1.700000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[1.700000000000:ASSIGN] Assign fork2 new value: false
[1.700000000000:STATE] process "Philosopher", instance "p1", state "Eating"
[1.700000000000:PRINTLN] Eating
[1.750000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[1.750000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[1.750000000000:PRINTLN] Thinking
[1.760000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[1.760000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[1.760000000000:PRINTLN] Waiting_For_Right_Fork
[1.765000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[1.765000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[1.765000000000:PRINTLN] Waiting_For_Right_Fork
[1.770000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[1.770000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p5'
[1.770000000000:PRINTLN] Waiting_For_Right_Fork
[1.775000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p5'
[1.800000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[1.800000000000:PRINTLN] Eating
[1.850000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[1.850000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[1.850000000000:PRINTLN] Thinking
[1.860000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[1.860000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[1.860000000000:PRINTLN] Waiting_For_Right_Fork
[1.865000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[1.865000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[1.865000000000:PRINTLN] Waiting_For_Right_Fork
[1.870000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[1.870000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p5'
[1.870000000000:PRINTLN] Waiting_For_Right_Fork
[1.875000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p5'
[1.900000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[1.900000000000:PRINTLN] Eating
[1.950000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[1.950000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[1.950000000000:PRINTLN] Thinking
[1.960000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[1.960000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[1.960000000000:PRINTLN] Waiting_For_Right_Fork
[1.965000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[1.965000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[1.965000000000:PRINTLN] Waiting_For_Right_Fork
[1.970000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[1.970000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p5'
[1.970000000000:PRINTLN] Waiting_For_Right_Fork
[1.975000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p5'
[2.000000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[2.000000000000:STATE] process "Philosopher", instance "p1", transition 1
[2.000000000000:ASSIGN] Assign fork2 new value: true
[2.000000000000:STATE] process "Philosopher", instance "p1", state "Putting_Left_Fork"
[2.000000000000:PRINTLN] Putting_Left_Fork
[2.010000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[2.010000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[2.010000000000:ASSIGN] Assign fork2 new value: false
[2.010000000000:STATE] process "Philosopher", instance "p2", state "Waiting_For_Right_Fork"
[2.010000000000:PRINTLN] Waiting_For_Right_Fork
[2.015000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[2.015000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[2.015000000000:PRINTLN] Waiting_For_Right_Fork
[2.020000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[2.020000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[2.020000000000:PRINTLN] Waiting_For_Right_Fork
[2.025000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[2.050000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p5'
[2.050000000000:PRINTLN] Waiting_For_Right_Fork
[2.055000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p5'
[2.100000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[2.100000000000:ASSIGN] Assign fork1 new value: true
[2.100000000000:STATE] process "Philosopher", instance "p1", state "Thinking"
[2.100000000000:PRINTLN] Thinking
[2.110000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[2.110000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[2.110000000000:PRINTLN] Waiting_For_Right_Fork
[2.115000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[2.115000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[2.115000000000:PRINTLN] Waiting_For_Right_Fork
[2.120000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[2.120000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[2.120000000000:PRINTLN] Waiting_For_Right_Fork
[2.125000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[2.150000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p5'
[2.150000000000:ASSIGN] Assign fork1 new value: false
[2.150000000000:STATE] process "Philosopher", instance "p5", state "Eating"
[2.150000000000:PRINTLN] Eating
[2.200000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p5'
[2.200000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[2.200000000000:PRINTLN] Thinking
[2.210000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[2.210000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[2.210000000000:PRINTLN] Waiting_For_Right_Fork
[2.215000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[2.215000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[2.215000000000:PRINTLN] Waiting_For_Right_Fork
[2.220000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[2.220000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[2.220000000000:PRINTLN] Waiting_For_Right_Fork
[2.225000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[2.250000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p5'
[2.250000000000:PRINTLN] Eating
[2.300000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p5'
[2.300000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[2.300000000000:PRINTLN] Thinking
[2.310000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[2.310000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[2.310000000000:PRINTLN] Waiting_For_Right_Fork
[2.315000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[2.315000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[2.315000000000:PRINTLN] Waiting_For_Right_Fork
[2.320000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[2.320000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[2.320000000000:PRINTLN] Waiting_For_Right_Fork
[2.325000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[2.350000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p5'
[2.350000000000:PRINTLN] Eating
[2.400000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p5'
[2.400000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[2.400000000000:PRINTLN] Thinking
[2.410000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[2.410000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[2.410000000000:PRINTLN] Waiting_For_Right_Fork
[2.415000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[2.415000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[2.415000000000:PRINTLN] Waiting_For_Right_Fork
[2.420000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[2.420000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[2.420000000000:PRINTLN] Waiting_For_Right_Fork
[2.425000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[2.450000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p5'
[2.450000000000:STATE] process "Philosopher", instance "p5", transition 1
[2.450000000000:ASSIGN] Assign fork1 new value: true
[2.450000000000:STATE] process "Philosopher", instance "p5", state "Putting_Left_Fork"
[2.450000000000:PRINTLN] Putting_Left_Fork
[2.460000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p5'
[2.500000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[2.500000000000:ASSIGN] Assign fork1 new value: false
[2.500000000000:STATE] process "Philosopher", instance "p1", state "Waiting_For_Right_Fork"
[2.500000000000:PRINTLN] Waiting_For_Right_Fork
[2.505000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[2.505000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[2.505000000000:PRINTLN] Waiting_For_Right_Fork
[2.510000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[2.510000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[2.510000000000:PRINTLN] Waiting_For_Right_Fork
[2.515000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[2.515000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[2.515000000000:PRINTLN] Waiting_For_Right_Fork
[2.520000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[2.550000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p5'
[2.550000000000:ASSIGN] Assign fork5 new value: true
[2.550000000000:STATE] process "Philosopher", instance "p5", state "Thinking"
[2.550000000000:PRINTLN] Thinking
[2.560000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p5'
[2.600000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[2.600000000000:PRINTLN] Waiting_For_Right_Fork
[2.605000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[2.605000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[2.605000000000:PRINTLN] Waiting_For_Right_Fork
[2.610000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[2.610000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[2.610000000000:PRINTLN] Waiting_For_Right_Fork
[2.615000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[2.615000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[2.615000000000:ASSIGN] Assign fork5 new value: false
[2.615000000000:STATE] process "Philosopher", instance "p4", state "Eating"
[2.615000000000:PRINTLN] Eating
[2.665000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[2.665000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p5'
[2.665000000000:PRINTLN] Thinking
[2.675000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p5'
[2.700000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[2.700000000000:PRINTLN] Waiting_For_Right_Fork
[2.705000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[2.705000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[2.705000000000:PRINTLN] Waiting_For_Right_Fork
[2.710000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[2.710000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[2.710000000000:PRINTLN] Waiting_For_Right_Fork
[2.715000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[2.715000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[2.715000000000:PRINTLN] Eating
[2.765000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[2.765000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p5'
[2.765000000000:PRINTLN] Thinking
[2.775000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p5'
[2.800000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[2.800000000000:PRINTLN] Waiting_For_Right_Fork
[2.805000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[2.805000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[2.805000000000:PRINTLN] Waiting_For_Right_Fork
[2.810000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[2.810000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[2.810000000000:PRINTLN] Waiting_For_Right_Fork
[2.815000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[2.815000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[2.815000000000:PRINTLN] Eating
[2.865000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[2.865000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p5'
[2.865000000000:PRINTLN] Thinking
[2.875000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p5'
[2.900000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[2.900000000000:PRINTLN] Waiting_For_Right_Fork
[2.905000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
[2.905000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p2'
[2.905000000000:PRINTLN] Waiting_For_Right_Fork
[2.910000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p2'
[2.910000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p3'
[2.910000000000:PRINTLN] Waiting_For_Right_Fork
[2.915000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p3'
[2.915000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p4'
[2.915000000000:STATE] process "Philosopher", instance "p4", transition 1
[2.915000000000:ASSIGN] Assign fork5 new value: true
[2.915000000000:STATE] process "Philosopher", instance "p4", state "Putting_Left_Fork"
[2.915000000000:PRINTLN] Putting_Left_Fork
[2.925000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p4'
[2.950000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p5'
[2.950000000000:ASSIGN] Assign fork5 new value: false
[2.950000000000:STATE] process "Philosopher", instance "p5", state "Waiting_For_Right_Fork"
[2.950000000000:PRINTLN] Waiting_For_Right_Fork
[2.955000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p5'
[3.000000000000:dining-philosophers-offsets-annotations:STARTING_TASK] 'p1'
[3.000000000000:PRINTLN] Waiting_For_Right_Fork
[3.005000000000:dining-philosophers-offsets-annotations:TASK_FINISHED] 'p1'
EXIT (SUCCESS) AT 3s5ms (3005000000000)

PID	start	end	name	state
0	0	10000000000	p1	Thinking
1	10000000000	20000000000	p2	Thinking
2	20000000000	30000000000	p3	Thinking
3	30000000000	40000000000	p4	Thinking
0	100000000000	105000000000	p1	Waiting_For_Right_Fork
1	105000000000	110000000000	p2	Waiting_For_Right_Fork
2	110000000000	115000000000	p3	Waiting_For_Right_Fork
3	115000000000	120000000000	p4	Waiting_For_Right_Fork
4	150000000000	160000000000	p5	Thinking
0	200000000000	205000000000	p1	Waiting_For_Right_Fork
1	205000000000	210000000000	p2	Waiting_For_Right_Fork
2	210000000000	215000000000	p3	Waiting_For_Right_Fork
3	215000000000	265000000000	p4	Eating
4	265000000000	275000000000	p5	Thinking
0	300000000000	305000000000	p1	Waiting_For_Right_Fork
1	305000000000	310000000000	p2	Waiting_For_Right_Fork
2	310000000000	315000000000	p3	Waiting_For_Right_Fork
3	315000000000	365000000000	p4	Eating
4	365000000000	375000000000	p5	Thinking
0	400000000000	405000000000	p1	Waiting_For_Right_Fork
1	405000000000	410000000000	p2	Waiting_For_Right_Fork
2	410000000000	415000000000	p3	Waiting_For_Right_Fork
3	415000000000	465000000000	p4	Eating
4	465000000000	475000000000	p5	Thinking
0	500000000000	505000000000	p1	Waiting_For_Right_Fork
1	505000000000	510000000000	p2	Waiting_For_Right_Fork
2	510000000000	515000000000	p3	Waiting_For_Right_Fork
3	515000000000	525000000000	p4	Putting_Left_Fork
4	550000000000	555000000000	p5	Waiting_For_Right_Fork
0	600000000000	605000000000	p1	Waiting_For_Right_Fork
1	605000000000	610000000000	p2	Waiting_For_Right_Fork
2	610000000000	615000000000	p3	Waiting_For_Right_Fork
3	615000000000	625000000000	p4	Thinking
4	650000000000	655000000000	p5	Waiting_For_Right_Fork
0	700000000000	705000000000	p1	Waiting_For_Right_Fork
1	705000000000	710000000000	p2	Waiting_For_Right_Fork
2	710000000000	760000000000	p3	Eating
3	760000000000	770000000000	p4	Thinking
4	770000000000	775000000000	p5	Waiting_For_Right_Fork
0	800000000000	805000000000	p1	Waiting_For_Right_Fork
1	805000000000	810000000000	p2	Waiting_For_Right_Fork
2	810000000000	860000000000	p3	Eating
3	860000000000	870000000000	p4	Thinking
4	870000000000	875000000000	p5	Waiting_For_Right_Fork
0	900000000000	905000000000	p1	Waiting_For_Right_Fork
1	905000000000	910000000000	p2	Waiting_For_Right_Fork
2	910000000000	960000000000	p3	Eating
3	960000000000	970000000000	p4	Thinking
4	970000000000	975000000000	p5	Waiting_For_Right_Fork
0	1000000000000	1005000000000	p1	Waiting_For_Right_Fork
1	1005000000000	1010000000000	p2	Waiting_For_Right_Fork
2	1010000000000	1020000000000	p3	Putting_Left_Fork
3	1020000000000	1025000000000	p4	Waiting_For_Right_Fork
4	1050000000000	1055000000000	p5	Waiting_For_Right_Fork
0	1100000000000	1105000000000	p1	Waiting_For_Right_Fork
1	1105000000000	1110000000000	p2	Waiting_For_Right_Fork
2	1110000000000	1120000000000	p3	Thinking
3	1120000000000	1125000000000	p4	Waiting_For_Right_Fork
4	1150000000000	1155000000000	p5	Waiting_For_Right_Fork
0	1200000000000	1205000000000	p1	Waiting_For_Right_Fork
1	1205000000000	1255000000000	p2	Eating
2	1255000000000	1265000000000	p3	Thinking
3	1265000000000	1270000000000	p4	Waiting_For_Right_Fork
4	1270000000000	1275000000000	p5	Waiting_For_Right_Fork
0	1300000000000	1305000000000	p1	Waiting_For_Right_Fork
1	1305000000000	1355000000000	p2	Eating
2	1355000000000	1365000000000	p3	Thinking
3	1365000000000	1370000000000	p4	Waiting_For_Right_Fork
4	1370000000000	1375000000000	p5	Waiting_For_Right_Fork
0	1400000000000	1405000000000	p1	Waiting_For_Right_Fork
1	1405000000000	1455000000000	p2	Eating
2	1455000000000	1465000000000	p3	Thinking
3	1465000000000	1470000000000	p4	Waiting_For_Right_Fork
4	1470000000000	1475000000000	p5	Waiting_For_Right_Fork
0	1500000000000	1505000000000	p1	Waiting_For_Right_Fork
1	1505000000000	1515000000000	p2	Putting_Left_Fork
2	1515000000000	1520000000000	p3	Waiting_For_Right_Fork
3	1520000000000	1525000000000	p4	Waiting_For_Right_Fork
4	1550000000000	1555000000000	p5	Waiting_For_Right_Fork
0	1600000000000	1605000000000	p1	Waiting_For_Right_Fork
1	1605000000000	1615000000000	p2	Thinking
2	1615000000000	1620000000000	p3	Waiting_For_Right_Fork
3	1620000000000	1625000000000	p4	Waiting_For_Right_Fork
4	1650000000000	1655000000000	p5	Waiting_For_Right_Fork
0	1700000000000	1750000000000	p1	Eating
1	1750000000000	1760000000000	p2	Thinking
2	1760000000000	1765000000000	p3	Waiting_For_Right_Fork
3	1765000000000	1770000000000	p4	Waiting_For_Right_Fork
4	1770000000000	1775000000000	p5	Waiting_For_Right_Fork
0	1800000000000	1850000000000	p1	Eating
1	1850000000000	1860000000000	p2	Thinking
2	1860000000000	1865000000000	p3	Waiting_For_Right_Fork
3	1865000000000	1870000000000	p4	Waiting_For_Right_Fork
4	1870000000000	1875000000000	p5	Waiting_For_Right_Fork
0	1900000000000	1950000000000	p1	Eating
1	1950000000000	1960000000000	p2	Thinking
2	1960000000000	1965000000000	p3	Waiting_For_Right_Fork
3	1965000000000	1970000000000	p4	Waiting_For_Right_Fork
4	1970000000000	1975000000000	p5	Waiting_For_Right_Fork
0	2000000000000	2010000000000	p1	Putting_Left_Fork
1	2010000000000	2015000000000	p2	Waiting_For_Right_Fork
2	2015000000000	2020000000000	p3	Waiting_For_Right_Fork
3	2020000000000	2025000000000	p4	Waiting_For_Right_Fork
4	2050000000000	2055000000000	p5	Waiting_For_Right_Fork
0	2100000000000	2110000000000	p1	Thinking
1	2110000000000	2115000000000	p2	Waiting_For_Right_Fork
2	2115000000000	2120000000000	p3	Waiting_For_Right_Fork
3	2120000000000	2125000000000	p4	Waiting_For_Right_Fork
4	2150000000000	2200000000000	p5	Eating
0	2200000000000	2210000000000	p1	Thinking
1	2210000000000	2215000000000	p2	Waiting_For_Right_Fork
2	2215000000000	2220000000000	p3	Waiting_For_Right_Fork
3	2220000000000	2225000000000	p4	Waiting_For_Right_Fork
4	2250000000000	2300000000000	p5	Eating
0	2300000000000	2310000000000	p1	Thinking
1	2310000000000	2315000000000	p2	Waiting_For_Right_Fork
2	2315000000000	2320000000000	p3	Waiting_For_Right_Fork
3	2320000000000	2325000000000	p4	Waiting_For_Right_Fork
4	2350000000000	2400000000000	p5	Eating
0	2400000000000	2410000000000	p1	Thinking
1	2410000000000	2415000000000	p2	Waiting_For_Right_Fork
2	2415000000000	2420000000000	p3	Waiting_For_Right_Fork
3	2420000000000	2425000000000	p4	Waiting_For_Right_Fork
4	2450000000000	2460000000000	p5	Putting_Left_Fork
0	2500000000000	2505000000000	p1	Waiting_For_Right_Fork
1	2505000000000	2510000000000	p2	Waiting_For_Right_Fork
2	2510000000000	2515000000000	p3	Waiting_For_Right_Fork
3	2515000000000	2520000000000	p4	Waiting_For_Right_Fork
4	2550000000000	2560000000000	p5	Thinking
0	2600000000000	2605000000000	p1	Waiting_For_Right_Fork
1	2605000000000	2610000000000	p2	Waiting_For_Right_Fork
2	2610000000000	2615000000000	p3	Waiting_For_Right_Fork
3	2615000000000	2665000000000	p4	Eating
4	2665000000000	2675000000000	p5	Thinking
0	2700000000000	2705000000000	p1	Waiting_For_Right_Fork
1	2705000000000	2710000000000	p2	Waiting_For_Right_Fork
2	2710000000000	2715000000000	p3	Waiting_For_Right_Fork
3	2715000000000	2765000000000	p4	Eating
4	2765000000000	2775000000000	p5	Thinking
0	2800000000000	2805000000000	p1	Waiting_For_Right_Fork
1	2805000000000	2810000000000	p2	Waiting_For_Right_Fork
2	2810000000000	2815000000000	p3	Waiting_For_Right_Fork
3	2815000000000	2865000000000	p4	Eating
4	2865000000000	2875000000000	p5	Thinking
0	2900000000000	2905000000000	p1	Waiting_For_Right_Fork
1	2905000000000	2910000000000	p2	Waiting_For_Right_Fork
2	2910000000000	2915000000000	p3	Waiting_For_Right_Fork
3	2915000000000	2925000000000	p4	Putting_Left_Fork
4	2950000000000	2955000000000	p5	Waiting_For_Right_Fork
0	3000000000000	3005000000000	p1	Waiting_For_Right_Fork