(2,13) (4,15) (5,16) (7,19) (9,11) 
nodes: 298  conflicts: 45  modelTime: 814  solveTime: 739  totalTime: 1559  modelSize: 20646  readTime: 6 size: 5