(1,29) (2,16) (3,24) (4,23) (6,21) (7,17) (8,22) (9,18) (11,26) (14,27) (15,25) 
nodes: 973  conflicts: 74  modelTime: 659  solveTime: 1367  totalTime: 2033  modelSize: 41293  readTime: 7 size: 11