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