Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add comments for the example bugged2_liveness
[simgrid.git] / examples / msg / tracing / procmig.tesh
index 4659784..f656d64 100644 (file)
@@ -2,8 +2,9 @@
 
 p Tracing processes
 
-$ $SG_TEST_EXENV ${bindir:=.}/tracing/procmig$EXEEXT --cfg=tracing:1 --cfg=tracing/filename:tracing/procmig.trace --cfg=tracing/msg/process:1 ${srcdir:=.}/tracing/platform.xml ${srcdir:=.}/tracing/procmig-deploy.xml
+$ $SG_TEST_EXENV ${bindir:=.}/tracing/procmig$EXEEXT --cfg=tracing:1 --cfg=tracing/buffer:1 --cfg=tracing/filename:tracing/procmig.trace --cfg=tracing/msg/process:1 ${srcdir:=.}/tracing/platform.xml ${srcdir:=.}/tracing/procmig-deploy.xml
 > [0.000000] [xbt_cfg/INFO] Configuration change: Set 'tracing' to '1'
+> [0.000000] [xbt_cfg/INFO] Configuration change: Set 'tracing/buffer' to '1'
 > [0.000000] [xbt_cfg/INFO] Configuration change: Set 'tracing/filename' to 'tracing/procmig.trace'
 > [0.000000] [xbt_cfg/INFO] Configuration change: Set 'tracing/msg/process' to '1'
 > [Fafard:emigrant:(1) 2.020551] [msg_test/INFO] Migrating to Tremblay
@@ -35,7 +36,7 @@ $ cat tracing/procmig.trace
 > %EndEventDef 
 > %EventDef PajeDefineEventType 3 
 > %       Alias string 
-> %       EntityType string 
+> %       ContainerType string 
 > %       Name string 
 > %       Color color 
 > %EndEventDef 
@@ -62,46 +63,46 @@ $ cat tracing/procmig.trace
 > %EventDef PajeDestroyContainer 7 
 > %       Time date 
 > %       Type string 
-> %       Container string 
+> %       Name string 
 > %EndEventDef 
 > %EventDef PajeSetVariable 8 
 > %       Time date 
-> %       EntityType string 
+> %       Type string 
 > %       Container string 
-> %       Value string 
+> %       Value double 
 > %EndEventDef
 > %EventDef PajeAddVariable 9 
 > %       Time date 
-> %       EntityType string 
+> %       Type string 
 > %       Container string 
-> %       Value string 
+> %       Value double 
 > %EndEventDef
 > %EventDef PajeSubVariable 10 
 > %       Time date 
-> %       EntityType string 
+> %       Type string 
 > %       Container string 
-> %       Value string 
+> %       Value double 
 > %EndEventDef
 > %EventDef PajeSetState 11 
 > %       Time date 
-> %       EntityType string 
+> %       Type string 
 > %       Container string 
 > %       Value string 
 > %EndEventDef
 > %EventDef PajePushState 12 
 > %       Time date 
-> %       EntityType string 
+> %       Type string 
 > %       Container string 
 > %       Value string 
 > %EndEventDef
 > %EventDef PajePopState 13 
 > %       Time date 
-> %       EntityType string 
+> %       Type string 
 > %       Container string 
 > %EndEventDef
 > %EventDef PajeStartLink 14 
 > %       Time date 
-> %       EntityType string 
+> %       Type string 
 > %       Container string 
 > %       Value string 
 > %       SourceContainer string 
@@ -109,7 +110,7 @@ $ cat tracing/procmig.trace
 > %EndEventDef
 > %EventDef PajeEndLink 15 
 > %       Time date 
-> %       EntityType string 
+> %       Type string 
 > %       Container string 
 > %       Value string 
 > %       DestContainer string 
@@ -117,411 +118,207 @@ $ cat tracing/procmig.trace
 > %EndEventDef
 > %EventDef PajeNewEvent 16 
 > %       Time date 
-> %       EntityType string 
+> %       Type string 
 > %       Container string 
 > %       Value string 
 > %EndEventDef
