(1,15) (2,13) (3,12) (5,18) (7,11) (10,20) 
nodes: 192  conflicts: 37  modelTime: 700  solveTime: 460  totalTime: 1165  modelSize: 20646  readTime: 5 size: 6