(1,15) (2,17) (4,12) (6,13) (8,20) (9,11) (10,16) 
nodes: 307  conflicts: 34  modelTime: 702  solveTime: 543  totalTime: 1250  modelSize: 20646  readTime: 5 size: 7