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