(1,13) (3,17) (4,16) (6,18) (7,11) (9,15) 
nodes: 120  conflicts: 42  modelTime: 765  solveTime: 321  totalTime: 1092  modelSize: 20646  readTime: 6 size: 6