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