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