(1,25) (2,21) (3,8) (4,10) (5,7) (6,29) (9,28) (11,24) (12,15) (13,18) (14,22) (16,23) (17,19) (20,30) (26,27) 
nodes: 91470  conflicts: 10  modelTime: 1697  solveTime: 505713  totalTime: 507426  modelSize: 72267  readTime: 15 size: 15