true
(0,1) (2,3) (4,5) 
(0,2) (1,4) (3,5) 
(0,4) (1,3) (2,5) 
(0,3) (1,5) (2,6) 
(0,5) (6,7) (2,8) 
(0,6) (2,7) (1,8) 
(0,7) (1,2) (3,8) 
(1,7) (3,6) (4,8) 
(1,6) (2,4) (7,8) 
(4,6) (3,7) (5,8) 
(3,4) (5,7) (6,8) 
(4,7) (0,8) (5,6) 
nodes: 1471706   cpu: 709244