(1,20) (3,18) (4,17) (8,15) (9,14) (10,11) 
nodes: 157  conflicts: 43  modelTime: 674  solveTime: 463  totalTime: 1143  modelSize: 20646  readTime: 6 size: 6