(1,8) (2,25) (3,22) (4,23) (5,15) (6,10) (7,21) (11,16) (12,18) (13,27) (14,17) (19,28) (20,26) (29,30) 
nodes: 25158  conflicts: 42  modelTime: 1722  solveTime: 82575  totalTime: 84316  modelSize: 72262  readTime: 19 size: 14