(3,12) (5,20) (7,15) (9,11) 
nodes: 119  conflicts: 54  modelTime: 690  solveTime: 306  totalTime: 1002  modelSize: 20646  readTime: 6 size: 4