-> 0 1 0 L1
-> 6 0 1 1 0 AS0
-> 0 2 1 HOST
-> 6 0 2 2 1 Tremblay
-> 1 3 2 power "1 1 1"
-> 0 4 2 MSG_PROCESS
-> 2 5 4 MSG_PROCESS_STATE
-> 5 6 5 executing "0 1 0"
-> 5 7 5 suspend "1 0 1"
-> 5 8 5 sleep "1 1 0"
-> 5 9 5 receive "1 0 0"
-> 5 10 5 send "0 0 1"
-> 5 11 5 task_execute "0 1 1"
-> 4 12 0 4 4 MSG_PROCESS_LINK
-> 4 13 0 4 4 MSG_PROCESS_TASK_LINK
-> 6 0 3 2 1 Jupiter
-> 6 0 4 2 1 Fafard
-> 6 0 5 2 1 Ginette
-> 6 0 6 2 1 Bourassa
-> 0 14 1 ROUTER
-> 6 0 7 14 1 R.4-3
-> 6 0 8 14 1 R.3-2-5
-> 6 0 9 14 1 R.2-0
-> 6 0 10 14 1 R.1-0
-> 6 0 11 14 1 R.1-8-6
-> 6 0 12 14 1 R.6-7
-> 0 15 1 LINK
-> 6 0 13 15 1 6
-> 1 16 15 bandwidth "1 1 1"
-> 1 17 15 latency "1 1 1"
-> 6 0 14 15 1 11
-> 6 0 15 15 1 3
-> 6 0 16 15 1 7
-> 6 0 17 15 1 9
-> 6 0 18 15 1 12
-> 6 0 19 15 1 2
-> 6 0 20 15 1 8
-> 6 0 21 15 1 1
-> 6 0 22 15 1 4
-> 6 0 23 15 1 0
-> 6 0 24 15 1 10
-> 6 0 25 15 1 5
-> 6 0 26 15 1 loopback
-> 4 18 1 2 15 HOST-LINK
-> 4 19 1 15 2 LINK-HOST
-> 4 20 1 15 14 LINK-ROUTER
-> 4 21 1 15 15 LINK-LINK
-> 4 22 1 14 15 ROUTER-LINK
-> 8 0 3 2 98095000.000000
-> 8 0 3 3 76296000.000000
-> 8 0 3 4 76296000.000000
-> 8 0 3 5 48492000.000000
-> 8 0 3 6 48492000.000000
-> 8 0 16 13 41279125.000000
-> 8 0 17 13 0.000060
-> 8 0 16 14 252750.000000
-> 8 0 17 14 0.005705
-> 8 0 16 15 34285622.000000
-> 8 0 17 15 0.000514
-> 8 0 16 16 11618875.000000
-> 8 0 17 16 0.000190
-> 8 0 16 17 7209750.000000
-> 8 0 17 17 0.001462
-> 8 0 16 18 1792625.000000
-> 8 0 17 18 0.007878
-> 8 0 16 19 22222222.000000
-> 8 0 17 19 0.000137
-> 8 0 16 20 8158000.000000
-> 8 0 17 20 0.000271
-> 8 0 16 21 34285625.000000
-> 8 0 17 21 0.000514
-> 8 0 16 22 10099625.000000
-> 8 0 17 22 0.000480
-> 8 0 16 23 41279125.000000
-> 8 0 17 23 0.000060
-> 8 0 16 24 4679750.000000
-> 8 0 17 24 0.000849
-> 8 0 16 25 27946250.000000
-> 8 0 17 25 0.000278
-> 8 0 16 26 498000000.000000
-> 8 0 17 26 0.000015
-> 14 0 18 1 G 4 0
-> 15 0 18 1 G 26 0
-> 14 0 19 1 G 26 1
-> 15 0 19 1 G 4 1
-> 14 0 18 1 G 4 2
-> 15 0 18 1 G 20 2
-> 14 0 20 1 G 20 3
-> 15 0 20 1 G 11 3
-> 14 0 18 1 G 4 4
-> 15 0 18 1 G 20 4
-> 14 0 21 1 G 20 5
-> 15 0 21 1 G 21 5
-> 14 0 21 1 G 21 6
-> 15 0 21 1 G 23 6
-> 14 0 21 1 G 23 7
-> 15 0 21 1 G 19 7
-> 14 0 21 1 G 19 8
-> 15 0 21 1 G 15 8
-> 14 0 21 1 G 15 9
-> 15 0 21 1 G 22 9
-> 14 0 19 1 G 22 10
-> 15 0 19 1 G 2 10
-> 14 0 18 1 G 4 11
-> 15 0 18 1 G 20 11
-> 14 0 21 1 G 20 12
-> 15 0 21 1 G 13 12
-> 14 0 21 1 G 13 13
-> 15 0 21 1 G 16 13
-> 14 0 19 1 G 16 14
-> 15 0 19 1 G 6 14
-> 14 0 18 1 G 4 15
-> 15 0 18 1 G 20 15
-> 14 0 21 1 G 20 16
-> 15 0 21 1 G 21 16
-> 14 0 21 1 G 21 17
-> 15 0 21 1 G 23 17
-> 14 0 21 1 G 23 18
-> 15 0 21 1 G 19 18
-> 14 0 21 1 G 19 19
-> 15 0 21 1 G 15 19
-> 14 0 21 1 G 15 20
-> 15 0 21 1 G 22 20
-> 14 0 21 1 G 22 21
-> 15 0 21 1 G 17 21
-> 14 0 19 1 G 17 22
-> 15 0 19 1 G 3 22
-> 14 0 18 1 G 4 23
-> 15 0 18 1 G 20 23
-> 14 0 21 1 G 20 24
-> 15 0 21 1 G 21 24
-> 14 0 21 1 G 21 25
-> 15 0 21 1 G 23 25
-> 14 0 21 1 G 23 26
-> 15 0 21 1 G 19 26
-> 14 0 21 1 G 19 27
-> 15 0 21 1 G 25 27
-> 14 0 19 1 G 25 28
-> 15 0 19 1 G 5 28
-> 14 0 22 1 G 9 29
-> 15 0 22 1 G 19 29
-> 14 0 20 1 G 19 30
-> 15 0 20 1 G 8 30
-> 14 0 22 1 G 9 31
-> 15 0 22 1 G 23 31
-> 14 0 20 1 G 23 32
-> 15 0 20 1 G 10 32
-> 14 0 22 1 G 7 33
-> 15 0 22 1 G 15 33
-> 14 0 20 1 G 15 34
-> 15 0 20 1 G 8 34
-> 14 0 22 1 G 7 35
-> 15 0 22 1 G 22 35
-> 14 0 19 1 G 22 36
-> 15 0 19 1 G 2 36
-> 14 0 22 1 G 8 37
-> 15 0 22 1 G 25 37
-> 14 0 19 1 G 25 38
-> 15 0 19 1 G 5 38
-> 14 0 22 1 G 11 39
-> 15 0 22 1 G 13 39
-> 14 0 20 1 G 13 40
-> 15 0 20 1 G 12 40
-> 14 0 22 1 G 11 41
-> 15 0 22 1 G 21 41
-> 14 0 20 1 G 21 42
-> 15 0 20 1 G 10 42
-> 14 0 22 1 G 12 43
-> 15 0 22 1 G 16 43
-> 14 0 19 1 G 16 44
-> 15 0 19 1 G 6 44
-> 14 0 18 1 G 2 45
-> 15 0 18 1 G 26 45
-> 14 0 19 1 G 26 46
-> 15 0 19 1 G 2 46
-> 14 0 18 1 G 2 47
-> 15 0 18 1 G 22 47
-> 14 0 21 1 G 22 48
-> 15 0 21 1 G 15 48
-> 14 0 21 1 G 15 49
-> 15 0 21 1 G 19 49
-> 14 0 21 1 G 19 50
-> 15 0 21 1 G 23 50
-> 14 0 21 1 G 23 51
-> 15 0 21 1 G 21 51
-> 14 0 21 1 G 21 52
-> 15 0 21 1 G 13 52
-> 14 0 21 1 G 13 53
-> 15 0 21 1 G 16 53
-> 14 0 19 1 G 16 54
-> 15 0 19 1 G 6 54
-> 14 0 18 1 G 2 55
-> 15 0 18 1 G 17 55
-> 14 0 19 1 G 17 56
-> 15 0 19 1 G 3 56
-> 14 0 18 1 G 2 57
-> 15 0 18 1 G 22 57
-> 14 0 21 1 G 22 58
-> 15 0 21 1 G 15 58
-> 14 0 21 1 G 15 59
-> 15 0 21 1 G 25 59
-> 14 0 19 1 G 25 60
-> 15 0 19 1 G 5 60
-> 14 0 18 1 G 6 61
-> 15 0 18 1 G 26 61
-> 14 0 19 1 G 26 62
-> 15 0 19 1 G 6 62
-> 14 0 18 1 G 6 63
-> 15 0 18 1 G 16 63
-> 14 0 21 1 G 16 64
-> 15 0 21 1 G 13 64
-> 14 0 21 1 G 13 65
-> 15 0 21 1 G 21 65
-> 14 0 21 1 G 21 66
-> 15 0 21 1 G 23 66
-> 14 0 21 1 G 23 67
-> 15 0 21 1 G 19 67
-> 14 0 21 1 G 19 68
-> 15 0 21 1 G 15 68
-> 14 0 21 1 G 15 69
-> 15 0 21 1 G 22 69
-> 14 0 21 1 G 22 70
-> 15 0 21 1 G 17 70
-> 14 0 19 1 G 17 71
-> 15 0 19 1 G 3 71
-> 14 0 18 1 G 6 72
-> 15 0 18 1 G 16 72
-> 14 0 21 1 G 16 73
-> 15 0 21 1 G 13 73
-> 14 0 21 1 G 13 74
-> 15 0 21 1 G 21 74
-> 14 0 21 1 G 21 75
-> 15 0 21 1 G 23 75
-> 14 0 21 1 G 23 76
-> 15 0 21 1 G 19 76
-> 14 0 21 1 G 19 77
-> 15 0 21 1 G 25 77
-> 14 0 19 1 G 25 78
-> 15 0 19 1 G 5 78
-> 14 0 18 1 G 3 79
-> 15 0 18 1 G 26 79
-> 14 0 19 1 G 26 80
-> 15 0 19 1 G 3 80
-> 14 0 18 1 G 3 81
-> 15 0 18 1 G 17 81
-> 14 0 21 1 G 17 82
-> 15 0 21 1 G 22 82
-> 14 0 21 1 G 22 83
-> 15 0 21 1 G 15 83
-> 14 0 21 1 G 15 84
-> 15 0 21 1 G 25 84
-> 14 0 19 1 G 25 85
-> 15 0 19 1 G 5 85
-> 14 0 18 1 G 5 86
-> 15 0 18 1 G 26 86
-> 14 0 19 1 G 26 87
-> 15 0 19 1 G 5 87
-> 6 0 27 4 4 emigrant-1
-> 6 0 28 4 2 master-2
-> 11 0 5 27 6
-> 11 0 5 28 6
-> 12 0 5 27 8
-> 12 0 5 28 10
-> 14 0 13 0 SR 28 p0
-> 13 2.000000 5 27
-> 12 2.000000 5 27 9
-> 13 2.020551 5 28
-> 12 2.020551 5 28 10
-> 14 2.020551 13 0 SR 28 p1
-> 13 2.020551 5 27
-> 15 2.020551 13 0 SR 27 p0
-> 14 2.020551 12 0 M 27 0
-> 7 2.020551 4 27
-> 6 2.020551 29 4 2 emigrant-1
-> 11 2.020551 5 29 6
-> 15 2.020551 12 0 M 29 0
-> 12 2.020551 5 29 8
-> 13 4.020551 5 29
-> 12 4.020551 5 29 9
-> 13 4.020707 5 28
-> 12 4.020707 5 28 10
-> 14 4.020707 13 0 SR 28 p2
-> 13 4.020707 5 29
-> 15 4.020707 13 0 SR 29 p1
-> 14 4.020707 12 0 M 29 1
-> 7 4.020707 4 29
-> 6 4.020707 30 4 3 emigrant-1
-> 11 4.020707 5 30 6
-> 15 4.020707 12 0 M 30 1
-> 12 4.020707 5 30 8
-> 13 6.020707 5 30
-> 12 6.020707 5 30 9
-> 13 6.035906 5 28
-> 12 6.035906 5 28 10
-> 14 6.035906 13 0 SR 28 p3
-> 13 6.035906 5 30
-> 15 6.035906 13 0 SR 30 p2
-> 14 6.035906 12 0 M 30 2
-> 7 6.035906 4 30
-> 6 6.035906 31 4 4 emigrant-1
-> 11 6.035906 5 31 6
-> 15 6.035906 12 0 M 31 2
-> 12 6.035906 5 31 8
-> 13 8.035906 5 31
-> 12 8.035906 5 31 9
-> 13 8.056457 5 28
-> 12 8.056457 5 28 10
-> 14 8.056457 13 0 SR 28 p4
-> 13 8.056457 5 31
-> 15 8.056457 13 0 SR 31 p3
-> 14 8.056457 12 0 M 31 3
-> 7 8.056457 4 31
-> 6 8.056457 32 4 5 emigrant-1
-> 11 8.056457 5 32 6
-> 15 8.056457 12 0 M 32 3
-> 12 8.056457 5 32 8
-> 13 10.056457 5 32
-> 12 10.056457 5 32 9
-> 13 10.069689 5 28
-> 12 10.069689 5 28 10
-> 14 10.069689 13 0 SR 28 p5
-> 13 10.069689 5 32
-> 15 10.069689 13 0 SR 32 p4
-> 14 10.069689 12 0 M 32 4
-> 7 10.069689 4 32
-> 6 10.069689 33 4 6 emigrant-1
-> 11 10.069689 5 33 6
-> 15 10.069689 12 0 M 33 4
-> 12 10.069689 5 33 8
-> 13 12.069689 5 33
-> 12 12.069689 5 33 9
-> 13 12.090025 5 28
-> 12 12.090025 5 28 10
-> 14 12.090025 13 0 SR 28 p6
-> 13 12.090025 5 33
-> 15 12.090025 13 0 SR 33 p5
-> 14 12.090025 12 0 M 33 5
-> 7 12.090025 4 33
-> 6 12.090025 34 4 4 emigrant-1
-> 11 12.090025 5 34 6
-> 15 12.090025 12 0 M 34 5
-> 12 12.090025 5 34 8
-> 13 14.090025 5 34
-> 12 14.090025 5 34 9
-> 13 14.110575 5 28
-> 12 14.110575 5 28 10
-> 14 14.110575 13 0 SR 28 p7
-> 13 14.110575 5 34
-> 15 14.110575 13 0 SR 34 p6
-> 14 14.110575 12 0 M 34 6
-> 7 14.110575 4 34
-> 6 14.110575 35 4 2 emigrant-1
-> 11 14.110575 5 35 6
-> 15 14.110575 12 0 M 35 6
-> 12 14.110575 5 35 8
-> 13 16.110575 5 35
-> 12 16.110575 5 35 9
-> 13 16.110731 5 28
-> 12 16.110731 5 28 10
-> 14 16.110731 13 0 SR 28 p8
-> 13 16.110731 5 35
-> 15 16.110731 13 0 SR 35 p7
-> 14 16.110731 12 0 M 35 7
-> 7 16.110731 4 35
-> 6 16.110731 36 4 5 emigrant-1
-> 11 16.110731 5 36 6
-> 15 16.110731 12 0 M 36 7
-> 12 16.110731 5 36 8
-> 13 18.110731 5 36
-> 12 18.110731 5 36 9
-> 13 18.123963 5 28
-> 7 18.123963 4 28
-> 13 18.123963 5 36
-> 15 18.123963 13 0 SR 36 p8
-> 7 18.123963 4 36
-> 7 18.123963 2 4
-> 7 18.123963 14 9
-> 7 18.123963 14 7
-> 7 18.123963 14 8
-> 7 18.123963 14 11
-> 7 18.123963 14 12
-> 7 18.123963 2 2
-> 7 18.123963 15 24
-> 7 18.123963 15 14
-> 7 18.123963 15 18
-> 7 18.123963 15 26
-> 7 18.123963 14 10
-> 7 18.123963 15 23
-> 7 18.123963 15 21
-> 7 18.123963 15 19
-> 7 18.123963 15 15
-> 7 18.123963 15 22
-> 7 18.123963 15 25
-> 7 18.123963 15 13
-> 7 18.123963 15 16
-> 7 18.123963 15 20
-> 7 18.123963 15 17
-> 7 18.123963 2 6
-> 7 18.123963 2 3
-> 7 18.123963 2 5
+> 0 1 0 HOST
+> 6 0 1 1 0 "Tremblay"
+> 0 2 1 MSG_PROCESS
+> 2 3 2 MSG_PROCESS_STATE
+> 5 4 3 executing "0 1 0"
+> 5 5 3 suspend "1 0 1"
+> 5 6 3 sleep "1 1 0"
+> 5 7 3 receive "1 0 0"
+> 5 8 3 send "0 0 1"
+> 5 9 3 task_execute "0 1 1"
+> 4 10 0 2 2 MSG_PROCESS_LINK
+> 4 11 0 2 2 MSG_PROCESS_TASK_LINK
+> 6 0 2 1 0 "Jupiter"
+> 6 0 3 1 0 "Fafard"
+> 6 0 4 1 0 "Ginette"
+> 6 0 5 1 0 "Bourassa"
+> 0 12 0 LINK
+> 6 0 6 12 0 "6"
+> 6 0 7 12 0 "3"
+> 6 0 8 12 0 "7"
+> 6 0 9 12 0 "9"
+> 6 0 10 12 0 "2"
+> 6 0 11 12 0 "8"
+> 6 0 12 12 0 "1"
+> 6 0 13 12 0 "4"
+> 6 0 14 12 0 "0"
+> 6 0 15 12 0 "5"
+> 4 13 0 1 12 HOST-LINK
+> 4 14 0 12 12 LINK-LINK
+> 4 15 0 12 1 LINK-HOST
+> 14 0 13 0 G 3 0
+> 15 0 13 0 G 11 0
+> 14 0 14 0 G 11 1
+> 15 0 14 0 G 12 1
+> 14 0 14 0 G 12 2
+> 15 0 14 0 G 14 2
+> 14 0 14 0 G 14 3
+> 15 0 14 0 G 10 3
+> 14 0 14 0 G 10 4
+> 15 0 14 0 G 7 4
+> 14 0 14 0 G 7 5
+> 15 0 14 0 G 13 5
+> 14 0 15 0 G 13 6
+> 15 0 15 0 G 1 6
+> 14 0 14 0 G 11 7
+> 15 0 14 0 G 6 7
+> 14 0 14 0 G 6 8
+> 15 0 14 0 G 8 8
+> 14 0 15 0 G 8 9
+> 15 0 15 0 G 5 9
+> 14 0 14 0 G 13 10
+> 15 0 14 0 G 9 10
+> 14 0 15 0 G 9 11
+> 15 0 15 0 G 2 11
+> 14 0 14 0 G 10 12
+> 15 0 14 0 G 15 12
+> 14 0 15 0 G 15 13
+> 15 0 15 0 G 4 13
+> 14 0 14 0 G 12 14
+> 15 0 14 0 G 6 14
+> 14 0 13 0 G 1 15
+> 15 0 13 0 G 9 15
+> 14 0 14 0 G 7 16
+> 15 0 14 0 G 15 16
+> 6 0 16 2 3 "emigrant-1"
+> 6 0 17 2 1 "master-2"
+> 11 0 3 16 4
+> 11 0 3 17 4
+> 12 0 3 16 6
+> 12 0 3 17 8
+> 14 0 11 0 SR 17 p0
+> 13 2.000000 3 16
+> 12 2.000000 3 16 7
+> 13 2.020551 3 17
+> 12 2.020551 3 17 8
+> 14 2.020551 11 0 SR 17 p1
+> 13 2.020551 3 16
+> 15 2.020551 11 0 SR 16 p0
+> 14 2.020551 10 0 M 16 0
+> 7 2.020551 2 16
+> 6 2.020551 18 2 1 "emigrant-1"
+> 11 2.020551 3 18 4
+> 15 2.020551 10 0 M 18 0
+> 12 2.020551 3 18 6
+> 13 4.020551 3 18
+> 12 4.020551 3 18 7
+> 13 4.020707 3 17
+> 12 4.020707 3 17 8
+> 14 4.020707 11 0 SR 17 p2
+> 13 4.020707 3 18
+> 15 4.020707 11 0 SR 18 p1
+> 14 4.020707 10 0 M 18 1
+> 7 4.020707 2 18
+> 6 4.020707 19 2 2 "emigrant-1"
+> 11 4.020707 3 19 4
+> 15 4.020707 10 0 M 19 1
+> 12 4.020707 3 19 6
+> 13 6.020707 3 19
+> 12 6.020707 3 19 7
+> 13 6.035906 3 17
+> 12 6.035906 3 17 8
+> 14 6.035906 11 0 SR 17 p3
+> 13 6.035906 3 19
+> 15 6.035906 11 0 SR 19 p2
+> 14 6.035906 10 0 M 19 2
+> 7 6.035906 2 19
+> 6 6.035906 20 2 3 "emigrant-1"
+> 11 6.035906 3 20 4
+> 15 6.035906 10 0 M 20 2
+> 12 6.035906 3 20 6
+> 13 8.035906 3 20
+> 12 8.035906 3 20 7
+> 13 8.056457 3 17
+> 12 8.056457 3 17 8
+> 14 8.056457 11 0 SR 17 p4
+> 13 8.056457 3 20
+> 15 8.056457 11 0 SR 20 p3
+> 14 8.056457 10 0 M 20 3
+> 7 8.056457 2 20
+> 6 8.056457 21 2 4 "emigrant-1"
+> 11 8.056457 3 21 4
+> 15 8.056457 10 0 M 21 3
+> 12 8.056457 3 21 6
+> 13 10.056457 3 21
+> 12 10.056457 3 21 7
+> 13 10.069689 3 17
+> 12 10.069689 3 17 8
+> 14 10.069689 11 0 SR 17 p5
+> 13 10.069689 3 21
+> 15 10.069689 11 0 SR 21 p4
+> 14 10.069689 10 0 M 21 4
+> 7 10.069689 2 21
+> 6 10.069689 22 2 5 "emigrant-1"
+> 11 10.069689 3 22 4
+> 15 10.069689 10 0 M 22 4
+> 12 10.069689 3 22 6
+> 13 12.069689 3 22
+> 12 12.069689 3 22 7
+> 13 12.090025 3 17
+> 12 12.090025 3 17 8
+> 14 12.090025 11 0 SR 17 p6
+> 13 12.090025 3 22
+> 15 12.090025 11 0 SR 22 p5
+> 14 12.090025 10 0 M 22 5
+> 7 12.090025 2 22
+> 6 12.090025 23 2 3 "emigrant-1"
+> 11 12.090025 3 23 4
+> 15 12.090025 10 0 M 23 5
+> 12 12.090025 3 23 6
+> 13 14.090025 3 23
+> 12 14.090025 3 23 7
+> 13 14.110575 3 17
+> 12 14.110575 3 17 8
+> 14 14.110575 11 0 SR 17 p7
+> 13 14.110575 3 23
+> 15 14.110575 11 0 SR 23 p6
+> 14 14.110575 10 0 M 23 6
+> 7 14.110575 2 23
+> 6 14.110575 24 2 1 "emigrant-1"
+> 11 14.110575 3 24 4
+> 15 14.110575 10 0 M 24 6
+> 12 14.110575 3 24 6
+> 13 16.110575 3 24
+> 12 16.110575 3 24 7
+> 13 16.110731 3 17
+> 12 16.110731 3 17 8
+> 14 16.110731 11 0 SR 17 p8
+> 13 16.110731 3 24
+> 15 16.110731 11 0 SR 24 p7
+> 14 16.110731 10 0 M 24 7
+> 7 16.110731 2 24
+> 6 16.110731 25 2 4 "emigrant-1"
+> 11 16.110731 3 25 4
+> 15 16.110731 10 0 M 25 7
+> 12 16.110731 3 25 6
+> 13 18.110731 3 25
+> 12 18.110731 3 25 7
+> 13 18.123963 3 17
+> 7 18.123963 2 17
+> 13 18.123963 3 25
+> 15 18.123963 11 0 SR 25 p8
+> 7 18.123963 2 25
+> 7 18.123963 1 3
 > 7 18.123963 1 1
+> 7 18.123963 12 14
+> 7 18.123963 12 12
+> 7 18.123963 12 10
+> 7 18.123963 12 7
+> 7 18.123963 12 13
+> 7 18.123963 12 15
+> 7 18.123963 12 6
+> 7 18.123963 12 8
+> 7 18.123963 12 11
+> 7 18.123963 12 9
+> 7 18.123963 1 5
+> 7 18.123963 1 2
+> 7 18.123963 1 4
 > 7 18.123963 0 0
 
 $ rm -rf tracing/procmig.trace