(1,28) (2,21) (3,24) (4,27) (5,25) (7,23) (10,19) (12,17) (13,22) (14,20) 
nodes: 8821  conflicts: 84  modelTime: 672  solveTime: 12728  totalTime: 13407  modelSize: 41292  readTime: 7 size: 10