(1,20) (2,12) (3,14) (4,11) (5,13) (7,15) (10,17) 
nodes: 335  conflicts: 28  modelTime: 820  solveTime: 519  totalTime: 1345  modelSize: 20646  readTime: 6 size: 7