(1,15) (3,18) (5,19) (6,17) (8,11) (9,20) 
nodes: 230  conflicts: 42  modelTime: 674  solveTime: 326  totalTime: 1006  modelSize: 20646  readTime: 6 size: 6