(1,23) (2,13) (3,11) (4,24) (5,22) (6,17) (7,18) (8,20) (9,25) (10,26) (12,16) (14,28) (15,30) (19,29) (21,27) 
nodes: 4910  conflicts: 54  modelTime: 1725  solveTime: 26188  totalTime: 27934  modelSize: 72262  readTime: 21 size: 15