1 digraph "g" { 2"B_migrate_from_0 18node1" -> "B_start_0 18node1" [ style = bold] 3"B_migrate_from_0 18node1" -> "B_stop_0 18node2" [ style = bold] 4"B_migrate_from_0 18node1" [ style=bold color="green" fontcolor="black"] 5"B_migrate_to_0 18node2" -> "B_migrate_from_0 18node1" [ style = bold] 6"B_migrate_to_0 18node2" [ style=bold color="green" fontcolor="black"] 7"B_monitor_60000 18node1" [ style=bold color="green" fontcolor="black"] 8"B_start_0 18node1" -> "B_monitor_60000 18node1" [ style = bold] 9"B_start_0 18node1" [ style=bold color="green" fontcolor="orange"] 10"B_stop_0 18node2" -> "B_start_0 18node1" [ style = bold] 11"B_stop_0 18node2" [ style=bold color="green" fontcolor="black"] 12} 13