(1,22) (2,30) (3,19) (4,14) (5,10) (6,9) (7,12) (11,23) (13,27) (15,17) (16,18) (20,24) (21,29) (25,28) 
nodes: 18356  conflicts: 51  modelTime: 1703  solveTime: 90037  totalTime: 91760  modelSize: 72275  readTime: 20 size: 14