(1,21) (2,28) (3,20) (4,24) (5,29) (6,30) (7,25) (8,23) (9,18) (11,17) (13,22) (14,27) (15,19) 
nodes: 1418  conflicts: 30  modelTime: 662  solveTime: 1584  totalTime: 2252  modelSize: 41293  readTime: 6 size: 13