(2,17) (4,18) (10,16) 
nodes: 111  conflicts: 65  modelTime: 669  solveTime: 264  totalTime: 939  modelSize: 20646  readTime: 6 size: 3