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