(2,16) (5,11) (7,13) (9,14) (10,17) 
nodes: 535  conflicts: 42  modelTime: 768  solveTime: 447  totalTime: 1220  modelSize: 20646  readTime: 5 size: 5