(1,14) (2,13) (4,17) (5,11) (6,16) (7,12) (9,15) 
nodes: 450  conflicts: 30  modelTime: 684  solveTime: 737  totalTime: 1426  modelSize: 20646  readTime: 5 size: 7