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