(1,24) (2,20) (3,25) (5,27) (6,29) (8,30) (9,18) (10,16) (11,22) (12,26) (13,23) (14,19) (15,17) 
nodes: 5869  conflicts: 40  modelTime: 660  solveTime: 11188  totalTime: 11854  modelSize: 41298  readTime: 6 size: 13