(1,17) (2,13) (3,20) (4,18) (5,11) (6,15) (7,16) (8,14) (9,19) 
nodes: 119  conflicts: 27  modelTime: 686  solveTime: 531  totalTime: 1223  modelSize: 20646  readTime: 6 size: 9