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