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