(1,15) (2,18) (4,19) (5,12) (7,13) (8,20) 
nodes: 142  conflicts: 48  modelTime: 717  solveTime: 529  totalTime: 1253  modelSize: 20646  readTime: 6 size: 6