(1,12) (2,9) (3,24) (4,17) (6,10) (8,27) (11,28) (13,29) (14,26) (15,30) (18,23) (19,22) (20,21) 
nodes: 3430  conflicts: 63  modelTime: 1750  solveTime: 12695  totalTime: 14467  modelSize: 72262  readTime: 21 size: 13