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