(1,13) (2,16) (3,11) (4,14) (5,19) (6,17) (7,15) 
nodes: 290  conflicts: 28  modelTime: 676  solveTime: 525  totalTime: 1207  modelSize: 20646  readTime: 6 size: 7