(2,17) (3,21) (4,16) (5,25) (7,19) (8,24) (9,26) (11,30) (12,29) (13,28) (14,18) (15,22) 
nodes: 8316  conflicts: 44  modelTime: 661  solveTime: 21064  totalTime: 21732  modelSize: 41293  readTime: 7 size: 12