(1,17) (3,14) (4,16) (5,12) (6,18) (8,11) (10,15) 
nodes: 494  conflicts: 34  modelTime: 768  solveTime: 447  totalTime: 1220  modelSize: 20646  readTime: 5 size: 7