(4,15) (5,19) (6,20) (10,16) 
nodes: 149  conflicts: 63  modelTime: 685  solveTime: 282  totalTime: 972  modelSize: 20646  readTime: 5 size: 4