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