(1,14) (3,13) (4,15) (5,11) (8,12) (9,17) (10,16) 
nodes: 398  conflicts: 35  modelTime: 768  solveTime: 547  totalTime: 1320  modelSize: 20646  readTime: 5 size: 7