(2,26) (3,23) (4,28) (6,16) (7,25) (8,30) (9,22) (10,27) (11,17) (13,20) (14,29) (15,21) 
nodes: 762  conflicts: 54  modelTime: 659  solveTime: 1037  totalTime: 1702  modelSize: 41292  readTime: 6 size: 12