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