(1,14) (2,20) (3,17) (4,19) (7,13) (8,18) (9,16) 
nodes: 240  conflicts: 22  modelTime: 762  solveTime: 711  totalTime: 1479  modelSize: 20646  readTime: 6 size: 7