(3,15) (4,13) (6,12) (9,17) 
nodes: 108  conflicts: 64  modelTime: 767  solveTime: 261  totalTime: 1033  modelSize: 20646  readTime: 5 size: 4