(6,13) (9,20) (10,18) 
nodes: 109  conflicts: 83  modelTime: 675  solveTime: 226  totalTime: 906  modelSize: 20646  readTime: 5 size: 3