(1,15) (3,19) (4,12) (5,14) (6,20) (7,18) (8,11) (9,17) (10,16) 
nodes: 738  conflicts: 3  modelTime: 633  solveTime: 772  totalTime: 1408  modelSize: 20646  readTime: 3 size: 9