(1,19) (3,13) (4,17) (5,18) (8,20) (9,16) (10,15) 
nodes: 229  conflicts: 31  modelTime: 714  solveTime: 547  totalTime: 1267  modelSize: 20646  readTime: 6 size: 7