Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : new example for liveness properties
[simgrid.git] / examples / cxx / comm_time / comm_time.tesh
1 $ comm_time comm_time_platform.xml comm_time_deployment.xml\r
2 > [Jacquelin:Master:(1) 0.000000] [cxx4msg/INFO] Hello\r
3 > [Jacquelin:Master:(1) 0.000000] [cxx4msg/INFO] Got slave(s) :20\r
4 > [Jacquelin:Master:(1) 0.000000] [cxx4msg/INFO]        iRMX\r
5 > [Jacquelin:Master:(1) 0.000000] [cxx4msg/INFO]        Bousquet\r
6 > [Jacquelin:Master:(1) 0.000000] [cxx4msg/INFO]        Soucy\r
7 > [Jacquelin:Master:(1) 0.000000] [cxx4msg/INFO]        Casavant\r
8 > [Jacquelin:Master:(1) 0.000000] [cxx4msg/INFO]        Jackson\r
9 > [Jacquelin:Master:(1) 0.000000] [cxx4msg/INFO]        Geoff\r
10 > [Jacquelin:Master:(1) 0.000000] [cxx4msg/INFO]        Disney\r
11 > [Jacquelin:Master:(1) 0.000000] [cxx4msg/INFO]        McGee\r
12 > [Jacquelin:Master:(1) 0.000000] [cxx4msg/INFO]        Gatien\r
13 > [Jacquelin:Master:(1) 0.000000] [cxx4msg/INFO]        Laroche\r
14 > [Jacquelin:Master:(1) 0.000000] [cxx4msg/INFO]        Tanguay\r
15 > [Jacquelin:Master:(1) 0.000000] [cxx4msg/INFO]        Morin\r
16 > [Jacquelin:Master:(1) 0.000000] [cxx4msg/INFO]        Ethernet\r
17 > [Jacquelin:Master:(1) 0.000000] [cxx4msg/INFO]        Bellemarre\r
18 > [Jacquelin:Master:(1) 0.000000] [cxx4msg/INFO]        Harry\r
19 > [Jacquelin:Master:(1) 0.000000] [cxx4msg/INFO]        Olivier\r
20 > [Jacquelin:Master:(1) 0.000000] [cxx4msg/INFO]        Boucherville\r
21 > [Jacquelin:Master:(1) 0.000000] [cxx4msg/INFO]        Pointe_Claire\r
22 > [Jacquelin:Master:(1) 0.000000] [cxx4msg/INFO]        Kansas\r
23 > [Jacquelin:Master:(1) 0.000000] [cxx4msg/INFO]        King\r
24 > [Jacquelin:Master:(1) 0.000000] [cxx4msg/INFO] Got 50000 task to process.\r
25 > [iRMX:Slave:(2) 0.000000] [cxx4msg/INFO] Hello\r
26 > [Bousquet:Slave:(3) 0.000000] [cxx4msg/INFO] Hello\r
27 > [Soucy:Slave:(4) 0.000000] [cxx4msg/INFO] Hello\r
28 > [Casavant:Slave:(5) 0.000000] [cxx4msg/INFO] Hello\r
29 > [Jackson:Slave:(6) 0.000000] [cxx4msg/INFO] Hello\r
30 > [Geoff:Slave:(7) 0.000000] [cxx4msg/INFO] Hello\r
31 > [Disney:Slave:(8) 0.000000] [cxx4msg/INFO] Hello\r
32 > [McGee:Slave:(9) 0.000000] [cxx4msg/INFO] Hello\r
33 > [Gatien:Slave:(10) 0.000000] [cxx4msg/INFO] Hello\r
34 > [Laroche:Slave:(11) 0.000000] [cxx4msg/INFO] Hello\r
35 > [Tanguay:Slave:(12) 0.000000] [cxx4msg/INFO] Hello\r
36 > [Morin:Slave:(13) 0.000000] [cxx4msg/INFO] Hello\r
37 > [Ethernet:Slave:(14) 0.000000] [cxx4msg/INFO] Hello\r
38 > [Bellemarre:Slave:(15) 0.000000] [cxx4msg/INFO] Hello\r
39 > [Harry:Slave:(16) 0.000000] [cxx4msg/INFO] Hello\r
40 > [Olivier:Slave:(17) 0.000000] [cxx4msg/INFO] Hello\r
41 > [Boucherville:Slave:(18) 0.000000] [cxx4msg/INFO] Hello\r
42 > [Pointe_Claire:Slave:(19) 0.000000] [cxx4msg/INFO] Hello\r
43 > [Kansas:Slave:(20) 0.000000] [cxx4msg/INFO] Hello\r
44 > [King:Slave:(21) 0.000000] [cxx4msg/INFO] Hello\r
45 > [Jacquelin:Master:(1) 5385.510565] [cxx4msg/INFO] All tasks have been dispatched. Let's tell everybody the computation is over.\r
46 > [Jacquelin:Master:(1) 5385.510565] [cxx4msg/INFO] Finalize host iRMX [0]\r
47 > [Jacquelin:Master:(1) 5385.744512] [cxx4msg/INFO] Finalize host Bousquet [1]\r
48 > [iRMX:Slave:(2) 5385.744512] [cxx4msg/INFO] Received Finalize. I'm done. See you!\r
49 > [Jacquelin:Master:(1) 5385.822504] [cxx4msg/INFO] Finalize host Soucy [2]\r
50 > [Bousquet:Slave:(3) 5385.822504] [cxx4msg/INFO] Received Finalize. I'm done. See you!\r
51 > [Jacquelin:Master:(1) 5385.933472] [cxx4msg/INFO] Finalize host Casavant [3]\r
52 > [Soucy:Slave:(4) 5385.933472] [cxx4msg/INFO] Received Finalize. I'm done. See you!\r
53 > [Jacquelin:Master:(1) 5386.037777] [cxx4msg/INFO] Finalize host Jackson [4]\r
54 > [Casavant:Slave:(5) 5386.037777] [cxx4msg/INFO] Received Finalize. I'm done. See you!\r
55 > [Jacquelin:Master:(1) 5386.103224] [cxx4msg/INFO] Finalize host Geoff [5]\r
56 > [Jackson:Slave:(6) 5386.103224] [cxx4msg/INFO] Received Finalize. I'm done. See you!\r
57 > [Jacquelin:Master:(1) 5386.103634] [cxx4msg/INFO] Finalize host Disney [6]\r
58 > [Geoff:Slave:(7) 5386.103634] [cxx4msg/INFO] Received Finalize. I'm done. See you!\r
59 > [Jacquelin:Master:(1) 5386.243798] [cxx4msg/INFO] Finalize host McGee [7]\r
60 > [Disney:Slave:(8) 5386.243798] [cxx4msg/INFO] Received Finalize. I'm done. See you!\r
61 > [Jacquelin:Master:(1) 5386.312081] [cxx4msg/INFO] Finalize host Gatien [8]\r
62 > [McGee:Slave:(9) 5386.312081] [cxx4msg/INFO] Received Finalize. I'm done. See you!\r
63 > [Jacquelin:Master:(1) 5386.410039] [cxx4msg/INFO] Finalize host Laroche [9]\r
64 > [Gatien:Slave:(10) 5386.410039] [cxx4msg/INFO] Received Finalize. I'm done. See you!\r
65 > [Jacquelin:Master:(1) 5386.548443] [cxx4msg/INFO] Finalize host Tanguay [10]\r
66 > [Laroche:Slave:(11) 5386.548443] [cxx4msg/INFO] Received Finalize. I'm done. See you!\r
67 > [Jacquelin:Master:(1) 5386.624602] [cxx4msg/INFO] Finalize host Morin [11]\r
68 > [Tanguay:Slave:(12) 5386.624602] [cxx4msg/INFO] Received Finalize. I'm done. See you!\r
69 > [Jacquelin:Master:(1) 5386.767895] [cxx4msg/INFO] Finalize host Ethernet [12]\r
70 > [Morin:Slave:(13) 5386.767895] [cxx4msg/INFO] Received Finalize. I'm done. See you!\r
71 > [Jacquelin:Master:(1) 5386.849385] [cxx4msg/INFO] Finalize host Bellemarre [13]\r
72 > [Ethernet:Slave:(14) 5386.849385] [cxx4msg/INFO] Received Finalize. I'm done. See you!\r
73 > [Jacquelin:Master:(1) 5386.988558] [cxx4msg/INFO] Finalize host Harry [14]\r
74 > [Bellemarre:Slave:(15) 5386.988558] [cxx4msg/INFO] Received Finalize. I'm done. See you!\r
75 > [Jacquelin:Master:(1) 5387.129807] [cxx4msg/INFO] Finalize host Olivier [15]\r
76 > [Harry:Slave:(16) 5387.129807] [cxx4msg/INFO] Received Finalize. I'm done. See you!\r
77 > [Jacquelin:Master:(1) 5387.240138] [cxx4msg/INFO] Finalize host Boucherville [16]\r
78 > [Olivier:Slave:(17) 5387.240138] [cxx4msg/INFO] Received Finalize. I'm done. See you!\r
79 > [Jacquelin:Master:(1) 5387.386104] [cxx4msg/INFO] Finalize host Pointe_Claire [17]\r
80 > [Boucherville:Slave:(18) 5387.386104] [cxx4msg/INFO] Received Finalize. I'm done. See you!\r
81 > [Jacquelin:Master:(1) 5387.528570] [cxx4msg/INFO] Finalize host Kansas [18]\r
82 > [Pointe_Claire:Slave:(19) 5387.528570] [cxx4msg/INFO] Received Finalize. I'm done. See you!\r
83 > [Jacquelin:Master:(1) 5387.597140] [cxx4msg/INFO] Finalize host King [19]\r
84 > [Kansas:Slave:(20) 5387.597140] [cxx4msg/INFO] Received Finalize. I'm done. See you!\r
85 > [Jacquelin:Master:(1) 5387.662613] [cxx4msg/INFO] All finalize messages have been dispatched. Goodbye now!\r
86 > [King:Slave:(21) 5387.662613] [cxx4msg/INFO] Received Finalize. I'm done. See you!