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