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