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