(1,21) (2,26) (3,19) (4,20) (5,23) (6,16) (7,28) (8,29) (9,17) (10,22) (11,25) (12,27) (14,30) (15,24) 
nodes: 8652  conflicts: 7  modelTime: 656  solveTime: 19824  totalTime: 20488  modelSize: 41292  readTime: 8 size: 14