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