(3,15) (4,18) (6,17) (7,20) (8,11) (9,16) 
nodes: 107  conflicts: 42  modelTime: 683  solveTime: 246  totalTime: 935  modelSize: 20646  readTime: 6 size: 6