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