-> [ 0.250000] (1:thread 2@Tremblay) Thread 2 eats
-> [ 0.250000] (1:thread 3@Tremblay) Thread 3 is full
-> [ 0.250000] (1:thread 3@Tremblay) Thread 3 thinks
-> [ 0.250000] (1:thread 4@Tremblay) Thread 4 eats
-> [ 0.260000] (1:thread 1@Tremblay) Thread 1 tries to enter the dead-end; hopefully, the master will cancel it
-> [ 0.270000] (1:thread 2@Tremblay) Thread 2 is full
-> [ 0.270000] (1:thread 2@Tremblay) Thread 2 thinks
-> [ 0.280000] (1:thread 3@Tremblay) Thread 3 gets hungry (lunch #3)
-> [ 0.290000] (1:thread 2@Tremblay) Thread 2 gets hungry (lunch #5)
-> [ 0.290000] (1:thread 2@Tremblay) Thread 2 eats
-> [ 0.290000] (1:thread 4@Tremblay) Thread 4 is full
-> [ 0.290000] (1:thread 4@Tremblay) Thread 4 thinks
-> [ 0.310000] (1:thread 2@Tremblay) Thread 2 is full
-> [ 0.310000] (1:thread 2@Tremblay) Thread 2 thinks
-> [ 0.310000] (1:thread 3@Tremblay) Thread 3 eats
-> [ 0.330000] (1:thread 2@Tremblay) Thread 2 gets hungry (lunch #6)
-> [ 0.330000] (1:thread 4@Tremblay) Thread 4 gets hungry (lunch #4)
-> [ 0.340000] (1:thread 2@Tremblay) Thread 2 eats
-> [ 0.340000] (1:thread 3@Tremblay) Thread 3 is full
-> [ 0.340000] (1:thread 3@Tremblay) Thread 3 thinks
-> [ 0.340000] (1:thread 4@Tremblay) Thread 4 eats
-> [ 0.360000] (1:thread 2@Tremblay) Thread 2 is full
-> [ 0.360000] (1:thread 2@Tremblay) Thread 2 thinks
-> [ 0.370000] (1:thread 3@Tremblay) Thread 3 gets hungry (lunch #4)
-> [ 0.380000] (1:thread 2@Tremblay) Thread 2 gets hungry (lunch #7)
-> [ 0.380000] (1:thread 2@Tremblay) Thread 2 eats
-> [ 0.380000] (1:thread 4@Tremblay) Thread 4 is full
-> [ 0.380000] (1:thread 4@Tremblay) Thread 4 thinks
-> [ 0.400000] (1:thread 2@Tremblay) Thread 2 is full
-> [ 0.400000] (1:thread 2@Tremblay) Thread 2 thinks
-> [ 0.400000] (1:thread 3@Tremblay) Thread 3 eats
-> [ 0.420000] (1:thread 2@Tremblay) Thread 2 gets hungry (lunch #8)
-> [ 0.420000] (1:thread 4@Tremblay) Thread 4 gets hungry (lunch #5)
-> [ 0.430000] (1:thread 2@Tremblay) Thread 2 eats
-> [ 0.430000] (1:thread 3@Tremblay) Thread 3 is full
-> [ 0.430000] (1:thread 3@Tremblay) Thread 3 thinks
-> [ 0.430000] (1:thread 4@Tremblay) Thread 4 eats
-> [ 0.450000] (1:thread 2@Tremblay) Thread 2 is full
-> [ 0.450000] (1:thread 2@Tremblay) Thread 2 thinks
-> [ 0.460000] (1:thread 3@Tremblay) Thread 3 gets hungry (lunch #5)
-> [ 0.470000] (1:thread 2@Tremblay) Thread 2 gets hungry (lunch #9)
-> [ 0.470000] (1:thread 2@Tremblay) Thread 2 eats
-> [ 0.470000] (1:thread 4@Tremblay) Thread 4 is full
-> [ 0.470000] (1:thread 4@Tremblay) Thread 4 thinks
-> [ 0.490000] (1:thread 2@Tremblay) Thread 2 is full
-> [ 0.490000] (1:thread 2@Tremblay) Thread 2 thinks
+> [ 0.260000] (1:thread 1@Tremblay) Thread 1 gets hungry (lunch #8)
+> [ 0.260000] (1:thread 1@Tremblay) Thread 1 eats
+> [ 0.260000] (1:thread 2@Tremblay) Thread 2 gets hungry (lunch #6)
+> [ 0.260000] (1:thread 4@Tremblay) Thread 4 gets hungry (lunch #3)
+> [ 0.270000] (1:thread 1@Tremblay) Thread 1 is full
+> [ 0.270000] (1:thread 1@Tremblay) Thread 1 thinks
+> [ 0.270000] (1:thread 2@Tremblay) Thread 2 eats
+> [ 0.270000] (1:thread 3@Tremblay) Thread 3 is full
+> [ 0.270000] (1:thread 3@Tremblay) Thread 3 thinks
+> [ 0.270000] (1:thread 4@Tremblay) Thread 4 eats
+> [ 0.280000] (1:thread 1@Tremblay) Thread 1 gets hungry (lunch #9)
+> [ 0.290000] (1:thread 1@Tremblay) Thread 1 eats
+> [ 0.290000] (1:thread 2@Tremblay) Thread 2 is full
+> [ 0.290000] (1:thread 2@Tremblay) Thread 2 thinks
+> [ 0.300000] (1:thread 1@Tremblay) Thread 1 is full
+> [ 0.300000] (1:thread 1@Tremblay) Thread 1 thinks
+> [ 0.300000] (1:thread 3@Tremblay) Thread 3 gets hungry (lunch #3)
+> [ 0.310000] (1:thread 1@Tremblay) Thread 1 tries to enter the dead-end; hopefully, the master will cancel it
+> [ 0.310000] (1:thread 2@Tremblay) Thread 2 gets hungry (lunch #7)
+> [ 0.310000] (1:thread 2@Tremblay) Thread 2 eats
+> [ 0.310000] (1:thread 4@Tremblay) Thread 4 is full
+> [ 0.310000] (1:thread 4@Tremblay) Thread 4 thinks
+> [ 0.330000] (1:thread 2@Tremblay) Thread 2 is full
+> [ 0.330000] (1:thread 2@Tremblay) Thread 2 thinks
+> [ 0.330000] (1:thread 3@Tremblay) Thread 3 eats
+> [ 0.350000] (1:thread 2@Tremblay) Thread 2 gets hungry (lunch #8)
+> [ 0.350000] (1:thread 4@Tremblay) Thread 4 gets hungry (lunch #4)
+> [ 0.360000] (1:thread 2@Tremblay) Thread 2 eats
+> [ 0.360000] (1:thread 3@Tremblay) Thread 3 is full
+> [ 0.360000] (1:thread 3@Tremblay) Thread 3 thinks
+> [ 0.360000] (1:thread 4@Tremblay) Thread 4 eats
+> [ 0.380000] (1:thread 2@Tremblay) Thread 2 is full
+> [ 0.380000] (1:thread 2@Tremblay) Thread 2 thinks
+> [ 0.390000] (1:thread 3@Tremblay) Thread 3 gets hungry (lunch #4)
+> [ 0.400000] (1:thread 2@Tremblay) Thread 2 gets hungry (lunch #9)
+> [ 0.400000] (1:thread 2@Tremblay) Thread 2 eats
+> [ 0.400000] (1:thread 4@Tremblay) Thread 4 is full
+> [ 0.400000] (1:thread 4@Tremblay) Thread 4 thinks
+> [ 0.420000] (1:thread 2@Tremblay) Thread 2 is full
+> [ 0.420000] (1:thread 2@Tremblay) Thread 2 thinks
+> [ 0.420000] (1:thread 3@Tremblay) Thread 3 eats
+> [ 0.440000] (1:thread 2@Tremblay) Thread 2 tries to enter the dead-end; hopefully, the master will cancel it
+> [ 0.440000] (1:thread 4@Tremblay) Thread 4 gets hungry (lunch #5)
+> [ 0.450000] (1:thread 3@Tremblay) Thread 3 is full
+> [ 0.450000] (1:thread 3@Tremblay) Thread 3 thinks
+> [ 0.450000] (1:thread 4@Tremblay) Thread 4 eats
+> [ 0.480000] (1:thread 3@Tremblay) Thread 3 gets hungry (lunch #5)