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