(3,15) (5,19) (6,13) (7,11) (9,12) (10,20) 
nodes: 345  conflicts: 30  modelTime: 765  solveTime: 413  totalTime: 1183  modelSize: 20646  readTime: 5 size: 6