(3,11) (4,17) (5,19) (6,18) (8,20) (9,15) 
nodes: 120  conflicts: 43  modelTime: 716  solveTime: 512  totalTime: 1233  modelSize: 20646  readTime: 5 size: 6