(1,8) (2,15) (3,18) (4,17) (5,13) (6,12) (7,27) (9,22) (11,30) (14,25) (16,20) (21,28) 
nodes: 2139  conflicts: 88  modelTime: 1033  solveTime: 9247  totalTime: 10292  modelSize: 72263  readTime: 12 size: 12