(1,18) (3,17) (5,16) (6,12) (7,15) (9,14) 
nodes: 106  conflicts: 56  modelTime: 588  solveTime: 210  totalTime: 804  modelSize: 20646  readTime: 6 size: 6