(2,10) (3,27) (4,5) (6,29) (7,28) (8,18) (9,20) (11,14) (12,23) (13,24) (15,17) (16,30) (19,21) (25,26) 
nodes: 17698  conflicts: 51  modelTime: 954  solveTime: 80147  totalTime: 81112  modelSize: 72262  readTime: 11 size: 14