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