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