(1,8) (2,29) (3,14) (4,5) (6,27) (7,22) (9,10) (11,12) (13,15) (16,18) (17,20) (19,21) (23,24) (25,26) (28,30) 
nodes: 119665  conflicts: 8  modelTime: 957  solveTime: 598660  totalTime: 599626  modelSize: 72264  readTime: 9 size: 15