==INITIAL==
==INITIAL==
==CONFIRMED==
stop checker 0
==CONFIRMED==
Node 6 failed
Node 4 failed
Node 3 failed
Node 5 failed
==CONFIRMED==
Node 3 failed
Node 4 failed
Node 5 failed
Node 5 failed
Node 5 failed
Node 5 failed
Node 5 failed
Node 5 failed
Node 5 failed
Node 5 failed
Node 4 failed
Node 5 failed
Node 5 failed
Node 5 failed
Node 5 failed
Node 3 failed
Node 4 failed
Node 5 failed
Node 6 failed
==INITIAL==
==CONFIRMED==
Node 3 failed
Node 4 failed
Node 5 failed
stop checker 0
==CONFIRMED==
Node 3 failed
Node 5 failed
Node 4 failed
==CONFIRMED==
Node 3 failed
Node 5 failed
Node 4 failed
Node 3 failed
==CONFIRMED==
Node 3 failed
Node 3 failed
Node 3 failed
Node 3 failed
Node 3 failed
Node 3 failed
Node 3 failed
Node 3 failed
Node 4 failed
Node 5 failed
Node 6 failed
==CONFIRMED==
==INITIAL==
==CONFIRMED==
Node 3 failed
Node 4 failed
Node 5 failed
Node 6 failed
stop checker 0
==INITIAL==
==INITIAL==
==INITIAL==
==INITIAL==
==CONFIRMED==
Node 3 failed
Node 6 failed
Node 4 failed
Node 5 failed
==CONFIRMED==
Node 3 failed
Node 4 failed
Node 5 failed
Node 6 failed
Node 3 failed
Node 5 failed
Node 6 failed