(1,17) (2,14) (3,13) (4,19) (5,12) (6,16) (7,15) 
nodes: 417  conflicts: 31  modelTime: 724  solveTime: 826  totalTime: 1555  modelSize: 20646  readTime: 5 size: 7