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