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