(1,18) (2,13) (5,12) (6,14) (9,15) (10,16) 
nodes: 226  conflicts: 41  modelTime: 671  solveTime: 443  totalTime: 1120  modelSize: 20646  readTime: 6 size: 6