(2,30) (4,24) (5,22) (6,23) (7,16) (9,20) (10,17) (11,27) (12,28) (13,21) (14,25) (15,18) 
nodes: 582  conflicts: 41  modelTime: 660  solveTime: 708  totalTime: 1375  modelSize: 41293  readTime: 7 size: 12