1 digraph "g" { 2"A_migrate_from_0 18node2" -> "A_start_0 18node2" [ style = bold] 3"A_migrate_from_0 18node2" -> "A_stop_0 18node1" [ style = bold] 4"A_migrate_from_0 18node2" [ style=bold color="green" fontcolor="black"] 5"A_migrate_to_0 18node1" -> "A_migrate_from_0 18node2" [ style = bold] 6"A_migrate_to_0 18node1" [ style=bold color="green" fontcolor="black"] 7"A_monitor_60000 18node2" [ style=bold color="green" fontcolor="black"] 8"A_start_0 18node2" -> "A_monitor_60000 18node2" [ style = bold] 9"A_start_0 18node2" -> "B_start_0 18node1" [ style = bold] 10"A_start_0 18node2" [ style=bold color="green" fontcolor="orange"] 11"A_stop_0 18node1" -> "A_start_0 18node2" [ style = bold] 12"A_stop_0 18node1" [ style=bold color="green" fontcolor="black"] 13"B_monitor_60000 18node1" [ style=bold color="green" fontcolor="black"] 14"B_start_0 18node1" -> "B_monitor_60000 18node1" [ style = bold] 15"B_start_0 18node1" [ style=bold color="green" fontcolor="black"] 16"B_stop_0 18node2" -> "A_migrate_to_0 18node1" [ style = bold] 17"B_stop_0 18node2" -> "A_stop_0 18node1" [ style = bold] 18"B_stop_0 18node2" -> "B_start_0 18node1" [ style = bold] 19"B_stop_0 18node2" [ style=bold color="green" fontcolor="black"] 20} 21