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