(1,11) (2,16) (4,17) (5,20) (6,13) (7,18) (8,12) (9,19) (10,15) 
nodes: 197  conflicts: 7  modelTime: 738  solveTime: 650  totalTime: 1393  modelSize: 20646  readTime: 5 size: 9