(1,22) (3,27) (4,20) (5,26) (6,28) (7,17) (9,18) (10,25) (11,24) (12,19) (13,21) (14,23) (15,16) 
nodes: 7235  conflicts: 48  modelTime: 657  solveTime: 10464  totalTime: 11128  modelSize: 41293  readTime: 7 size: 13