(1,14) (2,15) (3,20) (6,17) (7,16) (8,11) (10,18) 
nodes: 246  conflicts: 25  modelTime: 695  solveTime: 370  totalTime: 1070  modelSize: 20646  readTime: 5 size: 7