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