(1,23) (2,25) (3,27) (4,26) (6,28) (7,21) (8,18) (9,17) (10,19) (11,29) (12,22) (14,20) 
nodes: 7412  conflicts: 48  modelTime: 657  solveTime: 11817  totalTime: 12480  modelSize: 41292  readTime: 6 size: 12