(1,23) (3,18) (4,19) (5,30) (7,24) (8,27) (9,20) (10,22) (11,26) (12,25) (13,29) (14,21) (15,28) 
nodes: 3172  conflicts: 52  modelTime: 659  solveTime: 4037  totalTime: 4703  modelSize: 41293  readTime: 7 size: 13