(2,19) (3,15) (4,16) (8,13) 
nodes: 213  conflicts: 49  modelTime: 586  solveTime: 414  totalTime: 1006  modelSize: 20646  readTime: 6 size: 4