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