(2,25) (3,28) (5,17) (6,21) (7,23) (8,29) (9,19) (10,24) (12,27) (13,18) (14,26) (15,16) 
nodes: 23745  conflicts: 51  modelTime: 655  solveTime: 39457  totalTime: 40118  modelSize: 41293  readTime: 6 size: 12