(2,11) (3,17) (4,20) (5,19) (7,13) (8,16) (9,18) 
nodes: 285  conflicts: 25  modelTime: 777  solveTime: 397  totalTime: 1179  modelSize: 20646  readTime: 5 size: 7