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