(1,17) (2,18) (3,20) (5,16) (6,15) (8,11) (10,14) 
nodes: 355  conflicts: 23  modelTime: 769  solveTime: 377  totalTime: 1152  modelSize: 20646  readTime: 6 size: 7