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