(3,11) (4,15) (7,12) (10,17) 
nodes: 110  conflicts: 53  modelTime: 671  solveTime: 258  totalTime: 935  modelSize: 20646  readTime: 6 size: 4