(1,17) (2,10) (3,29) (4,30) (5,16) (6,7) (8,13) (9,21) (11,23) (12,15) (14,26) (18,20) (19,24) (22,28) (25,27) 
nodes: 15089  conflicts: 24  modelTime: 1715  solveTime: 74485  totalTime: 76219  modelSize: 72266  readTime: 19 size: 15