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