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