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