(1,7) (2,10) (3,4) (5,27) (6,28) (8,12) (9,21) (11,13) (14,29) (15,25) (16,18) (17,30) (19,23) (20,22) (24,26) 
nodes: 9182  conflicts: 34  modelTime: 948  solveTime: 45218  totalTime: 46176  modelSize: 72267  readTime: 10 size: 15