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