(1,12) (5,16) (6,17) (7,18) (9,11) (10,15) 
nodes: 302  conflicts: 37  modelTime: 669  solveTime: 624  totalTime: 1299  modelSize: 20646  readTime: 6 size: 6