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