true
nodes: 41324   cpu: 13769
(s1/b1,s3/b5) (s4/b3,s5/b2) (s2/b6,s7/b4) 
(s0/b4,s3/b5) (s2/b6,s4/b3) (s1/b2,s6/b1) 
(s2/b6,s3/b5) (s0/b3,s4/b1) (s1/b2,s7/b4) 
(s5/b2,s6/b1) (s0/b3,s2/b5) (s4/b6,s7/b4) 
(s0/b3,s5/b2) (s3/b5,s4/b6) (s6/b1,s7/b4) 
(s1/b2,s2/b5) (s3/b3,s5/b4) (s4/b6,s6/b1) 
(s2/b5,s5/b4) (s0/b3,s6/b1) (s1/b2,s4/b6) 
(s0/b3,s7/b4) (s1/b2,s5/b1) 
(s3/b3,s6/b4) (s5/b1,s7/b6) 
(s2/b3,s6/b4) (s0/b1,s1/b2) (s3/b5,s7/b6) 
skipper_0 changes 2 -> 4 3 3 3 3 3 1 
skipper_1 changes 1 -> 1 2 2 2 2 2 2 
skipper_2 changes 2 -> 6 6 6 5 5 5 3 
skipper_3 changes 2 -> 5 5 5 5 3 3 5 
skipper_4 changes 2 -> 3 3 1 6 6 6 6 
skipper_5 changes 2 -> 2 2 2 4 4 1 1 
skipper_6 changes 1 -> 1 1 1 1 1 4 4 
skipper_7 changes 1 -> 4 4 4 4 4 6 6