(2,11) (3,16) (4,15) (5,13) (6,17) (8,18) 
nodes: 108  conflicts: 36  modelTime: 754  solveTime: 258  totalTime: 1018  modelSize: 20646  readTime: 6 size: 6