1 files changed, 324 insertions, 0 deletions

diff --git a/cts/scheduler/dot/anon-instance-pending.dot b/cts/scheduler/dot/anon-instance-pending.dot
new file mode 100644
index 0000000..c8f59ed
--- /dev/null
+++ b/cts/scheduler/dot/anon-instance-pending.dot
@@ -0,0 +1,324 @@
+ digraph "g" {
+"clone1_running_0" [ style=bold color="green" fontcolor="orange"]
+"clone1_start_0" -> "clone1_running_0" [ style = bold]
+"clone1_start_0" -> "clone1rsc:10_start_0 node8" [ style = bold]
+"clone1_start_0" -> "clone1rsc:5_start_0 node10" [ style = bold]
+"clone1_start_0" -> "clone1rsc:6_start_0 node11" [ style = bold]
+"clone1_start_0" -> "clone1rsc:7_start_0 node5" [ style = bold]
+"clone1_start_0" -> "clone1rsc:8_start_0 node6" [ style = bold]
+"clone1_start_0" -> "clone1rsc:9_start_0 node7" [ style = bold]
+"clone1_start_0" -> "clone1rsc_start_0 node4" [ style = bold]
+"clone1_start_0" -> "clone1rsc_start_0 node9" [ style = bold]
+"clone1_start_0" [ style=bold color="green" fontcolor="orange"]
+"clone1rsc:10_monitor_10000 node8" [ style=bold color="green" fontcolor="black"]
+"clone1rsc:10_start_0 node8" -> "clone1_running_0" [ style = bold]
+"clone1rsc:10_start_0 node8" -> "clone1rsc:10_monitor_10000 node8" [ style = bold]
+"clone1rsc:10_start_0 node8" [ style=bold color="green" fontcolor="black"]
+"clone1rsc:5_monitor_10000 node10" [ style=bold color="green" fontcolor="black"]
+"clone1rsc:5_start_0 node10" -> "clone1_running_0" [ style = bold]
+"clone1rsc:5_start_0 node10" -> "clone1rsc:5_monitor_10000 node10" [ style = bold]
+"clone1rsc:5_start_0 node10" [ style=bold color="green" fontcolor="black"]
+"clone1rsc:6_monitor_10000 node11" [ style=bold color="green" fontcolor="black"]
+"clone1rsc:6_start_0 node11" -> "clone1_running_0" [ style = bold]
+"clone1rsc:6_start_0 node11" -> "clone1rsc:6_monitor_10000 node11" [ style = bold]
+"clone1rsc:6_start_0 node11" [ style=bold color="green" fontcolor="black"]
+"clone1rsc:7_monitor_10000 node5" [ style=bold color="green" fontcolor="black"]
+"clone1rsc:7_start_0 node5" -> "clone1_running_0" [ style = bold]
+"clone1rsc:7_start_0 node5" -> "clone1rsc:7_monitor_10000 node5" [ style = bold]
+"clone1rsc:7_start_0 node5" [ style=bold color="green" fontcolor="black"]
+"clone1rsc:8_monitor_10000 node6" [ style=bold color="green" fontcolor="black"]
+"clone1rsc:8_start_0 node6" -> "clone1_running_0" [ style = bold]
+"clone1rsc:8_start_0 node6" -> "clone1rsc:8_monitor_10000 node6" [ style = bold]
+"clone1rsc:8_start_0 node6" [ style=bold color="green" fontcolor="black"]
+"clone1rsc:9_monitor_10000 node7" [ style=bold color="green" fontcolor="black"]
+"clone1rsc:9_start_0 node7" -> "clone1_running_0" [ style = bold]
+"clone1rsc:9_start_0 node7" -> "clone1rsc:9_monitor_10000 node7" [ style = bold]
+"clone1rsc:9_start_0 node7" [ style=bold color="green" fontcolor="black"]
+"clone1rsc_monitor_10000 node4" [ style=bold color="green" fontcolor="black"]
+"clone1rsc_monitor_10000 node9" [ style=bold color="green" fontcolor="black"]
+"clone1rsc_start_0 node4" -> "clone1_running_0" [ style = bold]
+"clone1rsc_start_0 node4" -> "clone1rsc_monitor_10000 node4" [ style = bold]
+"clone1rsc_start_0 node4" [ style=bold color="green" fontcolor="black"]
+"clone1rsc_start_0 node9" -> "clone1_running_0" [ style = bold]
+"clone1rsc_start_0 node9" -> "clone1rsc_monitor_10000 node9" [ style = bold]
+"clone1rsc_start_0 node9" [ style=bold color="green" fontcolor="black"]
+"clone2_running_0" [ style=bold color="green" fontcolor="orange"]
+"clone2_start_0" -> "clone2_running_0" [ style = bold]
+"clone2_start_0" -> "clone2rsc:3_start_0 node11" [ style = bold]
+"clone2_start_0" -> "clone2rsc:4_start_0 node3" [ style = bold]
+"clone2_start_0" -> "clone2rsc_start_0 node10" [ style = bold]
+"clone2_start_0" -> "clone2rsc_start_0 node4" [ style = bold]
+"clone2_start_0" [ style=bold color="green" fontcolor="orange"]
+"clone2rsc:3_monitor_10000 node11" [ style=bold color="green" fontcolor="black"]
+"clone2rsc:3_start_0 node11" -> "clone2_running_0" [ style = bold]
+"clone2rsc:3_start_0 node11" -> "clone2rsc:3_monitor_10000 node11" [ style = bold]
+"clone2rsc:3_start_0 node11" [ style=bold color="green" fontcolor="black"]
+"clone2rsc:4_monitor_10000 node3" [ style=bold color="green" fontcolor="black"]
+"clone2rsc:4_start_0 node3" -> "clone2_running_0" [ style = bold]
+"clone2rsc:4_start_0 node3" -> "clone2rsc:4_monitor_10000 node3" [ style = bold]
+"clone2rsc:4_start_0 node3" [ style=bold color="green" fontcolor="black"]
+"clone2rsc_monitor_10000 node10" [ style=bold color="green" fontcolor="black"]
+"clone2rsc_monitor_10000 node4" [ style=bold color="green" fontcolor="black"]
+"clone2rsc_start_0 node10" -> "clone2_running_0" [ style = bold]
+"clone2rsc_start_0 node10" -> "clone2rsc_monitor_10000 node10" [ style = bold]
+"clone2rsc_start_0 node10" [ style=bold color="green" fontcolor="black"]
+"clone2rsc_start_0 node4" -> "clone2_running_0" [ style = bold]
+"clone2rsc_start_0 node4" -> "clone2rsc_monitor_10000 node4" [ style = bold]
+"clone2rsc_start_0 node4" [ style=bold color="green" fontcolor="black"]
+"clone3_running_0" [ style=bold color="green" fontcolor="orange"]
+"clone3_start_0" -> "clone3_running_0" [ style = bold]
+"clone3_start_0" -> "clone3rsc:10_start_0 node4" [ style = bold]
+"clone3_start_0" -> "clone3rsc:2_start_0 node6" [ style = bold]
+"clone3_start_0" -> "clone3rsc:3_start_0 node7" [ style = bold]
+"clone3_start_0" -> "clone3rsc:4_start_0 node8" [ style = bold]
+"clone3_start_0" -> "clone3rsc:5_start_0 node9" [ style = bold]
+"clone3_start_0" -> "clone3rsc:6_start_0 node1" [ style = bold]
+"clone3_start_0" -> "clone3rsc:7_start_0 node10" [ style = bold]
+"clone3_start_0" -> "clone3rsc:8_start_0 node11" [ style = bold]
+"clone3_start_0" -> "clone3rsc:9_start_0 node2" [ style = bold]
+"clone3_start_0" -> "clone3rsc_start_0 node5" [ style = bold]
+"clone3_start_0" [ style=bold color="green" fontcolor="orange"]
+"clone3rsc:10_monitor_10000 node4" [ style=bold color="green" fontcolor="black"]
+"clone3rsc:10_start_0 node4" -> "clone3_running_0" [ style = bold]
+"clone3rsc:10_start_0 node4" -> "clone3rsc:10_monitor_10000 node4" [ style = bold]
+"clone3rsc:10_start_0 node4" [ style=bold color="green" fontcolor="black"]
+"clone3rsc:2_monitor_10000 node6" [ style=bold color="green" fontcolor="black"]
+"clone3rsc:2_start_0 node6" -> "clone3_running_0" [ style = bold]
+"clone3rsc:2_start_0 node6" -> "clone3rsc:2_monitor_10000 node6" [ style = bold]
+"clone3rsc:2_start_0 node6" [ style=bold color="green" fontcolor="black"]
+"clone3rsc:3_monitor_10000 node7" [ style=bold color="green" fontcolor="black"]
+"clone3rsc:3_start_0 node7" -> "clone3_running_0" [ style = bold]
+"clone3rsc:3_start_0 node7" -> "clone3rsc:3_monitor_10000 node7" [ style = bold]
+"clone3rsc:3_start_0 node7" [ style=bold color="green" fontcolor="black"]
+"clone3rsc:4_monitor_10000 node8" [ style=bold color="green" fontcolor="black"]
+"clone3rsc:4_start_0 node8" -> "clone3_running_0" [ style = bold]
+"clone3rsc:4_start_0 node8" -> "clone3rsc:4_monitor_10000 node8" [ style = bold]
+"clone3rsc:4_start_0 node8" [ style=bold color="green" fontcolor="black"]
+"clone3rsc:5_monitor_10000 node9" [ style=bold color="green" fontcolor="black"]
+"clone3rsc:5_start_0 node9" -> "clone3_running_0" [ style = bold]
+"clone3rsc:5_start_0 node9" -> "clone3rsc:5_monitor_10000 node9" [ style = bold]
+"clone3rsc:5_start_0 node9" [ style=bold color="green" fontcolor="black"]
+"clone3rsc:6_monitor_10000 node1" [ style=bold color="green" fontcolor="black"]
+"clone3rsc:6_start_0 node1" -> "clone3_running_0" [ style = bold]
+"clone3rsc:6_start_0 node1" -> "clone3rsc:6_monitor_10000 node1" [ style = bold]
+"clone3rsc:6_start_0 node1" [ style=bold color="green" fontcolor="black"]
+"clone3rsc:7_monitor_10000 node10" [ style=bold color="green" fontcolor="black"]
+"clone3rsc:7_start_0 node10" -> "clone3_running_0" [ style = bold]
+"clone3rsc:7_start_0 node10" -> "clone3rsc:7_monitor_10000 node10" [ style = bold]
+"clone3rsc:7_start_0 node10" [ style=bold color="green" fontcolor="black"]
+"clone3rsc:8_monitor_10000 node11" [ style=bold color="green" fontcolor="black"]
+"clone3rsc:8_start_0 node11" -> "clone3_running_0" [ style = bold]
+"clone3rsc:8_start_0 node11" -> "clone3rsc:8_monitor_10000 node11" [ style = bold]
+"clone3rsc:8_start_0 node11" [ style=bold color="green" fontcolor="black"]
+"clone3rsc:9_monitor_0 node2" -> "clone3_start_0" [ style = bold]
+"clone3rsc:9_monitor_0 node2" [ style=bold color="green" fontcolor="black"]
+"clone3rsc:9_monitor_10000 node2" [ style=bold color="green" fontcolor="black"]
+"clone3rsc:9_start_0 node2" -> "clone3_running_0" [ style = bold]
+"clone3rsc:9_start_0 node2" -> "clone3rsc:9_monitor_10000 node2" [ style = bold]
+"clone3rsc:9_start_0 node2" [ style=bold color="green" fontcolor="black"]
+"clone3rsc_monitor_10000 node5" [ style=bold color="green" fontcolor="black"]
+"clone3rsc_start_0 node5" -> "clone3_running_0" [ style = bold]
+"clone3rsc_start_0 node5" -> "clone3rsc_monitor_10000 node5" [ style = bold]
+"clone3rsc_start_0 node5" [ style=bold color="green" fontcolor="black"]
+"clone4_stop_0" -> "clone4_stopped_0" [ style = bold]
+"clone4_stop_0" -> "clone4rsc_stop_0 node9" [ style = bold]
+"clone4_stop_0" [ style=bold color="green" fontcolor="orange"]
+"clone4_stopped_0" [ style=bold color="green" fontcolor="orange"]
+"clone4rsc_stop_0 node9" -> "clone4_stopped_0" [ style = bold]
+"clone4rsc_stop_0 node9" [ style=bold color="green" fontcolor="black"]
+"clone5_running_0" [ style=bold color="green" fontcolor="orange"]
+"clone5_start_0" -> "clone5_running_0" [ style = bold]
+"clone5_start_0" -> "clone5group:10_start_0" [ style = bold]
+"clone5_start_0" -> "clone5group:2_start_0" [ style = bold]
+"clone5_start_0" -> "clone5group:3_start_0" [ style = bold]
+"clone5_start_0" -> "clone5group:4_start_0" [ style = bold]
+"clone5_start_0" -> "clone5group:5_start_0" [ style = bold]
+"clone5_start_0" -> "clone5group:6_start_0" [ style = bold]
+"clone5_start_0" -> "clone5group:7_start_0" [ style = bold]
+"clone5_start_0" -> "clone5group:8_start_0" [ style = bold]
+"clone5_start_0" -> "clone5group:9_start_0" [ style = bold]
+"clone5_start_0" [ style=bold color="green" fontcolor="orange"]
+"clone5group:10_running_0" -> "clone5_running_0" [ style = bold]
+"clone5group:10_running_0" [ style=bold color="green" fontcolor="orange"]
+"clone5group:10_start_0" -> "clone5group:10_running_0" [ style = bold]
+"clone5group:10_start_0" -> "clone5rsc1:10_start_0 node8" [ style = bold]
+"clone5group:10_start_0" -> "clone5rsc2:10_start_0 node8" [ style = bold]
+"clone5group:10_start_0" -> "clone5rsc3:10_start_0 node8" [ style = bold]
+"clone5group:10_start_0" [ style=bold color="green" fontcolor="orange"]
+"clone5group:2_running_0" -> "clone5_running_0" [ style = bold]
+"clone5group:2_running_0" [ style=bold color="green" fontcolor="orange"]
+"clone5group:2_start_0" -> "clone5group:2_running_0" [ style = bold]
+"clone5group:2_start_0" -> "clone5rsc2_start_0 node3" [ style = bold]
+"clone5group:2_start_0" -> "clone5rsc3_start_0 node3" [ style = bold]
+"clone5group:2_start_0" [ style=bold color="green" fontcolor="orange"]
+"clone5group:3_running_0" -> "clone5_running_0" [ style = bold]
+"clone5group:3_running_0" [ style=bold color="green" fontcolor="orange"]
+"clone5group:3_start_0" -> "clone5group:3_running_0" [ style = bold]
+"clone5group:3_start_0" -> "clone5rsc1_start_0 node9" [ style = bold]
+"clone5group:3_start_0" -> "clone5rsc2_start_0 node9" [ style = bold]
+"clone5group:3_start_0" -> "clone5rsc3_start_0 node9" [ style = bold]
+"clone5group:3_start_0" [ style=bold color="green" fontcolor="orange"]
+"clone5group:4_running_0" -> "clone5_running_0" [ style = bold]
+"clone5group:4_running_0" [ style=bold color="green" fontcolor="orange"]
+"clone5group:4_start_0" -> "clone5group:4_running_0" [ style = bold]
+"clone5group:4_start_0" -> "clone5rsc1:4_start_0 node10" [ style = bold]
+"clone5group:4_start_0" -> "clone5rsc2:4_start_0 node10" [ style = bold]
+"clone5group:4_start_0" -> "clone5rsc3:4_start_0 node10" [ style = bold]
+"clone5group:4_start_0" [ style=bold color="green" fontcolor="orange"]
+"clone5group:5_running_0" -> "clone5_running_0" [ style = bold]
+"clone5group:5_running_0" [ style=bold color="green" fontcolor="orange"]
+"clone5group:5_start_0" -> "clone5group:5_running_0" [ style = bold]
+"clone5group:5_start_0" -> "clone5rsc1:5_start_0 node11" [ style = bold]
+"clone5group:5_start_0" -> "clone5rsc2:5_start_0 node11" [ style = bold]
+"clone5group:5_start_0" -> "clone5rsc3:5_start_0 node11" [ style = bold]
+"clone5group:5_start_0" [ style=bold color="green" fontcolor="orange"]
+"clone5group:6_running_0" -> "clone5_running_0" [ style = bold]
+"clone5group:6_running_0" [ style=bold color="green" fontcolor="orange"]
+"clone5group:6_start_0" -> "clone5group:6_running_0" [ style = bold]
+"clone5group:6_start_0" -> "clone5rsc1:6_start_0 node4" [ style = bold]
+"clone5group:6_start_0" -> "clone5rsc2:6_start_0 node4" [ style = bold]
+"clone5group:6_start_0" -> "clone5rsc3:6_start_0 node4" [ style = bold]
+"clone5group:6_start_0" [ style=bold color="green" fontcolor="orange"]
+"clone5group:7_running_0" -> "clone5_running_0" [ style = bold]
+"clone5group:7_running_0" [ style=bold color="green" fontcolor="orange"]
+"clone5group:7_start_0" -> "clone5group:7_running_0" [ style = bold]
+"clone5group:7_start_0" -> "clone5rsc1:7_start_0 node5" [ style = bold]
+"clone5group:7_start_0" -> "clone5rsc2:7_start_0 node5" [ style = bold]
+"clone5group:7_start_0" -> "clone5rsc3:7_start_0 node5" [ style = bold]
+"clone5group:7_start_0" [ style=bold color="green" fontcolor="orange"]
+"clone5group:8_running_0" -> "clone5_running_0" [ style = bold]
+"clone5group:8_running_0" [ style=bold color="green" fontcolor="orange"]
+"clone5group:8_start_0" -> "clone5group:8_running_0" [ style = bold]
+"clone5group:8_start_0" -> "clone5rsc1:8_start_0 node6" [ style = bold]
+"clone5group:8_start_0" -> "clone5rsc2:8_start_0 node6" [ style = bold]
+"clone5group:8_start_0" -> "clone5rsc3:8_start_0 node6" [ style = bold]
+"clone5group:8_start_0" [ style=bold color="green" fontcolor="orange"]
+"clone5group:9_running_0" -> "clone5_running_0" [ style = bold]
+"clone5group:9_running_0" [ style=bold color="green" fontcolor="orange"]
+"clone5group:9_start_0" -> "clone5group:9_running_0" [ style = bold]
+"clone5group:9_start_0" -> "clone5rsc1:9_start_0 node7" [ style = bold]
+"clone5group:9_start_0" -> "clone5rsc2:9_start_0 node7" [ style = bold]
+"clone5group:9_start_0" -> "clone5rsc3:9_start_0 node7" [ style = bold]
+"clone5group:9_start_0" [ style=bold color="green" fontcolor="orange"]
+"clone5rsc1:10_monitor_10000 node8" [ style=bold color="green" fontcolor="black"]
+"clone5rsc1:10_start_0 node8" -> "clone5group:10_running_0" [ style = bold]
+"clone5rsc1:10_start_0 node8" -> "clone5rsc1:10_monitor_10000 node8" [ style = bold]
+"clone5rsc1:10_start_0 node8" -> "clone5rsc2:10_start_0 node8" [ style = bold]
+"clone5rsc1:10_start_0 node8" [ style=bold color="green" fontcolor="black"]
+"clone5rsc1:4_monitor_10000 node10" [ style=bold color="green" fontcolor="black"]
+"clone5rsc1:4_start_0 node10" -> "clone5group:4_running_0" [ style = bold]
+"clone5rsc1:4_start_0 node10" -> "clone5rsc1:4_monitor_10000 node10" [ style = bold]
+"clone5rsc1:4_start_0 node10" -> "clone5rsc2:4_start_0 node10" [ style = bold]
+"clone5rsc1:4_start_0 node10" [ style=bold color="green" fontcolor="black"]
+"clone5rsc1:5_monitor_10000 node11" [ style=bold color="green" fontcolor="black"]
+"clone5rsc1:5_start_0 node11" -> "clone5group:5_running_0" [ style = bold]
+"clone5rsc1:5_start_0 node11" -> "clone5rsc1:5_monitor_10000 node11" [ style = bold]
+"clone5rsc1:5_start_0 node11" -> "clone5rsc2:5_start_0 node11" [ style = bold]
+"clone5rsc1:5_start_0 node11" [ style=bold color="green" fontcolor="black"]
+"clone5rsc1:6_monitor_10000 node4" [ style=bold color="green" fontcolor="black"]
+"clone5rsc1:6_start_0 node4" -> "clone5group:6_running_0" [ style = bold]
+"clone5rsc1:6_start_0 node4" -> "clone5rsc1:6_monitor_10000 node4" [ style = bold]
+"clone5rsc1:6_start_0 node4" -> "clone5rsc2:6_start_0 node4" [ style = bold]
+"clone5rsc1:6_start_0 node4" [ style=bold color="green" fontcolor="black"]
+"clone5rsc1:7_monitor_10000 node5" [ style=bold color="green" fontcolor="black"]
+"clone5rsc1:7_start_0 node5" -> "clone5group:7_running_0" [ style = bold]
+"clone5rsc1:7_start_0 node5" -> "clone5rsc1:7_monitor_10000 node5" [ style = bold]
+"clone5rsc1:7_start_0 node5" -> "clone5rsc2:7_start_0 node5" [ style = bold]
+"clone5rsc1:7_start_0 node5" [ style=bold color="green" fontcolor="black"]
+"clone5rsc1:8_monitor_10000 node6" [ style=bold color="green" fontcolor="black"]
+"clone5rsc1:8_start_0 node6" -> "clone5group:8_running_0" [ style = bold]
+"clone5rsc1:8_start_0 node6" -> "clone5rsc1:8_monitor_10000 node6" [ style = bold]
+"clone5rsc1:8_start_0 node6" -> "clone5rsc2:8_start_0 node6" [ style = bold]
+"clone5rsc1:8_start_0 node6" [ style=bold color="green" fontcolor="black"]
+"clone5rsc1:9_monitor_10000 node7" [ style=bold color="green" fontcolor="black"]
+"clone5rsc1:9_start_0 node7" -> "clone5group:9_running_0" [ style = bold]
+"clone5rsc1:9_start_0 node7" -> "clone5rsc1:9_monitor_10000 node7" [ style = bold]
+"clone5rsc1:9_start_0 node7" -> "clone5rsc2:9_start_0 node7" [ style = bold]
+"clone5rsc1:9_start_0 node7" [ style=bold color="green" fontcolor="black"]
+"clone5rsc1_monitor_10000 node9" [ style=bold color="green" fontcolor="black"]
+"clone5rsc1_start_0 node9" -> "clone5group:3_running_0" [ style = bold]
+"clone5rsc1_start_0 node9" -> "clone5rsc1_monitor_10000 node9" [ style = bold]
+"clone5rsc1_start_0 node9" -> "clone5rsc2_start_0 node9" [ style = bold]
+"clone5rsc1_start_0 node9" [ style=bold color="green" fontcolor="black"]
+"clone5rsc2:10_monitor_10000 node8" [ style=bold color="green" fontcolor="black"]
+"clone5rsc2:10_start_0 node8" -> "clone5group:10_running_0" [ style = bold]
+"clone5rsc2:10_start_0 node8" -> "clone5rsc2:10_monitor_10000 node8" [ style = bold]
+"clone5rsc2:10_start_0 node8" -> "clone5rsc3:10_start_0 node8" [ style = bold]
+"clone5rsc2:10_start_0 node8" [ style=bold color="green" fontcolor="black"]
+"clone5rsc2:4_monitor_10000 node10" [ style=bold color="green" fontcolor="black"]
+"clone5rsc2:4_start_0 node10" -> "clone5group:4_running_0" [ style = bold]
+"clone5rsc2:4_start_0 node10" -> "clone5rsc2:4_monitor_10000 node10" [ style = bold]
+"clone5rsc2:4_start_0 node10" -> "clone5rsc3:4_start_0 node10" [ style = bold]
+"clone5rsc2:4_start_0 node10" [ style=bold color="green" fontcolor="black"]
+"clone5rsc2:5_monitor_10000 node11" [ style=bold color="green" fontcolor="black"]
+"clone5rsc2:5_start_0 node11" -> "clone5group:5_running_0" [ style = bold]
+"clone5rsc2:5_start_0 node11" -> "clone5rsc2:5_monitor_10000 node11" [ style = bold]
+"clone5rsc2:5_start_0 node11" -> "clone5rsc3:5_start_0 node11" [ style = bold]
+"clone5rsc2:5_start_0 node11" [ style=bold color="green" fontcolor="black"]
+"clone5rsc2:6_monitor_10000 node4" [ style=bold color="green" fontcolor="black"]
+"clone5rsc2:6_start_0 node4" -> "clone5group:6_running_0" [ style = bold]
+"clone5rsc2:6_start_0 node4" -> "clone5rsc2:6_monitor_10000 node4" [ style = bold]
+"clone5rsc2:6_start_0 node4" -> "clone5rsc3:6_start_0 node4" [ style = bold]
+"clone5rsc2:6_start_0 node4" [ style=bold color="green" fontcolor="black"]
+"clone5rsc2:7_monitor_10000 node5" [ style=bold color="green" fontcolor="black"]
+"clone5rsc2:7_start_0 node5" -> "clone5group:7_running_0" [ style = bold]
+"clone5rsc2:7_start_0 node5" -> "clone5rsc2:7_monitor_10000 node5" [ style = bold]
+"clone5rsc2:7_start_0 node5" -> "clone5rsc3:7_start_0 node5" [ style = bold]
+"clone5rsc2:7_start_0 node5" [ style=bold color="green" fontcolor="black"]
+"clone5rsc2:8_monitor_10000 node6" [ style=bold color="green" fontcolor="black"]
+"clone5rsc2:8_start_0 node6" -> "clone5group:8_running_0" [ style = bold]
+"clone5rsc2:8_start_0 node6" -> "clone5rsc2:8_monitor_10000 node6" [ style = bold]
+"clone5rsc2:8_start_0 node6" -> "clone5rsc3:8_start_0 node6" [ style = bold]
+"clone5rsc2:8_start_0 node6" [ style=bold color="green" fontcolor="black"]
+"clone5rsc2:9_monitor_10000 node7" [ style=bold color="green" fontcolor="black"]
+"clone5rsc2:9_start_0 node7" -> "clone5group:9_running_0" [ style = bold]
+"clone5rsc2:9_start_0 node7" -> "clone5rsc2:9_monitor_10000 node7" [ style = bold]
+"clone5rsc2:9_start_0 node7" -> "clone5rsc3:9_start_0 node7" [ style = bold]
+"clone5rsc2:9_start_0 node7" [ style=bold color="green" fontcolor="black"]
+"clone5rsc2_monitor_10000 node3" [ style=bold color="green" fontcolor="black"]
+"clone5rsc2_monitor_10000 node9" [ style=bold color="green" fontcolor="black"]
+"clone5rsc2_start_0 node3" -> "clone5group:2_running_0" [ style = bold]
+"clone5rsc2_start_0 node3" -> "clone5rsc2_monitor_10000 node3" [ style = bold]
+"clone5rsc2_start_0 node3" -> "clone5rsc3_start_0 node3" [ style = bold]
+"clone5rsc2_start_0 node3" [ style=bold color="green" fontcolor="black"]
+"clone5rsc2_start_0 node9" -> "clone5group:3_running_0" [ style = bold]
+"clone5rsc2_start_0 node9" -> "clone5rsc2_monitor_10000 node9" [ style = bold]
+"clone5rsc2_start_0 node9" -> "clone5rsc3_start_0 node9" [ style = bold]
+"clone5rsc2_start_0 node9" [ style=bold color="green" fontcolor="black"]
+"clone5rsc3:10_monitor_10000 node8" [ style=bold color="green" fontcolor="black"]
+"clone5rsc3:10_start_0 node8" -> "clone5group:10_running_0" [ style = bold]
+"clone5rsc3:10_start_0 node8" -> "clone5rsc3:10_monitor_10000 node8" [ style = bold]
+"clone5rsc3:10_start_0 node8" [ style=bold color="green" fontcolor="black"]
+"clone5rsc3:4_monitor_10000 node10" [ style=bold color="green" fontcolor="black"]
+"clone5rsc3:4_start_0 node10" -> "clone5group:4_running_0" [ style = bold]
+"clone5rsc3:4_start_0 node10" -> "clone5rsc3:4_monitor_10000 node10" [ style = bold]
+"clone5rsc3:4_start_0 node10" [ style=bold color="green" fontcolor="black"]
+"clone5rsc3:5_monitor_10000 node11" [ style=bold color="green" fontcolor="black"]
+"clone5rsc3:5_start_0 node11" -> "clone5group:5_running_0" [ style = bold]
+"clone5rsc3:5_start_0 node11" -> "clone5rsc3:5_monitor_10000 node11" [ style = bold]
+"clone5rsc3:5_start_0 node11" [ style=bold color="green" fontcolor="black"]
+"clone5rsc3:6_monitor_10000 node4" [ style=bold color="green" fontcolor="black"]
+"clone5rsc3:6_start_0 node4" -> "clone5group:6_running_0" [ style = bold]
+"clone5rsc3:6_start_0 node4" -> "clone5rsc3:6_monitor_10000 node4" [ style = bold]
+"clone5rsc3:6_start_0 node4" [ style=bold color="green" fontcolor="black"]
+"clone5rsc3:7_monitor_10000 node5" [ style=bold color="green" fontcolor="black"]
+"clone5rsc3:7_start_0 node5" -> "clone5group:7_running_0" [ style = bold]
+"clone5rsc3:7_start_0 node5" -> "clone5rsc3:7_monitor_10000 node5" [ style = bold]
+"clone5rsc3:7_start_0 node5" [ style=bold color="green" fontcolor="black"]
+"clone5rsc3:8_monitor_10000 node6" [ style=bold color="green" fontcolor="black"]
+"clone5rsc3:8_start_0 node6" -> "clone5group:8_running_0" [ style = bold]
+"clone5rsc3:8_start_0 node6" -> "clone5rsc3:8_monitor_10000 node6" [ style = bold]
+"clone5rsc3:8_start_0 node6" [ style=bold color="green" fontcolor="black"]
+"clone5rsc3:9_monitor_10000 node7" [ style=bold color="green" fontcolor="black"]
+"clone5rsc3:9_start_0 node7" -> "clone5group:9_running_0" [ style = bold]
+"clone5rsc3:9_start_0 node7" -> "clone5rsc3:9_monitor_10000 node7" [ style = bold]
+"clone5rsc3:9_start_0 node7" [ style=bold color="green" fontcolor="black"]
+"clone5rsc3_monitor_10000 node3" [ style=bold color="green" fontcolor="black"]
+"clone5rsc3_monitor_10000 node9" [ style=bold color="green" fontcolor="black"]
+"clone5rsc3_start_0 node3" -> "clone5group:2_running_0" [ style = bold]
+"clone5rsc3_start_0 node3" -> "clone5rsc3_monitor_10000 node3" [ style = bold]
+"clone5rsc3_start_0 node3" [ style=bold color="green" fontcolor="black"]
+"clone5rsc3_start_0 node9" -> "clone5group:3_running_0" [ style = bold]
+"clone5rsc3_start_0 node9" -> "clone5rsc3_monitor_10000 node9" [ style = bold]
+"clone5rsc3_start_0 node9" [ style=bold color="green" fontcolor="black"]
+}