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