(2,29) (3,15) (5,10) (6,18) (7,17) (9,23) (11,16) (12,21) (13,20) (14,24) (19,25) (26,28) (27,30) 
nodes: 1869  conflicts: 77  modelTime: 1746  solveTime: 9616  totalTime: 11387  modelSize: 72262  readTime: 25 size: 13