(1,14) (3,19) (4,16) (5,11) (6,13) (7,12) (8,17) (9,20) 
nodes: 494  conflicts: 27  modelTime: 814  solveTime: 712  totalTime: 1532  modelSize: 20646  readTime: 6 size: 8