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