(1,12) (2,11) (3,20) (4,19) (6,18) (7,16) (8,15) (9,14) (10,17) 
nodes: 277  conflicts: 9  modelTime: 816  solveTime: 682  totalTime: 1503  modelSize: 20658  readTime: 5 size: 9