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