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