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