(1,23) (2,29) (3,24) (4,25) (5,18) (6,22) (8,20) (9,28) (10,26) (11,27) (12,30) (13,16) (15,21) 
nodes: 9451  conflicts: 31  modelTime: 668  solveTime: 15071  totalTime: 15745  modelSize: 41298  readTime: 6 size: 13