(1,28) (2,19) (5,21) (6,22) (7,30) (10,16) (11,15) (13,18) (14,25) (17,27) (20,23) (26,29) 
nodes: 2037  conflicts: 90  modelTime: 1695  solveTime: 10083  totalTime: 11800  modelSize: 72262  readTime: 22 size: 12