(4,14) (7,17) (9,20) (10,15) 
nodes: 107  conflicts: 47  modelTime: 773  solveTime: 167  totalTime: 946  modelSize: 20646  readTime: 6 size: 4