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