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