(1,11) (2,16) (3,17) (4,20) (7,13) (8,15) (9,14) 
nodes: 251  conflicts: 44  modelTime: 716  solveTime: 682  totalTime: 1404  modelSize: 20646  readTime: 6 size: 7