(1,17) (3,12) (4,20) (5,18) (6,13) (7,11) (9,15) 
nodes: 329  conflicts: 30  modelTime: 727  solveTime: 815  totalTime: 1548  modelSize: 20646  readTime: 6 size: 7