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