(1,16) (2,18) (3,10) (4,22) (5,21) (6,25) (7,27) (8,24) (9,19) (11,30) (12,20) (13,23) (14,29) (15,28) (17,26) 
nodes: 50625  conflicts: 20  modelTime: 963  solveTime: 245729  totalTime: 246703  modelSize: 72285  readTime: 10 size: 15