(1,30) (2,14) (3,13) (4,18) (5,20) (6,17) (7,8) (9,23) (10,22) (11,24) (12,21) (15,16) (25,29) (26,28) 
nodes: 24328  conflicts: 24  modelTime: 1696  solveTime: 145684  totalTime: 147398  modelSize: 72275  readTime: 18 size: 14