(1,27) (2,30) (3,12) (4,11) (5,13) (6,7) (8,19) (9,28) (10,29) (14,25) (15,26) (16,21) (18,24) (20,22) 
nodes: 45220  conflicts: 54  modelTime: 1709  solveTime: 231256  totalTime: 232984  modelSize: 72265  readTime: 19 size: 14