(4,12) (5,15) (6,19) (8,13) (10,20) 
nodes: 362  conflicts: 43  modelTime: 683  solveTime: 492  totalTime: 1180  modelSize: 20646  readTime: 5 size: 5