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