(1,13) (2,12) (3,15) (4,7) (5,20) (6,8) (9,23) (10,27) (11,30) (14,17) (16,21) (18,28) (19,25) (22,24) (26,29) 
nodes: 9872  conflicts: 40  modelTime: 962  solveTime: 37284  totalTime: 38257  modelSize: 72266  readTime: 11 size: 15