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