(1,11) (2,17) (3,12) (4,20) (5,16) (6,19) (7,18) (8,14) 
nodes: 297  conflicts: 27  modelTime: 696  solveTime: 439  totalTime: 1141  modelSize: 20646  readTime: 6 size: 8