(1,24) (2,18) (3,26) (5,8) (7,17) (9,30) (12,23) (13,27) (15,29) (16,25) (21,22) 
nodes: 7561  conflicts: 111  modelTime: 1730  solveTime: 26219  totalTime: 27970  modelSize: 72262  readTime: 21 size: 11