(2,18) (3,19) (4,13) (5,16) (8,15) (9,20) (10,17) 
nodes: 188  conflicts: 27  modelTime: 682  solveTime: 438  totalTime: 1126  modelSize: 20646  readTime: 6 size: 7