(1,16) (2,17) (4,18) (5,11) (7,13) (9,15) 
nodes: 254  conflicts: 37  modelTime: 818  solveTime: 635  totalTime: 1459  modelSize: 20646  readTime: 6 size: 6