(1,16) (2,28) (3,25) (4,20) (5,29) (6,27) (7,23) (8,19) (9,18) (10,24) (11,22) (12,30) (14,21) (15,17) 
nodes: 1769  conflicts: 27  modelTime: 655  solveTime: 2206  totalTime: 2868  modelSize: 41293  readTime: 7 size: 14