(1,3) (2,8) (4,7) (5,22) (6,10) (9,26) (11,18) (12,23) (13,24) (14,16) (15,27) (17,25) (19,30) (20,21) (28,29) 
nodes: 77492  conflicts: 32  modelTime: 1027  solveTime: 299653  totalTime: 300692  modelSize: 72262  readTime: 12 size: 15