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