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