(1,24) (2,25) (3,10) (4,22) (5,19) (6,14) (7,26) (9,27) (11,15) (12,23) (13,21) (16,18) (20,30) 
nodes: 33531  conflicts: 31  modelTime: 1046  solveTime: 80321  totalTime: 81382  modelSize: 72262  readTime: 15 size: 13