(1,16) (3,15) (4,12) (5,19) (6,14) (7,20) (8,18) (9,13) (10,11) 
nodes: 204  conflicts: 18  modelTime: 816  solveTime: 624  totalTime: 1446  modelSize: 20646  readTime: 5 size: 9