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