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