(1,17) (3,27) (4,30) (5,18) (6,23) (7,29) (9,22) (11,21) (12,24) (13,28) (14,26) (15,25) 
nodes: 558  conflicts: 71  modelTime: 659  solveTime: 656  totalTime: 1322  modelSize: 41293  readTime: 7 size: 12