(1,28) (2,21) (4,24) (5,25) (6,23) (7,29) (9,18) (10,17) (11,22) (13,30) (15,27) 
nodes: 261  conflicts: 78  modelTime: 674  solveTime: 486  totalTime: 1167  modelSize: 41301  readTime: 7 size: 11