1 p Runs the 'philosopher' test within the simulator (simulation times valid for 64bits architectures)
3 $ $SG_TEST_EXENV ./synchro_simulator${EXEEXT:=} ${srcdir:=.}/../../msg/small_platform.xml ${srcdir:=.}/synchro.xml
4 > [Tremblay:philosopher:(1) 0.000000] [philo/INFO] Spawn the 5 threads (10 lunches scheduled)
5 > [Tremblay:thread 0:(1) 0.000000] [philo/INFO] Thread 0 gets hungry (lunch #0)
6 > [Tremblay:thread 0:(1) 0.000000] [philo/INFO] Thread 0 eats
7 > [Tremblay:thread 1:(1) 0.000000] [philo/INFO] Thread 1 gets hungry (lunch #0)
8 > [Tremblay:thread 2:(1) 0.000000] [philo/INFO] Thread 2 gets hungry (lunch #0)
9 > [Tremblay:thread 2:(1) 0.000000] [philo/INFO] Thread 2 eats
10 > [Tremblay:thread 3:(1) 0.000000] [philo/INFO] Thread 3 gets hungry (lunch #0)
11 > [Tremblay:thread 4:(1) 0.000000] [philo/INFO] Thread 4 gets hungry (lunch #0)
12 > [Tremblay:thread 0:(1) 0.000000] [philo/INFO] Thread 0 is full
13 > [Tremblay:thread 0:(1) 0.000000] [philo/INFO] Thread 0 thinks
14 > [Tremblay:thread 4:(1) 0.000000] [philo/INFO] Thread 4 eats
15 > [Tremblay:thread 0:(1) 0.000000] [philo/INFO] Thread 0 gets hungry (lunch #1)
16 > [Tremblay:thread 2:(1) 0.020000] [philo/INFO] Thread 2 is full
17 > [Tremblay:thread 2:(1) 0.020000] [philo/INFO] Thread 2 thinks
18 > [Tremblay:thread 1:(1) 0.020000] [philo/INFO] Thread 1 eats
19 > [Tremblay:thread 1:(1) 0.030000] [philo/INFO] Thread 1 is full
20 > [Tremblay:thread 1:(1) 0.030000] [philo/INFO] Thread 1 thinks
21 > [Tremblay:thread 1:(1) 0.040000] [philo/INFO] Thread 1 gets hungry (lunch #1)
22 > [Tremblay:thread 1:(1) 0.040000] [philo/INFO] Thread 1 eats
23 > [Tremblay:thread 2:(1) 0.040000] [philo/INFO] Thread 2 gets hungry (lunch #1)
24 > [Tremblay:thread 4:(1) 0.040000] [philo/INFO] Thread 4 is full
25 > [Tremblay:thread 4:(1) 0.040000] [philo/INFO] Thread 4 thinks
26 > [Tremblay:thread 3:(1) 0.040000] [philo/INFO] Thread 3 eats
27 > [Tremblay:thread 1:(1) 0.050000] [philo/INFO] Thread 1 is full
28 > [Tremblay:thread 1:(1) 0.050000] [philo/INFO] Thread 1 thinks
29 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 eats
30 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 is full
31 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 thinks
32 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 gets hungry (lunch #2)
33 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 eats
34 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 is full
35 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 thinks
36 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 gets hungry (lunch #3)
37 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 eats
38 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 is full
39 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 thinks
40 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 gets hungry (lunch #4)
41 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 eats
42 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 is full
43 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 thinks
44 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 gets hungry (lunch #5)
45 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 eats
46 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 is full
47 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 thinks
48 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 gets hungry (lunch #6)
49 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 eats
50 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 is full
51 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 thinks
52 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 gets hungry (lunch #7)
53 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 eats
54 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 is full
55 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 thinks
56 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 gets hungry (lunch #8)
57 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 eats
58 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 is full
59 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 thinks
60 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 gets hungry (lunch #9)
61 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 eats
62 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 is full
63 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 thinks
64 > [Tremblay:thread 0:(1) 0.050000] [philo/INFO] Thread 0 tries to enter the dead-end; hopefully, the master will cancel it
65 > [Tremblay:thread 1:(1) 0.060000] [philo/INFO] Thread 1 gets hungry (lunch #2)
66 > [Tremblay:thread 1:(1) 0.060000] [philo/INFO] Thread 1 eats
67 > [Tremblay:thread 1:(1) 0.070000] [philo/INFO] Thread 1 is full
68 > [Tremblay:thread 1:(1) 0.070000] [philo/INFO] Thread 1 thinks
69 > [Tremblay:thread 3:(1) 0.070000] [philo/INFO] Thread 3 is full
70 > [Tremblay:thread 3:(1) 0.070000] [philo/INFO] Thread 3 thinks
71 > [Tremblay:thread 2:(1) 0.070000] [philo/INFO] Thread 2 eats
72 > [Tremblay:thread 1:(1) 0.080000] [philo/INFO] Thread 1 gets hungry (lunch #3)
73 > [Tremblay:thread 4:(1) 0.080000] [philo/INFO] Thread 4 gets hungry (lunch #1)
74 > [Tremblay:thread 4:(1) 0.080000] [philo/INFO] Thread 4 eats
75 > [Tremblay:thread 2:(1) 0.090000] [philo/INFO] Thread 2 is full
76 > [Tremblay:thread 2:(1) 0.090000] [philo/INFO] Thread 2 thinks
77 > [Tremblay:thread 1:(1) 0.090000] [philo/INFO] Thread 1 eats
78 > [Tremblay:thread 1:(1) 0.100000] [philo/INFO] Thread 1 is full
79 > [Tremblay:thread 1:(1) 0.100000] [philo/INFO] Thread 1 thinks
80 > [Tremblay:thread 3:(1) 0.100000] [philo/INFO] Thread 3 gets hungry (lunch #1)
81 > [Tremblay:thread 1:(1) 0.110000] [philo/INFO] Thread 1 gets hungry (lunch #4)
82 > [Tremblay:thread 1:(1) 0.110000] [philo/INFO] Thread 1 eats
83 > [Tremblay:thread 2:(1) 0.110000] [philo/INFO] Thread 2 gets hungry (lunch #2)
84 > [Tremblay:thread 1:(1) 0.120000] [philo/INFO] Thread 1 is full
85 > [Tremblay:thread 1:(1) 0.120000] [philo/INFO] Thread 1 thinks
86 > [Tremblay:thread 4:(1) 0.120000] [philo/INFO] Thread 4 is full
87 > [Tremblay:thread 4:(1) 0.120000] [philo/INFO] Thread 4 thinks
88 > [Tremblay:thread 2:(1) 0.120000] [philo/INFO] Thread 2 eats
89 > [Tremblay:thread 1:(1) 0.130000] [philo/INFO] Thread 1 gets hungry (lunch #5)
90 > [Tremblay:thread 2:(1) 0.140000] [philo/INFO] Thread 2 is full
91 > [Tremblay:thread 2:(1) 0.140000] [philo/INFO] Thread 2 thinks
92 > [Tremblay:thread 1:(1) 0.140000] [philo/INFO] Thread 1 eats
93 > [Tremblay:thread 3:(1) 0.140000] [philo/INFO] Thread 3 eats
94 > [Tremblay:thread 1:(1) 0.150000] [philo/INFO] Thread 1 is full
95 > [Tremblay:thread 1:(1) 0.150000] [philo/INFO] Thread 1 thinks
96 > [Tremblay:thread 1:(1) 0.160000] [philo/INFO] Thread 1 gets hungry (lunch #6)
97 > [Tremblay:thread 1:(1) 0.160000] [philo/INFO] Thread 1 eats
98 > [Tremblay:thread 2:(1) 0.160000] [philo/INFO] Thread 2 gets hungry (lunch #3)
99 > [Tremblay:thread 4:(1) 0.160000] [philo/INFO] Thread 4 gets hungry (lunch #2)
100 > [Tremblay:thread 1:(1) 0.170000] [philo/INFO] Thread 1 is full
101 > [Tremblay:thread 1:(1) 0.170000] [philo/INFO] Thread 1 thinks
102 > [Tremblay:thread 3:(1) 0.170000] [philo/INFO] Thread 3 is full
103 > [Tremblay:thread 3:(1) 0.170000] [philo/INFO] Thread 3 thinks
104 > [Tremblay:thread 2:(1) 0.170000] [philo/INFO] Thread 2 eats
105 > [Tremblay:thread 4:(1) 0.170000] [philo/INFO] Thread 4 eats
106 > [Tremblay:thread 1:(1) 0.180000] [philo/INFO] Thread 1 gets hungry (lunch #7)
107 > [Tremblay:thread 2:(1) 0.190000] [philo/INFO] Thread 2 is full
108 > [Tremblay:thread 2:(1) 0.190000] [philo/INFO] Thread 2 thinks
109 > [Tremblay:thread 1:(1) 0.190000] [philo/INFO] Thread 1 eats
110 > [Tremblay:thread 1:(1) 0.200000] [philo/INFO] Thread 1 is full
111 > [Tremblay:thread 1:(1) 0.200000] [philo/INFO] Thread 1 thinks
112 > [Tremblay:thread 3:(1) 0.200000] [philo/INFO] Thread 3 gets hungry (lunch #2)
113 > [Tremblay:thread 1:(1) 0.210000] [philo/INFO] Thread 1 gets hungry (lunch #8)
114 > [Tremblay:thread 1:(1) 0.210000] [philo/INFO] Thread 1 eats
115 > [Tremblay:thread 2:(1) 0.210000] [philo/INFO] Thread 2 gets hungry (lunch #4)
116 > [Tremblay:thread 4:(1) 0.210000] [philo/INFO] Thread 4 is full
117 > [Tremblay:thread 4:(1) 0.210000] [philo/INFO] Thread 4 thinks
118 > [Tremblay:thread 3:(1) 0.210000] [philo/INFO] Thread 3 eats
119 > [Tremblay:thread 1:(1) 0.220000] [philo/INFO] Thread 1 is full
120 > [Tremblay:thread 1:(1) 0.220000] [philo/INFO] Thread 1 thinks
121 > [Tremblay:thread 1:(1) 0.230000] [philo/INFO] Thread 1 gets hungry (lunch #9)
122 > [Tremblay:thread 1:(1) 0.230000] [philo/INFO] Thread 1 eats
123 > [Tremblay:thread 1:(1) 0.240000] [philo/INFO] Thread 1 is full
124 > [Tremblay:thread 1:(1) 0.240000] [philo/INFO] Thread 1 thinks
125 > [Tremblay:thread 3:(1) 0.240000] [philo/INFO] Thread 3 is full
126 > [Tremblay:thread 3:(1) 0.240000] [philo/INFO] Thread 3 thinks
127 > [Tremblay:thread 2:(1) 0.240000] [philo/INFO] Thread 2 eats
128 > [Tremblay:thread 1:(1) 0.250000] [philo/INFO] Thread 1 tries to enter the dead-end; hopefully, the master will cancel it
129 > [Tremblay:thread 4:(1) 0.250000] [philo/INFO] Thread 4 gets hungry (lunch #3)
130 > [Tremblay:thread 4:(1) 0.250000] [philo/INFO] Thread 4 eats
131 > [Tremblay:thread 2:(1) 0.260000] [philo/INFO] Thread 2 is full
132 > [Tremblay:thread 2:(1) 0.260000] [philo/INFO] Thread 2 thinks
133 > [Tremblay:thread 3:(1) 0.270000] [philo/INFO] Thread 3 gets hungry (lunch #3)
134 > [Tremblay:thread 2:(1) 0.280000] [philo/INFO] Thread 2 gets hungry (lunch #5)
135 > [Tremblay:thread 2:(1) 0.280000] [philo/INFO] Thread 2 eats
136 > [Tremblay:thread 4:(1) 0.290000] [philo/INFO] Thread 4 is full
137 > [Tremblay:thread 4:(1) 0.290000] [philo/INFO] Thread 4 thinks
138 > [Tremblay:thread 2:(1) 0.300000] [philo/INFO] Thread 2 is full
139 > [Tremblay:thread 2:(1) 0.300000] [philo/INFO] Thread 2 thinks
140 > [Tremblay:thread 3:(1) 0.300000] [philo/INFO] Thread 3 eats
141 > [Tremblay:thread 2:(1) 0.320000] [philo/INFO] Thread 2 gets hungry (lunch #6)
142 > [Tremblay:thread 3:(1) 0.330000] [philo/INFO] Thread 3 is full
143 > [Tremblay:thread 3:(1) 0.330000] [philo/INFO] Thread 3 thinks
144 > [Tremblay:thread 4:(1) 0.330000] [philo/INFO] Thread 4 gets hungry (lunch #4)
145 > [Tremblay:thread 4:(1) 0.330000] [philo/INFO] Thread 4 eats
146 > [Tremblay:thread 2:(1) 0.330000] [philo/INFO] Thread 2 eats
147 > [Tremblay:thread 2:(1) 0.350000] [philo/INFO] Thread 2 is full
148 > [Tremblay:thread 2:(1) 0.350000] [philo/INFO] Thread 2 thinks
149 > [Tremblay:thread 3:(1) 0.360000] [philo/INFO] Thread 3 gets hungry (lunch #4)
150 > [Tremblay:thread 2:(1) 0.370000] [philo/INFO] Thread 2 gets hungry (lunch #7)
151 > [Tremblay:thread 2:(1) 0.370000] [philo/INFO] Thread 2 eats
152 > [Tremblay:thread 4:(1) 0.370000] [philo/INFO] Thread 4 is full
153 > [Tremblay:thread 4:(1) 0.370000] [philo/INFO] Thread 4 thinks
154 > [Tremblay:thread 2:(1) 0.390000] [philo/INFO] Thread 2 is full
155 > [Tremblay:thread 2:(1) 0.390000] [philo/INFO] Thread 2 thinks
156 > [Tremblay:thread 3:(1) 0.390000] [philo/INFO] Thread 3 eats
157 > [Tremblay:thread 2:(1) 0.410000] [philo/INFO] Thread 2 gets hungry (lunch #8)
158 > [Tremblay:thread 4:(1) 0.410000] [philo/INFO] Thread 4 gets hungry (lunch #5)
159 > [Tremblay:thread 3:(1) 0.420000] [philo/INFO] Thread 3 is full
160 > [Tremblay:thread 3:(1) 0.420000] [philo/INFO] Thread 3 thinks
161 > [Tremblay:thread 2:(1) 0.420000] [philo/INFO] Thread 2 eats
162 > [Tremblay:thread 4:(1) 0.420000] [philo/INFO] Thread 4 eats
163 > [Tremblay:thread 2:(1) 0.440000] [philo/INFO] Thread 2 is full
164 > [Tremblay:thread 2:(1) 0.440000] [philo/INFO] Thread 2 thinks
165 > [Tremblay:thread 3:(1) 0.450000] [philo/INFO] Thread 3 gets hungry (lunch #5)
166 > [Tremblay:thread 2:(1) 0.460000] [philo/INFO] Thread 2 gets hungry (lunch #9)
167 > [Tremblay:thread 2:(1) 0.460000] [philo/INFO] Thread 2 eats
168 > [Tremblay:thread 4:(1) 0.460000] [philo/INFO] Thread 4 is full
169 > [Tremblay:thread 4:(1) 0.460000] [philo/INFO] Thread 4 thinks
170 > [Tremblay:thread 2:(1) 0.480000] [philo/INFO] Thread 2 is full
171 > [Tremblay:thread 2:(1) 0.480000] [philo/INFO] Thread 2 thinks
172 > [Tremblay:thread 3:(1) 0.480000] [philo/INFO] Thread 3 eats
173 > [Tremblay:thread 2:(1) 0.500000] [philo/INFO] Thread 2 tries to enter the dead-end; hopefully, the master will cancel it
174 > [Tremblay:thread 4:(1) 0.500000] [philo/INFO] Thread 4 gets hungry (lunch #6)
175 > [Tremblay:thread 3:(1) 0.510000] [philo/INFO] Thread 3 is full
176 > [Tremblay:thread 3:(1) 0.510000] [philo/INFO] Thread 3 thinks
177 > [Tremblay:thread 4:(1) 0.510000] [philo/INFO] Thread 4 eats
178 > [Tremblay:thread 3:(1) 0.540000] [philo/INFO] Thread 3 gets hungry (lunch #6)
179 > [Tremblay:thread 4:(1) 0.550000] [philo/INFO] Thread 4 is full
180 > [Tremblay:thread 4:(1) 0.550000] [philo/INFO] Thread 4 thinks
181 > [Tremblay:thread 3:(1) 0.550000] [philo/INFO] Thread 3 eats
182 > [Tremblay:thread 3:(1) 0.580000] [philo/INFO] Thread 3 is full
183 > [Tremblay:thread 3:(1) 0.580000] [philo/INFO] Thread 3 thinks
184 > [Tremblay:thread 4:(1) 0.590000] [philo/INFO] Thread 4 gets hungry (lunch #7)
185 > [Tremblay:thread 4:(1) 0.590000] [philo/INFO] Thread 4 eats
186 > [Tremblay:thread 3:(1) 0.610000] [philo/INFO] Thread 3 gets hungry (lunch #7)
187 > [Tremblay:thread 4:(1) 0.630000] [philo/INFO] Thread 4 is full
188 > [Tremblay:thread 4:(1) 0.630000] [philo/INFO] Thread 4 thinks
189 > [Tremblay:thread 3:(1) 0.630000] [philo/INFO] Thread 3 eats
190 > [Tremblay:thread 3:(1) 0.660000] [philo/INFO] Thread 3 is full
191 > [Tremblay:thread 3:(1) 0.660000] [philo/INFO] Thread 3 thinks
192 > [Tremblay:thread 4:(1) 0.670000] [philo/INFO] Thread 4 gets hungry (lunch #8)
193 > [Tremblay:thread 4:(1) 0.670000] [philo/INFO] Thread 4 eats
194 > [Tremblay:thread 3:(1) 0.690000] [philo/INFO] Thread 3 gets hungry (lunch #8)
195 > [Tremblay:thread 4:(1) 0.710000] [philo/INFO] Thread 4 is full
196 > [Tremblay:thread 4:(1) 0.710000] [philo/INFO] Thread 4 thinks
197 > [Tremblay:thread 3:(1) 0.710000] [philo/INFO] Thread 3 eats
198 > [Tremblay:thread 3:(1) 0.740000] [philo/INFO] Thread 3 is full
199 > [Tremblay:thread 3:(1) 0.740000] [philo/INFO] Thread 3 thinks
200 > [Tremblay:thread 4:(1) 0.750000] [philo/INFO] Thread 4 gets hungry (lunch #9)
201 > [Tremblay:thread 4:(1) 0.750000] [philo/INFO] Thread 4 eats
202 > [Tremblay:thread 3:(1) 0.770000] [philo/INFO] Thread 3 gets hungry (lunch #9)
203 > [Tremblay:thread 4:(1) 0.790000] [philo/INFO] Thread 4 is full
204 > [Tremblay:thread 4:(1) 0.790000] [philo/INFO] Thread 4 thinks
205 > [Tremblay:thread 3:(1) 0.790000] [philo/INFO] Thread 3 eats
206 > [Tremblay:thread 3:(1) 0.820000] [philo/INFO] Thread 3 is full
207 > [Tremblay:thread 3:(1) 0.820000] [philo/INFO] Thread 3 thinks
208 > [Tremblay:thread 4:(1) 0.830000] [philo/INFO] Thread 4 tries to enter the dead-end; hopefully, the master will cancel it
209 > [Tremblay:thread 3:(1) 0.850000] [philo/INFO] Thread 3 tries to enter the dead-end; hopefully, the master will cancel it
210 > [Tremblay:philosopher:(1) 0.850000] [philo/INFO] Cancel all childs
211 > [Tremblay:philosopher:(1) 0.850000] [gras/INFO] Exiting GRAS
