(1,15) (2,19) (4,12) (5,20) (9,16) (10,17) 
nodes: 134  conflicts: 43  modelTime: 673  solveTime: 391  totalTime: 1069  modelSize: 20646  readTime: 5 size: 6