true
0: ----5---2--7-3--6-4----1******
1: -3-7--5--4-------------0-6-2--
2: -----6--0-5--------7-4--3--1--
3: -1-----------0-4----5-6-2---7-
4: 7------6-1--5--3--0--2--******
5: --6-0-1---2-4----7--3*********
6: --5--2-4------7-0-----3--1-***
7: 4--1-------0--6--5-2--------3-
(4,7) (1,3) (5,6) 
(1,7) (0,5) (2,6) 
(1,5) (4,6) (0,2) 
(1,4) (2,5) (0,7) 
(4,5) (0,3) (6,7) 
(3,4) (0,6) (5,7) 
(0,4) (2,7) (3,5) 
(2,4) (3,6) (0,1) 
(2,3) (1,6) 
(1,2) (3,7) 
nodes: 1912453   cpu: 16036284