(1,17) (2,27) (3,20) (4,19) (5,21) (6,30) (7,24) (9,25) (11,18) (12,23) (13,22) (14,28) (15,29) 
nodes: 10901  conflicts: 35  modelTime: 656  solveTime: 18753  totalTime: 19416  modelSize: 41292  readTime: 7 size: 13