(1,29) (2,21) (3,25) (4,18) (5,26) (6,27) (7,24) (9,17) (10,28) (12,20) (13,16) (14,22) 
nodes: 8270  conflicts: 44  modelTime: 660  solveTime: 13726  totalTime: 14392  modelSize: 41292  readTime: 6 size: 12