(1,17) (3,16) (5,13) (6,19) (8,15) (9,11) (10,20) 
nodes: 186  conflicts: 33  modelTime: 764  solveTime: 410  totalTime: 1180  modelSize: 20646  readTime: 6 size: 7