(1,16) (2,20) (3,28) (4,24) (5,17) (7,18) (9,19) (11,27) (12,21) (13,30) (15,22) 
nodes: 705  conflicts: 81  modelTime: 805  solveTime: 953  totalTime: 1773  modelSize: 41293  readTime: 15 size: 11