true
(0,1) (2,3) (4,5) 
(0,2) (1,4) (3,5) 
(0,4) (1,3) (2,5) 
(0,3) (1,5) (2,4) 
(0,5) (2,6) (3,4) 
(0,6) (3,7) (4,8) 
(0,7) (1,8) (4,9) 
(0,8) (1,9) (4,6) 
(0,9) (4,7) (1,6) 
(7,9) (1,2) (6,8) 
(1,7) (2,8) (6,9) 
(2,7) (5,6) (8,9) 
(5,7) (2,9) (3,8) 
(5,9) (3,6) (7,8) 
(3,9) (5,8) (6,7) 
nodes: 645598   cpu: 407007