(2,21) (3,17) (4,24) (5,22) (6,16) (8,19) (9,25) (10,23) (11,27) (12,18) 
nodes: 1212  conflicts: 57  modelTime: 690  solveTime: 814  totalTime: 1511  modelSize: 41293  readTime: 7 size: 10