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