(1,17) (2,19) (3,20) (5,11) (6,18) (7,15) (8,13) (9,12) 
nodes: 338  conflicts: 34  modelTime: 770  solveTime: 355  totalTime: 1131  modelSize: 20646  readTime: 6 size: 8