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