(3,20) (5,16) (6,19) (7,13) (9,17) (10,11) 
nodes: 107  conflicts: 49  modelTime: 685  solveTime: 221  totalTime: 912  modelSize: 20646  readTime: 5 size: 6