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