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