true
0: --8-------------7--------10----14--------11------6----5----13--------2---15----1------------3--12----------4--9---************
1: --------11------15--4-----12---------------9-8--------------6---5-----2------0------7------13--------------10---------3--14---
2: -------------------------------10----4------7---------12----3------0-1--------13------14-9------6---11--------15--5-----8-----
3: ---13--12------5------9-------6-----15---------11-------------2--------------4------8------0------------7------14-----1-----10
4: -5-----8----9-----1-------------11---2--------13--7-----14-----12------------3----10----------6-15---------0******************
5: -4-----------3-----14---------------7--8--------12---0-------9-1----6-----10------------------------15----13-----2------11----
6: -----------14-----11---15------3----8-------7----0---9------1------13-5------------12---------4--2------10--******************
7: -----11----9-----0------10-----15-----5-----6-2----4------12---------------13-----8---1-----------14------3-******************
8: --0----4------14------------------6----5---1--------------------9------10------7--3---12-------------13-------11----15--2-----
9: ----10-----7-4-------3-----13-------------1---------6--------5---8-----------14---------2--------11---------0----12--------15-
10: ----9----15-------------7-0-----2-----12-----------11--------------------8-5-----4----------------13---6---1--------14------3
11: -----7--1--------6----12----14----4------0----3----10------------15-------------------------------9-2---------8---13----5----
12: 15-----3---------------11-1------------10---------5-----2-7----4-------14----------6----8-----0------------------9-------13--
13: ---3----------------------9------------------4------14---0-------6------7----2-----15-----1------10--8---5-------11------12--
14: -----------6--8----5-------11--0---------------------13-4-------------12------9-------2--15------7-------------3----10---1---
15: 12--------10-----1-----6-------7----3---------------------------11------0------------13---14----4-----5-------2-----8------9-
(12,15) (4,5) (0,8) (3,13) (9,10) (7,11) 
(3,12) (4,8) (1,11) (10,15) (7,9) (6,14) 
(4,9) (3,5) (8,14) (1,15) (0,7) (6,11) 
(1,4) (5,14) (3,9) (6,15) (11,12) (7,10) 
(1,12) (0,10) (9,13) (11,14) (3,6) (7,15) 
(0,14) (2,10) (4,11) (6,8) (3,15) (5,7) 
(2,4) (10,12) (5,8) (0,11) (1,9) (6,7) 
(1,8) (2,7) (3,11) (4,13) (0,6) (5,12) 
(4,7) (10,11) (6,9) (0,5) (13,14) (2,12) 
(4,14) (7,12) (0,13) (1,6) (2,3) (5,9) 
(4,12) (1,5) (11,15) (8,9) (6,13) (0,2) 
(5,6) (1,2) (12,14) (0,15) (8,10) (7,13) 
(5,10) (3,4) (0,1) (9,14) (2,13) (7,8) 
(4,10) (6,12) (3,8) (1,7) (13,15) (2,14) 
(8,12) (2,9) (14,15) (0,3) (1,13) (4,6) 
(0,12) (4,15) (2,6) (7,14) (9,11) (10,13) 
(2,11) (5,15) (8,13) (6,10) (3,7) (0,4) 
(5,13) (1,10) (0,9) (2,15) (8,11) (3,14) 
(2,5) (9,12) (11,13) (8,15) (10,14) (1,3) 
(2,8) (5,11) (1,14) (12,13) (9,15) (3,10) 
nodes: 948   cpu: 998314