(3,12) (5,15) (6,17) (8,16) (10,20) 
nodes: 451  conflicts: 40  modelTime: 644  solveTime: 378  totalTime: 1027  modelSize: 20646  readTime: 5 size: 5