(1,28) (2,20) (3,25) (4,18) (5,27) (7,29) (9,16) (10,19) (11,30) (12,23) (13,21) (14,17) (15,24) 
nodes: 6794  conflicts: 57  modelTime: 655  solveTime: 10584  totalTime: 11247  modelSize: 41293  readTime: 7 size: 13