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