(1,16) (2,8) (3,24) (4,15) (5,30) (6,22) (7,29) (9,12) (10,18) (11,13) (14,17) (20,21) (23,25) (26,27) 
nodes: 7909  conflicts: 46  modelTime: 1734  solveTime: 36561  totalTime: 38315  modelSize: 72266  readTime: 20 size: 14