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