(2,13) (3,19) (4,18) (5,14) (7,16) (8,15) (9,20) (10,17) 
nodes: 247  conflicts: 18  modelTime: 682  solveTime: 446  totalTime: 1133  modelSize: 20646  readTime: 5 size: 8