(2,18) (3,14) (4,16) (5,13) (6,20) (8,12) (9,11) 
nodes: 105  conflicts: 44  modelTime: 768  solveTime: 220  totalTime: 994  modelSize: 20646  readTime: 6 size: 7