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