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