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