(2,17) (3,20) (4,11) (5,14) (6,16) (9,13) 
nodes: 136  conflicts: 46  modelTime: 761  solveTime: 553  totalTime: 1321  modelSize: 20646  readTime: 6 size: 6