(1,26) (2,17) (3,23) (5,19) (6,25) (7,22) (8,28) (9,27) (10,20) (11,29) (13,18) (14,24) (15,16) 
nodes: 7725  conflicts: 42  modelTime: 658  solveTime: 11603  totalTime: 12267  modelSize: 41298  readTime: 6 size: 13