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