(1,21) (2,19) (4,17) (5,29) (6,26) (7,23) (8,30) (9,18) (10,22) (11,27) (12,20) (13,24) (14,28) (15,25) 
nodes: 25861  conflicts: 39  modelTime: 690  solveTime: 46673  totalTime: 47369  modelSize: 41293  readTime: 6 size: 14