(2,19) (3,13) (6,17) (8,11) (9,20) (10,15) 
nodes: 131  conflicts: 37  modelTime: 729  solveTime: 514  totalTime: 1249  modelSize: 20646  readTime: 6 size: 6