(2,16) (3,21) (4,23) (5,26) (6,13) (8,9) (11,15) (12,27) (17,24) (18,20) (19,22) (25,28) 
nodes: 3354  conflicts: 91  modelTime: 936  solveTime: 8121  totalTime: 9068  modelSize: 72262  readTime: 11 size: 12