(1,29) (2,21) (3,25) (4,7) (6,23) (8,15) (10,28) (11,14) (12,30) (13,16) (17,19) (18,26) (20,24) (22,27) 
nodes: 30326  conflicts: 58  modelTime: 1732  solveTime: 116590  totalTime: 118341  modelSize: 72273  readTime: 19 size: 14