(1,16) (2,15) (3,18) (4,17) (5,20) (6,11) (7,14) (8,13) (9,19) 
nodes: 1330  conflicts: 14  modelTime: 721  solveTime: 1870  totalTime: 2596  modelSize: 20658  readTime: 5 size: 9