(1,18) (2,19) (3,16) (4,23) (5,21) (7,17) (8,30) (9,24) (10,28) (11,25) (12,22) (13,20) (14,27) (15,29) 
nodes: 4639  conflicts: 28  modelTime: 660  solveTime: 9066  totalTime: 9732  modelSize: 41298  readTime: 6 size: 14