(2,24) (3,18) (5,28) (7,27) (8,25) (9,26) (10,16) (11,17) (12,23) (13,21) (14,19) (15,22) 
nodes: 960  conflicts: 46  modelTime: 655  solveTime: 1445  totalTime: 2106  modelSize: 41293  readTime: 6 size: 12