--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/paper/final_main/result/result7.txt	Wed Feb 21 14:10:24 2018 +0900
@@ -0,0 +1,352 @@
+! -write 7
+
+[ie-user@tino-vm1 jungle_workspace]$ cat Log/LogUpdateTest_547/00*
+TopologymanagerTime = 5115
+LogUpdator: write to node child1 from parent
+LogUpdator: write to node child2 from parent
+LogUpdator: write to node parent from child2
+LogUpdator: write to node child1 from child2
+LogUpdator: write to node child1 from parent
+LogUpdator: write to node child2 from parent
+LogUpdator: write to node child1 from parent
+LogUpdator: write to node child2 from parent
+LogUpdator: write to node child2 from child1
+LogUpdator: write to node child1 from parent
+LogUpdator: write to node child2 from parent
+LogUpdator: write to node parent from child1
+LogUpdator: write to node child2 from child1
+hostname: node9  time  = 98 
+
+ogUpdator: write to node parent from local
+
+[ie-user@tino-vm1 jungle_workspace]$ cat Log/LogUpdateTest_550/00*
+TopologymanagerTime = 5125
+LogUpdator: write to node child1 from parent
+LogUpdator: write to node child2 from parent
+LogUpdator: write to node child1 from child2
+LogUpdator: write to node child1 from parent
+LogUpdator: write to node child2 from parent
+LogUpdator: write to node child1 from parent
+LogUpdator: write to node child2 from parent
+LogUpdator: write to node parent from child1
+LogUpdator: write to node child2 from child1
+LogUpdator: write to node child1 from parent
+LogUpdator: write to node child2 from parent
+LogUpdator: write to node parent from child2
+LogUpdator: write to node child1 from child2
+hostname: node9  time  = 90 
+hostname: node9  time  = 9 
+3 
+ogUpdator: write to node parent from local
+[ie-user@tino-vm1 jungle_workspace]$ 
+
+[ie-user@tino-vm1 jungle_workspace]$ cat Log/LogUpdateTest_552/00*
+TopologymanagerTime = 5113
+LogUpdator: write to node child1 from child2
+LogUpdator: write to node parent from child1
+LogUpdator: write to node child2 from child1
+LogUpdator: write to node child1 from parent
+LogUpdator: write to node child2 from parent
+hostname: node1  time  = 84 
+hostname: node1  time  = 1 
+hostname: node1  time  = 1 
+hostname: node1  time  = 0 
+LogUpdator: write to node child1 from parent
+LogUpdator: write to node child2 from parent
+gUpdator: write to node child2 from local
+
+[ie-user@tino-vm1 jungle_workspace]$ cat Log/LogUpdateTest_554/00*
+TopologymanagerTime = 5160
+LogUpdator: write to node parent from child1
+LogUpdator: write to node child2 from child1
+LogUpdator: write to node child1 from child2
+LogUpdator: write to node parent from child2
+LogUpdator: write to node child1 from child2
+LogUpdator: write to node child1 from parent
+LogUpdator: write to node child2 from parent
+hostname: node5  time  = 103 
+hostname: node5  time  = 18 
+hostname: node5  time  = 18 
+hostname: node5  time  = 17 
+hostname: node5  time  = 17 
+hostname: node5  time  = 16 
+hostname: node5  time  = 15 
+hostname: node5  time  = 14 
+LogUpdator: write to node child1 from parent
+LogUpdator: write to node child2 from parent
+: write to node child2 from local
+ocal
+
+
+[ie-user@tino-vm1 jungle_workspace]$ cat Log/LogUpdateTest_555/00*
+TopologymanagerTime = 5161
+LogUpdator: write to node parent from child2
+LogUpdator: write to node child1 from child2
+LogUpdator: write to node child1 from parent
+LogUpdator: write to node child2 from parent
+LogUpdator: write to node child2 from child1
+LogUpdator: write to node child1 from parent
+LogUpdator: write to node child2 from parent
+LogUpdator: write to node child1 from parent
+LogUpdator: write to node child2 from parent
+LogUpdator: write to node child1 from parent
+LogUpdator: write to node child2 from parent
+hostname: node13  time  = 130 
+hostname: node13  time  = 37 
+hostname: node13  time  = 36 
+hostname: node13  time  = 35 
+hostname: node13  time  = 34 
+hostname: node13  time  = 33 
+hostname: node13  time  = 31 
+hostname: node13  time  = 31 
+hostname: node13  time  = 19 
+hostname: node13  time  = 18 
+hostname: node13  time  = 16 
+hostname: node13  time  = 14 
+hostname: node13  time  = 12 
+hostname: node13  time  = 10 
+hostname: node13  time  = 4 
+hostname: node13  time  = 3 
+
+LogUpdator: write to node parent from local
+ to node child2 from child1
+
+[ie-user@tino-vm1 jungle_workspace]$ cat Log/LogUpdateTest_557/00*
+TopologymanagerTime = 5178
+LogUpdator: write to node child2 from child1
+LogUpdator: write to node child1 from parent
+LogUpdator: write to node child2 from parent
+LogUpdator: write to node child1 from parent
+LogUpdator: write to node child2 from parent
+LogUpdator: write to node child1 from parent
+LogUpdator: write to node child2 from parent
+hostname: node5  time  = 147 
+hostname: node5  time  = 59 
+hostname: node5  time  = 58 
+hostname: node5  time  = 57 
+hostname: node5  time  = 56 
+hostname: node5  time  = 56 
+hostname: node5  time  = 55 
+hostname: node5  time  = 53 
+hostname: node5  time  = 52 
+hostname: node5  time  = 51 
+hostname: node5  time  = 50 
+hostname: node5  time  = 49 
+hostname: node5  time  = 45 
+hostname: node5  time  = 44 
+hostname: node5  time  = 43 
+hostname: node5  time  = 42 
+hostname: node5  time  = 41 
+hostname: node5  time  = 40 
+hostname: node5  time  = 38 
+hostname: node5  time  = 37 
+hostname: node5  time  = 28 
+hostname: node5  time  = 27 
+hostname: node5  time  = 26 
+hostname: node5  time  = 25 
+hostname: node5  time  = 24 
+hostname: node5  time  = 23 
+hostname: node5  time  = 23 
+hostname: node5  time  = 22 
+hostname: node5  time  = 21 
+hostname: node5  time  = 19 
+hostname: node5  time  = 3 
+hostname: node5  time  = 2 
+LogUpdator: write to node child1 from parent
+LogUpdator: write to node child2 from parent
+gUpdator: write to node child2 from local
+
+[ie-user@tino-vm1 jungle_workspace]$ cat Log/LogUpdateTest_559/00*
+TopologymanagerTime = 5296
+LogUpdator: write to node child1 from child2
+LogUpdator: write to node child1 from parent
+LogUpdator: write to node child2 from parent
+LogUpdator: write to node child1 from parent
+LogUpdator: write to node child2 from parent
+hostname: node5  time  = 253 
+hostname: node5  time  = 173 
+hostname: node5  time  = 173 
+hostname: node5  time  = 172 
+hostname: node5  time  = 165 
+hostname: node5  time  = 164 
+hostname: node5  time  = 163 
+hostname: node5  time  = 163 
+hostname: node5  time  = 162 
+hostname: node5  time  = 161 
+hostname: node5  time  = 160 
+hostname: node5  time  = 158 
+hostname: node5  time  = 157 
+hostname: node5  time  = 153 
+hostname: node5  time  = 151 
+hostname: node5  time  = 150 
+hostname: node5  time  = 149 
+hostname: node5  time  = 147 
+hostname: node5  time  = 146 
+hostname: node5  time  = 144 
+hostname: node5  time  = 143 
+hostname: node5  time  = 134 
+hostname: node5  time  = 133 
+hostname: node5  time  = 131 
+hostname: node5  time  = 130 
+hostname: node5  time  = 129 
+hostname: node5  time  = 111 
+hostname: node5  time  = 110 
+hostname: node5  time  = 92 
+hostname: node5  time  = 91 
+hostname: node5  time  = 91 
+hostname: node5  time  = 90 
+hostname: node5  time  = 89 
+hostname: node5  time  = 88 
+hostname: node5  time  = 88 
+hostname: node5  time  = 87 
+hostname: node5  time  = 86 
+hostname: node5  time  = 85 
+hostname: node5  time  = 85 
+hostname: node5  time  = 84 
+hostname: node5  time  = 83 
+hostname: node5  time  = 82 
+hostname: node5  time  = 68 
+hostname: node5  time  = 66 
+hostname: node5  time  = 65 
+hostname: node5  time  = 63 
+hostname: node5  time  = 62 
+hostname: node5  time  = 60 
+hostname: node5  time  = 60 
+hostname: node5  time  = 38 
+hostname: node5  time  = 37 
+hostname: node5  time  = 36 
+hostname: node5  time  = 35 
+hostname: node5  time  = 33 
+hostname: node5  time  = 32 
+hostname: node5  time  = 31 
+hostname: node5  time  = 30 
+hostname: node5  time  = 29 
+hostname: node5  time  = 14 
+hostname: node5  time  = 13 
+hostname: node5  time  = 12 
+hostname: node5  time  = 11 
+hostname: node5  time  = 5 
+hostname: node5  time  = 4 
+LogUpdator: write to node parent from child2
+LogUpdator: write to node child1 from child2
+from local
+al
+om local
+
+[ie-user@tino-vm1 jungle_workspace]$ cat Log/LogUpdateTest_561/00*
+TopologymanagerTime = 5351
+LogUpdator: write to node child1 from parent
+LogUpdator: write to node child2 from parent
+LogUpdator: write to node child1 from child2
+LogUpdator: write to node parent from child2
+LogUpdator: write to node child1 from child2
+LogUpdator: write to node parent from child1
+LogUpdator: write to node child2 from child1
+LogUpdator: write to node child1 from parent
+LogUpdator: write to node child2 from parent
+LogUpdator: write to node child1 from parent
+LogUpdator: write to node child2 from parent
+LogUpdator: write to node child1 from parent
+LogUpdator: write to node child2 from parent
+hostname: node10  time  = 290 
+hostname: node10  time  = 209 
+hostname: node10  time  = 209 
+hostname: node10  time  = 200 
+hostname: node10  time  = 199 
+hostname: node10  time  = 198 
+hostname: node10  time  = 197 
+hostname: node10  time  = 196 
+hostname: node10  time  = 196 
+hostname: node10  time  = 195 
+hostname: node10  time  = 194 
+hostname: node10  time  = 192 
+hostname: node10  time  = 191 
+hostname: node10  time  = 187 
+hostname: node10  time  = 186 
+hostname: node10  time  = 185 
+hostname: node10  time  = 183 
+hostname: node10  time  = 182 
+hostname: node10  time  = 181 
+hostname: node10  time  = 179 
+hostname: node10  time  = 178 
+hostname: node10  time  = 172 
+hostname: node10  time  = 171 
+hostname: node10  time  = 169 
+hostname: node10  time  = 168 
+hostname: node10  time  = 166 
+hostname: node10  time  = 149 
+hostname: node10  time  = 148 
+hostname: node10  time  = 147 
+hostname: node10  time  = 146 
+hostname: node10  time  = 145 
+hostname: node10  time  = 143 
+hostname: node10  time  = 142 
+hostname: node10  time  = 141 
+hostname: node10  time  = 140 
+hostname: node10  time  = 105 
+hostname: node10  time  = 104 
+hostname: node10  time  = 104 
+hostname: node10  time  = 103 
+hostname: node10  time  = 102 
+hostname: node10  time  = 102 
+hostname: node10  time  = 101 
+hostname: node10  time  = 100 
+hostname: node10  time  = 99 
+hostname: node10  time  = 100 
+hostname: node10  time  = 99 
+hostname: node10  time  = 98 
+hostname: node10  time  = 97 
+hostname: node10  time  = 81 
+hostname: node10  time  = 80 
+hostname: node10  time  = 80 
+hostname: node10  time  = 79 
+hostname: node10  time  = 78 
+hostname: node10  time  = 78 
+hostname: node10  time  = 77 
+hostname: node10  time  = 76 
+hostname: node10  time  = 76 
+hostname: node10  time  = 75 
+hostname: node10  time  = 74 
+hostname: node10  time  = 74 
+hostname: node10  time  = 73 
+hostname: node10  time  = 73 
+hostname: node10  time  = 72 
+hostname: node10  time  = 55 
+hostname: node10  time  = 54 
+hostname: node10  time  = 54 
+hostname: node10  time  = 53 
+hostname: node10  time  = 52 
+hostname: node10  time  = 52 
+hostname: node10  time  = 51 
+hostname: node10  time  = 51 
+hostname: node10  time  = 50 
+hostname: node10  time  = 49 
+hostname: node10  time  = 49 
+hostname: node10  time  = 48 
+hostname: node10  time  = 48 
+hostname: node10  time  = 47 
+hostname: node10  time  = 47 
+hostname: node10  time  = 47 
+hostname: node10  time  = 46 
+hostname: node10  time  = 33 
+hostname: node10  time  = 32 
+hostname: node10  time  = 32 
+hostname: node10  time  = 31 
+hostname: node10  time  = 30 
+hostname: node10  time  = 29 
+hostname: node10  time  = 25 
+hostname: node10  time  = 24 
+hostname: node10  time  = 24 
+hostname: node10  time  = 23 
+hostname: node10  time  = 22 
+hostname: node10  time  = 22 
+hostname: node10  time  = 21 
+hostname: node10  time  = 20 
+hostname: node10  time  = 20 
+hostname: node10  time  = 19 
+hostname: node10  time  = 18 
+hostname: node10  time  = 17 
+hostname: node10  time  = 17 
+hostname: node10  time  = 16 
+LogUpdator: write to node parent from local
+ent from local