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