(1,13) (2,19) (4,16) (5,17) (6,18) (9,15) (10,11) 
nodes: 227  conflicts: 31  modelTime: 695  solveTime: 307  totalTime: 1008  modelSize: 20646  readTime: 6 size: 7