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