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