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