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