(1,15) (2,13) (3,16) (4,18) (5,19) (6,11) (7,14) (8,17) 
nodes: 157  conflicts: 27  modelTime: 589  solveTime: 401  totalTime: 995  modelSize: 20646  readTime: 5 size: 8