(1,19) (2,13) (4,17) (6,18) (7,14) (8,11) (9,12) (10,20) 
nodes: 293  conflicts: 25  modelTime: 685  solveTime: 438  totalTime: 1129  modelSize: 20646  readTime: 6 size: 8